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
© Copyright 2024 ExpyDoc