/explore
|
You are here 
|
cronokirby.com | ||
| | | | |
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... | |
| | | | |
www.math3ma.com
|
|
| | | | | ||
| | | | |
terrytao.wordpress.com
|
|
| | | | | To progress further in our study of function spaces, we will need to develop the standard theory of metric spaces, and of the closely related theory of topological spaces (i.e. point-set topology).... | |
| | | | |
rakhim.org
|
|
| | | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. | ||
