New answers tagged mathematical-logic
5
This is not so straightforward, see Peirce, Frege, the Logic of Relations, and Church's Theorem by Dipert for a sketch of history. The notation Russell used was not created by Peano, and certainly not by Frege. Nobody used Frege's convoluted notation except his own Begriffsschrift (1879), not even Frege himself afterwards. Peano did contribute, but the basis ...
1
In the strict sense, quantum logic is a non-distributive consequence relation, not a geometry or an algebra. In this sense of quantum logic, von Neumann abandoned his interest in it (and in the Hilbert state formulation of quantum mechanics more generally), after 1936, and shifted it to type II factor algebras (which we now call von Neumann algebras).
I'd ...
Top 50 recent answers are included
