Explore >> Select a destination
|
You are here 
|
xorshammer.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... | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
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. | |
| | | | |
boonaree.wordpress.com
|
|
| | | This is the excerpt for your very first post. | ||
