Martin Escardo on Nostr: Dana Scott writing to Goedel in 1969. "You know, I am still a bit upset that you ...
Dana Scott writing to Goedel in 1969.
"You know, I am still a bit upset that you concluded from reading my paper [Constructive Validity] that I am a formalist at heart. That is certainly not true, and it pains me that I gave that impression. My theory of mathematical research is that ones ideas are not clear until they can be *written down*. It is not just a matter of communication with others but also of communication with yourself."
"You know, I am still a bit upset that you concluded from reading my paper [Constructive Validity] that I am a formalist at heart. That is certainly not true, and it pains me that I gave that impression. My theory of mathematical research is that ones ideas are not clear until they can be *written down*. It is not just a matter of communication with others but also of communication with yourself."