Michael Rathjen: Hilbert’s program and (semi) Intuitionism

preview_player
Показать описание
This talk is part of the "Online International Workshop on Gödel's Incompleteness Theorems", organized by School of Philosophy at Wuhan University in China.

For all slides of lectures of this workshop, see the link:

  1. Logic, Philosophy and Gödel
Рекомендации по теме
Michael Rathjen: Hilbert’s 0:50:27

Michael Rathjen: Hilbert’s program and (semi) Intuitionism

Michael Rathjen: Opening 0:55:07

Michael Rathjen: Opening and Introduction

Sergei Artemov - 0:52:54

Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference)

Michael Rathjen: Derived 0:42:03

Michael Rathjen: Derived rules in set theory

Far Beyond Goodman's 0:51:29

Far Beyond Goodman's Theorem?

Michael Rathjen: The 0:49:32

Michael Rathjen: The Ubiquity of Schütte's Search Trees

Godel's Incompleteness Theorem--Tomb 0:15:46

Godel's Incompleteness Theorem--Tomb of Hilbert's Program

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

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

Conservativity of Weak 0:45:47

Conservativity of Weak Kőnig's Lemma (a proof from the book)

The Art of 1:49:54

The Art of Ordinal Analysis

Proof Theory: From 1:40:47

Proof Theory: From Arithmetic to Set theory

The Heredity Theorem 0:11:17

The Heredity Theorem | Intuitionistic logic | Attic Philosophy

On the (non)existence 2:00:19

On the (non)existence of proof sytems in universal proof theory

Anton Freund：Well ordering 2:04:11

Anton Freund：Well ordering principles and a uniform Kruskal theorem

Albrecht Visser - 0:43:12

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

​Proof Theory of 1:03:37

​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)

Well ordering principles 2:04:11

Well ordering principles and a uniform Kruskal theorem

Mathematical formalism | 0:45:59

Mathematical formalism | Wikipedia audio article

Mathematical logic | 1:02:45

Mathematical logic | Wikipedia audio article

CEFISES Seminar: Peter 1:34:18

CEFISES Seminar: Peter Verdée, “A new interpretation of intuitionistic logic”

Intuitionism IV: why 0:02:29

Intuitionism IV: why reject De Morgan's Law for QUANTIFIER NEGATION? ⟨15,04⟩—optional

Formal logic | 1:00:51

Formal logic | Wikipedia audio article

Sergei Artemov: Hyperderivations 0:36:06

Sergei Artemov: Hyperderivations

Lew Gordeew: Predicative 0:35:21

Lew Gordeew: Predicative proof theory of PDL