147 relations: Alfred Clebsch, Alfred North Whitehead, Alfred Tarski, Allemagne, Allemand, Analyse algébrique, Analyse complexe, Anthony Kenny, Antisémitisme, Aristote, Arithmétique, Arithmétique du second ordre, Armand Colin, Axiomatisation, Éméritat, Équivalence logique, Bad Kleinen, Bataille d'Austerlitz, Bataille de Waterloo, Bertrand Russell, Broderstorf, Calcul des prédicats, Calcul des propositions, Carl Friedrich Gauss, Carl Johannes Thomae, Cercle de Vienne, Claude Imbert (philosophe), Confédération de l'Allemagne du Nord, Constructivisme (mathématiques), David Hilbert, Débarquement de Normandie, Dénotation et connotation, Description définie, Distinction entre concept et objet, Docteur (titre), Edmund Husserl, Emmanuel Kant, Entier naturel, Ernst Abbe, Ernst Schröder, Ernst Zermelo, Finitisme, Fonction et concept, Fonction logique, Fondements des mathématiques, Gallica, Galvanisme, Géométrie, Géométrie analytique, Géométrie complexe, ..., Géométrie projective, Georg Cantor, George Boole, Gottfried Wilhelm Leibniz, Grand-duché de Mecklembourg-Schwerin, Gymnasium, Habilitation universitaire, Haskell, Idéographie, Internet Encyclopedia of Philosophy, Jean Largeault, Jean van Heijenoort, John Searle, Karl Popper, Kuno Fischer, Kurt Gödel, Lac de Schwerin, Langage, Les Fondements de l'arithmétique, Logicisme, Logique, Logique d'ordre supérieur, Logique mathématique, Lois fondamentales de l'arithmétique, Ludwig Wittgenstein, Machine virtuelle Java, Mathématicien, Mathématiques, Mécanique analytique, Mécanique du solide, Mecklembourg, Mecklembourg-Poméranie-Occidentale, Michael Dummett, Nombre premier, Optique, Paradoxe de Russell, Pascal Engel, Philippe de Rouilhan, Philippe Mélanchthon, Philosophie, Philosophie analytique, Philosophie de la religion, Philosophie des mathématiques, Philosophie du langage, Physique, Physique appliquée, Pologne, Positivisme, Principe de Hume, Principia Mathematica, Privatdozent, Psychologisme, Qu'est-ce qu'une fonction ?, Quantification (logique), Que la science justifie le recours à une idéographie, Racisme, République de Weimar, Recherches logiques, Relativité générale, Rudolf Carnap, Rudolf Hermann Lotze, Seconde Guerre mondiale, Sens et Dénotation, Stanford Encyclopedia of Philosophy, Stephen Cole Kleene, Sur le but de l'idéographie, Syllogisme, Théorème d'Euclide sur les nombres premiers, Théorème de Frege, Théorèmes d'incomplétude de Gödel, Théorie des nombres, Théorie sémantique de la vérité, The Principles of Mathematics, Université d'Iéna, Université de Cambridge, Université de Göttingen, Vérité, Wilhelm Eduard Weber, Wismar, (21665) Frege, 1848, 1869, 1871, 1873, 1874, 1879, 1884, 1887, 1893, 1896, 1899, 1902, 1904, 1912, 1918, 1923, 1925. Développer l'indice (97 plus) »
Alfred Clebsch
Rudolf Friedrich Alfred Clebsch (né le à Königsberg, mort le à Göttingen) est un mathématicien prussien, connu pour ses contributions à la géométrie algébrique, la théorie des invariants et les applications de la dualité à la statique graphique.
Nouveau!!: Gottlob Frege et Alfred Clebsch · Voir plus »
Alfred North Whitehead
Alfred North Whitehead, né le à Ramsgate (dans le Kent, en Angleterre) et mort le à Cambridge (Massachusetts), est un philosophe, logicien et mathématicien britannique.
Nouveau!!: Gottlob Frege et Alfred North Whitehead · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Gottlob Frege et Alfred Tarski · Voir plus »
Allemagne
LAllemagne, officiellement la République fédérale d’Allemagne est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.
Nouveau!!: Gottlob Frege et Allemagne · Voir plus »
Allemand
Lallemand (autonyme) est l'une des langues indo-européennes appartenant à la branche famille des langues germaniques, parlée notamment en Allemagne, Autriche, Suisse, Liechtenstein, Luxembourg et dans certaines régions limitrophes des pays voisins.
Nouveau!!: Gottlob Frege et Allemand · Voir plus »
Analyse algébrique
L'analyse algébrique est un domaine des mathématiques qui traite des systèmes d'équations aux dérivées partielles linéaires en utilisant la théorie des préfaisceaux et l'analyse complexe pour étudier les propriétés et les généralisations de fonctions telles que les hyperfonctions et les microfonctions.
Nouveau!!: Gottlob Frege et Analyse algébrique · Voir plus »
Analyse complexe
L'analyse complexe est un domaine des mathématiques traitant des fonctions à valeurs complexes (ou, plus généralement, à valeurs dans un C-espace vectoriel) et qui sont dérivables par rapport à une ou plusieurs variables complexes.
Nouveau!!: Gottlob Frege et Analyse complexe · Voir plus »
Anthony Kenny
Anthony John Patrick Kenny (né le à Liverpool) est un philosophe britannique dont les intérêts résident dans la philosophie de l'esprit, la philosophie ancienne et scolastique, la philosophie de la religion et la philosophie de Wittgenstein dont il est l'exécuteur testamentaire.
Nouveau!!: Gottlob Frege et Anthony Kenny · Voir plus »
Antisémitisme
L'étoile jaune L’antisémitisme est la discrimination et l'hostilité manifestées à l'encontre des Juifs en tant que groupe ethnique, religieux ou supposément racial.
Nouveau!!: Gottlob Frege et Antisémitisme · Voir plus »
Aristote
Aristote (384-322) est un philosophe et polymathe grec de l'Antiquité.
Nouveau!!: Gottlob Frege et Aristote · Voir plus »
Arithmétique
L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels (\N), relatifs (\Z) et rationnels (\Q), voire réels (\R), ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires: addition (+), soustraction (−), multiplication (×), division (÷, /, ou), puissance et racine.
Nouveau!!: Gottlob Frege et Arithmétique · Voir plus »
Arithmétique du second ordre
En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels.
Nouveau!!: Gottlob Frege et Arithmétique du second ordre · Voir plus »
Armand Colin
Armand Colin est une maison d'édition française créée en 1870 par Auguste Armand Colin et qui devient rapidement une référence dans le monde de l'enseignement jusqu'au début du, devenu un département des Éditions Dunod.
Nouveau!!: Gottlob Frege et Armand Colin · Voir plus »
Axiomatisation
En mathématiques, l'axiomatisation d'une théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles.
Nouveau!!: Gottlob Frege et Axiomatisation · Voir plus »
Éméritat
Léméritat, ou honorariat en Belgique, est un titre honorifique accordé à certains enseignants du supérieur et chercheurs, qui leur permet de poursuivre certains travaux alors qu'ils sont admis à faire valoir leur droit à la retraite.
Nouveau!!: Gottlob Frege et Éméritat · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Gottlob Frege et Équivalence logique · Voir plus »
Bad Kleinen
Bad Kleinen (Kleinen jusqu'en 1915) est une commune allemande située dans l'arrondissement du Mecklembourg-du-Nord-Ouest du Land de Mecklembourg-Poméranie-Occidentale.
Nouveau!!: Gottlob Frege et Bad Kleinen · Voir plus »
Bataille d'Austerlitz
La bataille d’Austerlitz (aujourd’hui en République tchèque), affrontement décisif de la campagne d'Allemagne, se déroule le lundi, entre Brünn et Austerlitz, dans le sud de la Moravie, alors possession autrichienne. Cette bataille oppose la Grande Armée commandée par Napoléon Bonaparte, sacré empereur des Français un an jour pour jour auparavant, aux troupes de, empereur d'Autriche et du Saint-Empire romain germanique, et aux forces russes d', tsar de Russie. Les trois souverains sont présents sur le champ de bataille, d'où son surnom de « bataille des Trois Empereurs ». Après neuf heures de combats, la Grande Armée de Napoléon, malgré son infériorité numérique, met en déroute, encercle et bat de façon décisive les forces de la Troisième Coalition qui se dissout à la suite de la bataille, obligeant l'Autriche à signer la paix de Presbourg. Outre son importance stratégique, cette bataille, la campagne qui l'a précédée, menant la Grande Armée de Boulogne-sur-Mer (Pas-de-Calais) jusqu’à Austerlitz, et les ruses de Napoléon, sont considérées comme un chef-d'œuvre tactique de, enseignée dans toutes les académies militaires au monde. Le Royaume-Uni, membre et financeur de la coalition, n'a que marginalement contribué aux opérations terrestres: ses petits contingents débarqués en Italie et en Allemagne du nord n'ont pas affronté la Grande Armée. Victorieux sur mer à la bataille de Trafalgar en, le Royaume-Uni demeure la seule grande puissance à continuer de s’opposer à l'empire napoléonien.
Nouveau!!: Gottlob Frege et Bataille d'Austerlitz · Voir plus »
Bataille de Waterloo
La bataille de Waterloo s'est déroulée le, en Belgique, à vingt kilomètres au sud de Bruxelles, dans l'actuelle province du Brabant wallon.
Nouveau!!: Gottlob Frege et Bataille de Waterloo · 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!!: Gottlob Frege et Bertrand Russell · Voir plus »
Broderstorf
Broderstorf est une commune allemande du Mecklembourg-Poméranie-Occidentale située dans l'arrondissement de Rostock.
Nouveau!!: Gottlob Frege et Broderstorf · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Gottlob Frege et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Gottlob Frege et Calcul des propositions · Voir plus »
Carl Friedrich Gauss
Johann Carl Friedrich Gauß (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.; traditionnellement transcrit Gauss en français; Carolus Fridericus Gauss en latin), né le à Brunswick et mort le à Göttingen, est un mathématicien, astronome et physicien allemand.
Nouveau!!: Gottlob Frege et Carl Friedrich Gauss · Voir plus »
Carl Johannes Thomae
Carl Johannes Thomae (né le à Laucha an der Unstrut, mort le à Iéna) est un mathématicien allemand.
Nouveau!!: Gottlob Frege et Carl Johannes Thomae · Voir plus »
Cercle de Vienne
Le cercle de Vienne, ou Wiener Kreis, est un groupement de savants et philosophes.
Nouveau!!: Gottlob Frege et Cercle de Vienne · Voir plus »
Claude Imbert (philosophe)
Claude Imbert, née le, est une philosophe et logicienne française.
Nouveau!!: Gottlob Frege et Claude Imbert (philosophe) · Voir plus »
Confédération de l'Allemagne du Nord
La confédération de l'Allemagne du Nord (en allemand: Norddeutscher Bund) est une fédération constituée de vingt-deux États allemands situés au nord de la ligne du Main, qui a existé de 1867 à 1871.
Nouveau!!: Gottlob Frege et Confédération de l'Allemagne du Nord · 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!!: Gottlob Frege 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!!: Gottlob Frege et David Hilbert · Voir plus »
Débarquement de Normandie
Le débarquement de Normandie, également appelé débarquement en Normandie, ou encore débarquement allié en Normandie, nom de code opération NeptuneBien qu'il soit quelquefois affirmé que l'opération Neptune n'est que la partie navale de l'opération Overlord, elle-même souvent limitée au seul débarquement allié et à l'établissement des têtes de pont sur la côte normande, les sources historiques établissent clairement que l'opération Neptune est la partie débarquement et l'établissement d'une tête de pont côtière au sein de la plus vaste opération Overlord, qui vise quant à elle à l'établissement d'une tête de pont de plus grande échelle dans le Nord-Ouest de l'Europe.
Nouveau!!: Gottlob Frege et Débarquement de Normandie · Voir plus »
Dénotation et connotation
En linguistique, pour un signe quelconque (en particulier des mots et expressions du langage parlé ou écrit), le sens signifié dénotatif, la dénotation, est distinct du sens ou signifié connotatif, la connotation.
Nouveau!!: Gottlob Frege et Dénotation et connotation · Voir plus »
Description définie
Une description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »).
Nouveau!!: Gottlob Frege et Description définie · Voir plus »
Distinction entre concept et objet
En philosophie du langage, la distinction entre le concept et l'objet fut énoncée par le philosophe allemand Gottlob Frege.
Nouveau!!: Gottlob Frege et Distinction entre concept et objet · Voir plus »
Docteur (titre)
Le titre de docteur est décerné aux titulaires du grade universitaire de doctorat.
Nouveau!!: Gottlob Frege et Docteur (titre) · Voir plus »
Edmund Husserl
Edmund Husserl (-) est un philosophe et logicien, autrichien de naissance, puis prussien, fondateur de la phénoménologie, qui eut une influence majeure sur l'ensemble de la philosophie du.
Nouveau!!: Gottlob Frege et Edmund Husserl · Voir plus »
Emmanuel Kant
Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».
Nouveau!!: Gottlob Frege et Emmanuel Kant · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Gottlob Frege et Entier naturel · Voir plus »
Ernst Abbe
Ernst Karl Abbe, né le à Eisenach et mort le à Iéna, est un physicien et un industriel allemand.
Nouveau!!: Gottlob Frege et Ernst Abbe · Voir plus »
Ernst Schröder
Ernst Schröder (1841-1902) est un mathématicien allemand.
Nouveau!!: Gottlob Frege et Ernst Schröder · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Gottlob Frege et Ernst Zermelo · Voir plus »
Finitisme
Le finitisme est une philosophie des mathématiques qui ne prend en considération que les objets mathématiques finis.
Nouveau!!: Gottlob Frege et Finitisme · Voir plus »
Fonction et concept
Fonction et concept (Funktion und Begriff) est une conférence de Gottlob Frege, prononcée le devant la Société savante d'Iéna pour la médecine et les sciences naturelles, et publiée la même année sous la forme d'un livret d'une trentaine de pages.
Nouveau!!: Gottlob Frege et Fonction et concept · Voir plus »
Fonction logique
Il existe deux grands types de fonctions logiques.
Nouveau!!: Gottlob Frege et Fonction logique · Voir plus »
Fondements des mathématiques
Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.
Nouveau!!: Gottlob Frege et Fondements des mathématiques · Voir plus »
Gallica
Gallica est la bibliothèque numérique de la Bibliothèque nationale de France et de ses partenaires.
Nouveau!!: Gottlob Frege et Gallica · Voir plus »
Galvanisme
Le docteur Ure galvanisant le corps de l'assassin Clydsdale (L. Figuier, ''Les merveilles de la science'', 1867). En physique et chimie, le galvanisme est le processus de création d'un courant électrique par réaction chimique d'oxydo-réduction, typiquement entre deux espèces chimiques de potentiels redox différents.
Nouveau!!: Gottlob Frege et Galvanisme · Voir plus »
Géométrie
La géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne).
Nouveau!!: Gottlob Frege et Géométrie · Voir plus »
Géométrie analytique
La géométrie analytique est une approche de la géométrie dans laquelle les objets sont décrits par des équations ou des inéquations à l'aide d'un système de coordonnées.
Nouveau!!: Gottlob Frege et Géométrie analytique · Voir plus »
Géométrie complexe
La géométrie complexe est un pan entier de la géométrie, intéressé dans l'étude des ouverts de l'espace vectoriel complexe Cn, et par extension des variétés holomorphes.
Nouveau!!: Gottlob Frege et Géométrie complexe · Voir plus »
Géométrie projective
En mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et dhorizon.
Nouveau!!: Gottlob Frege et Géométrie projective · 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!!: Gottlob Frege et Georg Cantor · Voir plus »
George Boole
George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.
Nouveau!!: Gottlob Frege et George Boole · Voir plus »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.
Nouveau!!: Gottlob Frege et Gottfried Wilhelm Leibniz · Voir plus »
Grand-duché de Mecklembourg-Schwerin
Le grand-duché de Mecklembourg-Schwerin (en Großherzogtum Mecklenburg-Schwerin) fut un État du nord-est de l'Allemagne de 1815 à 1918, situé sur le littoral de la Baltique et issu de l'érection du duché de Mecklembourg-Schwerin en grand-duché (celui-ci est né lui-même d'une partition du duché de Mecklembourg qui exista de 1352 à 1815).
Nouveau!!: Gottlob Frege et Grand-duché de Mecklembourg-Schwerin · Voir plus »
Gymnasium
L'école de l'abbaye de Melk. Le terme latin gymnasium, utilisé par l'allemand et d'autres langues, vient du grec γυμνάσιον (gymnásion).
Nouveau!!: Gottlob Frege et Gymnasium · Voir plus »
Habilitation universitaire
L'habilitation est la plus haute qualification universitaire qu'une personne puisse recevoir dans certains pays, notamment européens.
Nouveau!!: Gottlob Frege et Habilitation universitaire · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: Gottlob Frege et Haskell · Voir plus »
Idéographie
Begriffschrift'' (''Idéographie''). L'idéographie est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique.
Nouveau!!: Gottlob Frege et Idéographie · Voir plus »
Internet Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy (IEP) est une encyclopédie en ligne d'accès gratuit sur la philosophie fondée par James Fieser en 1995.
Nouveau!!: Gottlob Frege et Internet Encyclopedia of Philosophy · 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!!: Gottlob Frege et Jean Largeault · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Gottlob Frege et Jean van Heijenoort · Voir plus »
John Searle
John Rogers Searle est un philosophe américain né à Denver dans l'État du Colorado le, il appartient au courant analytique, et est un spécialiste de la philosophie du langage, ainsi que de la philosophie de l'esprit.
Nouveau!!: Gottlob Frege et John Searle · Voir plus »
Karl Popper
Karl Popper, né le à Vienne en Autriche et mort le à Londres (Croydon) au Royaume-Uni, est un enseignant et philosophe des sciences du, autrichien naturalisé britannique.
Nouveau!!: Gottlob Frege et Karl Popper · Voir plus »
Kuno Fischer
Ernst Kuno Berthold Fischer, (Tschistey -, Heidelberg) est un philosophe allemand.
Nouveau!!: Gottlob Frege et Kuno Fischer · 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!!: Gottlob Frege et Kurt Gödel · Voir plus »
Lac de Schwerin
Le lac de Schwerin (Schweriner See) est un lac du Mecklembourg occidental, entre Schwerin et Hohen Viecheln.
Nouveau!!: Gottlob Frege et Lac de Schwerin · Voir plus »
Langage
Le langage est la capacité d'exprimer une pensée et de communiquer au moyen d'un système de signes (vocaux, gestuel, graphiques, tactiles, olfactifs, etc.) doté d'une sémantique, et le plus souvent d'une syntaxe — mais ce n'est pas systématique (la cartographie est un exemple de langage non syntaxique).
Nouveau!!: Gottlob Frege et Langage · Voir plus »
Les Fondements de l'arithmétique
Couverture de l'édition originale allemande. Les Fondements de l'arithmétique (Die Grundlagen der Arithmetik) est une œuvre de Gottlob Frege.
Nouveau!!: Gottlob Frege et Les Fondements de l'arithmétique · Voir plus »
Logicisme
Le logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique, définition tirée de S Korner, Philosophy of Mathematics (1960), chs 2, 3.
Nouveau!!: Gottlob Frege et Logicisme · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Gottlob Frege et Logique · Voir plus »
Logique d'ordre supérieur
Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats.
Nouveau!!: Gottlob Frege et Logique d'ordre supérieur · 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!!: Gottlob Frege et Logique mathématique · Voir plus »
Lois fondamentales de l'arithmétique
Lois fondamentales de l'arithmétique (titre original en allemand: Grundgesetze der Arithmetik) est l'ouvrage principal de Gottlob Frege, et une base de la logique moderne.
Nouveau!!: Gottlob Frege et Lois fondamentales de l'arithmétique · Voir plus »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein, né à Vienne en Autriche le et mort à Cambridge au Royaume-Uni le, est un philosophe, mathématicien, ingénieur, pédagogue et architecte de nationalité autrichienne, puis, à partir de 1939, britannique, ayant exploré de manière décisive certains domaines fondamentaux de la connaissance tels que la logique, les fondements des mathématiques et la philosophie du langage.
Nouveau!!: Gottlob Frege et Ludwig Wittgenstein · Voir plus »
Machine virtuelle Java
Machine virtuelle Java - Spécification Java 7 La machine virtuelle Java (en anglais Java virtual machine, abr. JVM) est un appareil informatique fictif qui exécute des programmes compilés sous forme de bytecode Java.
Nouveau!!: Gottlob Frege et Machine virtuelle Java · Voir plus »
Mathématicien
Carl Friedrich Gauss, aussi appelé « prince des mathématiciens ». Emmy Noether Un mathématicien ou une mathématicienne est au sens restreint un chercheur ou une chercheuse en mathématiques, par extension toute personne faisant des mathématiques la base de son activité principale.
Nouveau!!: Gottlob Frege et Mathématicien · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Gottlob Frege et Mathématiques · Voir plus »
Mécanique analytique
La mécanique analytique est une formulation de la mécanique classique basée sur le calcul variationnel.
Nouveau!!: Gottlob Frege et Mécanique analytique · Voir plus »
Mécanique du solide
La mécanique du solide est la partie de la mécanique qui s'intéresse aux objets que l'on ne peut réduire en un point matériel.
Nouveau!!: Gottlob Frege et Mécanique du solide · Voir plus »
Mecklembourg
Le Mecklembourg (en Mecklenburg; Mäkel(n)borg en mecklembourgeois-poméranien) est une région historique de l'Allemagne septentrionale s'étendant le long de la baie du Mecklembourg sur la mer Baltique.
Nouveau!!: Gottlob Frege et Mecklembourg · Voir plus »
Mecklembourg-Poméranie-Occidentale
Le Mecklembourg-Poméranie-OccidentaleParfois appelé Mecklembourg-Poméranie-Antérieure Prononciation en français de France (français standard) retranscrite selon la norme API.
Nouveau!!: Gottlob Frege et Mecklembourg-Poméranie-Occidentale · 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!!: Gottlob Frege et Michael Dummett · 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!!: Gottlob Frege et Nombre premier · Voir plus »
Optique
L'optique est la branche de la physique qui traite de la lumière, de son comportement et de ses propriétés, du rayonnement électromagnétique à la vision en passant par les systèmes utilisant ou émettant de la lumière.
Nouveau!!: Gottlob Frege et Optique · 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!!: Gottlob Frege et Paradoxe de Russell · Voir plus »
Pascal Engel
Pascal Engel, né le à Aix-en-Provence, est un philosophe français, dont les écrits portent principalement sur la philosophie du langage, la philosophie de la logique, et la philosophie de la connaissance.
Nouveau!!: Gottlob Frege et Pascal Engel · Voir plus »
Philippe de Rouilhan
Philippe de Rouilhan (né le) est un philosophe français, directeur de recherches émérite à l'Institut d'histoire et de philosophie des sciences et des techniques de l'Université Paris 1 Panthéon-Sorbonne.
Nouveau!!: Gottlob Frege et Philippe de Rouilhan · Voir plus »
Philippe Mélanchthon
Philippe Mélanchthon, né le à Bretten (Palatinat du Rhin) et mort le à Wittemberg (Électorat de Saxe), est un érudit humaniste, philosophe et réformateur protestant allemand.
Nouveau!!: Gottlob Frege et Philippe Mélanchthon · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Gottlob Frege et Philosophie · Voir plus »
Philosophie analytique
L'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du, pour éclairer les grandes questions philosophiques.
Nouveau!!: Gottlob Frege et Philosophie analytique · Voir plus »
Philosophie de la religion
La philosophie de la religion est la partie de la philosophie qui pose la question de savoir ce qu'est une religion.
Nouveau!!: Gottlob Frege et Philosophie de la religion · 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!!: Gottlob Frege et Philosophie des mathématiques · Voir plus »
Philosophie du langage
La philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Nouveau!!: Gottlob Frege et Philosophie du langage · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Gottlob Frege et Physique · Voir plus »
Physique appliquée
La physique appliquée est la branche de la physique qui s'intéresse à l'étude de ses applications industrielles, notamment du point de vue de l'équipement dans les secteurs primaires et secondaires (moteur, machine d'usinage, transformateur, poste de soudage...).
Nouveau!!: Gottlob Frege et Physique appliquée · Voir plus »
Pologne
La Pologne, en forme longue république de Pologne (Rzeczpospolita Polska), est un État d'Europe centrale, frontalier avec l'Allemagne à l'ouest, la Tchéquie au sud-ouest, la Slovaquie au sud, l'Ukraine à l'est-sud-est et la Biélorussie à l'est-nord-est, et enfin l'enclave russe de Kaliningrad et la Lituanie au nord-est.
Nouveau!!: Gottlob Frege et Pologne · Voir plus »
Positivisme
Le positivisme est un courant philosophique fondé au par Auguste Comte, à la fois héritier et critique des Lumières du et qui soumet de manière rigoureuse les connaissances acquises à l'épreuve des faits.
Nouveau!!: Gottlob Frege et Positivisme · Voir plus »
Principe de Hume
Le principe de Hume ou HP (pour Hume's principle) déclare que le nombre de " F " est égal au nombre de " G " si et seulement s'il y a une correspondance biunivoque (une bijection) entre les " F " et les " G ". Le principe de Hume peut être énoncée formellement dans des systèmes de logique de second ordre.
Nouveau!!: Gottlob Frege et Principe de Hume · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Gottlob Frege et Principia Mathematica · Voir plus »
Privatdozent
Caricature, ''Fliegende Blätter'' (1848): "Un privat-docent allemand, qui, enveloppé dans ses espoirs, devient une momie". Sur la momie, on peut lire: "Nomination au poste de ''Hofrat''; nomination à Berlin; augmentation de salaire; nomination au poste de professeur ordinaire; nomination au poste de professeur extraordinaire". Privatdozent (Privat docent avant la réforme orthographique allemande de décembre 1902) est depuis le un titre universitaire de tradition allemande en Europe.
Nouveau!!: Gottlob Frege et Privatdozent · Voir plus »
Psychologisme
Le psychologisme est un terme apparu au qui désigne, au sens large et parfois péjoratif, une tendance à interpréter le comportement des individus au travers du spectre de la psychologie, et de faire de la psyché individuelle le noyau dur permettant de comprendre le monde.
Nouveau!!: Gottlob Frege et Psychologisme · Voir plus »
Qu'est-ce qu'une fonction ?
Qu'est-ce qu'une fonction ? (Was ist eine Funktion ?) est un article de Gottlob Frege, publié en 1904 en hommage à Ludwig Boltzmann.
Nouveau!!: Gottlob Frege et Qu'est-ce qu'une fonction ? · 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!!: Gottlob Frege et Quantification (logique) · Voir plus »
Que la science justifie le recours à une idéographie
Que la science justifie le recours à une idéographie est un article de Gottlob Frege publié en 1882 dans le Zeitschrift für Philosophie und philosophische Kritik. À travers ce texte de seulement quatre pages, le logicien et philosophe de Iéna se propose de montrer pour quelles raisons une écriture idéographique est nécessaire dans les sciences abstraites.
Nouveau!!: Gottlob Frege et Que la science justifie le recours à une idéographie · Voir plus »
Racisme
Le racisme est une idéologie qui, partant du postulat de l'existence de races au sein de l'espèce humaineDans l'article « Racisme » de lEncyclopaedia Universalis, l'écrivain Albert Memmi souligne que, extrait «, sur universalis.fr, considère que certaines catégories de personnes sont intrinsèquement supérieures à d'autres.
Nouveau!!: Gottlob Frege et Racisme · Voir plus »
République de Weimar
La république de Weimar est le nom donné par les historiens au régime politique en place en Allemagne de 1918 à 1933.
Nouveau!!: Gottlob Frege et République de Weimar · Voir plus »
Recherches logiques
Les Recherches logiques (publiées sous le titre Prolégomènes à la logique pure) est un ouvrage du philosophe allemand Edmund Husserl paru en 1900-1901.
Nouveau!!: Gottlob Frege et Recherches logiques · Voir plus »
Relativité générale
La relativité générale est une théorie relativiste de la gravitation, c'est-à-dire qu'elle décrit l'influence de la présence de matière, et plus généralement d'énergie, sur le mouvement des astres en tenant compte des principes de la relativité restreinte.
Nouveau!!: Gottlob Frege et Relativité générale · Voir plus »
Rudolf Carnap
Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.
Nouveau!!: Gottlob Frege et Rudolf Carnap · Voir plus »
Rudolf Hermann Lotze
Rudolf Hermann Lotze (-) est un philosophe, médecin et logicien allemand.
Nouveau!!: Gottlob Frege et Rudolf Hermann Lotze · Voir plus »
Seconde Guerre mondiale
La Seconde Guerre mondiale, ou Deuxième Guerre mondiale, est un conflit armé à l'échelle planétaire qui dure du au.
Nouveau!!: Gottlob Frege et Seconde Guerre mondiale · Voir plus »
Sens et Dénotation
Sens et Dénotation, aussi traduit par Sens et Référence, est un article de Gottlob Frege publié en 1892 dans la revue Zeitschrift für Philosophie und philosophische Kritik.
Nouveau!!: Gottlob Frege et Sens et Dénotation · 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!!: Gottlob Frege et Stanford Encyclopedia of Philosophy · 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!!: Gottlob Frege et Stephen Cole Kleene · Voir plus »
Sur le but de l'idéographie
Sur le but de l'idéographie est un article de Gottlob Frege, publié en 1882-1883, dans le Jenaische Zeitschrift für Naturwissenschaft.
Nouveau!!: Gottlob Frege et Sur le but de l'idéographie · Voir plus »
Syllogisme
En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions: deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ».
Nouveau!!: Gottlob Frege et Syllogisme · Voir plus »
Théorème d'Euclide sur les nombres premiers
En arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers.
Nouveau!!: Gottlob Frege et Théorème d'Euclide sur les nombres premiers · Voir plus »
Théorème de Frege
En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume.
Nouveau!!: Gottlob Frege et Théorème de Frege · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Gottlob Frege et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie des nombres
Traditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs).
Nouveau!!: Gottlob Frege et Théorie des nombres · Voir plus »
Théorie sémantique de la vérité
Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases.
Nouveau!!: Gottlob Frege et Théorie sémantique de la vérité · Voir plus »
The Principles of Mathematics
The Principles of Mathematics (Les Principes des Mathématiques) est un livre publié par Bertrand Russell en 1903.
Nouveau!!: Gottlob Frege et The Principles of Mathematics · Voir plus »
Université d'Iéna
L’université d'Iéna, baptisée du nom de Friedrich Schiller, (ou FSU) est une université allemande située à Iéna en Thuringe.
Nouveau!!: Gottlob Frege et Université d'Iéna · Voir plus »
Université de Cambridge
L'université de Cambridge (en anglais: University of Cambridge) est une université britannique située à Cambridge, en Angleterre.
Nouveau!!: Gottlob Frege et Université de Cambridge · Voir plus »
Université de Göttingen
L’université Georg-August de Göttingen — en allemand Georg-August-Universität Göttingen, est une des plus célèbres universités allemandes, dont sont issus notamment des mathématiciens de grand renom.
Nouveau!!: Gottlob Frege et Université de Göttingen · Voir plus »
Vérité
Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.
Nouveau!!: Gottlob Frege et Vérité · Voir plus »
Wilhelm Eduard Weber
Wilhelm Eduard Weber (à Wittemberg - à Göttingen) est un physicien prussien qui a raccordé différentes unités de mesures électriques et magnétiques par des expériences précises, et a joué un rôle décisif dans l'invention du télégraphe électrique.
Nouveau!!: Gottlob Frege et Wilhelm Eduard Weber · Voir plus »
Wismar
Wismar est une ville hanséatique du Mecklembourg-Poméranie-Occidentale, dans le nord-est de l'Allemagne, au bord de la baie de Wismar sur la mer Baltique.
Nouveau!!: Gottlob Frege et Wismar · Voir plus »
(21665) Frege
(21665) Frege est un astéroïde de la ceinture principale.
Nouveau!!: Gottlob Frege et (21665) Frege · Voir plus »
1848
L'année 1848 est une année bissextile qui commence un samedi.
Nouveau!!: Gottlob Frege et 1848 · Voir plus »
1869
L'année 1869 est une année commune qui commence un vendredi.
Nouveau!!: Gottlob Frege et 1869 · Voir plus »
1871
L'année 1871 est une année commune qui commence un dimanche.
Nouveau!!: Gottlob Frege et 1871 · Voir plus »
1873
L'année 1873 est une année commune qui commence un mercredi.
Nouveau!!: Gottlob Frege et 1873 · Voir plus »
1874
L'année 1874 est une année commune qui commence un jeudi.
Nouveau!!: Gottlob Frege et 1874 · Voir plus »
1879
L'année 1879 est une année commune qui commence un mercredi.
Nouveau!!: Gottlob Frege et 1879 · Voir plus »
1884
L'année 1884 est une année bissextile qui commence un mardi.
Nouveau!!: Gottlob Frege et 1884 · Voir plus »
1887
L'année 1887 est une année commune qui commence un samedi.
Nouveau!!: Gottlob Frege et 1887 · Voir plus »
1893
L'année 1893 est une année commune qui commence un dimanche.
Nouveau!!: Gottlob Frege et 1893 · Voir plus »
1896
L'année 1896 est une année bissextile qui commence un mercredi.
Nouveau!!: Gottlob Frege et 1896 · Voir plus »
1899
L'année 1899 est une année commune qui commence un dimanche.
Nouveau!!: Gottlob Frege et 1899 · Voir plus »
1902
L'année 1902 est une année commune qui commence un mercredi.
Nouveau!!: Gottlob Frege et 1902 · Voir plus »
1904
L'année 1904 est une année bissextile qui commence un vendredi.
Nouveau!!: Gottlob Frege et 1904 · Voir plus »
1912
L'année 1912 est une année bissextile qui commence un lundi.
Nouveau!!: Gottlob Frege et 1912 · Voir plus »
1918
L'année 1918 est une année commune qui commence un mardi.
Nouveau!!: Gottlob Frege et 1918 · Voir plus »
1923
L'année 1923 est une année commune qui commence un lundi.
Nouveau!!: Gottlob Frege et 1923 · Voir plus »
1925
L'année 1925 est une année commune qui commence un jeudi.
Nouveau!!: Gottlob Frege et 1925 · Voir plus »
Redirections ici:
Frege, Friedrich Ludwig Gottlob Frege.