Periodic Reporting for period 1 - ProvingAgency (Proving Agency in Mathematical Practice: Practical, Social, and Mental Aspects)

Mathematical reasoning is essential to the development of mathematical and scientific knowledge, and is a crucial skill in our science- and technology-based European societies. Yet, despite the revolutionary advances in formal logic of the past century, the nature of reasoning...