Questions marquées «hypercomputation»

Que signifierait-il pour réfuter la thèse de Church-Turing?

Désolé pour le titre accrocheur. Je veux comprendre, que doit-on faire pour réfuter la thèse de Church-Turing? Quelque part j'ai lu c'est mathématiquement impossible de le faire! Pourquoi? Turing, Rosser, etc. ont utilisé différents termes pour distinguer entre "ce qui peut être calculé" et "ce qui peut être calculé par …

83 computability proofs hypercomputation

Pourquoi la recherche sur l'hypercomputation s'est-elle éteinte?

Je vois beaucoup de recherches sur l' hypercalcul dans les années 1990, mais ces dernières années, il semble y avoir peu de travail sur le sujet. Est-il vrai que la recherche dans ce domaine s'est éteinte? Si oui, quelles pourraient en être les raisons? A-t-on démontré de façon convaincante que …

18 reference-request computability hypercomputation

Comment les modèles d'hypercomputation surmontent-ils le problème de l'arrêt?

L'hypercomputation fait référence à des modèles de calcul qu'il n'est pas possible de simuler à l'aide de machines de Turing. (Les hypercalculateurs ne sont pas nécessairement physiquement réalisables!) Certains hypercalculateurs ont accès à une ressource qui permet de résoudre le problème d'arrêt des machines Turing standard. Appelons cela une "superpuissance": …

17 computability hypercomputation

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.