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. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom. Néanmoins Frege n'entendait nullement réduire le raisonnement mathématique à sa seule dimension logique. Son idéographie visait à associer sur la même page, et de manière explicite, le contenu mathématique (ligne horizontale de la page) et la structure logique (ligne verticale). Friedrich Ludwig Gottlob Frege naît en 1848 à Wismar, Mecklembourg-Schwerin (aujourd'hui partie du Mecklembourg-Poméranie occidentale). Son père Carl Alexander Frege (1809-1866) est le cofondateur et le directeur d'un lycée de filles jusqu'à sa mort. Après la mort de Carl, l'école est dirigée par la mère de Frege, Auguste Wilhelmine Sophie Bialloblotzky ( – ). Sa grand-mère maternelle est Auguste Amalia Maria Ballhorn, descendante de Philipp Melanchthon et son grand-père maternel, Johann Heinrich Siegfried Bialloblotzky, est un descendant d'une famille noble polonaise ayant quitté la Pologne au . Durant son enfance, Frege rencontre des philosophies qui guideront sa future carrière scientifique. Frege étudie dans un gymnasium à Wismar et est diplômé en 1869. Son professeur Gustav Adolf Leo Sachse, un poète, a joué le rôle le plus important dans la détermination de la future carrière scientifique de Frege, l'encourageant à continuer ses études à l'université d'Iéna. Frege est matriculé à l'université d'Iéna au printemps de 1869 en tant que citoyen de la Confédération de l'Allemagne du Nord. Durant les quatre semestres de ses études, il assiste à environ vingt conférences, la plupart sur les mathématiques et la physique.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (147)

Cours associés (1)

Séances de cours associées (4)

MATH-124: Geometry for architects I

Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept

Gottlob Frege

Logique

La logique — du grec , qui est un terme dérivé de 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. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Extension (semantics)

In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question.

Logique des prédicats : bases et applications CS-101: Advanced information, computation, communication I

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Circle Orthogonal & Poincaré Disque MATH-124: Geometry for architects I

Couvre les concepts de disque orthogonal et Poincaré en géométrie.

Courbes épicycliques : Instruments de modélisation des courbes planes MATH-126: Geometry for architects II

Explore les instruments de modélisation pour générer des courbes épicycliques planes, y compris des cercles et des ellipses, et leurs homologues spatiaux.