top of page
Search
Correcting Errors in a Previous Post
Correcting an error in a previous post about Turing's famous proof.
Michael DeBellis
Dec 27, 20241 min read
7 views
0 comments
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
180 views
0 comments
Using an LLM to help build ontologies: The Basic Formal Ontology (BFO) Assistant
Using the Open AI Assistant tool to create an LLM enabled assistant to using the Basic Formal Ontology (BFO)
Michael DeBellis
Feb 1, 20241 min read
628 views
3 comments
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
165 views
0 comments
Universal Moral Grammar (UMG) Ontology
Describes an ontology I presented at Semantics 2018 based on Hauser's concept of a Universal Moral Grammar (UMG)
Michael DeBellis
Jul 23, 20192 min read
581 views
1 comment
What's It Like to Be a Computer?
A critique of Nagel's famous "What's It Like to be a Bat" paper
Michael DeBellis
Jul 20, 20185 min read
200 views
0 comments
bottom of page