Liens mathématiques en relation indirecte avec le quasi-empirisme

Fondation des mathématiques

• Aldo Antonelli 's Web Page
• Professor John L. Bell
• Harvey M. Friedman
  Voir aussi Ohio State University - Index of Foundations (Harvey) et Manuscripts
• Randall Holmes ' web site on NF et Randall Holmes Home Page
• Tom Jech 's Home Page
• Ulrich Kohlenbach
• F. William Lawvere
• Rohit J. Parikh
• Vaughan Pratt 's Home Page
• Vladimir Sazonov 's Home Page
• Stephen G. Simpson : What is Foundations of Mathematics ?
  S. Simpson organise également la liste de diffusion fom (Fondations of Mathematics). Il s'agit d'une liste modérée.
  New ! Download Fom-digest lookup , a program dedicated to "grep" the fom-digests on Windows 95/98 or NT.
• Neil Tennant
• Petr Vopenka
• The Metaphysics Research Lab
• CATEGORY THEORY-MATHEMATICAL STRUCTURES RESEARCH GROUPS
  Voir en particulier : Structuralism, Category Theory and Philosophy of Mathematics par Richard Stefanik
• MATHESIS UNIVERSALIS

Démonstration mathématique assistée par ordinateur

• The QED Project - Home Page
  Lire le QED Manifesto (disponible en FTP)
  Voir également les archives de la QED Mailing List
• Robert L. Constable
• Edmund Furse 's Home Page
• Mechanized Reasoning
• Computer Algebra and Automated Reasoning
• The University of Southampton Centre for Research in Mathematics Education(CRiME)

Utilisation de l'informatique en combinatoire

• Seminaire Lotharingien de Combinatoire
• Computing Science: A Question of Numbers
• Philippe Flajolet 's Home Page
• Don Knuth 's Home Page
• Joel Spencer
• Home Page of Doron Zeilberger
• Combinatorial Databases
• L'Encyclopédie Electronique des Suites Entières (NJAS) La version française du NJAS
• Inverse Symbolic Calculator (CECM)
• Plouffe's Inverter (L'inverseur de Simon Plouffe)
• Theory Net Home Page
• LogicAL: Complexity and Information

Logique et logique linéaire

• The Bulletin of Symbolic Logic
• SRI-CSL-LL: Linear Logic
• Équipe de Logique Mathématique - CNRS URA 753
  Jean-Louis Krivine
• Logique linéaire à Marseille - Luminy
  Quelques textes de Jean-Yves Girard sont disponibles en FTP
• The Types Forum

Didactique des mathématiques

• Nicolas Balacheff         

Recherche d'articles

• FermiVista! : Recherche par mot-clef - Le moteur de recherche de Stéphane Fermigier
• Liste de serveurs mathématiques
• WWW interactive mathematics server
• MATH Database 1931-1997 Payant

Divers

• The Axiom of Choice
• A brief course in Fuzzy Logic
• Intuitive Data Solutions
• Newsletter on Proof
• The Math Forum Home Page
• UR Department of Mathematics - The Renaissance Plan
• Illinois Mathematics and Science Academy
• The Largest Known Primes
• e-MATH
  liste de journaux mathématiques sur le Web : MathWeb Journals
• PAIAS: "Politically" Incorrect Science & Mathematics
• Newsletter on Proof
• Quelques activités mathématiques - par André Brouty (ENST)
• Christian et Mireille Radoux-Mousset
• Mathématiques ailleurs
• Les liens mathématiques de la librairie Interférences .
• Journaux de mathématiques de la SMAI et de la SMF
• Page maths de Franck Madore (GroTeXdieck)
• Page d'accueil d'Olivier Souan présente quelques cours intéressants
• Home page of Xiao Gang
• Livres en anglais sur les Mathématiques

Le quasi-empirisme en philosophie des mathématiques. Une présentation
Retour à la page d'accueil