Choisissez le fuseau horaire
Le fuseau horaire de votre profil:
L'algèbre dynamique permet de décrire le contenu calculatoire d'objets mathématiques qui ne peuvent pas être construits, comme la clôture algébrique ou les valuations d'un corps. Je chercherai à placer cette approche dans une perspective historique et philosophique en mettant en exergue l'apport de Paul Lorenzen (1915-1994).