Lecture series on concrete incompleteness-2: Proof theory of Peano Arithmetic

preview_player
Показать описание
Lecture series on concrete incompleteness at Wuhan University
Lecture Two: Proof theory of Peano Arithmetic
Date and Time：2023-08-01, 10:00-12:00 Beijing Time (UTC+8)
Speaker: Prof. Andreas Weiermann (Ghent University, Belgium)
  1. Logic, Philosophy and Gödel
Рекомендации по теме
Lecture series on 2:11:22

Lecture series on concrete incompleteness-2: Proof theory of Peano Arithmetic

Lecture series on 2:25:58

Lecture series on concrete incompleteness-5: Phase transitions

From Georg Cantor’s 0:25:46

From Georg Cantor’s Set Theory to Godel’s Incompleteness Theorem Let’s Dive Deep into the Fascin...

What is concrete 2:40:39

What is concrete incompleteness?

Gödel's Incompleteness Theorems 0:18:14

Gödel's Incompleteness Theorems - Ep. 6.2: Hilbert's Program

Incompleteness... 0:24:53

Incompleteness...

Albrecht Visser - 0:43:12

Albrecht Visser - Provability According to Kreisel, Löb, Feferman (Gödel Conference)

ritu mam off 0:00:16

ritu mam off line Unacademy kota center. #neetug #neet2023 #unacademy #kotacity

[AI Book Summary 8:35:58

[AI Book Summary for Study #1/3] Millennial Hospitality, By Charless Hall (All 6 Books)

Joel David Hamkins 1:42:21

Joel David Hamkins on Gödel's Incompleteness, Set-Theoretic Multiverse & Foundations of Mat...

Yong Cheng - 1:01:05

Yong Cheng - The Landscape of Gödel's Incompleteness Theorems (Gödel Conference)

Foundations - Seminar 1:05:53

Foundations - Seminar 11 - Gödel's incompleteness theorem Part 3

[SAS23] A Formal 0:22:21

[SAS23] A Formal Framework to Measure the Incompleteness of Abstract Interpretations

2018 Einstein Lecture 0:53:25

2018 Einstein Lecture Edward Frenkel

Gödel's Proof of 0:36:51

Gödel's Proof of God - In Depth

Saeed Salehi: ω-Consistency: 1:08:45

Saeed Salehi: ω-Consistency: Gödel’s “much weaker” notion of soundness

Harvey Friedman: Aspects 1:14:38

Harvey Friedman: Aspects of Gödel incompleteness

Gödel's Incompleteness Theorem 0:09:09

Gödel's Incompleteness Theorem

Helen Preiß - 0:19:43

Helen Preiß - What Replaces Diagonalisation in Boolos' Proof of the First Incompleteness Theore...

Godel's First Incompleteness 2:09:55

Godel's First Incompleteness Theorem

[CPP'22] Undecidability, Incompleteness, 0:24:14

[CPP'22] Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq

FINALE: Gödel's First 0:41:30

FINALE: Gödel's First Incompleteness Theorem (Part 3 Chapter 13)

Why Roger Penrose 0:37:58

Why Roger Penrose (@Jordan Peterson) is wrong about quantum mechanics

The Philosophical Significance 1:43:56

The Philosophical Significance of Gödel’s Dialectica Translation (Stephen Mackereth)