Alice laughed. "There's no use trying," she said: "one can't believe impossible things."
"I daresay you haven't had much practice," said the Queen. "When I was your age, I always did it for half-an-hour a day. Why, sometimes I've believed as many as six impossible things before breakfast."
Through the Looking-Glass, and What Alice Found There (1871)
by Lewis Carroll (nom de plume for mathematician and logician Charles Lutwidge Dodgson).
"If I had some ham I could have ham and eggs if I had some eggs."
Anonymous Logician
From a Student of Set Theory
Might not a mouse
in iron grip of owl, review
his forest world
in wonder 'midst his fear?And see his meadow home below,
and tree and stream as new,
and think
"How beautiful from here?"
I have written some notes, placed them in PDF format and collected links to them from this page.
In fact the notion of truth a la Tarski avoids complete triviality by the use of the magical expression "meta." We presuppose the existence of a meta-world, in which logical operations already make sense. The world of discourse can therefore be interpreted in the meta-world. The truth value of "A" is determined by "meta-A," and we can in turn explain "meta-A" by "meta-meta-A" ... |
|
paraphrased from a note of Jean-Yves Girard
|
The Mathematics Department Pages
|
|
![]() |