Pentru a vă înregistra, vă rugăm să trimiteți un email către administratorul site-ului.
Pune o întrebare

3.6k intrebari

6.8k raspunsuri

15.5k comentarii

2.5k utilizatori

1 plus 1 minus
2.2k vizualizari
Experimentat (3.5k puncte) in categoria Matematica

2 Raspunsuri

4 plusuri 0 minusuri
 
Cel mai bun raspuns
Godel afirma si demonstreaza ca o teorie bazata pe un sistem de axiome, din care decurg prin algoritmi logici o serie de propozitii numite adevaruri , nu poate fi concomitent si completa si consistenta, adica teoria poate fi completata, dar pe seama consistentei, ori poate fi logic intarita, dar  in dauna completitudinii. Altfel spus, fata de orice teorie, exista propozitii adevarate in raport cu aceasta, care nu pot fi demonstrate cu mijloacele teoriei respective (expresie a incompletitudinii). Acest tip de adevaruri, in matematica, se numesc conjecturi ( Goldbach de exemplu). In acelasi timp, in orice teorie exista cel putin o propozitie formulabila cu mijloacele teoriei respective, care o submineaza logic (de exemplu paradoxul lui Russell in teoria multimilor) - expresie a limitelor consistentei. Teorema are o semnificatie aparte in domeniul filosofiei matematicii, demonstrand imposibilitatea crearii unui sistem axiomatic perfect in sensul completitudinii si al consistentei si indicand, in fond, gradul de incertitudine al modelelor teoretice pe care le folosim pentru explicarea realitatii observate, asa cum in fizica o face principiul lui Heisenberg
Senior (6.6k puncte)
1 plus 2 minusuri
scuze pentru raspunsul meu(o alta intrebare)...unde pot sa o gasesc aceasta teorema a lui G0del?
Novice (146 puncte)
...