Talks

Invited talks (58 in total):

  1. 16/06/2026       “No human in the loop: considering autonomous theorem proving AI systems”, Workshop “AI, Formalization and Mathematics”, University of Bonn.
  2. 11/05/2025       “Towards an epistemology of artificial mathematical reasoning”, PAIR Research Seminar, Friedrich-Alexander-Universität Erlangen-Nürnberg.
  3. 11/03/2026       “Towards an Epistemology of Artificial Mathematical Reasoning”, Minds and Intelligences Speaker Series, Macquarie University, Sydney.
  4. 05/03/2026       “Towards an Epistemology of Artificial Mathematical Reasoning”, AGORA Talk, University of Wollongong.
  5. 16/12/2025       “Towards an Epistemology of Artificial Reasoning”, Workshop “Reasoning in the Age of AI: Philosophical Perspectives”, RWTH Aachen University.
  6. 18/06/2025       “Introducing GICAT”, Extended STS Workshop, Käte-Hamburger-Kolleg, RWTH Aachen University.
  7. 26/03/2025       “The future of mathematicians, human and artificial”, Conference “Cultures of Research”, RWTH Aachen University.
  8. 05/03/2025       “Recognizing artificial mathematical intelligence in theorem proving”, Research Seminar, University of Sydney.
  9. 28/02/2025       “The Future of Mathematical Research in the Age of Generative AI”, Workshop “Epistemic Agency in the Age of AI”, Macquarie University, Sydney.
  10. 28/11/2024       “Mathematical research in the age of generative AI”, Aachen-Darmstadt-Stuttgart Colloquium.
  11. 12/07/2024       “Against the time travel of social constructs”, Aachen-Darmstadt-Stuttgart Colloquium, TU Darmstadt.
  12. 22/03/2024       “Commentary on Pii Telakivi: From Extended Cognition to Extended Consciousness”, Expanding Minds Series, Macquarie University, Sydney.
  13. 05/03/2024       “The cultural evolution of number concepts”, Philosophy Seminar, Macquarie University, Sydney.
  14. 28/02/2024       “From numerical cognition to the epistemology of arithmetic – a pre-book launch talk”, Expanding Minds Series, University of Wollongong.
  15. 15/01/2024       “Arithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences”, World Logic Day 2024, UFMG Belo Horizonte.
  16. 14/11/2023       “Arithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences”, Seminar talk at Warsaw University of Technology.
  17. 08/11/2023       “Scaffolding as a useful notion in the cognitive sciences”, Round table at the Käte Hamburger Kolleg “Cultures of Research, RWTH Aachen.
  18. 30/08/2023       “Recognising artificial mathematical intelligence”, Infinity and Intensionality Seminar, University of Oslo.
  19. 23/06/2023       “Arithmetic and proto-arithmetic: the need for clear conceptual distinctions in computational cognitive sciences”, CSS-HLRS-Darmstadt Colloquium, RWTH Aachen.
  20. 08/06/2023       “How numerical symbols shape arithmetical cognition”, To the Symbols Themselves Conference, University of Cologne.
  21. 27/05/2023       “Recognising artificial mathematical intelligence”, Munich Center for Mathematical Philosophy, LMU Munich.
  22. 05/05/2023       “Recognising artificial mathematical intelligence”, Varieties of Science workshop, Bucharest.
  23. 04/05/2023       “Arithmetic and proto-arithmetic: the need for clear conceptual distinctions in research on numerical cognition”, University of Bucharest.
  24. 21/04/2023       “The counting animal”, Conference in Honor of Frederik Stjernfelt, Aalborg University, Copenhagen.
  25. 27/02/2023       “Recognising artificial mathematical intelligence”, Philosophy Seminar, Macquarie University, Sydney.
  26. 22/12/2022       “Recognising artificial mathematical intelligence”, CSS-HLRS Colloquium on Philosophy of Computational Sciences, RWTH Aachen.
  27. 16/03/2022       “Theorem proving in artificial neural networks”, AiAgora talk, Technical University Delft.
  28. 24/01/2022       “Return of the cicadas: Why the prime number nymphal stages are a paradigmatic case of mathematical explanation in science – if any”, CSS-HLRS Colloquium on Philosophy of Computational Sciences, RWTH Aachen.
  29. 19/01/2022       “Developing artificial human-like arithmetical intelligence (and why)”, Cultures of Research – Digitalization of Research Lecture Series, RWTH Aachen.
  30. 03/12/2021       “Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics”, Seminar in logic and philosophy of mathematics, University of Helsinki.
  31. 12/11/2021       “Mathematical objectivity”, Philosophy of mathematics in Finland conference, Tampere. Keynote.
  32. 23/09/2021       “Mathematical naturalism”, Philosophy of mathematics lecture, University of Helsinki.
  33. 11/06/2020       “Mathematical objectivity, without mathematical objects”, Philosophy of Mathematics seminar, University of Pavia, Italy. Online due to COVID-19.
  34. 02/04/2020       “Early numerical cognition and mathematical processes”, Philosophy of Mathematical Cognition Seminar, Ruhr-Universität Bochum, Germany. Online due to COVID-19.
  35. 06/12/2019       “A Fresh Look at Research Strategies in Computational Cognitive Science: The Case of Enculturated Mathematical Problem Solving”, Culture and Cognition Reading Group, Macquarie University, Sydney.
  36. 03/12/2019       “Proto-arithmetic, number concept acquisition and mid-level cognition”, Workshop on Mid-Level Cognition: Norms, Habits and Narrative, University of Wollongong, Australia.
  37. 27/11/2019       “Objectivity in Mathematics without Mathematical Objects”, Macquarie University, Sydney.
  38. 23/05/2019       “From Computational to Cognitive Complexity: Considerations from Mathematical Problem Solving”, Colloquium Philosophy Meets Cognitive Science, Ruhr University Bochum.
  39. 06/04/2019       “Objectivity without Objects”, Ontology in arithmetic and logic workshop, UQAM, Montreal.
  40. 03/04/2019       “From Computational to Cognitive Complexity: Considerations from Mathematical Problem Solving”, McGill University, Montreal.
  41. 15/05/2018       “Computational and Cognitive Complexity in Mathematical Problem Solving”, Grolog colloquium, University of Groningen.
  42. 14/05/2018       “Computational and Cognitive Complexity in Mathematical Problem Solving”, ILLC Talk, University of Amsterdam.
  43. 26/04/2018       “Computational and Cognitive Complexity in Mathematical Problem Solving”, Munich Center for Mathematical Philosophy, LMU Munich.
  44. 03/11/2017       “Cognitive Complexity and Mathematical Problem Solving”, Seminar in Philosophy of Logic and Mathematics, Helsinki.
  45. 24/03/2017       “The Cognitive Basis of Actual Infinity”, Logic seminar at the Department of Philosophy, Helsinki.
  46. 02/02/2017       “Processes, Metaphors and Numerical Cognition”, Philosophy research seminar, Helsinki.
  47. 30/11/2016       “The Cognitive Basis of Actual Infinity”, Logic seminar at the Department of Mathematics and Statistics, Helsinki.
  48. 08/02/2015       “An Empirically Feasible Approach to the Philosophy of Mathematics”, University of California Irvine, C-ALPHA talk.
  49. 30/10/2014       “An Empirically Feasible Approach to the Philosophy of Mathematics”, University of Tampere research seminar.
  50. 29/08/2014       “Origins of Numerical Cognition and the Epistemology of Arithmetic,” ECAP2014, Bucharest.
  51. 15/06/2013       “Empirically Feasible Epistemology of Arithmetic,” Helsinki-Tartu Workshop in Theoretical Philosophy, University of Tartu.
  52. 25/06/2012       “Empirically Feasible Epistemology of Arithmetic,” Bucharest Colloquium for Analytic Philosophy, University of Bucharest.
  53. 25/01/2012       “Empirical Research and the Philosophy of Mathematics,” University of Bucharest.
  54. 28/05/2011       “Arithmetical Truth since Frege,” Frege Colloquium, University of Bucharest.
  55. 03/11/2011       “The Empirical Study of Mathematical Knowledge,” The Munich Center for Mathematical Philosophy.
  56. 14/02/2011       “Empiricism and the Philosophy of Mathematics,” The Philosophy of Science Seminar, University of Helsinki.
  57. 20/10/2010       “What Can We Deduce from Gödel’s Incompleteness Theorems in Philosophy?,” The Philosophical Society of Finland.
  58. 27/04/2009       “Truth, Proof and Gödelian Arguments,” Public examination of Doctoral Dissertation, University of Helsinki.

