/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

math.andrej.com
| | richardzach.org
1.8 parsecs away

Travel
| | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and...
| | inquiryintoinquiry.com
2.0 parsecs away

Travel
| | 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...
| | thatsmaths.com
2.8 parsecs away

Travel
| | There are numerous branches of mathematics, from arithmetic, geometry and algebra at an elementary level to more advanced fields like number theory, topology and complex analysis. Each branch has its own distinct set of axioms, or fundamental assumptions, from which theorems are derived by logical processes. While each branch has its own flavour, character and...
| | pavpanchekha.com
26.4 parsecs away

Travel
|