Blog de la Biblioteca de Matemàtiques i Informàtica

Alguns vincles entre els teoremes de Gödel i Turing

Deixa un comentari

Josep Pla i Carrera

Josep Pla i Carrera

El passat 7 de febrer, Josep Pla i Carrera, professor emèrit del Departament de Probabilitat, Lògica i Estadística de la Universitat de Barcelona (UB), publicava un article al bloc col·lectiu El año de Turnig del diari El País, amb el títol Algunos vínculos entre los teoremas de Gödel y Turing.

Partint de l’obra de David Hilbert (1862-1943), el Doctor Pla estableix diversos vincles entre els treballs de Kurt Gödel (1906-1978) i els d’Alan Turing (1912-1954).

Hemos relacionado, pues, Turing con Hilbert.

Pero, ¿qué lo vincula con Gödel? La respuesta nos las dan las ‘funciones recursivas [parciales]’. Una máquina de Turing calcula las funciones recursivas y sólo éstas. Este es un vínculo muy estrecho entre algunos de los conceptos introducidos por Gödel y algunos de los conceptos introducidos por Turing que justifican, creo, que en 1963 Gödel añadiera un apéndice al artículo de su teorema de 1931 afirmando que las aportaciones de Turing permitían “una definición precisa e indudablemente adecuada de la noción general de sistema formal de los teoremas vi y xi”.

Pla i Carrera, Josep. Algunos vínculos entre los teoremas de Gödel y Turing.

Josep Pla ha publicat molt recentment El teorema de Gödel. Un análisis de la verdad matemática, un llibre editat per la Real Sociedad Matemática Española (RSME), que es divideix en tres parts. En la primera, Pla ofereix una aproximació a l’epistemologia de la matemàtica, centrant-se en el problema de la veritat en matemàtiques. En la segona part, de caràcter més tècnic, aborda la demostració dels teoremes d’incompletesa de Gödel. En la darrera part hi analitza les conseqüències dels teoremes del matemàtic austríac. El llibre permet dues lectures: la del lector que busqui un text divulgatiu sobre l’obra de Gödel i la de l’especialista que vulgui una aproximació rigorosa als seus teoremes.

Deixa un comentari

Fill in your details below or click an icon to log in:

WordPress.com Logo

Esteu comentant fent servir el compte WordPress.com. Log Out / Canvia )

Twitter picture

Esteu comentant fent servir el compte Twitter. Log Out / Canvia )

Facebook photo

Esteu comentant fent servir el compte Facebook. Log Out / Canvia )

Google+ photo

Esteu comentant fent servir el compte Google+. Log Out / Canvia )

S'està connectant a %s