 |
Había entendido yo que del bueno (es un decir) e inteligentísimo János Neumann, llamado luego John von Neumann, y de su recursión transfinita te encargabas tú. Pero, en fin, puede ser interesante confrontar nuestros puntos de vista al respecto. (Si es que cabe hablar aquí propiamente de “puntos de vista”.) Como no olvido que lo que estamos escribiendo puede ser de interés incluso para gentes no obligatoriamente versadas en estas quisicosas matemáticas, creo que la mejor manera de enfocar el teorema de von Neumann de la recursión transfinita consiste en empezar explicando antes en qué consiste la inducción aritmética, también llamada inferencia aritmética inductiva. De modo que dedicaré un primer post a la inducción aritmética, y el siguiente a la recursión transfinita. Para lo cual, si no te parece mal (mejor dicho: suponiendo que no ha de parecerte mal), iniciaré otro hilo, ya que este que estamos hilando está ya demasiado sobrecargado.
|
| |
|