/explore
|
You are here 
|
scottaaronson.blog | ||
| | | | |
windowsontheory.org
(see also pdf version) Quantum computing is one of the most exciting developments of computer science in the last decades. But this concept is not without its critics, often known as "quantum computing skeptics" or "skeptics" for short. The debate on quantum computing can sometimes confuse the physical and mathematical aspects of this question,... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
4gravitons.com
Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics... |
|
| | | | | ||
| | | | |
www.logicmatters.net
A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...] |
|
| | | |||
