Scott Aaronson on Computational Complexity Theory and Quantum Computers

[anywallsocket]

Aaronson is well spoken. He approaches each topic with a steady pace.

[aigen-journey]

Thank you, great interview. Scott Aaronson's talks helped me understand just a little bit
better quantum computing.

[capitanmission]

I really enjoy his book(quantum computing since Democritus)

[danyloyakymenko]

56:39 "In a certain sense it encodes all of the mathematics"

This is a huge exaggeration. Not every problem can be transformed to a halting problem.
For example, Collatz conjecture (as it seems) can't be transformed to a halting problem.
It is a "next level" problem.
On the other hand, you can run that set theory solver machine to find the proof of the statement in a particular axiom system.
In other words, knowing busy beaver can give you the answer about derivability of the statement from an axiom system.
But it can't give you the answer about its "universal truth".

[albertgerard]

who is the host, i can't kinf any info about him anywhere

[jomen]

Sure there are some unanswered question they try to answer, but if your goal is to create a machine then you do "applied science" which is just another word for "engineering".

[riteshdewan]

An Ode To C / C++ Thread SAFETY

Static constants abound in the lexical analyzer and compiler. Dynamic linking libraries deploy a plethora of data structures like trees and maps. The linker if static won't undergo modifications by system calls in the appended files at runtime. The loader generates the machine codecs always dynamic in binaries or hexadecimals. The compile time could be automatic or register prompting change in the volatile memory. That makes for thread safe in mutex or deadlock address locations. Any programming languages that are reporting segmentation fault or overflow and overrun are unsafe and need be pontificated for the perverse logic. It could make the operating system crash and the semaphore would rather be rectified to reinstate the infinite loop.

[dakotawright]

Wife is asleep....was hoping for some captions

[davidwilkie]

What You See Is, amplitude-frequency Spinfoam fractal bubble universe-image(s) of QM-TIMESPACE.., What You Get is "The Observer" singularity navigation pivot in-form-ation, the perspective placement Q-bits of the "black (hole) body" continuous creation connection Singularity positioning interval-spectrum here-now forever.., ie pure relative motion mathematical reciprocal => Superspin Superposition-point Singularity positioning Principle.

"Super isolated Q-bits", except for superconducting pseudo random entanglement? (Still a duality puzzle, related to Fusion, +/- Inflation and e-Pi-i resonances)

I've assumed that Mathematical Disproof is equivalent to "un-proving a negative", unfortunately "Two wrongs don't make a right", "so no one is right if everyone is wrong", which is why "no one wins a war", etc, etc, so it remains a Feynman type "good guess".
So maybe it's a "Law of Conjecture", like any empirical laws of evidence that are the reason people describe QM as weird and mysterious. (Two words I've become averse to)

Most persistent problems are resolved with a more impressive name change.., politicaly.

Such as, P = nP is a boundary or brane or firewall question in the same category as wave-particle holographic dualism, ..a particular POV of, necessarily, "inside the functional mechanism looking out" => macro-micro perspective, also the projection of quantization information is perceived to be instantaneously reflected, (entangled), and that is a physics-measure conception, because it's the functional and imaginary prelude to the mathematical conjecture of Spacetime timing-measure e-Pi sequences of curvature, defined by "perspective line of sight"-> amplitude-frequency, density-intensity, probability distribution, Hologram..
(Respects to the cross-discipline educational intentions of Professor Susskind)

Napoleon's observation that he thought stupidity was more likely than conspiracy, definitely applies to Artificial Intelligence, because it's starting with human intelligence, our biased memory associations, and spreading it out with more speed and no hesitation. We already exceed human intelligence, but call it fantasy.

And very entertaining as ever by Prof Aaronson.., thank you.

[davegonnaway]

Looks like Antony Costas brainy brother...

[beeilve]

When TF does he start talking about complexity?

[kurtgodel]

I believe a fully functional balanced trinary quantum computer ie (-1, 0, 1) could crack the PvsNP Problem, matter of fact I think it'll prove they're equal!?

[physicsguy]

Must the interviewer react to everything Scott says as he says it? Constantly saying "mhmm" and chuckling is distracting and does not make you look smart or like you're listening.

[posthocprior]

I --- uh, uh -- think Scott is -- uh, uh -- insightful and -- uh, uh -- a snappy --- uh, uh -- I lost my train of thought.

[fromdusktodawn]

The grotesque aspect of this conversation is the denial of finance as the only force moving this science forward. Nerds can lie to themselves but get real, you guys are owned.