

#25256
Mentioned in 1 episodes
Collected Works of Emil L. Post
Solvability, Provability, Definability
Book •
This collection includes Emil Post's seminal papers on computability, such as 'Finite Combinatory Processes - Formulation 1,' which describes a computational model similar to the Turing machine.
His work laid foundational aspects of modern computer science and logic.
His work laid foundational aspects of modern computer science and logic.
Mentioned by
Mentioned in 1 episodes
Mentioned by 

when discussing the definition of computation.


Noam Chomsky

Noam Chomsky on Consciousness, Reality, Mind Body Connection, and Mathematical Realism