Peer-reviewed contributed talks to conferences and workshops (37 in total):

  1. 05/09/2025       “Can AI help us understand numerical cognition and arithmetical knowledge?”, European Society for Philosophy and Psychology Conference, Warsaw.
  2. 01/09/2025       “Reliable theorem-proving AI for mathematical research”, RETRAI 2025, Valencia.
  3. 07/04/2025       “The need for ethical guidelines in mathematical research in the time of generative AI”, Workshop on Theorem Proving and Machine Learning, Heriot-Watt University, Edinburgh.
  4. 12/11/2024       “Logical foundations of science in the age of generative AI”, workshop “Logic and the Philosophy of Science”, RWTH Aachen
  5. 28/09/2024       “Peirce’s philosophy of notations and the trade-offs in numeral symbol systems”, Diagrams24, Münster.
  6. 19/09/2024       “Theorem proving with and by AI”, Conference “The era of artificial intelligence and the merging of human and machine”, University of Sassari, Alghero.
  7. 16/05/2024       “From numerical cognition to epistemology of arithmetic”, Workshop “Epistemology of Arithmetic: New Philosophy for New Times”, RWTH Aachen University.
  8. 22/07/2022       “On radical enactivist accounts of arithmetical cognition”, 3rd Joint Meeting of the Society for Philosophy and Psychology (SPP) and the European Society for Philosophy and Psychology (ESPP), Milan.
  9. 15/06/2022       “How numerical symbols shape arithmetical cognition”, The 4th Conference of the International Association for Cognitive Semiotics, Aachen.
  10. 02/02/2022       “Theorem proving in deep artificial neural networks”, Workshop: Explainable AI and explanations in AI, RWTH Aachen.
  11. 25/08/2020       “The Feedback Loops Linking Mathematical Practices and Cognitive Tools: Considerations on Cognitive Innovation”, ECAP10, Utrecht, The Netherlands. With Regina E. Fabry. Cancelled due to COVID-19.
  12. 23/09/2019       “The Interplay of Biological and Cultural Components in the Acquisition of Natural Number Concepts”, Mind: Coevolution of Biology and Culture, Cres, Croatia.
  13. 03/09/2019       “A Fresh Look at Research Strategies in Computational Cognitive Science: The Case of Enculturated Mathematical Problem Solving”, EuroCogSci 2019, Ruhr-Universität Bochum (with Regina Fabry).
  14. 06/08/2019       “Complexity of Mathematical Cognitive Tasks”, 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, University of Prague.
  15. 22/05/2019       “Cognitive and computational complexity in mathematical problem solving”, Simplicities and Complexities, University of Bonn.
  16. 29/03/2019       “How Cognitive Tools Transform our Cognitive Capacities in Mathematical Problem Solving (and Beyond): Cumulative Cultural Evolution and Enculturation”, Retuning Cognition with a Pair of Rocks, University of Pittsburgh.
  17. 30/10/2018       “The Cognitive Role of Embodied Symbol Manipulation in Mathematical Problem Solving”, Getting Real About Words And Numbers, Antwerp (with Regina Fabry).
  18. 11/06/2018       “Of Levels, Competence, and Performance: Towards an Explanation of Enculturated Mathematical Problem Solving”, Models of Explanation, Turin (with Regina Fabry).
  19. 05/11/2017       “Cognitive Complexity and Mathematical Problem Solving”, Ninth French Philosophy of Mathematics Workshop, Nancy.
  20. 11/10/2017       “Cognitive Complexity and Mathematical Problem Solving”, Third International Conference on Philosophy of Mind, Braga.
  21. 22/09/2017       “Cognitive Complexity and Mathematical Problem Solving”, Fourth Philosophy of Language and Mind conference, Bochum.
  22. 22/08/2017       “What is Arithmetic”, Ninth European Conference of Analytic Philosophy, Munich.
  23. 19/09/2016       “Early Numerical Cognition and Mathematical Processes”, Workshop: From basic cognition to mathematical practice, Seville.
  24. 11/08/2016       “Mathematical Cognition as Enculturation”, European Society for Philosophy and Psychology, St. Andrews.
  25. 10/12/2015       “Number-cognition: Bootstrapping of the Exact Number Concepts”, Symposium of Cognition, Logic and Communication, Riga.
  26. 03/11/2016       “Metaphorical Thinking in Mathematics”, APMP Colloquium, Paris.
  27. 05/08/2015       “From Proto-arithmetical to Arithmetical: the Four Roles Language Plays in the Development of Arithmetical Thinking”, CLMPS, Helsinki
  28. 01/06/2014       “Empirically Feasible Epistemology of Arithmetic,” Philosophy of mathematics: objectivity, cognition, and proof, Milan.
  29. 11/04/2014       “The Great Gibberish: Mathematics in Western Popular Culture,” Mathematical Cultures 3, London.
  30. 20/09/2013       “In Search of Aleph-null – How Infinity Can Be Created,” Foundations of the Formal Sciences VIII: History and Philosophy of Infinity, Cambridge.
  31. 10/11/2012       “Foundational Matters in Higher Mathematics Education,” Cultures of Mathematics and Logic, Sun Yat-Sen University, Guangzhou.
  32. 23/03/2011       “Commentary on Hannes Leitgeb: ‘A Theory of Truth for Propositions,’” Truth Be Told Workshop, Amsterdam.
  33. 10/01/2011       “At What Stage Does Mathematical Understanding Arise?,” Colloquium of The Philosophical Society of Finland, Turku.
  34. 04/06/2010       “Perspectives to Empirical Philosophy of Mathematics,” XXVI Varna International Philosophical School, Sofia.
  35. 18/03/2010       “Epistemic Actions,” Seminar of Logic, Helsinki, March 2010.
  36. 12/03/2008       “The Meaning of Logical Connectives,” Post-graduate Seminar, Helsinki.
  37. 06/11/2007       “Truth and Proof,” Post-graduate Seminar, Helsinki.