/sci/ - Science & Math

>>14635845
different chemicals

>>11942301
I get really triggered by people who know a song for years but don't know its lyrics or have no idea what the song may be about.

Similarly, I hate it when people say "this album only has one good song," which to me sounds like "this painting only has one nice painted corner," as if you can plug the produced work of art apart.

I know I'm a bit autistic that way.

>>11672594
>>11672603
ZF only needs a minor tweak and then it's already consistent to postulate the subcountability of all uncountable sets. I think the intuition is that you postulate that all sets that provably exist have algorithms associated with it that enumerate their elements in a dovetailing procedure (although this computer science stuff isn't part of the formalism). Although I forgot what the coding of [math] {\mathbb R} [/math] is there.