La machine de Turing

Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables.

Produktdetails

• Autoren: Alan Mathison Turing, Jean-Yves Girard, Jean-Yves (1947-....) Girard, Girard/turing, Jean-Yves Girard, Julien Basch, Patrice Blanchard, Alan Turing, Alan Mathison Turing, Alan Mathison (1912-1954) Turing, TURING GIRARD
• Verlag: Seuil
• Sprache: Französisch
• Produktform: Taschenbuch
• Erschienen: 18.03.1999
• EAN: 9782020369282
• ISBN: 978-2-02-036928-2
• Seiten: 192
• Abmessung: 110 mm x 180 mm x 10 mm
• Gewicht: 104 g
• Serien: POINTS SCIENCES; Points. Sciences, n° 204; Points. Sciences, n° 213; Points, n° 122. Sciences; Points, n° 154. Sciences; Points, n° 223. Sciences; Points, Sciences; Points. Sciences, n° 213; Points, n° 122. Sciences; Points. Sciences, n° 216; Points, n° 96. Sciences, n° 96
• Thema: Sozialwissenschaften, Recht,Wirtschaft > Soziologie