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)