Kelley

Kelley

Kelley John Leroy (Kansas City 1916 - Oakland, California, 1999) matematico statunitense. Si è occupato prevalentemente di analisi funzionale e topologia; il suo testo General topology (Topologia generale, 1955), tradotto in molte lingue, ha costituito per molti topologi il testo base di formazione. Conseguì il dottorato alla University of Virginia con una tesi sugli iperspazi e successivamente insegnò nelle università di Chicago e di Berkeley. Nel 1950 fu costretto ad abbandonare l’insegnamento per essersi rifiutato di firmare il giuramento di lealtà al maccartismo imposto dalla sua università; tornò in servizio solo tre anni più tardi, quando la corte suprema della California dichiarò tale giuramento anticostituzionale. Il suo nome è legato anche alla teoria assiomatica degli insiemi, da lui costruita con un approccio innovativo a partire dalla teoria di → Neumann-Bernays-Gödel (teoria nbg), con una modifica all’assioma nbg0. Questa estensione della teoria nbg, in cui in tale assioma la formula A(x) può essere una qualunque formula ben formata e non necessariamente una formula predicativa, è riportata come teoria di Morse-Kelley (indicata anche come teoria mk) dal suo nome e da quello di A.P. Morse. Si occupò anche di didattica della matematica, come membro della us Commission on Mathematical Instruction, nonché di divulgazione, anche televisiva, del sapere matematico.