Explore >> Select a destination
|
You are here 
|
www.quantamagazine.org | ||
| | | | |
www.elephantlearning.com
|
|
| | | | | Read on to find out how backlash from the mathematics community forced one German mathematician to pivot and study Shakespeare. | |
| | | | |
ernest.oppet.it
|
|
| | | | | Link Summary of contributions Mathematical foundations for quantum mechanics (aged 22) Mathematics of ballistics & explosions (in the 30s when sensed war was looming) Analysis of the structure of self-replication which preceded the discovery of the structure of DNA Manhattan project Founded Game theory Building the ENIAC, the first digital computer Cellular automata Introduction "As... | |
| | | | |
mathscholar.org
|
|
| | | | | [AI summary] The article discusses the evolution of mathematics, highlighting the role of technology and formalization in modern mathematical practices. It explores how collaborative projects using tools like Lean are changing the way mathematicians approach problem-solving, enabling the division of labor and making complex proofs more manageable. The text also touches on the potential future of mathematics with the integration of AI, suggesting that AI could assist in generating and formalizing proofs, leading to new roles within the mathematical community. The article emphasizes that while AI may not replace human mathematicians, it will transform the field by allowing for more efficient and collaborative research. | |
| | | | |
unstableontology.com
|
|
| | | (note: one may find the embedded LaTeX more readable on LessWrong) The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may... | ||
