Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
In an unpublished manuscript, Alan Turing gave a computable construction to show that absolutely normal real numbers between 0… Expand