The Gallery
Computability theory
Vladimir Uspensky
Julia Robinson
Emil Leon Post
Rózsa Péter
Piergiorgio Odifreddi
Yuri Matiyasevich
Martin Löb
Howard Jerome Keisler
Solomon Feferman
Martin Davis
S. Barry Cooper
1