Penser les mathématiques |
Contents
Mathématiques vides et mathématiques significatives | 15 |
Les axiomatiques ne sontelles quun jeu? par Roland | 39 |
Mathématique constructive par Roger Apéry | 58 |
Copyright | |
11 other sections not shown
Common terms and phrases
algébrique antifermatienne approximation Aristote axiomatique axiomes axiomes de Peano Bourbaki c'est-à-dire calcul calcul des prédicats Cantor classique complexe concepts considérer constitue construction courbe de Peano Dedekind déduction définir définition démontrer dénotation Descartes diophantienne divisible domaine énoncé équation équation diophantienne Euclide euclidienne exemple existe Fermat fonction fondamentale formalisation formule fractale Galilée géométrie Gödel grammaire grammaire formelle grandeurs Hilbert infini intuitive Jean l'axiome de Solovay l'axiome du choix l'ensemble l'espace l'existence l'hypothèse du continu l'infini langage langue naturelle linguistique logiciens logique Mathematical mathématiciens mathématiques mathématisation mécanique mesure métathéorie méthode modèle mouvement nature Newton nombre fini nombres de Fermat notion objet pensée philosophie phrase physique possible postulat prédicats problèmes proposition récursive récursivement énumérable réel règles relation relation prédicative représentation résultat science scientifique segments sémantique seulement simple structure suite symboles syntaxe système Tarski théorème théorie des ensembles théorie ZF thèse topologie type utilise valeur de vérité verbes intransitifs vitesse XVIIe siècle