Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 - Entscheidungsproblem - Document - PDFSEARCH.IO

First Page	Meta Content
	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Document Date: 2014-10-06 15:51:37 Open Document File Size: 212,30 KB Share Result on Facebook Company Russell / Google / / Organization George Boole David Hilbert Gottlob Frege Bertrand Russell Alan Turing Alonzo Church / Alonzo Church / / Person Bertrand Russell Alan Turing Alonzo Church Kurt / David Hilbert Gottlob Frege Bertrand / George Boole / George Boole David Hilbert Gottlob / Yuri Gurevich / Kurt Gödel / Joachim Breitner April / Alfred Whiteheads / / Position mathematician / educated mathematician / / ProgrammingLanguage Lambda calculus / / PublishedMedium American Journal of Mathematics / / SocialTag Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics

Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011Add to Reading List