Rule 50 draws a christmas tree for you:

Step 0: .....S.....
Step 1: ....O.O....
Step 2: ...O.O.O...
Step 4: ..O.O.O.O..
Step 5: .O.O.O.O.O.
Etc...

Wishing you a peaceful and pleasant time!

P.S.: Got some time on your hands for procrastination? Try this:

https://adventofcode.com/2023/day/21

Mild Shock schrieb:

Who remembers this in December 2023?

Pumping lemma for regular languages https://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages

It was first proven by Michael Rabin and Dana Scott in 1959

Mild Shock schrieb am Donnerstag, 3. August 2023 um 11:46:57 UTC+2:

Rossy Boy wrote:

Dana Scott fan club

Been reading some more into Dana Scott. He has a pretty good
intuition and is also a grandiose sort of hedge. Also he knows
things and isn't wrong.

Been reading a bit into the Habermas school or Frankfurt school.

Cohen's "Equations from G-d" was a pretty good historical
outline about Boole and de Morgan than about Russell about
"pure mathematics" in the 19'th century, still though I believe
in a stronger platonism and that there's a science of
mathematics but its study is _of_ the real "pure mathematics".

Was reading some Knuth the other day about combinatorics
historically, quite a well-rounded guy.

https://groups.google.com/g/sci.logic/c/NNvwbCxvAXs/m/lyBDZmorAwAJ

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)