Obtenez des solutions à vos questions sur Laurentvidal.fr, la plateforme de questions-réponses la plus réactive et fiable. Explorez des milliers de questions et réponses fournies par une communauté d'experts prêts à vous aider à trouver des solutions. Obtenez des réponses immédiates et fiables à vos questions grâce à une communauté d'experts expérimentés 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

Merci de votre visite. Nous sommes dédiés à vous aider à trouver les informations dont vous avez besoin, quand vous en avez besoin. 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. Revenez sur Laurentvidal.fr pour obtenir les réponses les plus récentes et les informations de nos experts.