Edward Nelson (1932–2014) American mathematical physicist and logician
[Nelson, E., Predicative Arithmetic, 1986, Princeton University Press, Princeton, 0-691-08455-6, https://books.google.co.uk/books?id=pvr_AwAAQBAJ&printsec=frontcover#v=onepage&q&f=false, 86018730, 14001745, 173, harv]