TỰ ĐIỂN TỔNG HỢP
  • Tra từ
  • Các Từ điển khác
    Từ điển Hán Việt Trích Dấn Từ điển Hán Việt Thiều Chửu
    Từ điển Chữ Nôm Trích Dấn
    Đại Nam Quấc Âm Tự Vị Từ điển Hội Khai Trí Tiến Đức
    Phật Quang Đại Từ điển
  • Hướng dẫn
    Hướng dẫn
    Về Từ điển tổng hợp
  • Tài khoản
    Đăng nhập Đăng xuất Đăng ký
  • Quản lý
    Cấu hình tự điển Bảng thuật ngữ Nhập bảng thuật ngữ Xuất bảng thuật ngữ
ANY>>ANY

Đức

metamathematik

Metamathematik

  
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Metamathematik

auch Beweistheorie. Inhaltlichmathematische Theorie der formalen mathematischen Systeme, die mit einfachsten arithmetischen und kombinatorischen Mitteln Zusammenhänge zwischen formalen Systemen und Eigenschaften formaler Systeme, vor allem deren Widerspruchsfreiheit, feststellen soll (finitistische M.). Nach der Einsicht des Unvollständigkeitssatzes von Gödel plädierte man für eine Erweiterung des Methodenrahmens der M., da die ursprünglichen Ziele des Hilbert-Programmes (Formalismus) ohnehin nicht verwirklicht werden können (nicht-finitistische M.). Heute ist M. daher meist einfach die inhaltliche mathematische Theorie formaler Systeme der Mathematik.

VP

LIT:

  • D. Hilbert: Grundlagen der Geometrie. Leipzig und Berlin 71930
  • D. Hilbert/P. Bernays: Grundlagen der Mathematik. 2 Bde. Berlin 1934 und 1939
  • St. C. Kleene: Introduction to Metamathematics. Amsterdam 1952
  • P. Lorenzen: Metamathematik. Mannheim 1962
  • H. Rasiowa/R. Sikorski: The Mathematics of Metamathematics. Warszawa 21968.