Viewing profile — soberhoff

How is it a "bright side" that when something bad happens people try to avoid it happening again in the future? That's just circular.

Let me quote Torkel Franzen in this issue: > True in the Standard Model > The idea is sometimes expressed that instead of speaking of arithmetical statements as true or false, we s…

This is hairsplitting. It's okay to say that there are true yet unprovable sentences without always carrying "true under the standard interpretation" around. It's understood from c…

Regarding the first point, Caplan personally estimates that about 80% of education is signalling and that 30% is the lowest figure one can plausibly maintain. As for the second poi…

What are we even arguing over? Is it just over the exact percentage of signaling in education's payoff?

In brief: there are strong reasons to believe that much of higher education and even large parts of school serve not to teach but to test students. An English major doesn't lead to…

As somebody who spent many years in education (as a student and about 1 year as a teacher) I find Caplan's case deeply convincing. Caplan actually goes through reams of evidence. A…

This is addressed in the summary. No, these essential skills are given a pass.

Are you familiar with Caplan's Case against Education? Here's a good review (and some critique): https://www.scottaaronson.com/blog/?p=3678 Caplan makes a very compelling case that…

Is that a definition?

Step 1: Define "Free Will".

You're saying you should get diagnosed as a form of legal protection in case you accidentally have a weird interaction with the other sex?

I don't agree with that definition of "effectively axiomatized". Granted, that's what Wikipedia says here: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... But the r…

I don't see why there's a theorem required here. Let our formal system be effectively axiomatized. Then by definition its axioms are a recursive set. So I can just check a proof by…

Sorry, I was out of town for a while. I'm only assuming that checking whether "does s prove S?" is a recursive property. That's not the same as demanding "is S provable?" to be rec…

I feel like I didn't argue this as clearly as I could have. Let me make one more addition. Throughout the discussion I'm making the tacit assumption that there is one standard view…

You can call it "similar but weirdly different" in the same sense that the people who are subject to propaganda live in similar but weirdly different realities. What is true depend…

I agree in the cases where I argue "suppose, then..." But there are instances where I argue "either this is the case, or this is not the case." Unless there are multiple laws of th…

Every time I said "either/or" I was making use of the law of the excluded middle. But I didn't add a detailed disclaimer explicitly highlighting this fact either. Should I have? I …

Perhaps Gödel had a vague notion of what he was up to. Nonetheless, the whole concept of universal computation was still half a decade away and higher level languages several decad…

Author here. I'd like to mention that this article is currently slated for publication in the Bulletin of the European Association for Theoretical Computer Science. A revised draft…

If the database was encrypted, you would need a different encrypted database for every user - again impractical.

How does this affect internet searches?

It is.

Are you familiar with Java? If you use just `"foo"`, then the string will be interned and reused. If you use `new String("foo")`, each call creates a new copy on the heap. This cal…