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


Using OWL Models to Bring Rigor to the "Soft" Sciences
Examples of using the Web Ontology Language to rigorously define theories in the social sciences

Michael DeBellis
Oct 24, 20234 min read


Artificially Unintelligent Hysteria
The proposed AI timeout is just hysteria. There is no danger of sentient AI and attempts to "pause" research are unfounded.

Michael DeBellis
Apr 13, 20232 min read


John Searle's Chinese Room Argument
I recently published an article where I take issue with John Searle's Chinese Room argument against Artificial Intelligence

Michael DeBellis
Apr 10, 20231 min read
bottom of page