Turing's proof is a proof by Alan Turing, first published in January 1937 with the title On Computable Numbers, With an Application to the… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Mark Inman
- ArXiv
- 2017

This article constructs a Turing Machine which can solve for β ′ which is REcomplete. Such a machine is only possible if there is… (More)

Is this relevant?

2014

2014

I L L U S T R A T I O N B Y M A T T H E W C O O P E R THE PROGRAM TERMINATION problem, also known as the uniform halting problem… (More)

Is this relevant?

2007

2007

- Verónica Becher, Santiago Figueira, Rafael Picchi
- Theor. Comput. Sci.
- 2007

In an unpublished manuscript Alan Turing gave a computable construction to show that absolutely normal real numbers between 0 and… (More)

Is this relevant?

2007

2007

- Verónica Bechera, Santiago Figueiraa, Rafael Picchia
- 2007

In an unpublished manuscript, Alan Turing gave a computable construction to show that absolutely normal real numbers between 0… (More)

Is this relevant?

2004