/explore
|
You are here 
|
math.andrej.com | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
mycqstate.wordpress.com
This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... |
|
| | | | | ||
| | | | |
pressron.wordpress.com
Abstract: Machine and language models of computation differ so greatly in the computational complexity properties of their representation that they form two distinct classes that cannot be directly compared in a meaningful way. While machine models are self-contained, the properties of the language models indicate that they require a computationally powerful collaborator, and are better... |
|
| | | | | ||
| | | | |
ayvlasov.wordpress.com
Recent debates on possibility of quantum computer provoked a specific prize. Between all, Scott Aaronson wrote: [...] whether scalable quantum computing is possible is a question about the laws of physics. It's perfectly conceivable that future developments in physics would conflict with scalable quantum computing, in the same way that relativity conflicts with faster-than-light communication,... |
|
| | | |||
