Все публикации

1:51:05

The long view

1:51:45

Geometrized arithmetic and the unity of mathematics

1:55:33

The continuing challenge of Poincare, Hilbert, and Gödel

1:55:07

Why three ways of doing mathematics became rival philosophies

1:27:34

Undefinability and Absolute Undefinability in Arithmetic

1:42:52

Modern type theory and its applications (In Chinese)

1:37:23

Milestones and Small Steps in Model Theory of Arithmetic

1:50:37

Reverse mathematics over a weak base theory

1:40:31

What are consistency proofs and what should they be

1:47:46

Reverse Mathematics: classifying theorems

1:33:41

Truthmaker Semantics

1:43:33

New results on incompleteness and ordinal analysis

1:37:03

Goodstein walks and Gödel incompleteness

2:11:22

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

1:44:57

Lecture series on concrete incompleteness-1: Cut elimination theorem

2:25:58

Lecture series on concrete incompleteness-5: Phase transitions

2:01:45

Soundness Spectra

2:09:58

The pre-history of automated reasoning

2:00:19

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

2:04:17

Tarski's Truth Theory and Response to Objections

2:01:30

A conversational explanation of cognitive intuition

1:51:18

Poincaré and the Analytical Tradition

2:05:27

LOGIC AND EPISTEMOLOGY, CONVERSATION II

2:05:39

LOGIC AND EPISTEMOLOGY, CONVERSATION I