olivlawolivlaw

Carte

Gödel's Proof

de Ernest Nagel and James R. Newman · 1958 · 1 fișă de lectură

AutorErnest Nagel and James R. Newman →RafturiInteligență artificială

1 fișă

  1. 01

    În orice sistem matematic suficient de puternic există afirmații adevărate care nu pot fi niciodată demonstrate folosind doar regulile acelui sistem.

    Gödel's Proof · 1958

    Într-un sistem formal suficient de puternic există propoziții adevărate ce nu pot fi demonstrate cu regulile sale.

    Gödel a construit, cumva, o afirmație matematică ce spune despre ea însăși „eu nu pot fi demonstrată aici". Dacă afirmația e falsă, sistemul ar demonstra ceva greșit, ceea ce nu se poate. Dacă e adevărată, atunci există un adevăr pe care sistemul nu-l poate atinge singur.

    Deschide fișa →