Accueil Publimath  Aide à la recherche  Requête : "histoire de la logique"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
67 fiches trouvées Début Précédent Réponses 41 à 60 Suivant Fin

412011 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.Ressource en ligne
422011 Pour la Science. N° 410. p. 80-85. La logique de la perfection.
432010 Logicomix.
442010 Mathisto.
452007 Les métamorphoses du calcul.
462007 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.Ressource en ligne
472004 Bulletin de l'APMEP. N° 451. p. 216-225. L'induction chez les philosophes et dans la pratique mathématique.Ressource en ligne
482004 Gödel.
492002 Bulletin de l'APMEP. N° 442 p. 613-629. L'école algébrique anglaise (1812-1854) : apports et prolongements.Ressource en ligne
501999 L'esprit des sciences. 2500 ans de mathématiques l'évolution des idées.
511999 Revue d'histoire des sciences. Vol. 52. N° 3-4. Mathématique et logique chez Bolzano.Ressource en ligne
521999 Revue d'histoire des sciences. Vol. 52. N° 3-4. p. 385-398. Bolzano's criticism of indirect proofs.Ressource en ligne
531997 L'infini en Mathématiques.
541995 La machine de Turing.
551992 On the interplay between logic and philosophy: a historical perspective.
561990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. Ludwig Wittgenstein et le fondement de la certitude. p. 127-157.
571990 Actes de l'université d'été sur l'Histoire des Mathématiques. La Rochelle. 28 août - 2 septembre 1988.
581988 La logique sur les corps de rupture des paradoxes.
591984 Introduction à la logique.Ressource en ligne
601977 Mathématiques et sciences humaines. N° 60. p. 31-62. Sur l'histoire des diagrammes logiques, "figures géométriques".Ressource en ligne