Day 14: Gauss can one-theorem numbers

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!

Avatar
Danielle Navarro
Associate Professor of Cognitive Science

Related