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.

Product details

• Authors: 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
• Publisher: Seuil
• Languages: French
• Product format: Paperback / Softback
• Released: 18.03.1999
• EAN: 9782020369282
• ISBN: 978-2-02-036928-2
• No. of pages: 192
• Dimensions: 110 mm x 180 mm x 10 mm
• Weight: 104 g
• Series: 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
• Subject: Social sciences, law, business > Sociology