- #1

- 901

- 2

## Main Question or Discussion Point

Following from this classical idea that if there were a group of monkeys typing on type-writers for an infinite amount of time they can produce a work of Shakespeare; is it possible for these monkeys to derive every theorem in mathematics or axiomatic set theory? What does Godel's Incompleteness Theorem say about this?