[¯|¯] Una macchina della verità gödeliana. Il teorema di Gödel e il Teorema del punto fisso di Brouwer

In questo hand-book illustriamo un possibile legame tra il teorema di Gödel il Teorema del punto fisso di Brouwer. Nello specifico, l'insieme delle proposizioni di un assegnato sistema formale viene strutturato come spazio topologico, dopodiché viene definita una funzione che simula una "macchina della verità".

A tale funzione, si cerca poi di applicare il predetto teorema del punto fisso, congetturando che l'indecidibilità gödeliana sia una conseguenza della non monodromia della predetta funzione.

Sostienici

Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.