Turing's proof

Known as: Turing proof 
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)
Wikipedia

Topic mentions per year

Topic mentions per year

2004-2017
01220042017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This article constructs a Turing Machine which can solve for β ′ which is REcomplete. Such a machine is only possible if there is… (More)
  • figure 1
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)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2007
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?