středa 20. března 2019

Nepoznatelný metafyzický výpočet jako zádrhel Church–Turingovy teze

Uvědomil jsem si, že můj protiargument  (z článku "Myšlenkopocity, Sapir–Whorfova hypotéza, (ne)autorství aj. reakce") k současnému znění Church–Turingovy teze lze zobecnit tak, aby byl platný i v takovém čistě deterministickém vesmíru, kde úplné poznání podstaty vesmíru není možné (čemuž náš vesmír odpovídá alespoň podle současných paradigmat vědy, pokud vím). Pravděpodobně existující metafyzický "výpočet", který není možné poznat, není úspěšně uskutečnitelný algoritmem běžícím na počítači. Neexistuje pro něj uskutečnitelná možnost algoritmizace. To znamená, že absolutní poznatelnost vesmíru je pravděpodobně nevyjádřený předpoklad Churcho–Turingovy teze a její znění by tento rozpor mělo začít reflektovat, aby tato teze byla v komplementaritě s neabsolutní poznatelností vesmíru.

V návaznosti na toto tvrzení se ke mě dostal argument (hájící současné znění oné teze): "Nicméně platnost Churchovy-Turingovy teze pro data a procesy, které neznáme, nelze posoudit (ani vyvrátit). Je možné, že ty procesy jsou Turingovým strojem vyčíslitelné, ale k jejich vyčíslení jsou potřeba data, která není možné získat, v takovém případě by pro ně ta teze dál platila, protože by byly nevyčíslitelné pouze prakticky, ale nikoliv teoreticky."

Obrázek vesmíru jako puzzlí, ve které chybí jeden dílek a je místo něj otazník, což má ilustrovat aplikování Gödelových vět o neúplnosti na vesmír. (Autor: Sebastián Wortys)

Na to reaguji, že s tím "nikoliv teoreticky" bych si nebyl tak jistý, protože "teoreticky možné" znamená "matematicky možné" a z hlediska Gödelových vět o neúplnosti v obecnější analogii na vesmír pravděpodobně existuje alespoň jeden metafyzický výpočet, který není algoritmizovatelný ani teoreticky. Pokud tedy není algoritmizovatelný teoreticky ani prakticky, tak logicky není algoritmizovatelný vůbec. A podle mé intuice by se ten metafyzický výpočet mohl týkat třeba otázky vzniku/ existence vesmíru. Proč existuje něco místo nic? Z hlediska cogito ergo sum to nejspíš musí mít nějakou zákonitost (nějak už očividně existujeme, i kdybychom byli třeba tzv. mozek v kádi), ale dost možná není ani v rámci teoretičnosti možné ji s jistotou odhalit/ dokázat/ falzifikovat. Jinak to, že "už existujeme" nejspíš znamená, že ten metafyzický výpočet je alespoň z určitého hlediska konečný, už umožnil existenci.

Pokud to chápu, Church-Turingova teze omezuje pouze formu, do které má být výpočet převeden, ale dosud nevztahuje žádná explicitní omezení na to, kde a jak výpočet vyštrachat. Ale i tak zjištění toho metafyzického výpočtu by sice mohlo vyžadovat třeba nekonečnou rekurzi, avšak sám ten hledaný metafyzický výpočet může být konečný. A i kdyby byl nekonečně rekurzivní, tak z rekurzivních výpočtů lze (pokud vím) udělat konečné tím, že stanovíme, kolikrát se má rekurze opakovat (přičemž výsledek toho metafyzického výpočtu by se pak mohl vztahovat k odpovídajícímu času daného wesmíru a mohlo by to souviset i s vědomím). Ale museli bychom ten výpočet nejprve znát, :D.

Také se domnívám, že za "teoreticky možné" lze racionálně považovat pouze to, co je možné v libovolném existenceschopném wesmíru (přičemž je velmi těžké být si jistý, která forma wesmíru je existenceschopná, a proto je matematika nejspíš o něco svobodnější). Ale možná si nelze představit takový existenceschopný wesmír, ve kterém by bylo možné ověřit, co doopravdy umožňuje jeho existenci. Přesto o tom můžeme spekulovat. Třeba podle mě v hypotetické Neexistenci možná jakoby platí něco jako: Aby mohlo cokoliv existovat, musí to být stvořeno něčím jiným než Neexistencí, i kdyby to mělo být ono samo.

Ale ten nealgoritmizovatelný metafyzický výpočet se klidně může týkat i třeba vědomí, obzvláště pokud má třeba panpsychickou podstatu. Kdo ví...

Žádné komentáře:

Okomentovat