joel david hamkins: set-theoretic forcing as a computational process
Published 1 year ago • 2.7K plays • Length 55:42Download video MP4
Download video MP3
Similar videos
-
1:01:46
joel david hamkins — set-theoretic and arithmetic potentialism: the state of current developments
-
50:23
joel david hamkins : the hierarchy of second-order set theories between gbc and km and beyond
-
1:20:46
joel david hamkins: realizing frege's basic law v provably in zfc
-
56:45
joel david hamkins—computable quotient presentations of models of arithmetic and set theory
-
2:05:48
infinite sets and foundations (joel david hamkins) | ep. 17
-
1:17:31
joel david hamkins: categorical cardinals
-
1:36:50
set theory and the philosophy of set theory
-
3:31
"i loved every minute of it, however hard it had been"
-
6:08
how isps violate the laws of mathematics
-
4:50
what's so wrong with the axiom of choice ?
-
52:31
joel david hamkins: modal model theory as mathematical potentialism
-
1:02:29
professor joel david hampkins infinite game theory
-
1:55
forcing: conceptual change in the foundations of mathematics