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

Anh

unentscheidbar

undecidable

  
Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

Đức

unentscheidbar

Unentscheidbar

  
Metzler Lexikon Philosophie
Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

Pháp

unentscheidbar

indécidable

  
Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

non-résoluble

  
Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)
Từ điển IATE Đức-Anh-Pháp (I-A Terminology for Europe)

unentscheidbar /IT-TECH/

[DE] unentscheidbar

[EN] undecidable

[FR] indécidable; non-résoluble

Metzler Lexikon Philosophie

Unentscheidbar

Ein Satz heißt u. (in einem formalen deduktiven System T), wenn (in T) weder er noch seine Negation ableitbar ist. Ein in einem System T unentscheidbarer Satz kann in einem T umfassenden System T' entscheidbar sein. Ist ein Satz S in einem widerspruchsfreien System T u., so kann man S oder die Negation von S zu T hinzufügen, ohne dass das so entstehende System formal widersprüchlich würde.

VP