I should probably point out that snobbery is very far from the actual attitude towards Tennenbaum, at least as far as logicians are concerned. For example, in 2

I should probably point out that snobbery is very far from the actual attitude towards Tennenbaum, at least as far as logicians are concerned. For example, in 2006 there was a conference organised to celebrate his contribution to mathematical logic. http://mamls.org/Tennenbaum http://mamls.org/Tennenbaum I recently attended a workshop devoted entirely to Tennenbaum's Theorem, his famous result that the only recursive model of PA is the standard model. http://www.bbk.ac.uk/philosophy/our-research/ppp/tennenbaumposterfinal.pdf http://www.bbk.ac.uk/philosophy/our-research/ppp/tennenbaump...