Ce este paradoxul lui Gödel?

Intrebare din data 20-06-2023 04:09

Vizualizari 661

Matematică

1 Raspunsuri

Ordoneaza dupa

Paradoxul lui Gödel este o teoremă matematică formulată de Kurt Gödel, care afirmă că în orice sistem formal care este suficient de complex încât să includă aritmetica, există enunțuri adevărate, dar care nu pot fi demonstrate ca fiind adevărate în acel sistem formal. Această teoremă subminează ideea că orice sistem formal poate fi complet și coerent.

20-06-2023 04:09