Michael DeBellisJul 119 min readThe Turing/Church Proofs: How Logicians Created Computer ScienceI try to focus most of my posts on practical topics that will help people developing ontologies and knowledge graphs. However, every once...