# Day 14: Gauss can one-theorem numbers

### by Danielle Navarro, 10 May 2018

I did not sleep well last night, and I am still getting over some mysterious illness. So this is a short post. The `gaussfacts`

package prints out very true facts about Carl Friedrich Gauss, sourced from the canonical source gaussfacts.com. Unlike Gauss, I need packages to compute things:

```
library(gaussfacts)
library(tidyverse)
library(stopwords)
```

Here are 10 extreme truths about greatest mathematician since antiquity.

`gaussfact(1:10)`

```
## Gauss didn’t discover the normal distribution, nature conformed to
## his will.
## Gauss can trisect an angle with a straightedge and compass.
## Gauss can get to the other side of a Möbius strip.
## “Uncountably Infinite” was a phrase coined to explain the
## intelligence of Gauss.
## There are no Fermat Primes greater than 65,537 because Gauss saw
## that Fermat was on to something, and well…he put an end to that.
## For Gauss, arithmetic is consistent AND complete.
## It only takes Gauss 4 minutes to sing “Aleph-Null Bottles of Beer
## on the Wall”.
## When Gauss tells you that he’s lying, he’s telling the truth.
## Gauss once played himself in a zero-sum game and won $50.
## Gauss did not prove theorems, he simply stared at them until they
## yielded their solutions.
```

These truths are dangerous. The stories are wrapped in a data frame wrapped in an environment that is not exported from the namespace. No operator less powerful than `:::`

can recover the stories. No variable can contain them, they can only be piped. A small slice of the truth can be discovered by finding the most frequent words among all the known the Gauss facts:

```
gaussfacts:::.gf.env$gf.data$story %>%
str_to_lower %>%
str_split(boundary("word")) %>%
unlist %>%
table %>%
sort(decreasing = TRUE) %>%
(function(gs){
gs[!((names(gs) %in% stopwords()) | gs < 5 | is.na(names(gs)))]
}) %>%
names %>%
str_flatten(collapse = " ") %>%
str_wrap(width = 80) %>%
cat
```

```
## gauss can one theorem numbers knows prove theorems proved time n using 1
## just every god number problem proof set solve gauss's two actually first get
## invented need problems universe even fermat infinity mathematics never proofs
## carl found gaussian np real riemann wants 0 always compass find line solution
## us whenever whether zero circle colour got induction infinite last left o p
## statement take tells think true used uses 2 3 4 aleph b book calculate constant
## created field game half hilbert hypothesis integers know non order pi polynomial
## primes publish r simple since solved square theory three turing understand well
## algorithm answer complex conjecture construct count disproved draw einstein
## end enough equation everything exist finite general groups head human integrate
## knew let lines made magnetic parallel prime random result room said see sphere
## straightedge sure walk without writing
```

*“Gauss can one-theorem numbers.”* I do not know what this strange truth means, unfortunately.

… This post is so stupid :-) I’m so tired. I’ll do better tomorrow!