#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.

Mentioned by

Mentioned in 1 episodes

Mentioned by
undefined
Noam Chomsky
when discussing the definition of computation.
Noam Chomsky on Consciousness, Reality, Mind Body Connection, and Mathematical Realism

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app