Quotation for the week: Ruelle

A lovely image here for the interplay between formal and informal reasoning that characterises even the purest of mathematics:

A fully formal proof of the Lee–Yang circle theorem would be very long and quite unreadable and uncheckable by a human mathematician. One could say that human mathematics is a sort of dance around such a formal text: one gives a convincing argument that it could be written, but one does not write it.

David Ruelle, The Mathematician’s Brain (2007), p. 93.

The problem of how formally one ought to argue — how close to the formal text one ought to dance — is one that most of us first encounter when facing exam questions. It may or may not be reassuring to know that it never really goes away…

(DP)

Advertisements
This entry was posted in Quotations. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s