Loading…
CLMPS 2015 has ended
Back To Schedule
Thursday, August 6 • 11:00 - 13:00
C1.6 Philosophy of the Formal Sciences

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

6 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Why Post did not have Turing's Thesis
Wilfried Sieg, Philosophy, Carnegie Mellon University, Pittsburgh, USA
Mate Szabo, Philosophy, Carnegie Mellon University, Pittsburgh, USA
Dawn McLaughlin, Philosophy, Carnegie Mellon University, Pittsburgh, USA

Squeezing feasibility
Walter Dean, Philosophy, University of Warwick, Coventry, UNITED KINGDOM



Justifying proof-theoretic reflection
Marianna Antonutti Marfori, IHPST, Université Paris 1 - Panthéon Sorbonne, Paris, FRANCE





 

Chairs
MA

Marianna Antonutti Marfori

Université Paris 1 - Panthéon Sorbonne

Speakers
WD

Walter Dean

University of Warwick
MS

Mate Szabo

Carnegie Mellon University



Thursday August 6, 2015 11:00 - 13:00 EEST
Main Building, Room 10 Fabianinkatu 33

Attendees (0)