Lambda News

Gauss

Archimedes

Euler

Other

Alexander Grothendieck

Euclid (of Geometry)

Erdos (on amphetamines)

Von Neumann

Ramanujan

Newton

Kurt Gödel

Terry Tao

David Hilbert

Riemann

Augustin-Louis Cauchy

Pythagoras

Galois (died at 20 fighting for a girl he loved)

Alonzo Chuch (lambda calculus)

Matt Damon (of Good Will Hunting)

Poincare

Finkelstein (of the levi finkelstein conjecture)

Mandelbrot (The B in Benoit B Mandelbrot is Benoit B Mandelbrot)

Trick question; there are no mathematicians.

Idk, your mom seemed pretty good at multiplying last night

sixtynine, you filthy casuals

David A. Cox (Cox-Zucker machine)

The solver of the Riemann Hypothesis

Ludwig Wittgenstein

John Conway (group theory, among others)

the unknown ancient egyptian who invented zero

Descartes

Leibniz

Bourbaki

Laplace

@Mira

Georg Cantor

Frank Ramsey

Fermat

Emmy Noether

Ada Lovelace

.

p

DottedCalculator

GPT8

Claude Shannon

God

Alan Turing

Grigori Perelman

Olga Ladyzhenskaya

Weyl, Weyl

John Gabriel

YES

YES

NO

NO

Other

Monads

Dependent types

Rank polymorphism

Tactics

Refinement types

Uniqueness typing