Media
General
Slides
- Michael Detlefsen, Axiomatic Method and Rigor
- Wolfram Pohlers, On the Performance of Axiom Systems
- Stephen G. Simpson, Foundations of Mathematics: An optimistic message slides & paper
- Michael Rathjen, Type theories, (intuitionistic) set theories and univalence
- Mark van Atten, Predicativity and parametric polymorphism of Brouwerian implication
Thursday, 12.10
- Wilfried Sieg, Proofs as Objects: A Pivotal Thought
- Marco Buzzoni, Are there thought experiments in mathematics?
- Gregor Schiemann, Open Mathematization
Friday, 13.10
- A. Afriot & G. Tarozzi, Quantum logic & probability: Formal solutions to quantum paradoxes?
- Mario Alai, The Empirical Underdetermination of Theories and Scientific Realism
- Lorenzo Magnani, Knowledge in Motion
- Valentin Bazhanov, Revolution in Social and Cultural Neuroscience
Saturday 14.10
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
2025
Login Portal de Eventos
Powered by OpenScholar