Ernest Nagel and James R. Newman

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 →