Histoire des maths avec Marouane Ben Miled
Conférence plénière du mercredi 19 février à l’Académie Tunisienne Beit al-Hikma-المجمع التونسي بيت الحكمة :
BEN MILED Marouane – Syntaxe et sémantique en mathématiques
La logique contemporaine distingue nettement les constructions syntaxiques des formules et des démonstrations mathématiques, des sens qui leurs sont donnés. Les différents théorèmes d’incomplétude, de Gödel ou de Tarski, reposent d’ailleurs sur cette distinction.
Cette distinction est également à la base de la fondation de l’algèbre, par al-Khawarizmi, au 9e siècle ; on la retrouve encore, avec un développement plus marqué de l’aspect syntaxique, dans la réforme de l’algèbre qu’opéreront al-Karaji et al-Samaw’al, entre les 11e et 12e siècles.
Titulaire d’un DEA de Logique avec Jean-Louis Krivine, Marouane Ben Miled soutiendra une thèse d’histoire des mathématiques arabes sous la direction de Roshdi Rashed, sur les commentaires arabes du livre X des Eléments.
Ses recherches actuelles portent sur l’algèbre arabe.
Enseignant à l’Ecole Nationale d’ingénieurs de Tunis (ENIT), il est chercheur au Laboratoire de Modélisation mathématique et numérique dans les Sciences de l’Ingénieur (LAMSIN), et rattaché au Centre Gilles-Gaston Granger à Aix-Marseille (CNRS UMR 7304). Il dirige également l’équipe HiMa.
Share on Facebook
Post on X
Follow us
