Explore >> Select a destination
|
You are here 
|
homotopytypetheory.org | ||
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | 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... | |
| | | | |
ncatlab.org
|
|
| | | | | [AI summary] Mike Shulman, a Professor, discusses his academic work in homotopy type theory, higher inductive types, and related mathematical concepts through selected writings and talks. | |
| | | | |
noncommutativeanalysis.wordpress.com
|
|
| | | | | I spent the week 28.4 - 3.5 at the MFO at Oberwolfach in a workshop on noncommutative function theory and free probability (whatever the hell that means), where I gave (ahem, ahem) a three lecture mini-course "Noncommutative Function Theory for Free Probabilists for Everyone". It is a curious exercise to give a mini-course to a... | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | In the texbook I'm using for a first course in algebraic geometry, the proof of Bezout's theorem is awful. Looking around, I find an abundance of awful proofs. A good proof is one that I would want to commit to memory. Here is a good proof of Bezout's theorem, which is due to Gurjar and... | ||
