On 12/31/2017 9:43 AM, Bruno Marchal wrote:
If you find an empirical quantum tautology violated by Z1*, or X1*,
or S4Grz1,
There's no such thing as an empirical tautology...that's why I said
it's a mugs game.
A tautology is bthe name logicians gave to any propositional calculus.
A quantum tautology is just a theorem in quantum logic, most are
classical tautologies as well, but the inverse is false: many
classical tautologies are not quantum tautologies. Tautology means
theorem.
You talked around the point, but you ended up back at "empirical
theorem" of which there is none.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
