/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

rjlipton.com
| | www.jeremykun.com

For those who aren't regular readers: as a followup to this post, there are four posts detailing the basic four methods of proof, with intentions to detail some more advanced proof techniques in the future. You can find them on this blog's primers page. Do you really want to get better at mathematics? Remember when you first learned how to program? I do. I spent two years experimenting with Java programs on my own in high school.
2.8 parsecs

Travel
| |
| | math.andrej.com

[AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.
2.1 parsecs

Travel
| |
| | www.quantamagazine.org

Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach.
3.1 parsecs

Travel
| |
| | www.capicua.com

Machine Learning has gained traction over the last few years, cybersecurity being one of them. Let's learn how to use it to boost your system's protection!
20.2 parsecs

Travel
|