Cohen, sobre Gödel (y la memoria)

Es bien interesante cómo cuenta Paul Cohen (en la parte 2) cuando (siendo estudiante en Chicago) quería encontrar un procedimiento de decisión para las ecuaciones diofantinas, Kleene le dijo que no era posible, y lo llevó al teorema de Gödel. Al principio Cohen trató de encontrar un error, se convenció de la demostración de Gödel y quedó inspirado. La parte de los “muchos universos” versus el programa de universo único también vale la pena. Es bellísimo el excursus literario (yendo a Bacon, a Proust, sobre la verdad de la memoria y la música) .

Habla de intuición matemática (el “flash” que hace que uno vea la demostración, si está de buenas).

Muy inspiradora esta conferencia de Cohen en el centenario de Gödel en 2006 en Viena. Rather early in the game I think forcing occurred in a very very hazy form to me… but I didn’t know what I hadHa! Construction! That is what Gödel’s doing! … My God, this thing is crazy, but it actually seems to work! I thought that the notion of forcing was on a nice edge… it seems to be nonsensical, because you are trying to construct a model where things will be true, you don’t know what the model is, you use what you want to be true as the basis for constructing the model, you don’t know what truth is, and so, conscious … I couldn’t believe it… look, it’s really basically two lines… those of you who know what forcing is … universal versus existential quantifier…

(Gracias a Luis Miguel Villegas por enviar el enlace.)

One thought on “Cohen, sobre Gödel (y la memoria)

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s