- For an account of Ramanjuan and his ignorance of proofs, see Kanigel (1991, p. 92, and see p. 207 for the comment quoted from the great Cambridge mathematician, G.H. Hardy). With a finite number of finite models, we can always in principle determine whether an inference is valid. Mathematicians, however, have to think about the positive integers, 1, 2, 3, . . . , and there are infinitely many of them. How they reason about infinite sets is a mystery, which psychologists have yet to elucidate.
Is the emboldened phrase true? If yes, how and why? Mathematicians have been doing this for millenia?
If it isn't, please recommend books or papers?