Explore >> Select a destination
|
You are here 
|
www.lesswrong.com | ||
| | | | |
rjlipton.com
|
|
| | | | | Are quantum errors incorrigible? Discussion between Gil Kalai and Aram Harrow Gil Kalai and Aram Harrow are world experts on mathematical frameworks for quantum computation. They hold opposing opinions on whether or not quantum computers are possible. Today and in at least one succeeding post, Gil and Aram will discuss the possibility of building large-scale... | |
| | | | |
richardcarrier.blogspot.com
|
|
| | | | | Over the years I have been mulling a problem in metaphysics: the ontological mysteries of Quantum Mechanics. I have been developing a theory... | |
| | | | |
scottaaronson.blog
|
|
| | | | | So I've written an article about the above questionfor PBS's website---a sort of tl;dr version of my 2005 survey paperNP-Complete Problems and Physical Reality, butupdated with new material about the simulation of quantum field theories and about AdS/CFT. Go over there, read the article (it's free), then come back here to talk about it if... | |
| | | | |
math.andrej.com
|
|
| | | [AI summary] The discussion revolves around the nuances of proof methods in constructive mathematics, particularly the distinction between proof by contradiction and proof by negation. Key points include the definition of irrational numbers without relying on the law of excluded middle, the use of contrapositive in proofs, and the limitations of certain classical theorems like the intermediate value theorem in constructive settings. The conversation also touches on the philosophical and practical implications of these proof methods in both classical and intuitionistic logic, as well as the role of type theory and univalent foundations in modern mathematical proofs. | ||
