"This paper is NOT written in order to vindicate #QuantumLogic. Rather it is written to rebut a mistaken criticism of quantum logic. The criticism is due to Popper ([1968]) and it concerns a classical paper by #Birkhoff and #vonNeumann ([1936]).
>As is well known, this latter paper inaugurated the study of two rather different though interconnected kinds of problem, namely
(1) the philosophical problem whether quantum mechanics involves a non-classical #logic, the so-called #QuantumLogic
(2) the mathematical problem of
>characterising the basic structure of quantum mechanics, i.e. Hilbert space, by physically plausible axioms of a LATTICE THEORETICAL KIND.

As was to be expected, the philosophical problem concerning the logic of #QuantumMechanics has remained controversial, whereas
>there has been considerable progress in solving the mathematical problem of axiomatisation (cf. Varadarajan [1968]).
But until recently one thing has NEVER been called in question, in either the philosopher's or the mathematician's camp, namely that
>Birkhoff and von Neumann's paper really points to well-defined problems. Only #Popper[1902–1994] had doubts in this respect. Having repeatedly read his paper of 1968, I can only summarise his criticism as saying, 𝘩𝘰𝘳𝘳𝘪𝘣𝘪𝘭𝘦 𝘥𝘪𝘤𝘵𝘶: in their paper of 1936[,]
>#Birkhoff[1911–1996] and #vonNeumann talked about something which really does not exist and the non-existence of which can, moreover, be shown by means of rather trivial mathematical considerations.

Since this account may sound like a #caricature of Popper's criticism,
>let me quote from his own summary, according
to which
'#Birkhoff[1911–1996] and von #Neumann's famous paper ... culminates in a proposal which clashes with each of a number of assumptions made by the authors' (p. 682).

Popper also says that


• • •

Missing some Tweet in this thread? You can try to force a refresh

Keep Current with Logic Geometry, Information

Logic Geometry, Information Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!


Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @LGcommaI

Feb 13
Er hat deutlich abgenommen; aus dem Mai 2020 stammt folgende Predigt von Pfarrer #Tscharntke:
Read 6 tweets
Feb 13
#Refugees [many were camping in #Dresden at the time of the raids]

Wikipedia: "On 13 February 1945, bad weather over Europe prevented any USAAF operations, and it was left to RAF Bomber Command to carry out the first raid. It had been decided that
>the raid would be a double strike, in which a second wave of bombers would attack three hours after the first, just as the rescue teams were trying to put out the fires.[De Bruhl 2006; pp. 203–206]
As was standard practice, other raids were carried out that night to confuse
>German air defences[:]..bombed ..oil plant in #Boehlen, ..97 km..from Dresden, while 71 ..Mosquito..bombers attacked #Magdeburg [and further] Mosquitos carrying out nuisance raids on #Bonn, Misburg near Hanover and #Nuremberg
Read 12 tweets
Feb 12
"Larger circuits can be constructed out of smaller circuits in three ways.
•..‘in parallel’[:] inputs and outputs are..placed side-by-side
•[‘inseries’][:] outputs of one circuit can be fed into the inputs of the next circuit[:] the resulting circuit
>has the inputs of the first circuit and the outputs of the second
•[‘#feedback’]: some of the outputs of a circuit can be fed back as its own input.

Using these three forms of #composition, circuits of billions of elementary components can be created using a very small number>
>of basic gates; circuits that control our #computers, mobile #phones, or #car[-]engines.
And yet ,surprisingly, the semantics of such circuits is not perfectly understood, in a sense which will be made clear immediately.

Read 4 tweets
Feb 11
Recommendable: healthwyze.org/political-vide…("Another sign of the system being totally corrupted is their #SmartBoards which are replacing blackboards in every room. Along with most other so-called "smart" technologies, it is really a device intended more to dumb-down the users,
>or to at least insult their intelligence. These devices cost roughly $5,000 per unit, and require an additional recent..#computer to drive them. Therefore, when the cost of one of these is added to the cost of its driving computer, plus the #cost of setup,
>plus the cost of all of the required software, plus the cost of training, then the price is certainly over $10,000 per classroom (and likely closer to $20,000 per room). This would place the cost for each upgrade at well over a million dollars per school every couple of years.
Read 6 tweets
Feb 11
Der Streit zwischeen #Holtzbrinck und #BerlinerZeitung ist interessant.

"Nach einem „Zeit“-Artikel vom November, der sich mit finanziellen Nöten der „Berliner Zeitung“ beschäftigte, schlüsselt diese nun die Firmenbeteiligungen von #DieterHoltzbrinck auf."
Read 4 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!


0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy


3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!