top of page
Search
Michael DeBellis
Dec 27, 20241 min read
Correcting Errors in a Previous Post
Correcting an error in a previous post about Turing's famous proof.
4 views0 comments
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...
135 views0 comments
Michael DeBellis
Feb 1, 20241 min read
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)
512 views2 comments
Michael DeBellis
Oct 24, 20234 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
141 views0 comments
Michael DeBellis
Jul 23, 20192 min read
Universal Moral Grammar (UMG) Ontology
Describes an ontology I presented at Semantics 2018 based on Hauser's concept of a Universal Moral Grammar (UMG)
563 views1 comment
Michael DeBellis
Jul 20, 20185 min read
What's It Like to Be a Computer?
A critique of Nagel's famous "What's It Like to be a Bat" paper
193 views0 comments
bottom of page