YoVDO

On A Finitary Formal Meta-theory of Meta-mathematics - ICBS 2024

Offered By: BIMSA via YouTube

Tags

Set Theory Courses First-Order Logic Courses Formal Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Thinking
Stanford 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