2001 - exercice
21/05 - Les mathématiques ne sont qu’une histoire de groupes
17/05 - Salon Culture et Jeux Mathématiques
16/05 - La fête à Fermat
16/05 - Que se cache-t-il derrière une figure géométrique ?
05/04 - Les prodigieux théorèmes de Monsieur Nash
30/03 - Le ciel des mathématiciens
Mathématicien
et philosophe allemand, initiateur de la logique moderne moderne. Frege
est né à Wismar en 1848, et fit ses études aux universités
de Iéna et de Göttingen, où il obtint son doctorat
de philosophie en 1873. De 1879 à 1917, il fut professeur à
la faculté de philosophie d'Iéna. Ses travaux concernent
notamment la logique mathématique et ses applications. Confronté
à l'ambiguïté du langage ordinaire et à l'imperfection des systèmes logiques
disponibles, il inventa de nombreuses notations symboliques, comme les
quantificateurs et les variables, posant alors les bases de la logique
mathématique moderne. Il est ainsi le premier à avoir présenté une théorie
cohérente du calcul des prédicats et du calcul des propositions.Il fut aussi le premier à faire dériver l'arithmétique de la logique. Il définit ainsi notamment la suite des nombres entiers à partir de l'ensemble vide, en appliquant quelques règles simples : 0 est le nombre d'éléments (défini comme une relation d'équivalence) de tous les ensembles équivalents à (en bijection avec) l'ensemble vide. 1 est le nombre d'éléments de tous les ensembles équivalents à l'ensemble dont le seul élément est 10. 2 est le nombre d'éléments de tous les ensembles équivalent à l'ensemble dont tous les éléments sont 0 et 1. En général, un nombre entier est le nombre d'éléments de tous les ensembles équivalents à l'ensemble des nombres entiers le précédent! Les mathématiciens contemporains de Frege (né en 1848)
- Richard Dedekind (né en 1831)
- Paul Du Bois Reymond (né en 1831)
- Rudolf Lipschitz (né en 1832)
- Camille Jordan (né en 1838)
- Edouard Lucas (né en 1842)
- Sophus Lie (né en 1842)
- Gaston Darboux (né en 1842)
- Giulio Ascoli (né en 1843)
- Hermann Schwarz (né en 1843)
- Max Noether (né en 1844)
- Georg Cantor (né en 1845)
- Sofia Kovaleskaya (née en 1850)
- Henri Poincaré (né en 1854)
- Paul Appell (né en 1855)
- Thomas Stieltjes (né en 1856)
- Emile Picard (né en 1856)
- Giuseppe Peano (né en 1858)
- Johan Jensen (né en 1859)
- Vito Volterra (né en 1860)
- David Hilbert (né en 1862)
- Paul Painlevé (né en 1863)
- John Charles Fields (né en 1863)
- Hermann Minkowski (né en 1864)
- Jacques Hadamard (né en 1865)
- Paul Du Bois Reymond (né en 1831)

