KUKIDE: tak on prostě neexistuje žádný bezrozporný formální logický systém, že jo. To se v matematice ví už cc 90 let. (Bertrand Russel se už předtím zamotával do svých množin, které nejsou vlastní podmnožinou, nebo jak to bylo... jde o to, že on v bezrozporný systém logiky věřil, a Goedel pak jen tak mimochodem dokázal, že to není možné)
Fyzika, pokud bude omezená na matematicko-logické modely, bude tím pádem limitována podobně. Ale reálná fyzika, tedy pozorování, ať už pasivní nebo v rámci nějakého umělého experimentu, se podle mě nemusí nechat omezit dříve existujícími modely a může přinášet stále nová překvapení. Vlastně je v tom obrovský kus optimismu a naděje... že to nikdy nebude nuda, že nikdy nepoznáme žádnou konečnou a úplnou podobu přírodních zákonů.