The Gallery Mathematical logic Gerald Sacks J. Barkley Rosser Raphael M. Robinson Frank Plumpton Ramsey Dag Prawitz Giuseppe Peano Christine Paulin-Mohring Solomon Passy Jeff Paris Piergiorgio Odifreddi Edward Nelson Sara Negri Grigori Mints Yuri Matiyasevich Saunders Mac Lane Jan Łukasiewicz Leopold Löwenheim Martin Löb Adolf Lindenbaum Georg Kreisel Stephen Cole Kleene Howard Jerome Keisler Ronald Jensen David Hilbert 1 2 3 4