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 should say that they are "true in the…
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 context.
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 point, I wouldn't bet my life on it. But I…
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 higher pay because it makes one a…
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. As an extreme example, in 2008-9 there…
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 education, while inarguably teaching…
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 reference given doesn't check out.…
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 starting at the top and verifying that…
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 recursive. Upon reflection I agree that…
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 viewpoint to which we adhere. That's the…
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 depends on your viewpoint. When a formal…
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 the excluded middle, that's an…
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 think it's okay to just take some…
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 decades. So I think the remark is still…
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 can be found at:…
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 call was inside a very hot loop, thus…
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 should say that they are "true in the…
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 context.
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 point, I wouldn't bet my life on it. But I…
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 higher pay because it makes one a…
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. As an extreme example, in 2008-9 there…
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 education, while inarguably teaching…
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 reference given doesn't check out.…
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 starting at the top and verifying that…
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 recursive. Upon reflection I agree that…
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 viewpoint to which we adhere. That's the…
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 depends on your viewpoint. When a formal…
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 the excluded middle, that's an…
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 think it's okay to just take some…
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 decades. So I think the remark is still…
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 can be found at:…
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 call was inside a very hot loop, thus…