Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Only one pair of integers satisfy the equation m^n = n^m. Parent comment
Inference https://en.wikipedia.org/wiki/Inference ; inductive, deductive, abductive
Propositional calculus > Proofs in propositional calculus: https://en.wikipedia.org/wiki/Propositional_calculus
Quantum logic: https://en.wikipedia.org/wiki/Quantum_logic
https://twitter.com/westurner/status/1609495237738496000 :
Is quantum logic the correct logic for propositional logic?
What are quantum "expectation values"; and how is that Axiomatic wave operator system different from standard propositional calculus?
There are no comments on this comment yet.
Inference https://en.wikipedia.org/wiki/Inference ; inductive, deductive, abductive
Propositional calculus > Proofs in propositional calculus: https://en.wikipedia.org/wiki/Propositional_calculus
Quantum logic: https://en.wikipedia.org/wiki/Quantum_logic
https://twitter.com/westurner/status/1609495237738496000 :
Is quantum logic the correct logic for propositional logic?
What are quantum "expectation values"; and how is that Axiomatic wave operator system different from standard propositional calculus?