John Lennox — Northern Irish mathematician and philosopher of science (b. 1943)