dullcrisp

24 ms·

1. 421.▲
   by dullcrisp 2y ago

   How can there be price controls on insurance? The state subsidizes insurance in these areas?
2. 422.▲
   by dullcrisp 2y ago

   This seems like a good idea that isn't likely to catch on widely, but could maybe be deployed in places like the Simple English Wikipedia and other contexts where non-native English speakers are a major part of the target audience.
3. 423.▲
   by dullcrisp 2y ago

   I feel like I’m missing a joke.
4. 424.▲
   by dullcrisp 2y ago

   I was being facetious, sorry.
5. 425.▲
   by dullcrisp 2y ago

   Ultimately, kind of. There were some bumps along the road though.
6. 426.▲
   by dullcrisp 2y ago

   Do you ever drive yourself or would you feel guilty not paying a driver?
7. 427.▲
   by dullcrisp 2y ago

   Get out of here with your academic mumbo-jumbo
8. 428.▲
   by dullcrisp 2y ago

   Sorry, classes of well-orderings of subsets of the natural numbers up to order isomorphism: https://en.wikipedia.org/wiki/Hartogs_number . And yes it’s equivalent to your definition due to ordinal magic as far as I can
9. 429.▲
   by dullcrisp 2y ago

   But doesn’t that still call into question the notion of “definability” as a property of a number? If I invent an axiomatic system called “ZFC + Chaitin's constant is c ” does that make Chaitin’s constant any more definable than it was
10. 430.▲
    by dullcrisp 2y ago

    Thanks, I have now!
11. 431.▲
    by dullcrisp 2y ago

    You can have the partial order A ≤ B iff A ⊆ B. But if you want size({1}) = size({2}), size({2}) = size({3}), etc., then you’ll find that size({1,2,3,…}) = size({2,3,4,…}) and there’s really nothing you can do about it. But yes, the ordinal
12. 432.▲
    by dullcrisp 2y ago

    I think you’re right, which I guess might prove that it’s impossible to refer to a well-ordering of the real numbers. I guess that’s what they mean when they say non-constructible, huh? But still my intuition is that for any consistent form
13. 433.▲
    by dullcrisp 2y ago

    For any concrete definition of definable reals and any well-order of the reals, I can refer to the first real that’s undefinable in that system.
14. 434.▲
    by dullcrisp 2y ago

    I believe that it’s defined as the size of ω₁, the set of wellorderings of the natural numbers. I don’t think there’s any real sense in which that’s less of a concrete set than the power set of the natural numbers, even if it’s harder to pi
15. 435.▲
    by dullcrisp 2y ago

    I had the same initial reaction, because in my mind 2^{ℵ₀} is a more fundamental concept than ℵ₁. But the notation, and probably the theory, suggest otherwise, in which case saying there are 2^{ℵ₀} reals might be a bit like saying that ther
16. 436.▲
    by dullcrisp 2y ago

    I am mostly joking, but I do think that if just about any logical framework is provably incomplete, then completeness is a lot to ask of a moral framework. So yes, what you said.
17. 437.▲
    by dullcrisp 2y ago

    As if there could be a complete moral framework without the power to express Peano arithmetic.
18. 438.▲
    by dullcrisp 2y ago

    What are they doing instead? Driving on the roads? Staying home?
19. 439.▲
    by dullcrisp 2y ago

    I don’t think complaining about flagging in general is helpful here. Science hasn’t ever meant that all viewpoints are equal. That would just be chaos. It’s also not decided by popular vote, but if you want peer review instead, then you’ll
20. 440.▲
    by dullcrisp 2y ago

    Science isn’t a proper noun unless you’re talking about the journal.
21. 441.▲
    by dullcrisp 2y ago

    Mea culpa.
22. 442.▲
    by dullcrisp 2y ago

    Like I said.
23. 443.▲
    by dullcrisp 2y ago

    Tough crowd
24. 444.▲
    by dullcrisp 2y ago

    Yes, obviously.
25. 445.▲
    by dullcrisp 2y ago

    The point of code reviews isn’t to catch bugs. It’s for someone else on the team to read your code and make sure they can understand it. If no one else on your team can understand your code, you shouldn’t be committing it to the repository.
26. 446.▲
    by dullcrisp 2y ago

    The person in the knife fight also doesn’t lose their agency. The choices they made just led to an outcome they didn’t expect.
27. 447.▲
    by dullcrisp 2y ago

    I’m not offering financial advice.
28. 448.▲
    by dullcrisp 2y ago

    If it fails, you can’t retrieve the money of course. Don’t put more than you can afford to lose on one chip.
29. 449.▲
    by dullcrisp 2y ago

    While practically that’s true of course, I think a hardware appliance that did this that you had to physically interact with to release the funds from would be cyberpunk and cool. Imagine exchanging a handful of currency chips for like a fl
30. 450.▲
    by dullcrisp 2y ago

    Are you wondering why Conway’s Game of Life or the C++ type system isn’t trying to communicate with us from beyond the stars?