> 3) Théorème de Turing étendu à la physique : si il n'y a aucun moyen de vérifier l'existence d'un phénomène physique, directement ou indirectement, alors cet objet n'existe pas.
Est-ce que tu fais référence à la thèse de Church-Turing (qui dit que toute fonction calculable par un procédé quelconque le sera également par une machine de Turing, et qui n'est pas -- et par nature ne sera jamais -- un théorème), ou est-ce à autre chose ?
Si c'est le cas, je ne vois pas bien le rapport avec cette affirmation, qui ressemble plus à une sorte de définition de la notion d'existence.
[^] # Re: Vraie question
Posté par arenthis . En réponse au journal Athéisme, agnostisme: manifeste agnostique. Évalué à 1.
Est-ce que tu fais référence à la thèse de Church-Turing (qui dit que toute fonction calculable par un procédé quelconque le sera également par une machine de Turing, et qui n'est pas -- et par nature ne sera jamais -- un théorème), ou est-ce à autre chose ?
Si c'est le cas, je ne vois pas bien le rapport avec cette affirmation, qui ressemble plus à une sorte de définition de la notion d'existence.