It is correct, Schroedinger’s cat was a gedanken experiment proposed to sure the difference between the microscopic and the macroscopic world. However Schoredinger wasn’t aware of decoherence when he proposed his gedanken experiment and the conclusions that he drew from it aren’t the ones that a modern day physicist would draw from it. I.e. Schrodinger would say that this shows that quantum mechanics simply does not apply to the macroscopic world whereas a modern physicist would say that it illustartes decoherence and the futitly of trying to observe superpostion in macroscopic objects.
I agree with everything you said, but would amplify that your language is not nearly strong enough. It’s not that the theory can’t cope (although of course it can’t), it’s that it would be nonsensical to even discuss the system in those terms. It would be like calculating the probability that your computer is going to fly off to the left based on every atom’s thermal motion happening to line up in the same direction. Basic statistical mechanics tells us that the probability of that is zero to more decimal places than we could write before we realized how futile it was and gave up in disgust.
I would argue that “technically possible” is a meaningless statement once the possibility of occuring within the lifetime of the universe nears zero.
I also agree with what your say. Infact the actual probabilty of observing superpostion phenomena in a cat is insanely small. So small infact I’d guess you’d have use some sort of variant on Knuth’s up arrows to represent it.
But I’m not being pedantic,it’s always still worth remembering that by the psotulates of quantum mechanics that when describing decoherence there still is superpostion. The ‘cat system’ is not evolving unitarily so it’s wrong to describe this subsystem in terms of a wavefunction, but the cat system is pat of some larger system that is evolving unitarily. The non-unitary evolution of the cat is a result of the unitary evolution of the larger system and that shoudln’t be ignored as decoherence is derived from assuming that we can describe the larger system (of course when I say larger system I could very well mean the whole universe) in this way.