Theorem: For every ω-consistent recursive class κ of FORMULAS there are recursive CLASS SIGNS r, such that neither v Gen r nor Neg(v Gen r) belongs to Flg(κ) (where v is the FREE VARIABLE of r).
...logički slijedi...
Basically, Gödel's theorems prove the Doctrine of Original Sin, the need for the sacrament of penance, and that there is a future eternity.
Originalni članak je maknut s web stranice (socialjusticereview.org/articles/evolutionary_theories.php) pa dopuštam mogućnost da se autor predomislio ili je našao grešku u logičkim koracima (pa sad radi na novom, uvjerljivijem dokazu svoje hipoteze). Ali, srećom, ovjekovječeno je u članku o tome zašto romantičari vole Gödela.
2 komentara:
Gödel je, izgleda, "matematički Heisenberg". Da budem precizniji, njegov je teorem o nepotpunosti (ako je moj laički prijevod dobar) matematici ono što je kvantna mehanika fizici -- dovoljno misteriozan i nepristupačan da je njime vrlo lako manipulirati.
Situacija me donekle podsjeća na ovaj slučaj, ili šalu MIT-jevaca kada su na konferenciju prijavili rad sastavljen od nasumičnog žargona -- i to uspješno. Ako takve stvari prolaze kod "pravih" znanstvenika, uopće me ne čudi što manipulacije Gödelom, kvantnom fizikom i sličnima prolaze kod ljudi kojima ta područja nisu od primarnog interesa.
Pa, recimo... Ali s bitnom razlikom da je kvantna fizika današnjoj fizici puno važnija od Godelove logike. Oni su, baš kao što članak kaže, više zanimljivosti za romantičare i filozofe nego nešto važno za razvoj matematike.
Zatefterio sam tvoje linkove, idem ih sad čitati, thanks.
Objavi komentar