/explore
|
You are here 
|
terrytao.wordpress.com | ||
| | | | |
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.quantamagazine.org
|
|
| | | | | Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics. | |
| | | | |
blog.georgeshakan.com
|
|
| | | | | AI and Software Development will play a critical role in mathematics | |
| | | | |
www.logicmatters.net
|
|
| | | The first mini Amazon review of the new edition of Introducing Category Theory arrives: five stars. Simultaneously, the first report of a typo (ยง2.9(b), "its homomorphism needs to be included" should read "its identity homomorphism needs to be included"). You win some, you lose some. Among the possible post-categories projects I've wondered about, one is [...] | ||
