Accès plus rapide que le navigateur!
37 relations: Alan Turing, Andreï Kolmogorov, Antiréalisme, Arend Heyting, Bertrand Russell, Bijection, Constructivisme (mathématiques), David Hilbert, Georg Cantor, Georges Reeb, Gerhard Gentzen, Gottlob Frege, Hilary Putnam, Intuition, Jean Largeault, Jean van Heijenoort, John von Neumann, Kurt Gödel, Leopold Kronecker, Logique intuitionniste, Lois de De Morgan, Luitzen Egbertus Jan Brouwer, Michael Dummett, Paradoxe de Russell, Paul Benacerraf, Paul Bernays, Philosophie des mathématiques, Platonisme mathématique, Presses universitaires de France, Principe du tiers exclu, Que sais-je ?, Raisonnement par l'absurde, Rudolf Carnap, Stephen Cole Kleene, Théorie de la démonstration, Théorie des ensembles de Zermelo-Fraenkel, Valery Glivenko.
Alan Turing
Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Nouveau!!: Intuitionnisme et Alan Turing · Voir plus »
Andreï Kolmogorov
Andreï Nikolaïevitch Kolmogorov (à Tambov – à Moscou) est un mathématicien russe et soviétique qui a apporté des contributions significatives en mathématiques, notamment en théorie des probabilités, topologie, turbulence, mécanique classique, logique intuitionniste, théorie algorithmique de l'information et en analyse de la complexité des algorithmes.
Nouveau!!: Intuitionnisme et Andreï Kolmogorov · Voir plus »
Antiréalisme
En philosophie analytique, le terme antiréalisme décrit toute position impliquant le refus d'une réalité objective.
Nouveau!!: Intuitionnisme et Antiréalisme · Voir plus »
Arend Heyting
Arend Heyting (Amsterdam aux Pays-Bas, - Lugano en Suisse) est un mathématicien et logicien néerlandais.
Nouveau!!: Intuitionnisme et Arend Heyting · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Intuitionnisme et Bertrand Russell · Voir plus »
Bijection
En mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédentC'est-à-dire est image d'exactement un élément de son domaine de définition.
Nouveau!!: Intuitionnisme et Bijection · Voir plus »
Constructivisme (mathématiques)
En philosophie des mathématiques, le constructivisme est une position vis-à-vis des mathématiques qui considère que l'on ne peut effectivement démontrer l'existence d'objets mathématiques qu'en donnant une construction de ceux-ci, une suite d'opérations mentales qui conduit à l'évidence de l'existence de ces objets.
Nouveau!!: Intuitionnisme et Constructivisme (mathématiques) · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Intuitionnisme et David Hilbert · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Intuitionnisme et Georg Cantor · Voir plus »
Georges Reeb
Georges Henri Reeb, né le et mort le, est un mathématicien français.
Nouveau!!: Intuitionnisme et Georges Reeb · Voir plus »
Gerhard Gentzen
Gerhard Gentzen (à Greifswald - à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration.
Nouveau!!: Intuitionnisme et Gerhard Gentzen · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Intuitionnisme et Gottlob Frege · Voir plus »
Hilary Putnam
Hilary Whitehall Putnam, né le à Chicago, en Illinois, et mort le à Arlington (Massachusetts), est un philosophe américain.
Nouveau!!: Intuitionnisme et Hilary Putnam · Voir plus »
Intuition
L'intuition est un mode de connaissance, de pensée ou de jugement, conçu comme immédiat (au sens de direct); selon les acceptions, c'est un processus ou une faculté de l'esprit.
Nouveau!!: Intuitionnisme et Intuition · 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!!: Intuitionnisme et Jean Largeault · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Intuitionnisme et Jean van Heijenoort · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Intuitionnisme et John von Neumann · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Intuitionnisme et Kurt Gödel · Voir plus »
Leopold Kronecker
Leopold Kronecker (-) est un mathématicien et logicien allemand.
Nouveau!!: Intuitionnisme et Leopold Kronecker · 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!!: Intuitionnisme et Logique intuitionniste · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Intuitionnisme et Lois de De Morgan · 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!!: Intuitionnisme et Luitzen Egbertus Jan Brouwer · Voir plus »
Michael Dummett
Sir Michael Anthony Eardley Dummett (né le à Londres et mort le à Oxford) est l'un des principaux philosophes britanniques du et l'un des principaux auteurs de la philosophie analytique.
Nouveau!!: Intuitionnisme et Michael Dummett · Voir plus »
Paradoxe de Russell
Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles qui a joué un rôle important dans la formalisation de celle-ci.
Nouveau!!: Intuitionnisme et Paradoxe de Russell · Voir plus »
Paul Benacerraf
Paul Benacerraf, né le à Paris, est un philosophe juif américain d'origine marocaine travaillant en philosophie des mathématiques.
Nouveau!!: Intuitionnisme et Paul Benacerraf · Voir plus »
Paul Bernays
Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au.
Nouveau!!: Intuitionnisme et Paul Bernays · 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!!: Intuitionnisme et Philosophie des mathématiques · Voir plus »
Platonisme mathématique
Le platonisme mathématique ou réalisme mathématique est une théorie épistémologique qui fonde l'objectivité scientifique sur l'existence d'entités mathématiques, nombres, grandeurs, figures géométriques ou structures, comme des êtres autonomes qui ne sont pas des artefacts de l'esprit humain.
Nouveau!!: Intuitionnisme et Platonisme mathématique · 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!!: Intuitionnisme et Presses universitaires de France · 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!!: Intuitionnisme et Principe du tiers exclu · 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!!: Intuitionnisme 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!!: Intuitionnisme et Raisonnement par l'absurde · Voir plus »
Rudolf Carnap
Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.
Nouveau!!: Intuitionnisme et Rudolf Carnap · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Intuitionnisme et Stephen Cole Kleene · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Intuitionnisme et Théorie de la démonstration · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Intuitionnisme et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Valery Glivenko
Valery Ivanovitch Glivenko (en Valeriy Ivanovytch Hlyvenko, en Valeriy Ivanovitch Glivenko), né le à Kiev et mort le à Moscou, est un mathématicien ukrainien soviétique.
Nouveau!!: Intuitionnisme et Valery Glivenko · Voir plus »
