Blog d’en Xavi

Llanç una pregunta amb transfons filosòfic:

El teorema de Gödel ens diu que hi ha coses que no podem demostrar en un sistema formal de primer ordre. Entre elles, si un programa arbitrari s’atura o no.

Creis que el nostre cervell té una estructura de primer ordre? O per contra hi opera una altra tipus de lògica: d’ordre major, lògica borrosa, lògica “genèrica” derivada de la teoria de categories, etc.?

Trobau que hi hagi qualque raó “objectiva” a favor i en contra?

Jo crec que no. Un argument podria ser que podem intuir si acaben o no els programes, encara que no ho poguem demostrar. Un altra seria que encara que un problema no tengui solució en un sistema formal de primer ordre, sempre pareix que la volem trobar (vegi’s [1] i [2] - l’intent de Woodin al cas de la Hipòtesi del Continu; són articles per llegir per damunt per saber de què van els progressos, no per intentar entendre totes les passes, en la meva opinió).