Part I: A review of Christian Szegedy’s “Promising Path”

*“Grothendieck’s way of writing is based on an atypical conception of mathematics, described and theorized in texts [that] vigorously bear witness to the unavoidable poetic aspect that motivates scientific work and the surplus of meaning that formalization believes should be eliminated, although this surplus is precisely where the essence of mathematical thought lies.” *(F. Patras, *La pensée mathématique contemporaine*, *Introduction*)1

*This week and the next I compare two perspectives on the “the surplus of meaning” and “the essence of mathematical thought,” both implicit in texts about mathematics: the first by a prominent exponent and prophet of “intelligent computer mathematics,” the second by a prominent number theorist. It would be too easy to say that the first text takes the position that there is no surplus and that the “essence of mathematical thought” resides in formalization and nothing more, while the second text exemplifies the surplus of meaning as well as what one reviewer of Karen Olsson’s book ***The Weil Conjectures** (to which we return in Part II) called “the poetry and precision of a theorem.” What, after all, is an “essence”? Philosophers have worried about this for millenia, with some interruption, asking for example in what sense the essence of Socrates resembles that of being an even prime number, and have failed to arrive at consensus on the essence of “essence.” The whole confusing history is recorded in the Stanford Encyclopedia of Philosophy’s entry on “Essential vs Accidental Properties” (which, troublingly, includes no references in French).…

The complete text has been published on my *Silicon Reckoner* Substack newsletter.

### Like this:

Like Loading...

*Related*

Jon AwbreyLet’s hope autoformalization does better than autospielchucking …

P.S. (sp) Peirce

LikeLiked by 1 person

mathematicswithoutapologiesPost authorIt gives me no pleasure to share this information, but my telephone is consistently getting better at anticipating my next word in a text message. Today I typed “I don’t know” and the successive hints were “what”, “this”, “is”, and “about,” correct each time.

LikeLike

Jon AwbreyRe: Abduction. There’s a survey page on my blog where I keep all my ductions in a row. Here’s the latest edition.

🙞 Survey of Abduction, Deduction, Induction, Analogy, Inquiry

LikeLiked by 1 person

mathematicswithoutapologiesPost authorI thought you would appreciate this. There will be more abduction in future essays.

LikeLiked by 1 person