eksiklik teoremi

entry6 galeri
    1.
  1. "Kurt Gödel" tarafından ortaya çıkartılan teoremdir.
    kısa bir anlatımla;
    "tutarlı biçimsel bir sistem kurallara ve aksiyomlara dayanıyorsa bu sistem kesinlikle karar verilemeyen (ne doğru ne de yanlış olduğu kanıtlanabilen) önermeler içerecektir."
    *
    http://tr.wikipedia.org/wiki/Eksiklik_Teoremi
    3 ...
  1. henüz yorum girilmemiş
© 2025 uludağ sözlük