top of page
Search


The Turing/Church Proofs: How Logicians Created Computer Science
12/27/24. When I first published this I got some of the details wrong. Specifically my discussion of countable and uncountable infinite...

Michael DeBellis
Jul 11, 20249 min read
193 views
2 comments
bottom of page