Découvrez les fondements des mathématiques (logique formelle, arithmétique, ensembles, catégories, structures algébriques...), dans les trois premiers volumes des "Éléments de mathématiques pour le XXIe siècle". Détails et extraits: #mathématiques #axiomes

12 février 1908 : #CeJourLà naissance de Jacques Herbrand (†27/7/1931), mathématicien français dont les travaux portent notamment sur la logique mathématique (théorie de la démonstration, contribution aux fondements de la théorie de la calculabilité).

"It's fine to work on any problem, so long as it generates interesting mathematics along the way – even if you don't solve it at the end of the day." – Andrew Wiles (1953-) #quote #mathematics #math #maths

"On peut travailler sur n'importe quel problème, tant qu'il engendre des mathématiques intéressantes en cours de route – même si au bout du compte on ne le résout pas." – Andrew Wiles (1953-) #citation #mathématiques #maths #math

Theorem of the Day (February 11, 2025) : The Descartes Circle Theorem Source : Theorem of the Day / Robin Whitty pdf : notes : #mathematics #maths #math #theorem @theoremoftheday

RT @Mirangu1: Two overlapping rectangles and a semicircle. What's blue : orange?

Source : Youtube / ! shtaM (L'île Logique) #mathématiques #maths #math #Youtube

11 février 1897 : #CeJourLà naissance de Emil Post (†21/4/1954), mathématicien et logicien américain d'origine polonaise, dont les travaux portent notamment sur la théorie de la calculabilité (cf. problème de correspondance de Post). #mathématiques #maths

11 février 1909 : #CeJourLà naissance de Claude Chevalley (†28/6/1984), mathématicien français dont les travaux portent notamment sur la théorie des nombres et la théorie des groupes. Il est l'un des membres fondateurs du groupe Bourbaki. #mathématiques

11 février 1915 : #CeJourLà naissance de Richard Hamming (†7/1/1998), mathématicien américain connu pour ses travaux en théorie des codes (cf. code de Hamming, distance de Hamming ...). #mathématiques #maths #math

RT @Bibli_CIRM: 🆕🎬Arithmetic, Algebraic and Analytics Dynamics Watch the talks of S. Cantat, A. Chambert-Loir, L. DeMarco, S. Lamy, Yusheng…

"Le but de ce travail est de munir son auteur du grade de docteur es-sciences mathématiques et l'ensemble H(X) des sous-espaces analytiques compacts de X d'une structure d'espace analytique." – Adrien Douady (1935-2006) #citation #mathématiques #maths #math

"The aim of this work is to endow its author with the degree of Doctor of Mathematical Sciences and the set H(X) of compact analytic subspaces of X with the structure of an analytic space." – Adrien Douady (1935-2006) #quote #mathematics #math #maths

RT @Jose_A_Alonso: What is a quotient? ~ Kevin Buzzard. #ITP #LeanProver #Math

RT @dment37: Blue area? @geogebra #GeoGebra

Theorem of the Day (February 10, 2025) : The Merton College Theorem Source : Theorem of the Day / Robin Whitty pdf : notes : #mathematics #maths #math #theorem @theoremoftheday

"Mathematics is one of the oldest of the sciences; it is also one of the most active, for its strength is the vigour of perpetual youth." – Andrew Forsyth (1858–1942) #quote #mathematics #math #maths #sciences

"La mathématique est l'une des plus anciennes des sciences ; elle est aussi l'une des plus actives, car sa force est la vigueur de la jeunesse éternelle." – Andrew Forsyth (1858-1942) #citation #mathématiques #maths #math #sciences

RT @naderi_yeganeh: I drew this mountain range with mathematical equations.

Theorem of the Day (February 9, 2025) : The Lagrange Property for Moufang Loops Source : Theorem of the Day / Robin Whitty pdf : notes : #mathematics #maths #math #theorem @theoremoftheday

9 février 1775 : #CeJourLà naissance de Farkas Bolyai (†20/11/1856), mathématicien hongrois proche de Gauss, qui s'est intéressé aux fondements de la géométrie. Son fils János Bolyai a été un des premiers à étudier une géométrie non euclidienne. #maths