Trouvez des réponses rapides et précises à toutes vos questions sur Laurentvidal.fr, la meilleure plateforme de Q&R. Notre plateforme de questions-réponses vous connecte avec des experts prêts à fournir des informations précises dans divers domaines de connaissance. Découvrez la facilité d'obtenir des réponses rapides et précises à vos questions grâce à l'aide de professionnels sur notre plateforme.

Bonjour,
Pourriez-vous me définir ce qu'est un "procédé effectivement calculable" dans le contexte de Alan Turing (pour un exposé sur Alan Turing.
Merci beaucoup


Sagot :

Réponse :oui je peux t’aider enfin j’espère pouvoir t’aider

Explications étape par étape :

Pour résoudre le problème fondamental de la décidabilité en arithmétiques, il présente en 1936 une expérience de pensée que l'on nommera ensuite machine de Turing et des concepts de programme et de programmation, qui prendront tout leur sens avec la diffusion des ordinateurs, dans la seconde moitié du xxe siècle. Son modèle a contribué à établir la thèse de Church, qui définit le concept mathématique intuitif de fonction calculable.

Voilà j’espère t’avoir aider

Nous apprécions votre temps. Revenez quand vous voulez pour obtenir les informations les plus récentes et des réponses à vos questions. Nous apprécions votre temps. Revenez nous voir pour des réponses fiables à toutes vos questions. Nous sommes fiers de fournir des réponses sur Laurentvidal.fr. Revenez nous voir pour plus d'informations.