|
You are here |
theartofmachinery.com | ||
| | | | |
lispy.wordpress.com
|
|
| | | | | I didn't immediately recognize the equation that Steve Knight used in his answer to problem 6 of the Euler Project, but it was in fact just the formula for an arithmetic series. This one's actually pretty easy to come to from an intuitive standpoint. The story goes that Gauss had one of the meanest school... | |
| | | | |
jaydaigle.net
|
|
| | | | | We continue our exploration of what numbers are, and where mathematicians keep finding weird ones. In the first three parts we extended the natural numbers in two ways: algebraically and analytically. Those approaches gave overlapping but distinct sets of numbers. This week we combine them to get the complex numbers, and see some hints of why the complex numbers are so useful-and so frustrating. | |
| | | | |
funloop.org
|
|
| | | | | ||
| | | | |
www.logicmatters.net
|
|
| | | A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...] | ||