À la question posée par David Hilbert en 1900, reprise par Max Newman, sous la forme : «Existe-t-il un procédé mécanique qui permette de savoir si une proposition mathématique est démontrable ou non ?», Alan Turing répondit en 1936 en inventant une machine abstraite qui porte son nom, d’une simplicité maximale, qui imprime ou lit des traits dans les cases alignées d’un ruban de papier sans fin. L’auteur propose de le suivre dans l’analyse très fine du fonctionnement de cette machine en décomposant les procédés de l’arithmétique élémentaire en ses mécanismes les
🗹 Auteur: Charles Corges
🗹 Langue: Français
🗹 ISBN-13: 9782729837723
🗹 Date de publication: 9 avril 2008
🗹 Format ebook : PDF, EPUB, Kindle, Audio, HTML et MOBI
★★★★☆ 5.0 sur 5 etoiles (1 évaluations)
Vérification de la santé des fichiers distants...
Qu'est-ce que je reçois?
✓ Lisez autant de livres numériques que vous le souhaitez!
✓ Scanneé pour la sécurité, pas de virus détecté
✓ Faites votre choix parmi des milliers de livres numériques - Les nouvelles sorties les plus populaires
✓ Cliquez dessus et lisez-le! - Lizez des livres numériques sans aucune attente. C'est instantané!
✓ Continuez à lire vos livres numériques préférés encore et encore!
✓ Cela fonctionne n'importe où dans le monde!
✓ Pas de frais de retard ou de contracts fixes - annulez n'importe quand!