Remarks on the foundations of mathematics

内容由Ludwig-Maximilians-Universität München and MCMP Team提供。所有播客内容（包括剧集、图形和播客描述）均由 Ludwig-Maximilians-Universität München and MCMP Team 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

MCMP – Philosophy of Mathematics «
Remarks on the foundations of mathematics

11y ago 1:31:37

MP4

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on October 13, 2022 23:55 (2+ y ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Helmut Schwichtenberg (LMU) gives a talk at the MCMP Colloquium (5 December, 2013) titled "Remarks on the foundations of mathematics". Abstract: We consider minimal logic with implication and universal quantification over (typed) object variables. Free type and predicate parameters may occur. For mathematics we need (i) data (the Scott - Ershov partial continuous functionals) and (ii) predicates (defined inductively or coinductively). In this setting we can define (Leibniz) equality, falsity and the missing logical connectives (negation, disjunction, existential quantification, conjunction). Ex-falso-quodlibet can be proved. Using Kreisel's (modified) realizability we can (even practically) extract computational content from proofs, and (internally) prove soundness.

22集单集