Názor k článku Komiks: není myš jako myš od Ondrej \'SanTiago\' Zajicek - > Samozrejme "zakon termodynamiky" neni zadny skutecny zakon....

> Samozrejme "zakon termodynamiky" neni zadny skutecny zakon. Je to jen formalizovany popis neceho odpozorovaneho primz o tom co se pozoruje je omezena znalost.

Samozrejme. Takove jsou ale vsechny prirodni zakony. Jaky 'skutecny' zakon tedy mas na mysli?

> Takze co VE SKUTECNOSTI dokazujete ?

To co pisi - ze soucasnych znalosti o fyzice (mezi ktere spadaji termodynamicke zakony) vyplyva neexistence perpeta mobile.

To ze soucasne znalosti o fyzice jsou soucasne a v budoucnu se muzou dost podstatne zmenit, je snad samozrejme.

Jakekoliv dokazovani (= deduktivni mentalni proces) musi vychazet z nejakych (treba i implicitnich) predpokladu. A spolehlivost dokazaneho zavisi na spolehlivosti danych predpokladu. Jaky jiny dukaz cehokoliv nez takovy by sis predatavoval?

Jestli te neuspokojil tento priklad dukazu neexistence, mam tu jeste lepsi priklady - dukazy z oblasti algoritmicke nerozhodnutelnosti. To je v podstate matematika, ale zvolena teorie velice dobre popisuje moznosti soucasnych pocitacu. Tyto dukazy dokazuji neexistenci algoritmu (tedy pomerne realnych objektu) pro specificke typy problemu. Samozrejme tezko vyloucim hypotetickou moznost, ze fyzikalni realita je trochu jina, nez si myslime, a diky ni soucasne pocitace maji nikym netusene moznosti.