Des Pythagoriciens aux philosophes analytiques contemporains, de nombreux philosophes ont été fascinés par les mathématiques et par le type de certitudes que permettent d’obtenir leurs modes de preuve démonstrative. Parce qu’ils voulaient garantir le même type de savoir incontestable et universellement partageable dans d’autres domaines, ils se sont alors efforcés de calquer autant que possible la démarche philosophique sur la démarche mathématique en précisant les définitions des concepts impliqués, en établissant des listes de manières de raisonner autorisées, voire même en axiomatisant entièrement l’éthique et la métaphysique comme l’a tenté Spinoza.

Force est cependant de constater que les manières de démontrer en mathématiques sont en fait elles-mêmes beaucoup plus diverses et moins uniformes – d’un champ à l’autre, mais aussi d’une tradition à l’autre ou d’une époque de l’histoire à l’autre – qu’on pourrait le croire à première vue.

Entrée par séance : 5 € (non membres des Amis ULiège) - 2,50 € (membre des Amis de l’Université de Liège ou des seniors de la Ville) - Gratuit pour les étudiants de moins de 25 ans et les demandeurs d’emploi.

Jeudi 14 mars 2024, 17h : David Rabouin (SPHERE, CNRS & Université Paris Cité), « Que nul n’entre ici s’il n’est géomètre », vraiment ?

Infos

Jeudi 21 mars 2024, 17h : Karine Chemla (SPHERE, CNRS & Université Paris Cité), Comment les différentes traditions de démonstration de l’antiquité éclairent les démonstrations d’aujourd’hui.

INFOS

Jeudi 28 mars 2024, 17h : Laurence Bouquiaux et Bruno Leclercq (Université de Liège), Qu’appelle-t-on démontrer ? Appels à l’intuition et preuves formelles en mathématique.

iNFOS

Jeudi 4 avril 2024, 17h : Jean Paul Van Bendegem (Vrije Universiteit Brussel), Mais qu’est-ce qu’ils font ces mathématiciens toute la journée ?

infos

Jeudi 11 avril 2024, 17h : Yacin Hamami (FNRS, Université de Liège & ETH Zürich), Les ordinateurs peuvent-ils faire des mathématiques ?

inFOS