On computable numbers, with an application to the 'ENTSCHEIDUNGSPROBLEM' By A. TURING.

https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf nostr:note1aedz39muxz49naap527gahgahhzuc4lxjs4pwrfdlwtets6386ysm0n3ty