Garrevaques, near Toulouse, France

Mathematical Proof, Logic & Philosophy of Mathematics

when 21 October 2018 - 26 October 2018
language English
duration 1 week

The programme is structured around a very specific hierarchy of concepts through which the student is guided. Individual learning goals are accordingly broken down into bite-sized chunks that are linked to particular sub-topics. The sub-topics are grouped into sections, and these sections are in turn amalgamated into full tutorials. To ease the transition into the more technical material, students are guided through a carefully designed set of pre-requisite theory, examples and exercises.

However the material is designed to stretch all students. For example, optional ‘higher-level’ activities are included for the especially gifted or motivated student.


This enrichment programme is built around four workshops:
Mathematical Proof
Abstract Algebra and Geometric Constructions
Mathematical Logic
Philosophy of Mathematics

Course leader

Ian Tame

Target group

This Programme is aimed at pre-University students aspiring to become mathematics, science or philosophy undergraduates.

Course aim

This Programme addresses the foundations of mathematics – and indeed the nature of mathematics itself. Perspectives that are not normally covered in the taught components of pre-university mathematics courses! The Programme begins with a detailed and “hands-on” overview of the types and constructions used in mathematical proof. Then in the second workshop, students are shown how to use powerful tools from abstract algebra in order to investigate the provability of classic geometric constructions. In the third workshop, students are given a primer in mathematical logic – which is essential for an understanding of the underpinning logical framework used in different types of mathematical proofs. In the final workshop, students address the fundamental questions: what is mathematics? And what is a philosophy of mathematics? Thereafter the Programme culminates in highlighting important 21st century issues for the philosophy of mathematics.

Fee info

EUR 0: 1,450 EUR + VAT (19%)