Aide à la recherche   Requête : "thèse de Church"

1	2013 Quadrature. N° 90. p. 18-23. Les nombres réels calculables selon Alan Turing.
2	2012 Quadrature. N° 86. p. 17-28. Initiation à la calculabilité.
3	2011 De la méthode.
4	2011 De la méthode. Machines de Turing et complexité algorithmique. p. 179-212.
5	2011 Epistémologie mathématique.
6	2010 Histoire d'algorithmes : du caillou à la puce. Vers un concept d'algorithme. p. 505-536.
7	2009 CultureMATH. Algorithmes et puzzles : une ultime approche de Turing.
8	2007 Les métamorphoses du calcul.
9	2004 Bibliothèque Tangente. N° 15. Calculabilité, décidabilité et complexité. p. 62-65.
10	2004 Bibliothèque Tangente. N° 15. La logique.
11	2003 Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
12	2003 Tangente Hors-série. N° 15. Vol. 2. p. 10-12. Calculabilité, décidabilité et complexité.
13	1999 Information, complexité et hasard.
14	1995 Histoire d'algorithmes. Du caillou à la puce. Vers un concept d'algorithme. p. 505-535.
15	1994 Information, complexité et hasard.
16	1992 Le concept de suite aléatoire et la thèse de Church.
17	1991 L'Ouvert. N° 65.
18	1991 L'Ouvert. N° 65. p. 18-26. Un retour aux origines du calculable - la thèse de Church / Post.