Gregory Chaitin over jazz en fuga’s in wiskundige bewijzen
Mathematical truth is not totally objective. If a mathematical statement is false, there will be no proofs, but if it is true, thre will be an endless variety of proofs, not just one! Proofs are not impersonal, they express the personality of their creator/discoverer just as much as literary efforts do. If something important is true, there will be many reasons that it is true, many proofs of that fact. Math is the music of reason, and some proofs sound like jazz, others sound like a fugue. Which is better, the jazz or the fugue? Neither: it’s all a matter of taste…each proof will emphasize different aspects of the problem, each proof will lead in a different direction. Each one will have different corollaries, different generalizations… Mathematical facts are not isolated, they are woven into a vast spider’s web of interconnections.
Gregory Chaitin, Meta Math!: The Quest for Omega, p. 23 (2005)
name
wrote:
hmmm…mb its true ,
Posted 19 Jul 2008 at 1:35 pm ¶