Ciro Santilli @cirosantilli 37

The busy beaver game consists in finding, for a given $n$, the turing machine with $n$ states that writes the largest possible number of 1's on a tape initially filled with 0's. In other words, computing the busy beaver function for a given $n$.

There are only finitely many Turing machines with $n$ states, so we are certain that there exists such a maximum. Computing the Busy beaver function for a given $n$ then comes down to solving the halting problem for every single machine with $n$ states.

Some variant definitions define it as the number of time steps taken by the machine instead. Wikipedia talks about their relationship, but no patience right now.

The Busy Beaver problem is cool because it puts the halting problem in a more precise numerical light, e.g.:

Bibliography:

This is the one where French Nobel Prizes come from: en.wikipedia.org/wiki/List_of_École_normale_supérieure_people#Nobel_laureates

They are actually inheritable! But alleles are rare: www.ncbi.nlm.nih.gov/pmc/articles/PMC5559844

A single line in the emission spectrum.

So precise, so discrete, which makes no sense in classical mechanics!

Has been the leading motivation of the development of quantum mechanics, all the way from the:

Initially there were mathematical reasons why people suspected that all boson needed to have 0 mass as is the case for photons a gluons, see Goldstone's theorem.

However, experiments showed that the W boson and the Z boson both has large non-zero masses.

So people started theorizing some hack that would fix up the equations, and they came up with the higgs mechanism.

Of all the rich person foundations, this is the one that feels the most hardcore.

They put huge focus on autism. Do they have an autistic child? Yes: www.forbes.com/pictures/eilm45mll/james-simons-autism/?sh=7825234250ce his daughter.