Explore >> Select a destination
|
You are here 
|
rjlipton.com | ||
| | | | |
blog.computationalcomplexity.org
|
|
| | | | | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we... | |
| | | | |
existentialtype.wordpress.com
|
|
| | | | | The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between... | |
| | | | |
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. | |
| | | | |
terrytao.wordpress.com
|
|
| | | A key theme in real analysis is that of studying general functions $latex {f: X \rightarrow {\bf R}}&fg=000000$ or $latex {f: X \rightarrow {\bf C}}&fg=000000$ by first approximating them b | ||
