next up previous
Next: Simian Machines: Model-Based Turing Machines Up: Is (Gödelian) Model-Based Deductive Reasoning Computational? Previous: What Does Gödel's Incompleteness

A Model-Based Explanation of Gödel's Incompleteness Theorem

I'm willing to bet that for the newly initiated, Gödel I as just presented is rather difficult to assimilate. A model-based explanation can change that -- but in order to give such an explanation of Gödel I, we need to first assimilate model-based versions of the ``building block" concepts of

Once these are digested, Gödel I can be rather easily explained and grasped by all sufficiently motivated readers.



 

Selmer Bringsjord
1999-05-03