top of page
Search


Michael DeBellis
Jul 11, 20249 min read
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...
138 views0 comments
bottom of page