Logica: differenze tra le versioni

* [[Kurt Gödel]], latinizzato in ''Curtius Dominidei'': autore del mai compreso teorema di incompletezza, versione più raffinata dell'illogicità della logica (vedi sopra) e applicabile anche ai [[computer]].

*[[Alonzo Church|Alonzo Chiesa]]: da non confondere con la Chiesa (vedi sopra). Tuttavia, molti recensori continuarono a confondersi e a elogiare sperticatamente i suoi lavori, come la ''computabilità incompuntabile'' e il ''problema dell'arresto''.

 

== Note ==