Starting my own meme:

1. Democritus - Knew that the world is made of atoms 2000 ago.
2. Euclid of Alexandria - Pioneered formal systems, wrote the book that will later inspire...
3. Isaac Newton - Just because of the three laws.
4. Bernard Russel - Formalized math. Inspired Wittgenstein.
5. Alonzo Church - Invented programming. Inspired Alan Turing
6. Charles Darwin - Explained how life works(+1 for working without much prior art).
7. Albert Einstein -

· · Web · 0 · 2 · 2

8. Kurt Godel - For discovering the limits of formality.
9. Saunders Mac Lane - For pioneering category theory.
10.Eratosthenes - For being the first person to measure the Earth.

Show thread
Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!