Tennenbaum’s proof of the irrationality of the square root of 2

Yesterday I came a across a new (new to me, that is) proof of the irrationality of . I found it in the paper “Irrationality From The Book,” by Steven J. Miller, David Montague, which was recently posted to arXiv.org. Apparently the proof was discovered by Stanley Tennenbaum in the 1950’s but was made widely known…