Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
openlogicproject.org
|
|
| | | | | We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax and semantics in general terms. A chapter on three-valued logics disc... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
consequently.org
|
|
| | | | | ||
| | | | |
jdh.hamkins.org
|
|
| | | I'd like to share a simple proof I've discovered recently of a surprising fact: there is a universal algorithm, capable of computing any given function! Wait, what? What on earth do I ... | ||
