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

0:55:42

Joel David Hamkins: Set-theoretic forcing as a computational process

0:04:47

How to Count to Infinity and Beyond

0:56:45

Joel David Hamkins—Computable quotient presentations of models of arithmetic and set theory

0:01:25

The Banach-Tarski paradox

1:14:16

Joel David Hamkins: The Math Tea argument—must there be numbers we cannot describe or define?

1:06:57

Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?

1:36:50

Set Theory and the Philosophy of Set Theory

1:01:46

Joel David Hamkins — Set-theoretic and arithmetic potentialism: the state of current developments

1:19:48

The Gödel incompleteness phenomenon

1:24:10

What is Computability?

1:40:26

What is Proof?

1:34:22

Geometry — a paragon of mathematical deduction?

1:27:20

Climb to Infinity!

1:22:01

The Rise of Rigor in the Calculus

1:11:13

What is a number?

0:52:31

Joel David Hamkins: Modal model theory as mathematical potentialism

1:17:31

Joel David Hamkins: Categorical Cardinals

0:00:15

In memory of John H Conway, who could do impossible things

0:00:51

Arguing with the Yes-No box

0:00:49

Introducing the Triare!

0:00:40

Introducing the Trircle!

0:00:43

Introducing the Squircle!