58 relations: Algorithmique, Analyse constructive, Analyse non standard, Analyse réelle, Andreï Markov (mathématicien soviétique), Arend Heyting, Axiome, Éditions Ellipses, Conjecture de Goldbach, Construction des nombres réels, David Hilbert, Démonstration constructive, E (nombre), Ensemble, Ensemble dénombrable, Ensemble fini, Ensemble infini, Finitisme, Fonction (mathématiques), Fonction récursive, Fonction totale, Grundlagen der Mathematik, Henri Poincaré, Hermann Weyl, Intuitionnisme, Jean Largeault, Jean-Michel Salanskis, Leopold Kronecker, Logique classique, Logique du dialogue, Logique intuitionniste, Logique mathématique, Luitzen Egbertus Jan Brouwer, Mathématiques classiques, Nombre premier, Nombre rationnel, Nombre réel, Nombre réel calculable, Paul Lorenzen, Philosophie des mathématiques, Presses universitaires de France, Presses universitaires du Septentrion, Principe de bivalence, Principe de Markov, Principe de non-contradiction, Principe du tiers exclu, Propriété de la borne supérieure, Quantification (logique), Que sais-je ?, Raisonnement par l'absurde, ..., Recherche exhaustive, Roger Apéry, Stanford Encyclopedia of Philosophy, Suite de Cauchy, Théorème, Théorème du point fixe de Brouwer, Variable libre, Yvon Gauthier. Développer l'indice (8 plus) »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Constructivisme (mathématiques) et Algorithmique · Voir plus »
Analyse constructive
L'analyse constructive est une branche des mathématiques constructives.
Nouveau!!: Constructivisme (mathématiques) et Analyse constructive · Voir plus »
Analyse non standard
En mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse.
Nouveau!!: Constructivisme (mathématiques) et Analyse non standard · Voir plus »
Analyse réelle
L'analyse réelle est la branche de l'analyse qui étudie les ensembles de réels et les fonctions de variables réelles.
Nouveau!!: Constructivisme (mathématiques) et Analyse réelle · Voir plus »
Andreï Markov (mathématicien soviétique)
Andreï Andreïevitch Markov (à Saint-Pétersbourg - à Moscou) est un mathématicien, physicien et chimiste soviétique, unique fils du mathématicien Andreï Markov.
Nouveau!!: Constructivisme (mathématiques) et Andreï Markov (mathématicien soviétique) · Voir plus »
Arend Heyting
Arend Heyting (Amsterdam aux Pays-Bas, - Lugano en Suisse) est un mathématicien et logicien néerlandais.
Nouveau!!: Constructivisme (mathématiques) et Arend Heyting · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Constructivisme (mathématiques) et Axiome · Voir plus »
Éditions Ellipses
Les éditions Ellipses ont été fondées en 1973, en France, par Jean-Pierre Bénézet.
Nouveau!!: Constructivisme (mathématiques) et Éditions Ellipses · Voir plus »
Conjecture de Goldbach
La conjecture de Goldbach est l'assertion mathématique qui s’énonce comme suit: Formulée en 1742 par Christian Goldbach, c’est l’un des plus vieux problèmes non résolus de la théorie des nombres et des mathématiques.
Nouveau!!: Constructivisme (mathématiques) et Conjecture de Goldbach · Voir plus »
Construction des nombres réels
En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont.
Nouveau!!: Constructivisme (mathématiques) et Construction des nombres réels · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Constructivisme (mathématiques) et David Hilbert · Voir plus »
Démonstration constructive
Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu.
Nouveau!!: Constructivisme (mathématiques) et Démonstration constructive · Voir plus »
E (nombre)
1, e. Le nombre est la base des logarithmes naturels, c'est-à-dire le nombre défini par.
Nouveau!!: Constructivisme (mathématiques) et E (nombre) · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Constructivisme (mathématiques) et Ensemble · Voir plus »
Ensemble dénombrable
En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers.
Nouveau!!: Constructivisme (mathématiques) et Ensemble dénombrable · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Constructivisme (mathématiques) et Ensemble fini · Voir plus »
Ensemble infini
En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.
Nouveau!!: Constructivisme (mathématiques) et Ensemble infini · Voir plus »
Finitisme
Le finitisme est une philosophie des mathématiques qui ne prend en considération que les objets mathématiques finis.
Nouveau!!: Constructivisme (mathématiques) et Finitisme · Voir plus »
Fonction (mathématiques)
Diagramme de calcul pour la fonction x \mapsto \frac2x-1x+3 En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine.
Nouveau!!: Constructivisme (mathématiques) et Fonction (mathématiques) · Voir plus »
Fonction récursive
En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
Nouveau!!: Constructivisme (mathématiques) et Fonction récursive · Voir plus »
Fonction totale
En mathématiques, une fonction totale est une fonction pour laquelle l'ensemble de départ correspond au domaine de définition.
Nouveau!!: Constructivisme (mathématiques) et Fonction totale · Voir plus »
Grundlagen der Mathematik
Grundlagen der Mathematik (Français: Fondements des Mathématiques) est une œuvre en deux volumes de David Hilbert et Paul Bernays.
Nouveau!!: Constructivisme (mathématiques) et Grundlagen der Mathematik · Voir plus »
Henri Poincaré
Henri Poincaré est un mathématicien, physicien théoricien et philosophe des sciences français, né le à Nancy et mort le à Paris.
Nouveau!!: Constructivisme (mathématiques) et Henri Poincaré · Voir plus »
Hermann Weyl
Hermann Weyl, né le à Elmshorn et mort le à Zurich, est un mathématicien et physicien théoricien allemand du.
Nouveau!!: Constructivisme (mathématiques) et Hermann Weyl · Voir plus »
Intuitionnisme
L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du.
Nouveau!!: Constructivisme (mathématiques) et Intuitionnisme · Voir plus »
Jean Largeault
Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste.
Nouveau!!: Constructivisme (mathématiques) et Jean Largeault · Voir plus »
Jean-Michel Salanskis
Jean-Michel Salanskis (né le à Paris) est un philosophe français.
Nouveau!!: Constructivisme (mathématiques) et Jean-Michel Salanskis · Voir plus »
Leopold Kronecker
Leopold Kronecker (-) est un mathématicien et logicien allemand.
Nouveau!!: Constructivisme (mathématiques) et Leopold Kronecker · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Constructivisme (mathématiques) et Logique classique · Voir plus »
Logique du dialogue
La logique du dialogue (aussi connue comme ''logique dialogique'') a été conçue comme une approche pragmatique de la sémantique de la logique faisant appel à des concepts de la théorie des jeux tels que gagner une partie et stratégie.
Nouveau!!: Constructivisme (mathématiques) et Logique du dialogue · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Constructivisme (mathématiques) et Logique intuitionniste · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Constructivisme (mathématiques) et Logique mathématique · Voir plus »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais sur Encyclopædia Britannica.
Nouveau!!: Constructivisme (mathématiques) et Luitzen Egbertus Jan Brouwer · Voir plus »
Mathématiques classiques
En fondements des mathématiques, les mathématiques classiques se réfèrent généralement à l'approche traditionnelle des mathématiques, qui est basée sur la logique classique et la théorie des ensembles ZFC. Il s'oppose à d'autres types de mathématiques tels que les mathématiques constructives ou les mathématiques prédicatives.
Nouveau!!: Constructivisme (mathématiques) et Mathématiques classiques · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Constructivisme (mathématiques) et Nombre premier · Voir plus »
Nombre rationnel
Un nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs.
Nouveau!!: Constructivisme (mathématiques) et Nombre rationnel · Voir plus »
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.
Nouveau!!: Constructivisme (mathématiques) et Nombre réel · Voir plus »
Nombre réel calculable
π est calculable avec un précision arbitraire, mais presque tous les nombres réels sont non calculables. En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères.
Nouveau!!: Constructivisme (mathématiques) et Nombre réel calculable · Voir plus »
Paul Lorenzen
Paul Lorenzen (né le à Kiel, Allemagne – mort le à Göttingen, Allemagne) était un philosophe et mathématicien.
Nouveau!!: Constructivisme (mathématiques) et Paul Lorenzen · Voir plus »
Philosophie des mathématiques
La philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage.
Nouveau!!: Constructivisme (mathématiques) et Philosophie des mathématiques · Voir plus »
Presses universitaires de France
Les Presses universitaires de France (PUF) sont une maison d'édition fondée en 1921 par un collège de professeurs.
Nouveau!!: Constructivisme (mathématiques) et Presses universitaires de France · Voir plus »
Presses universitaires du Septentrion
Les Presses universitaires du Septentrion sont une maison d'édition universitaire française spécialisée dans les domaines des lettres et des sciences humaines et sociales.
Nouveau!!: Constructivisme (mathématiques) et Presses universitaires du Septentrion · Voir plus »
Principe de bivalence
Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité.
Nouveau!!: Constructivisme (mathématiques) et Principe de bivalence · Voir plus »
Principe de Markov
Une représentation artistique d'une machine de Turing. Le principe de Markov dit que s'il est impossible qu'une machine de Turing ne s'arrête pas, alors elle doit s'arrêter. Le principe de Markov, nommé d'après Andreï Markov Jr, est une déclaration d'existence conditionnelle pour laquelle il existe de nombreuses formulations, ainsi qu'il est discuté ci-dessous.
Nouveau!!: Constructivisme (mathématiques) et Principe de Markov · Voir plus »
Principe de non-contradiction
En logique, le principe de non-contradiction est la loi« Loi » doit être pris au sens de « règle, principe émanant d'une autorité supérieure ».
Nouveau!!: Constructivisme (mathématiques) et Principe de non-contradiction · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Constructivisme (mathématiques) et Principe du tiers exclu · Voir plus »
Propriété de la borne supérieure
En mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure.
Nouveau!!: Constructivisme (mathématiques) et Propriété de la borne supérieure · Voir plus »
Quantification (logique)
236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.
Nouveau!!: Constructivisme (mathématiques) et Quantification (logique) · Voir plus »
Que sais-je ?
« Que sais-je ? » est une collection de l'édition française, fondée en 1941 par Paul Angoulvent et publiée par les Presses universitaires de France.
Nouveau!!: Constructivisme (mathématiques) et Que sais-je ? · Voir plus »
Raisonnement par l'absurde
Le raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »).
Nouveau!!: Constructivisme (mathématiques) et Raisonnement par l'absurde · Voir plus »
Recherche exhaustive
La recherche exhaustive ou recherche par force brute est une méthode algorithmique qui consiste principalement à essayer toutes les solutions possibles.
Nouveau!!: Constructivisme (mathématiques) et Recherche exhaustive · Voir plus »
Roger Apéry
Roger Apéry (Rouen, – Caen) est un mathématicien français de mère française et de père grec qui a effectué la plus grande partie de sa carrière à l'université de Caen.
Nouveau!!: Constructivisme (mathématiques) et Roger Apéry · Voir plus »
Stanford Encyclopedia of Philosophy
La Stanford Encyclopedia of Philosophy (SEP) est une encyclopédie de philosophie en ligne mise en place et gérée par l'université Stanford.
Nouveau!!: Constructivisme (mathématiques) et Stanford Encyclopedia of Philosophy · Voir plus »
Suite de Cauchy
En analyse mathématique, une suite de Cauchy est une suite de réels, de complexes, de points d'un espace métrique ou plus généralement d'un espace uniforme, dont les termes se rapprochent les uns des autres.
Nouveau!!: Constructivisme (mathématiques) et Suite de Cauchy · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Constructivisme (mathématiques) et Théorème · Voir plus »
Théorème du point fixe de Brouwer
En mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0).
Nouveau!!: Constructivisme (mathématiques) et Théorème du point fixe de Brouwer · Voir plus »
Variable libre
En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression une substitution peut avoir lieu.
Nouveau!!: Constructivisme (mathématiques) et Variable libre · Voir plus »
Yvon Gauthier
Yvon Gauthier (né en 1941 à Drummondville) est un philosophe québécois spécialiste d'épistémologie, de logique et de philosophie des sciences.
Nouveau!!: Constructivisme (mathématiques) et Yvon Gauthier · Voir plus »
Redirections ici:
Constructivisme (Mathématiques), Constructivisme (mathematiques), Mathématique constructive, Mathématiques constructives.