Słupek napisał(a):Proszę jakiegoś lepszego ode mnie ziemskiego matematyka o wyjaśnienie. Czy jeśli w ramach NTI udowodnimy jej niesprzeczność (powiedzmy, że wersję Fizyka-Windziarza, bo ta kubusiowa nie jest teorią formalną) będzie to oznaczało, że NTI jest tak naprawdę sprzeczna? Sprzeczna wtw. niesprzeczna?Wygląda na to, że tak, i wynika to z twierdzenia Gödla. Tzn, jeśli udowodnisz niesprzeczność jakiegoś systemu w ramach tego systemu, to znaczy, że jest on sprzeczny. Nie znaczy to jednak, że sprzeczny wtw. niesprzeczny, bo niesprzeczność udowodniłeś w ramach sprzecznego systemu, a zatem dowód jest nic nie warty (poza tym, że dowodzi tak naprawdę sprzeczności :p)
EDIT: Dodam tylko, że nie jestem tego na 100% pewien, gdyż akurat w tej części matematyki nie siedzę, jako że ma mało zastosowań w fizyce
"Tylko dwie rzeczy są nieskończone - Wszechświat i ludzka głupota. Co do Wszechświata nie jestem pewien" - Albert Einstein