Posted By: Earl (Earl) on 'CZscience'
Title:     Bezespornost axiomatiky
Date:      Fri Jun 20 18:57:03 1997


 Hi valecnici.

 Nejsem sice moc fyzik, ale do matiky neco obcas delam. Hadate se sice
o nejakych dulezitych vecech, ale dokonale jste se shodli na tom, ze
"fyzika je bezesporna".

 To je velice zajimave tvrzeni! Ja tech axiomatickych systemu zase moc
neznam (jen asi tri), nemluve o tom, ktery ted vytvarim, ale mam pocit,
ze soucasti axiomatiky je neco, cemu se rika formalni jazyk apod. Stejne
tak ale nemam pocit, ze bych se s nejakym formalnim jazykem setkal
v pripade fyziky!

 Snad se mnou budete souhlasit, ze jediny dukaz, ktery je objektivni 
(neobsahuje nase subjektivni predstavy a intuitivni chapani veci), je prave
formalni dukaz (dle nejakych dedukcnich axiomu, nejake logiky, nejakych 
gramatik apod.). Nic takoveho jsem v pripade fyziky jeste nevidel.

 Jinymi slovy, objektivni dukaz, ze fyzika je bezesporna, musi byt proveden
ve formalnim prostredi. Rekneme <logika, dedukcni pravidla, fyzika> je 
bezesporna. O nicem takovem nevim.

 To ale neznamena, ze neco takoveho neexistuje. Takze, pokud jsem opravdu
malo informovan, dejte mi prosim vedet.

Earl. 


This is Window Earle, agent of FBI.
Coop, where are you??
Would you like to play a game of chess?
Your turn!