Proof-theoretic semantics and the format of deductive reasoning&Prawitz's completeness conjecture (A sketch of some ideas) - a podcast by MCMP Team

Peter Schroeder-Heister (Tübingen) gives a talk at the MCMP Colloquium Mathematical Philosophy - first part: "Proof-theoretic semantics and the format of deductive reasoning", second part: "Prawitz's completeness conjecture (A sketch of some ideas)".

Further episodes of MCMP – Mathematical Philosophy (Archive 2011/12)

Further podcasts by MCMP Team

Website of MCMP Team