/explore
|
You are here 
|
micromath.wordpress.com | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
xorshammer.com
We think of a proof as being non-constructive if it proves "There exists an $latex x$ such that $latex P(x)$ without ever actually exhibiting such an $latex x$. If you want to form a system of mathematics where all proofs are constructive, one thing you can do is remove the principle of proof by contradiction:... |
|
| | | | | ||
| | | | |
educationechochamber.wordpress.com
There are few simple solutions in education. If you are being promised one, it is at best a hopeful fib, at worst a deceptive sales-pitch. But there are some helpful principles that can guide our actions. A useful one I think could help improve literacy in primary and secondary schools: write less; read more. It... |
|
| | | | | ||
| | | | |
degoes.net
Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts |
|
| | | |||
