Víctor Aranda Utrero

Artículos en los que ha colaborado

¿Son las Verdades Aritméticas Verdades Lógicas? Logicismo para el Siglo XXI

Hace sesenta y dos años, el lógico y matemático L. Henkin revivía una de las eternas disputas sobre el indispensable papel de la lógica en las matemáticas, una que pone en duda la naturaleza de teoremas y proposiciones por igual. Por Victor Aranda Utrero, Dpto. de Lógica y Física Teórica, UCM.

Autor