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."
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í...
