|
You are here |
www.quantamagazine.org | ||
| | | | |
mathscholar.org
|
|
| | | | | [AI summary] An article discusses the evolution of mathematics from a discipline that resisted computational tools to one that increasingly relies on computer-assisted proofs, data mining, and artificial intelligence, featuring perspectives from mathematician Terence Tao on the future of the field. | |
| | | | |
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... | |
| | | | |
leanprover-community.github.io
|
|
| | | | | ||
| | | | |
billwadge.com
|
|
| | | The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the... | ||