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...
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 ce...
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...