Explore >> Select a destination


You are here

homotopytypetheory.org
| | thehousecarpenter.wordpress.com
4.2 parsecs away

Travel
| | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...
| | fabricebaudoin.blog
2.8 parsecs away

Travel
| | Here are the lecture notes of the minicourse given at NYU Abu Dhabi. DirichletDownload
| | xorshammer.com
2.4 parsecs away

Travel
| | The Axiom of Choice is usually introduced as a non-constructive axiom that mathematicians used to care about but don't really pay much attention to anymore. It's true that mainstream mathematicians often don't pay much attention to it, but it turns out that AC isn't inherently non-constructive: it depends on what the base system it's being...
| | mobstertiger.com
12.8 parsecs away

Travel
| https://youtube.com/watch?v=NnXO1PNHvZg&si=9tPcwip0MQW-ojid