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

Language, Proof and Logic
Stanford University via edX
Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam
AI:Knowledge Representation and Reasoning
Indian Institute of Technology Madras via Swayam
人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
National Taiwan University via Coursera
Semantics of First-Order Logic
Stanford University via edX