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.

Dettagli sul prodotto

• Autori: 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
• Editore: Seuil
• Lingue: Francese
• Formato: Tascabile
• Pubblicazione: 18.03.1999
• EAN: 9782020369282
• ISBN: 978-2-02-036928-2
• Pagine: 192
• Dimensioni: 110 mm x 180 mm x 10 mm
• Peso: 104 g
• Serie: 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
• Categoria: Scienze sociali, diritto, economia > Sociologia