Kurt Gödel's Legacy and the Current Trends in Logic

Published on May 20, 20115013 Views

New Trends in Logic 2011 - Vienna

Kurt Gödel Legacy and the Current Trends in Logic00:00

Gödel’s Legacy in Action - 100:36

Gödel’s Legacy in Action - 202:22

BHK semantics - 104:36

BHK semantics - 206:45

Gödel’s embedding08:21

Logic of Proofs as BHK09:39

Lessons to learn from LP - 115:17

Lessons to learn from LP - 217:43

Kleene, Martin-Löf19:25

BHK: proofs vs. programs20:21

Proof-based BHK22:44

Quantification and LP28:30

First-order LP: format31:10

First-order LP: axioms32:58

First-order LP: example38:06

FOS4 = projection of FOLP43:30

Example45:13

Example: Barcan formula47:48

Conclusions50:46

Thank You!52:03