en-de
en-es
en-fr
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
Hilbert, Gödel, and Metamathematics today
Published on May 20, 20118699 Views
Related categories
Chapter list
Hilbert, Gödel, and Metamathematics Today00:00
Overview - 100:27
Hilbert's program - 101:59
Hilbert's program - 205:25
An overview of Gödel's work07:15
Gödel on his methods11:45
Weyl's obituary for Hilbert (1944)14:11
Gödel on Hilbert's program16:02
Gödel on mathemathematics and fi nitary reasoning - 118:31
Gödel on mathemathematics and fi nitary reasoning - 220:23
Gödel's assessment of Hilbert's program (1961) - 122:26
Gödel's assessment of Hilbert's program (1961) - 223:18
Gödel's assessment of Hilbert's program (1961) - 325:21
Hilbert and Gödel: a comparison26:21
Contemporary lessons31:26
Overview - 232:46
Proof mining - 133:11
Proof mining - 235:17
Proof mining - 336:11
Formal verifi cation and automated reasoning - 137:24
Formal veri fication and automated reasoning - 240:03
Formal veri fication and automated reasoning - 342:05
Combinatorial independences43:30
History and philosophy of mathematics44:05
Conclusions47:20