Sumários

4 Maio 2026, 15:00 • Bruno Miguel Jacinto

1. Discussion of Posy, C. ‘Intuitionism and Philosophy’.

2. Mini test.

30 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Introduction to Intuitionistic Logic;

2. Introduction to Brouwer’s Constructivism and Intuitionism;

3. Intuitionistic Real Analysis.

27 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Discussion of Detlefsen, M. ‘On an Alleged Refutation of Hilbert’s Program Using Gödel’s First

Incompleteness Theorem’, Journal of Philosophical Logic, 1990.

2. Mini test.

23 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Hilbert’s Programme;

2. Incompleteness Theorems 101;

3. Consequences of the Incompleteness Theorems for Hilbert’s Programme.

20 Abril 2026, 15:00 • Bruno Miguel Jacinto

1. Discussion of Hilbert, D., ‘On the Infinite’.

2. Mini test.