Thomas Hamilton (1920-2000)