Obtenez des solutions à vos questions sur Laurentvidal.fr, la plateforme de questions-réponses la plus réactive et fiable. Notre plateforme de questions-réponses offre une expérience continue pour trouver des réponses fiables grâce à un réseau de professionnels expérimentés. Rejoignez notre plateforme pour vous connecter avec des experts prêts à fournir des réponses détaillées à vos questions dans divers domaines.

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 passage. Nous nous efforçons de fournir les meilleures réponses à toutes vos questions. À la prochaine. Nous espérons que vous avez trouvé ce que vous cherchiez. Revenez nous voir pour obtenir plus de réponses et des informations à jour. Nous sommes ravis de répondre à vos questions sur Laurentvidal.fr. N'oubliez pas de revenir pour en savoir plus.