Viewing profile — Chronos

This is because Homestuck ended, isn't it?

Which is a blatant lie, or else Uber wouldn't bother with the expense of driver background checks and the like.

You can be damn sure Uber has a record of every Uber ride ever taken. Even if Uber had incorrect records in their database about which car picked up the rider, because the driver h…

Your analogy is incredibly bad. Imagine if GrubHub itself provided the menu and contracted out to semi-anonymous restaurants to cook the food; then imagine that it wasn't salmonell…

That sounds like the sort of story a child would make up to explain why their hand wasn't really in the cookie jar.

If Subway tells the cops "I won't say who it was", and they say "he hasn't worked at Subway for two years anyway" (this being a bald-faced lie), AND the medical bills from the stab…

That's a record extent, not a record volume. Volume is how much ice there is. Extent without volume means the ice is more spread out, i.e. thinner.

As I understand it (not being a physicist): the graviton, if it exists at all , would have to be a massless chargeless spin-2 boson for it to fit our understanding of what particle…

It's squared because energy is work, work is force times displacement (distance), force is mass times acceleration, acceleration is velocity per time, and velocity is vector distan…

Fine. "Straightforward, if menial and tedious".

None of the papers you listed address hypercomputation! They are irrelevant to the Lucas-Penrose argument.

I can put it another way: It's easy to write a computer program that outputs every statement provable from the Peano axioms: start with the most primitive possible statements, then…

I already read through https://en.wikipedia.org/wiki/Penrose_interpretation when I was trying to figure out what nonsense you were spewing. The article does not mention the Church-…

"gravity plays a role in wave function collapse that will pose serious questions for the Church-Turing hypothesis" Says who? Penrose is blacklisted, cite someone else.

Call me back when Penrose convinces a well-regarded quantum physics expert. At that point we can call up Scott Aaronson and ask him his opinion, as Aaronson is an expert on the int…

Penrose is not arguing that the human mind is illogical. He is arguing that it is uncomputable, which is a big difference. In particular, he's saying that the human mind is capable…

> The claim is that you can not adequately model the Human mind with a Turing machine. Pointing out that Human's are not logical only strengthens this claim and does not refute it.…

LQG is not believed to allow hypercomputation, i.e. the solving of Turing-uncomputable problems. Penrose's entire argument is based on the idea that the human brain is a hypercompu…

Penrose is not just arguing for objective collapse. Penrose is arguing for something computationally more powerful than objective collapse.

Also: before I bother building a Turing machine that implements a proof-generator for statements in ZFC, you should do me the courtesy of showing your investment by building me a T…

Show me a paper proving that what Penrose argues for and what quantum physicists call "objective collapse" are the same thing.

1. Easy. Program a computer with the axioms of ZFC. Not powerful enough? Program it with ZFC+Con(ZFC). Repeat as necessary. 2. The Turing machine itself is logically consistent. Th…

Ugh, this again. 1. Let's suppose for sake of argument that humans really can see the inherent truth of "Peano Arithmetic is consistent". That doesn't mean humans violate Gödel's I…