Kullerbyttslogik

Alla är utbytbara.
Ingen är utbytbar.
Ingen som är utbytbar är utbytbar.
Alla som är utbytbara är oersätteliga.
Utbytbar är ett annat ord för oersättelig.

Den här nyfunna logiken är fascinerande
och mycket mer träffsäker
än den jag var van vid.
Den träffar just ingenting.
Och den träffar det mitt i prick.

Drömmen om vetenskap

Om allt detta var en dröm,
vilka vetenskapliga bevis skulle någonsin kunna bevisa det?
eller motbevisa det?

Gödel visade 1931 den formella logikens fundamentala begränsningar,
men det är nog ännu idag ganska få som inser implikationerna.