Lecture 12

Name: Lecture 12
Start: 2021-11-20T13:40:00+03:00
End: 2021-11-20T15:10:00+03:00
Location: No location set

Saturday 20 Nov 2021, 13:40 → 15:10 Europe/Moscow

Description

Mathematical Logicism, Mathematical Constructivism and Mathematical Formalism.

Reading: P. Martin-Löf, Hilbert-Brouwer Controversy Resolved?