/explore
|
You are here 
|
jeremykun.wordpress.com | ||
| | | | |
relatedwork.blogspot.com
WARNING : This post won't make much sense unless you've read at least my first Topology As Touching post. Product Topologies and the Myste... |
|
| | | | | ||
| | | | |
a3nm.net
List of open questions |
|
| | | | | ||
| | | | |
siddhartha-gadgil.github.io
[AI summary] The author details the process of using the Lean 4 programming language to formally verify Giles Gardam's disproof of the Kaplansky Unit Conjecture in mathematics. |
|
| | | | | ||
| | | | |
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. |
|
| | | |||
