Kraj sistema-početak nade

Čitajući članak Svet po Mandelbrotu na Promeni ideja sjetio sam se austrijskog matematičara Kurta Gedela koji je 1931. godine dokazao dva revolucionarna teorema, kojima je, poslije Zenona, zadao posljednji smrtni udarac logičkim sistemima. Naime, prvi teorem objašnjava da bilo koji logički sistem koji nije krajnje jednostavan, odnosno koji ima kakav-takav širi misaoni sadržaj, može izraziti istinite tvrdnje koje se pak ne mogu izvesti iz njegovih aksioma. Drugi teorem opet kaže da se za aksiome u takvom sistemu ne može unaprijed dokazati da su lišeni skrivenih protivrječnosti. Prema tome, poenta je da nijedan skup aksioma (logički sistem) ne može biti kompletan, a pogotovo se nikad ne može uzeti zasigurno niti da je konzistentan, čak štaviše: sasvim je moguće da se u nekoj tački može pojaviti očigledna i nepomirljiva kontradikcija...http://milkogrmusa.blogspot.com/2010/02/kraj-sistema-pocetak-nade.html
 

Back
Top