Filosofía en español 
Filosofía en español

Metamatemática

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Metamatemática

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 filosófico · 1965:312

Metamatemática

(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).

Diccionario de filosofía · 1984:287