The Most Original Idea I Know

Jack Sparrow said it best.

Will Turner: This is either madness… or brilliance.

Jack Sparrow: It’s remarkable how often those two traits coincide.

I define original to mean both useful and least like other ideas. There’s plenty of unique but worthless ideas out there, and we’re going to ignore them. Just string random words together and you get something like “a book about a unicorn in a wheat field in Slovenia”.

So by those criteria, Georg Cantor’s ideas about the sizes of infinity are the most original ones that I know of.

They led, at least loosely, to the following ideas:

  • The idea that “counting” a set is just finding a bijection
  • A proper subset of a set can have the same cardinality as the whole set
  • Not all infinities are the same size
  • Diagonalize attn arguments, which Godel’s theorem used
  • Godel’s incompleteness theorems
  • A proof that almost all functions are not computable
  • Isomorphisms in category of sets
  • influenced idea of isomorphism in general, a view picked up by category theory

To say “there are as many even numbers as even and odd numbers” sounds insane. But it’s true in a way that corresponds to intuition about counting and indicates that infinity is a strange thing.

Related Posts

How to Disable Disqus Ads on your Blog

Derivation of Reservoir Sampling

Fun with Python Iterators: Linked Lists Made Easy

Notes for November 11, 2018

Underrated Vim Option: undofile and undodir

Hot Take on Solo Travel: Starve

Alan Perlis

Book Notes: The Map of My Life by Goro Shimura


Way to remember the definition of local finiteness