Aide à la recherche   Requête : histoire de la logique

75 fiches trouvées

Reponses 41 à 60

41	2013 Tangente Hors-série. N° 49. Mathématiques de l'impossible.
42	2013 Tangente Hors-série. N° 49. p. 36-38. L'impossible de Gödel : la fin d'un rêve.
43	2012 Actes du Colloque EMF 2012. La place de la logique dans l'enseignement des mathématiques au lycée en France. p. 457-466.
44	2011 CultureMATH. Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique. 1- Avant Boole : un lent cheminement.
45	2011 CultureMATH. Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique. 1- Avant Boole : un lent cheminement.
46	2011 CultureMATH. Dossier Avant et après Boole, l'émergence de la logique moderne ou L'Art de Penser devient une science mathématique.
47	2011 Pour la Science. N° 410. p. 80-85. La logique de la perfection.
48	2010 Logicomix.
49	2010 Mathisto.
50	2007 Les métamorphoses du calcul.
51	2007 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu'on n'a jamais voulu vous révéler.
52	2004 Bulletin de l'APMEP. N° 451. p. 216-225. L'induction chez les philosophes et dans la pratique mathématique.
53	2004 Gödel.
54	2002 Bulletin de l'APMEP. N° 442 p. 613-629. L'école algébrique anglaise (1812-1854) : apports et prolongements.
55	1999 2500 ans de mathématiques l'évolution des idées.
56	1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.
57	1999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano's criticism of indirect proofs.
58	1997 L'infini en Mathématiques.
59	1995 La machine de Turing.
60	1992 On the interplay between logic and philosophy: a historical perspective.