Metamatemática

Metamatemática

No figura en el Diccionario filosófico marxista · 1946

No figura en el Diccionario filosófico abreviado · 1959

Diccionario filosófico · 1965:312

Concepto con el que se designa la teoría concerniente al estudio de
las diferentes propiedades de los sistemas y cálculos formales (no
contradicción, completitud y otros). El término de “metamatemática”
se debe a Hilbert, quien lo introdujo al formular su concepción de los
fundamentos de la matemática (Formalismo). Durante los últimos años,
en este terreno se han obtenido importantes resultados (teorema de
Gödel sobre la insuficiencia de la aritmética formal y sobre la
imposibilidad de demostrar la falta de contradicción de un sistema
utilizando recursos formalizados en ese mismo sistema, &c.).

Diccionario de filosofía · 1984:287

(teoría de las demostraciones): teoría que estudia las distintas
propiedades de los sistemas y cálculos formales (carácter no
contradictorio, plenitud, &c.). El término “metamatemática” fue
introducido por Hilbert en relación con su concepción de la
fundamentación de la matemática (Formalismo).

Comparte este artículo