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

unvollständigkeitssatz

Unvollständigkeitssatz

 
Metzler Lexikon Philosophie
Metzler Lexikon Philosophie

Unvollständigkeitssatz

(von K. Gödel). Jedes (einigermaßen ausdrucksstarke) widerspruchsfreie formale deduktive System ist unvollständig, d.h. es gibt einen darin formulierbaren Satz, der in diesem System Unentscheidbar ist, d.h. nicht bewiesen und nicht widerlegt werden kann. Damit ist sowohl der Formalismus als auch der Logizismus zum Scheitern verurteilt, da keine mathematische Disziplin in einem solchen formalen System völlig adäquat erfasst werden kann. Ein wichtiges Korollar zu diesem Satz besagt, dass die Widerspruchsfreiheit eines formalen deduktiven Systems nur mit Mitteln bewiesen werden kann, die stärker sind als die Mittel dieses Systems.

VP

LIT:

  • K. Gdel: ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme. In: Monatshefte fr Mathematik und Physik (1931). S. 173198.