Euclid

Mathematician

Recorded the oldest non-trivial algorithm still used today.

The Euclidean algorithm turns a whole class of problems into finite, repeatable steps. His axiomatic method also became a model for formal proof and verification.

Connection to the stack: Euclid turns reasoning into a procedure.

Place: Alexandria