Philosophy of Mathematics Workshop

Philosophy of Mathematics Workshop
Practical Info
Venue:
PI 00.10
Vesaliusstraat 2, BE-3000 Leuven
Date:
13.02.2014
Contact: [email protected]
1
Workshop Programme
09.00-09.15
Welcome
09.15–10.15
Benedict Eastaugh
10.15–10.30
Break
10.30–11.30
Marianna Antonutti Transfinite progressions and implicit commitment
11.30–11.45
Break
11.45–12.45
Paula Quinon
12.45–14.15
Lunch
14.15–15.15
Walter Dean
15.15–15.30
Break
15.30–16.30
Øystein Linnebo
16.30–16.15
Break
16.15–17.45
Leon Horsten
17.45–. . .
Drinks and dinner
Ideology, ontology, iteration
Is the Church-Turing Thesis a Carnapian explication?
Proofs, induction, and the BHK interpretation
Abstraction and recarving of content
Quantifying into probability contexts
2