codingquark @codingquark@mathstodon.xyz

My TV is 12 years old.

There is no recursively related notation-system which gives a name to every constructive ordinal.

- Church & Kleene

Giovanni Girolamo Saccheri - Wikipedia
https://en.wikipedia.org/wiki/Giovanni_Girolamo_Saccheri

In formal systems, it is always possible to tell, in a predictably terminating way, whether a given sequence of lines form a proof, or not.

Would you like to read about the stuff I read in Gödel, Escher, Bach everyday? I'm at least 50% through, but I can try writing every day or every other day.

un sot trouve toujours un plus sot qui l'admire.

High today is going to be 39°C. Winter is supposed to set soon, and this.

Be in the habit of keeping nothing in your mind

I wanted to make tea, but don't want to wake others up.

As The Sparrow
To give life you must take life,
and as our grief falls flat and hollow
upon the billion-blooded sea
I pass upon serious inward-breaking shoals rimmed
with white-legged, white-bellied rotting creatures
lengthily dead and rioting against surrounding scenes.
Dear child, I only did to you what the sparrow
did to you; I am old when it is fashionable to be
young; I cry when it is fashionable to laugh.
I hated you when it would have taken less courage
to love.
- Bukowski
#poem #bukowski

What to do on this fine Sunday?

Hmm, I haven't been around lately.