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