Categoria: Universita' | Giovedì 31 Gennaio 2019, e l'insieme degli enunciati/proposizioni di un sistema formale viene strutturato come spazio topologico, è possibile esprimere il teorema di incompletezza di Gödel attraverso il teorema del punto fisso di Brouwer (che in un certo senso caratterizza i processi ricorsivi). Nello specifico, il teorema di Gödel sembrerebbe derivare dalla non-monodromia della funzione di trasferimento del sistema dinamico iterato che realizza il predetto processo ricorsivo. Abbiamo, dunque, una macchina della verità gödeliana che lascia "scoperto" un sottospazio topologico dello spazio delle proposizioni. Cioè, ogni punto di tale sottospazio è una proposizione che non può essere nè dimostrata né refutata.