|
You are here |
xorshammer.com | ||
| | | | |
rileyharris.blog
|
|
| | | | | Proving stuff yourself is hard, and my initial attempts were catastrophic. I wrote one proof that began with a stronger statement than the conclusion I was attempting to draw, rendering the proof useless even in the unlikely case it was otherwise successful. It was not otherwise successful. Jumping through several dodgy implications and logical errors,... | |
| | | | |
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... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | Survey of Logic for Philosophers PHIL 76500 CUNY Graduate Center Program in Philosophy Spring semester 2016 4 credits Weds. 11:45-1:45 Room 5417 This seminar will be a graduate-level survey | |
| | | | |
geriatrixfotogallerie.wordpress.com
|
|
| | | Visit the post for more. | ||