However, in all honesty, I must say that one must essentially forget that all proofs are transcribed in this formal language. In order to think productively, one must use all the intuitive and informal methods of reasoning at one's disposal. At the very end one must check that no errors have been committed; but in practice set theory is treated as any other branch of mathematics. The reason that we can do this is that we will never speak about proofs but only about models. (Paul Cohen)

However, in all honesty, I must say that one must essentially forget that all proofs are transcribed in this formal language. In order to think productively, one must use all the intuitive and informal methods of reasoning at one's disposal. At the very end one must check that no errors have been committed; but in practice set theory is treated as any other branch of mathematics. The reason that we can do this is that we will never speak about proofs but only about models.

Paul Cohen

Related topics

branch check commit disposal end formal honesty intuitive language mathematics order practice reason reasoning say set speak theory think use

Related quotes