mozart 12.01.07, 13:53 Jak mowi tw o niezupelnosci Gödla, w kazdym systemie formalnym musza istniec takie wyrazenia, ktore prowadza do sprzecznosci, ergo wczesniej czy pozniej takie dziury sie odkryje. Odpowiedz Link Zgłoś czytaj wygodnie posty
Gość: rumcajsk o tw Godla IP: *.dhcp.insightbb.com 30.01.07, 01:24 Twierdzenie Godla nic takiego nie mowi. Pokazuje jedynie, ze w kazdym systemie formalnym odpowiednio skomplikowanym (zawierajacym arytmetyke) istnieja zdania, ktorych nie mozna w tym systemie ani udowodnic ani obalic. Odpowiedz Link Zgłoś