drdeca

15 ms·

241.
by drdeca 1y ago
But “difficult to substantiate” isn’t what I mean? I mean something more like whether something is there independent of what people think of it. (“Reality is that which, when one stops believing in it, doesn’t go away.”) Distinctions betw
242.
by drdeca 1y ago
Well, I said race is "less real" not that it is "not real". Here are other things that are more real than "race": "blood type", "whether one has Down syndrome", "the number of limbs one
243.
by drdeca 1y ago
Race is a substantially less real concept than sex is.
244.
by drdeca 1y ago
I don’t buy the “revealed a latent fetish” explanation. I don’t think people are born with a fetish baked into their soul. Like, the people with the “blueberry expansion” one, you really think they were born with that? No, of course not, th
245.
by drdeca 1y ago
https://xkcd.com/598/ (Except, remove the last panel)
246.
by drdeca 1y ago
I would imagine that it is probably easier to make someone find something sexually exciting than to make them no longer find a thing sexually exciting? When a river had carved a canyon, it is hard to redirect it. That doesn’t mean the canyo
247.
by drdeca 1y ago
I don’t know how you would study that specifically, but it seems like there’s a lot of evidence that sexual experiences can contribute to formation of fetishes. Iirc there was an experiment on mice or rats or something where they had them w
248.
by drdeca 1y ago
I can say that I think my past use of pornography has harmed me. I haven’t used it in over 2 years, but I still on a daily basis observe the effects it had on me. Others might argue that it is only because of my views that the effects are “
249.
by drdeca 1y ago
Regarding opening up more opportunities, are you suggesting that they might go to parties while others would be at school? With who(m)? I don’t mean to say that school is necessary for this, but I don’t think it is irrelevant either.
250.
by drdeca 1y ago
Well, they are more traceable than cash. I don’t think there should be an obligation that money be substantially more traceable than is provided by bills having unique IDs on them..
251.
by drdeca 1y ago
I’m pretty sure most of the people you are talking about aren’t confident that, in the scenarios they describe, that the computer would have any kind of interiority. I believe most of them believe that it is in principle possible for a pr
252.
by drdeca 1y ago
I am assuming that the LLM has no interiority (which is similar to the conclusion that the Chinese Room argument argues for). My argument is that the character that the LLM (or a Chinese Room, or a character that a person is role-playing as
253.
by drdeca 1y ago
The sense of “deception” that is relevant here only requires some kind of “model” that, if the model produces certain outputs, [something that acts like a person] would [something that acts like believing] [some statement that the model “mo
254.
by drdeca 1y ago
If it is faster growing as a consequence of greater population growth, then that seems like maybe a point. Now, yes, if we consider just China, then that being a major contributor to world CO2 emissions does imply that if we are to have tot
255.
by drdeca 1y ago
CO2 is the topic under discussion. (Also, this is not “nothing to do with pollution”.)
256.
by drdeca 1y ago
That is not “literally the definition of less woke”. It may imply being less “woke”. And a sudden event quickly killing everyone on earth does imply fewer people dying of cancer. If X implies Y, and one wants Y, this doesn’t not imply tha
257.
by drdeca 1y ago
I’d remove the “for cheaper” part? (And also, only necessary for the employees whose jobs are “cognitive tasks”, not ones that are based on their bodies. So like, doesn’t need to be able to lift boxes or have a nice smile.) If something wou
258.
by drdeca 1y ago
Very nice. However, I wonder whether it might be good to have a way to tell LEAN to spit out a more explicit form of the proof steps it obtained during `grind`? Like, to produce text for what one would put in there if one was doing it manua
259.
by drdeca 1y ago
Their notation of “ K_{ℱ_{QG}}” wasn’t a problem. Seems a reasonable name for a constant associated with Kolmogorov complexity and a formal system which they’ve named ℱ_{QG}. The issue is that what they said seemingly was not "There e
260.
by drdeca 1y ago
I don’t know it in a constructive sense , sure. It’s still true though. I’m not wrong.
261.
by drdeca 1y ago
Pardon, I meant natural number. I should have specified.
262.
by drdeca 1y ago
Looking at [3], they seem to argue that the system isn’t complete for the usual Gödel reasons, which, sure, it isn’t, but then they call the claim that the system fails to decide, which is a statement about probability, a “scientific fact”.
263.
by drdeca 1y ago
No individual number is uncomputable. There’s no pair of a number and proof in ZFC that [that number] is the value of BB(748). And, so, there’s no program which ZFC proves to output the value of BB(748). There is a program that outputs BB(7
264.
by drdeca 1y ago
You do kind of need courts to rule that something in fact violated a law.
265.
by drdeca 1y ago
I think there should be models of ZFC in which the set of reals of the model is, in the meta-theory, the same object as the set of reals of the meta-theory. And I think by virtue of this, the statement should have meaning. As like, a statem
266.
by drdeca 1y ago
They should still then accept that there is no surjection from a set to a set that is a set of all subsets of that set (because of there being no such set).
267.
by drdeca 1y ago
I wouldn’t call it quantum mechanical. The “looking” in math is not like the measurement of an observable/operator in quantum mechanics. When you consider a thing in math, there’s no alternative thing that you could have considered ins
268.
by drdeca 1y ago
If you use ZFC+Consistent(ZFC) as your meta-theory, and within it consider a model of ZFC, then surely one can consider the set (in the meta theory) of sentences which pick out a unique real number in the model, and then the set of real num
269.
by drdeca 1y ago
Deterministic is a special case of not-necessarily-deterministic.
270.
by drdeca 1y ago
Depending on the data types and what the hardware supports, the latter may be harder (in the sense of requiring more operations)? And for a general algorithm bigger numbers would take more steps.

More ›