tag:blogger.com,1999:blog-264226589944705290.post5958661849027287101..comments2023-11-05T03:45:25.001-08:00Comments on God Plays Dice: Fermat's last theorem is "liberal" mathematics?Michael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger29125tag:blogger.com,1999:blog-264226589944705290.post-57218905086564528202010-04-21T21:05:16.443-07:002010-04-21T21:05:16.443-07:00"I find this statistic rather telling, reflec..."I find this statistic rather telling, reflecting a strong ideological flavor of mathematics and mental rigidity of many of its practitioners, making them an easier target for religious indoctrination."<br /><br />i love math, politically moderate, and not so religious... i dont know if math-types are easier "targets", but, at least for the pure mathematicians (i'm more finance-applied), there is a sort of sentiment and romanticism in the work that mathematicians doAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-68237077469544157122008-06-10T19:47:00.000-07:002008-06-10T19:47:00.000-07:00Even if Wiles's proof uses the Axiom of Choice, th...Even if Wiles's proof uses the Axiom of Choice, there must also then be a proof of FLT in ZF without AC-- due to the fact that FLT is an arithmetical sentence (i.e. quantifiers range over positive integers). The relevant notion from set theory is called "absoluteness" --roughly, for any finite set B of axioms of ZFC, ZF proves that B holds in the constructible universe L, and so by taking B to be the set of ZFC axioms used in the proof of FLT, we get that ZF proves that FLT holds in L. But ZF also proves that [FLT holds in L IFF FLT holds in the universe] (since FLT is arithmetical). So ZF proves FLT.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-65878006348768800492008-06-10T14:06:00.000-07:002008-06-10T14:06:00.000-07:00Did you notice that the Conservapedia article abou...Did you notice that the Conservapedia article about FLT has got all the dates of Wiles work wrong?Hany M. El-Hosseinyhttps://www.blogger.com/profile/12899975758572252069noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-89523361667650780752008-06-09T11:28:00.000-07:002008-06-09T11:28:00.000-07:00an æ ligature (HTML &aelig;)Of course, if you'...<I>an æ ligature (HTML &aelig;)</I><BR/><BR/>Of course, if you're on a Mac you can just type<BR/><BR/>option-': æ<BR/><BR/>:DAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-19469656844105098042008-06-07T10:17:00.000-07:002008-06-07T10:17:00.000-07:00And building upon the Japanese ideas!And building upon the Japanese ideas!mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-76036216969224081112008-06-07T09:34:00.000-07:002008-06-07T09:34:00.000-07:00JohanNot 'once'. He still thinks that.Johan<BR/><BR/>Not 'once'. He still thinks that.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-91023009643361023812008-06-07T06:26:00.000-07:002008-06-07T06:26:00.000-07:00Maybe it's just xenophobia that makes him dislike ...Maybe it's just xenophobia that makes him dislike Wiles's proof. A Britt* proving a theorem conjectured by a Frenchman? That has to be wrong.<BR/><BR/>*Remember that he once thought allowing brittish spelling was an example of liberal bias.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-18043714572888449532008-06-06T23:32:00.000-07:002008-06-06T23:32:00.000-07:00Actually I wasn't talking about "reality" of mathe...Actually I wasn't talking about "reality" of mathematical objects at all. I was talking about applicability of Bolano-Weierstrass and other shaky statements to practical calculations. On the surface of it, complactness guarantees the attainment of the absolute minimum of a continuous function, but in practice it doesn't help us much in finding where this minimum is actually attained. So the existence guaranteed by compactness is a shadowy kind of existence. Kronnecker, on the other hand, insisted that everything that we are dealing with in mathematics should be explicitly constructed by finite algorithms, except the integers, that he took for granted, and that is the true meaning of his aphorism.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-17580637740184060062008-06-06T22:39:00.000-07:002008-06-06T22:39:00.000-07:00I don't know whether or not Kronnecker believed in...I don't know whether or not Kronnecker believed in God in any traditional sense. My strong suspicion is that he used God mostly metaphorically, like Einstein, who always found the opinion that he was deeply religious in any traditional sense (based on his references to God) to be totally ridiculous.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-1229753251566760752008-06-06T21:16:00.000-07:002008-06-06T21:16:00.000-07:00Misha, you actually replied to yourself with most ...Misha, you actually replied to yourself with most of the reply I would have posted to an earlier comment. Mathematics can be viewed as a set of convenient fictions, mythologies, or religion. We form abstractions to model the natural world. The abstractions become quite complex, so that much of mathematics consists of simplifying, generalizing, and providing more useful generalizations. The danger lies in reifying our abstractions, thinking that these abstractions that we use to model the real world are the <B>real</B> real world.<BR/>Plato succumbs to this fallacy. His story about the shadows in the cave is the classic description of this fallacy. To my mind, has the <B>real</B> and <B>ideal</B> worlds reversed in his metaphor. Spherical balls are our abstractions of certain properties of apples, billiard balls, and planets. They are shadows of real world objects we project on the wall with the magic lantern of our intellect. The real apples, billiard balls, and planets do not want to become "ideal" spherical balls.<BR/>There a number of problems with classical analysis and set theory. I would cite a very fundamental one as being the entire concept of discrete static objects. It is a convenient fiction rooted deeply in our animal ancestry. A primitive predator swimming in an ancient sea derives considerable advantage from regarding his prey as a discrete object he can track, chase, and calculate related rates problems to catch his prey. However, in reality, once caught, the distinction between the predator and the prey swiftly vanishes. Some of the prey becomes the predator, some becomes parts of scavengers, other parts go back to other parts of the sea.<BR/>The fiction is so convenient and so deeply rooted in our evolution, it is no wonder Kronnecker thought God created the integers.Barryhttps://www.blogger.com/profile/15601407170512828091noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-23275188739231732182008-06-06T20:15:00.000-07:002008-06-06T20:15:00.000-07:00But to make a choise you have to examine an infint...But to make a choise you have to examine an infinte number of the members of your sequence! The process of making even just one of these binary choices is potentially infinite!<BR/><BR/>I want to make clear that I'm not entirely against the parts of classical analysis that I would call mythological, such as Bolzano-Weierstrass. They help us understand some practical matters, the same way that religious tales and fables give us some ethical guidance and help people cope with the brutishness of their daily existence. I'm just urging everybody to be aware and earnest about the nature of such theorems and not to take these mathematical myths too literally.<BR/><BR/>Now I hope the parallel I am trying to draw between (at least some parts of) mathematics and religion is becoming clear.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-8220678593412786672008-06-06T19:54:00.000-07:002008-06-06T19:54:00.000-07:00I donno, I mean, it's not constructive, but at eac...I donno, I mean, it's not constructive, but at each step there's only two choices. So you've got a countable number of binary choices. Not so bad, in the scheme of non-constructive proofs. Objecting to that is a stronger form of constructivism than, say, objecting to the use of the excluded middle to conclude existence.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-9046065367982979282008-06-06T18:14:00.000-07:002008-06-06T18:14:00.000-07:00Because to decide which interval to take you have ...Because to decide which interval to take you have to examine an infinte number of the members of your sequence, and it's not a feasible task. Remember, the lemma says that ANY bounded sequence has a convergent subsequence. It doesn't hold water in such a general formulation. See chapter 13 of Foundations of Mathematical Analysis by J.K. Truss. It is featured <A HREF="http://books.google.com/books?id=IRpABNX4s0EC&pg=PA308&lpg=PA308&dq=%22foundations+of+mathematical+analysis%22++%22J.+K.+Truss%22&source=web&ots=VxVKN2AZ76&sig=odVB1f9P6Wt_SpbLHH3UmVdHcus&hl=en" REL="nofollow">on google books.</A> Classical analysis is full of holes like this.<BR/><BR/>It's not a philosophical problem at all, because you have to deal with it when you want to apply your mathematical theorizing to some practical calculations.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-43152449202111079852008-06-06T18:12:00.000-07:002008-06-06T18:12:00.000-07:00This comment has been removed by the author.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-37472620118780867922008-06-06T17:51:00.000-07:002008-06-06T17:51:00.000-07:00Misha,the fact that the proof of Bolzano-Weierstra...Misha,<BR/>the fact that the proof of Bolzano-Weierstrass is not constructive does not strike me as cheating, it strikes me as classical. If you prefer constructive mathematics, go for it. It is the best way to understand many problem domains. Any discussion of which flavor of mathematical reasoning is <B>right</B>, are too philosophical to amuse me any more.<BR/>When I studied modal logics in the early 1970s, much of the literature was written by philosophers. They tended to write papers arguing why their particular set of axioms yielded the one <B><I>true</I></B> notion of strict implication or possibility or necessity or whatever. The mathematicians just categorized all the possible variants, how to model their semantics, and where the same patterns occurred in other parts of mathematics. From my perspective, this was a much more interesting way to look at things.Barryhttps://www.blogger.com/profile/15601407170512828091noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-39521734413168096792008-06-06T15:04:00.000-07:002008-06-06T15:04:00.000-07:00Misha,Why's that cheating? I mean, it's just like...Misha,<BR/><BR/>Why's that cheating? I mean, it's just like saying if I have two numbers, one of them is bigger. We know which subinterval we're dealing with: it's the one with infinitely many terms!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-22714739906013618752008-06-06T15:02:00.000-07:002008-06-06T15:02:00.000-07:00By the way, I grew up just down the street from Ca...By the way, I grew up just down the street from Castle Hills First Baptist. Passed it every day on my way to high school.<BR/><BR/>Place gives me the heebiejeebies. No lie. I knew students there socially.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-30191356537136852008-06-06T13:25:00.000-07:002008-06-06T13:25:00.000-07:00"...reflecting a strong ideological flavor of math...<I>"...reflecting a strong ideological flavor of mathematics and mental rigidity of many of its practitioners, making them an easier target for religious indoctrination. "</I><BR/><BR/>Misha- That's one way to take it. You could also say that mathematicians are trained to think very carefully about things they cannot touch, taste, or see; and are prone to believe these things are real even though they do not correspond directly to physical analogues. <BR/><BR/>So instead of saying that mathematicians have some sort of intellectual weakness that makes them "susceptible to indoctrination", you might also say that mathematicians are more capable than others of apprehending a truth that exists in the spiritual world.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-2319983174879673822008-06-06T10:48:00.000-07:002008-06-06T10:48:00.000-07:00Johann Goodflag and Barry, doesn't the proof of Bo...Johann Goodflag and Barry, doesn't the proof of Bolzano-Weierstrass lemma <A HREF="http://www.gap-system.org/~john/analysis/Lectures/L9.html" REL="nofollow">by bisection</A> strike you as cheating, because in practice we can't tell which of the subintervals contains an infinite part of our sequence, which is a huge hole in the proof that everybody keeps quiet about? This makes the traditional notion of compactness look like wishful thinking.mishahttps://www.blogger.com/profile/01166708933155105921noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-85850640843169008212008-06-06T08:37:00.000-07:002008-06-06T08:37:00.000-07:00I always took Kronnecker's comment to fairly strai...I always took Kronnecker's comment to fairly straightforward, given his time. He believed in God. He believed that the integers actually existed in an ideal Platonic realm. As for all the rest being the work of man, I consider the concept of God to be the work of man also.<BR/>In fact, it does not really matter whether the integers "exist" in this sense, we can behave as if they do. The number 3 is a convenient fiction.<BR/>I have not investigated the question of Kronnecker's beliefs in primary sources. I presume that the percentage of 19th century German mathematicians that believed in God was much higher than that in the NY Time poll.Barryhttps://www.blogger.com/profile/15601407170512828091noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-40882839234491478882008-06-06T08:36:00.000-07:002008-06-06T08:36:00.000-07:00Misha: as a formerly liberal christian, I ultimate...Misha: as a formerly liberal christian, I ultimately abandoned my faith because it couldn't stand up to the logical standards that I was confronted with in my real analysis courses. In effect, I converted to mathematics, like some pagan overawed with a more impressive doctrine.<BR/><BR/>Ironically though, this skeptical turn of my thoughts circled back on itself, and I went from being a born-again mathematical fundamentalist to something more of a mathematical existentialist...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-7277889188843047172008-06-06T08:34:00.000-07:002008-06-06T08:34:00.000-07:00Andy Schlafly's "understanding" of math is, basica...Andy Schlafly's "understanding" of math is, basically, <A HREF="http://rationalwiki.com/wiki/Conservapedia:Conservapedian_mathematics" REL="nofollow">one long story of delusion</A>. This was pretty apparent from the get-go; see <A HREF="http://scienceblogs.com/goodmath/2007/02/conservapedia_and_math_1.php" REL="nofollow">Mark Chu-Carroll</A>'s analysis in February 2007.<BR/><BR/>Oh, and by the way, the project name is properly spelled <I>Conservapædia,</I> with an æ ligature (HTML &aelig;). Well, for certain values of "proper".Blake Staceyhttps://www.blogger.com/profile/13977394981287067289noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-40702499215238411472008-06-06T06:26:00.000-07:002008-06-06T06:26:00.000-07:00Barry, I'm curious, how do you take Kronecker's co...Barry, I'm curious, how do you take Kronecker's comment? <BR/><BR/>I always, until about two months ago, had taken it to be nothing more than wit. But recently I've gotten into a couple of discussions with people who thought it was an indication of bonafide theism.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-66094626601191654592008-06-06T06:06:00.000-07:002008-06-06T06:06:00.000-07:00With regard to misha's comment: I wonder if part o...With regard to misha's comment: I wonder if part of this statistic is attributable to set theorists. I'm thinking of Kronnecker's comment about the integers; the search for large cardinals to infallibly resolve those pesky independent axioms in the "real" (Platonic) universe; and the fact that the question of continuum hypothesis always seemed to me, in a fairly precise mathematical sense, to be equivalent the medieval question of "How many angels can dance on the head of pin?" 8^)Barryhttps://www.blogger.com/profile/15601407170512828091noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-23704728708389103472008-06-05T22:08:00.000-07:002008-06-05T22:08:00.000-07:00Mark,that's a good point. But it seems that that ...Mark,<BR/><BR/>that's a good point. But it seems that that particular change appeared in the article for the first time (23:11, 20 December 2007) thanks to the editing of <A HREF="http://www.conservapedia.com/User:Aschlafly" REL="nofollow">Aschlafly</A>, who is apparently <A HREF="http://en.wikipedia.org/wiki/Conservapedia" REL="nofollow">the founder of the site</A>. (That's right, I'm using Wikipedia as a source for info on Conservapedia.)<BR/><BR/>I'd delete the FLT reference at Conservapedia, except:<BR/>1. they don't allow anonymous edits, and that's really not a site I want to have an account at;<BR/>2. they don't allow editing between 1 AM and 6 AM (US Eastern time), and I'm not going to care about this in the morning;<BR/>3. the article is arguably better <I>with</I> the FLT reference in it, because it makes it more obviously stupid.Michael Lugohttps://www.blogger.com/profile/15671307315028242949noreply@blogger.com