Photos of Mathematicians
collected by
Andrej Bauer
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
← Rabin, Michael
Michael Rathjen
Razborov, Alexander →
Click photo to open full-size original
Proof Systems in Actual Practice: Reasoning and Computation
Dagstuhl, March 2026
Click photo to open full-size original
Association of Symbolic Logic
Pittsburgh, May 2004
https://michrathjen.github.io
← Back to index
