On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024
Offered By: BIMSA via YouTube
Course Description
Overview
Explore a groundbreaking lecture on a finitary formal meta-theory of meta-mathematics that merges the work of Cantor, Frege, and Zermelo using pure set theory. Delve into the development of a formal system with specific instances of Frege's Logic Rules and Zermelo's Postulates, emphasizing formal deductions and predicative definitions. Contrast this approach with Kleene's claim about intuitive meta-theory, and discover how the lecture restricts methods to finitary techniques. Examine the syntactic and semantic development of ZFC and first-order logic within this framework. Investigate novel definitions of finiteness, natural numbers, and arithmetic without relying on infinity, challenging traditional approaches by Dedekind and Frege-Russell. Consider the implications for the axiom of infinity and explore a reinterpretation of logical truth based on an analysis of Quine's definition.
Syllabus
Qi Feng: On A Finitary Formal Meta-theory of Meta-mathematics #ICBS2024
Taught by
BIMSA
Related Courses
Introduction to Mathematical ThinkingStanford University via Coursera Introduction to Mathematical Philosophy
Ludwig-Maximilians-Universität München via Coursera 機率 (Probability)
National Taiwan University via Coursera 悖论:思维的魔方
Peking University via Coursera 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera