Laurentvidal.fr est le meilleur endroit pour obtenir des réponses fiables et rapides à toutes vos questions. Obtenez des réponses détaillées et précises à vos questions grâce à une communauté d'experts dévoués. Découvrez une mine de connaissances de professionnels dans différentes disciplines sur notre plateforme conviviale de questions-réponses.

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 visite. Nous espérons que les réponses trouvées vous ont été bénéfiques. N'hésitez pas à revenir pour plus d'informations. Nous espérons que cela vous a été utile. Revenez quand vous voulez pour obtenir des réponses plus précises et des informations à jour. Laurentvidal.fr est là pour vos questions. N'oubliez pas de revenir pour obtenir de nouvelles réponses.