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
153 views
0 comments
bottom of page