Explore >> Select a destination
|
You are here 
|
terrytao.wordpress.com | ||
| | | | |
blog.georgeshakan.com
|
|
| | | | | AI and Software Development will play a critical role in mathematics | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | |
| | | | |
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. | |
| | | | |
www.thoughtexperiments.net
|
|
| | | Quantum Mechanics is a strange and counterintuitive theory. Dealing with the behaviour of subatomic particles, it is extremely difficult to reconcile with our experience of everyday life. Niels Boh... | ||
