tag:blogger.com,1999:blog-3722233.post3679930860530790902..comments2024-06-20T12:36:16.541-05:00Comments on Computational Complexity: Axioms: What should we believe?Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger11125tag:blogger.com,1999:blog-3722233.post-28736898905779742942010-03-02T04:26:17.788-06:002010-03-02T04:26:17.788-06:00My aparently clean, blameless and purely metamathe...My aparently clean, blameless and purely metamathematical comment (althought i must recognise it, full of typos)in this post has been deleted. This is not the only deleted comment on this, one of my favorites, blog. Another clean comment about the availability of taxis in China has also been deleted. <br /><br />This puts an end to (a promising career ?) as an sporadic blog commentator. My apologies if i have offended to anyone. Keep on with the interesting onversation !proaonuiqnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-42925455867708937562010-01-10T19:03:40.969-06:002010-01-10T19:03:40.969-06:00Shelah's article is really awesome!
@proaonui...Shelah's article is really awesome!<br /><br />@proaonuiq: I really like your comment. In fact we really can't avoid "infinite objects". Widely accepted and basic things like regular or context-free languages are often infinite. Also the set of all predicates on a countable-infinite language is uncountable. <br /><br />The need of a sound theory to model processes that do not terminate also lead to dealing with infinite objects. This is already well-accepted among practitioners like formal method (software engineering) researchers.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-24269826834402880492010-01-08T08:58:00.778-06:002010-01-08T08:58:00.778-06:00John, i ´ve read Zeibelger short essay and i can n...John, i ´ve read Zeibelger short essay and i can not resist to quote his conclusion: <br /><br />"For the good of future mathematics we need generalists and strategians who can see the big picture. Narrow specialists and tacticians would soon be superseded by computers. <br /><br />So let's get to work, and try to become mathematicians rather than topological algebraic Lie theorists, algebraic analytic number theorists, pseudo-spectral graph theorists etc."<br /><br />I´m not sure that this explosion and fragmentation is so bad provided that it leads later to a greater unification. We are now exploring a new wide jungle through tortous trails and explorers can not be but a few; but as you point also highways are being produced (IMO good surveys or clarifying general narratives on a subject could be as great as new formalizations or the discovery of deep theorems within a formal system). <br /><br />On the other hand i´ve been surprised seeing how close is Zeibelger in his views in this essay to the mathematician i always thought was his opposite in views, the infinitist Dieudonné (the author of the still highly advisable "Mathematics, the music of reason" and Panorama, as bird views of mathematics).<br /> <br />So the famous sentence "for every Dieudonné there is a Zeibelger" is not valid anymore.proaonuiqnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-78225256057186278282010-01-07T12:27:07.001-06:002010-01-07T12:27:07.001-06:00I think that if you're doing mathematics that ...I think that if you're doing mathematics that is supposed to describe the physical world (or the behavior of physical computing machines), but the answer turns out to depend on the truth or falsity of AD or greater-than-countable-AC or the existence of Mahlo cardinals or whatever, then something is wrong with your assumptions.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-14052732110005203142010-01-06T06:56:53.162-06:002010-01-06T06:56:53.162-06:00Proaonuiq said: "At a practical level, in soc...Proaonuiq said: <i>"At a practical level, in societies with freedom, we use formal systems to convince others that our views are the correct views. At this level only realistic axioms everyone can agree on would be acceptable."</i><br /><br />Proaonuiq, that is IMHO wonderfully accurate summary not only of 21st century mathematics, but of 21st century engineering too. <br /><br />The correspondence is induced by two natural isomorphisms: "<i>formal system</i> ⇔ <i>simulation framework</i>," and "<i>correct views</i> ⇔ <i>feasible enterprises</i>."<br /><br />This isomorphism explains why global-scale engineering-and-science enterprises (the Genome Project, VLSI design, quantum spin biomicroscopy) increasingly resemble global-scale mathematical enterprises (the Langlands Program, QIT/QIP), especially in the increasing <a href="http://arxiv.org/abs/hep-th/0612073" rel="nofollow">overlap of their mathematical toolsets</a>. <br /><br />Back in 1947, von Neumann could argue (quite passionately) that this isomorphism had beneficial effects, "rejuvinating return to the source: the reinjection of more or less directly empirical ideas [into mathematics]."<br /><br />Nowadays this mapping is growing ever more natural and intimate, and AFAICT is becoming an effective counterbalance to the mathematical fragmentation that <a href="http://www.math.rutgers.edu/~zeilberg/Opinion104.html" rel="nofollow">Doron Zeilberger deplores</a>.<br /><br />This is IMHO fortunate, because without such mechanisms, we would collectively be stuck in the disastrous position of "Pick any two from: (1) a planetary population of 10^10, (2) the creation of family-supporting jobs for the young mathematicians of this planet, (3) a reasonably unified culture of mathematics."<br /><br />Or more soberingly: pick <i>one</i> from the list. Or still more soberingly: pick <i>none</i>.<br /><br />It is tempting to say of these dystopian outcomes (with Luke Skywalker), <i>"No, that can't be true ... that's impossible!"</i> But doesn't the history of mathematics provide scant logical grounds for this optimism? We need only think of David Hilbert's sad passing, in 1943, in Göttingen.<br /><br />Our planet urgently needs as much (justified) optimism and (feasible) enterprises and (unifying) narratives as we can possibly create; the mathematics of the 21st century, conjoined with the creative young minds that our planet possesses in super-abundance, are (IMHO) the most fertile resources that our planet possesses.<br /><br />So if anyone wonders why engineers read mathematical blogs ... it's because in this century, at a fundamental level, we are all of us in the same business.John Sidleshttp://www.mrfm.orgnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-25990314699083766782010-01-05T16:27:33.230-06:002010-01-05T16:27:33.230-06:00Interesting post. Thanks for the pointer to this &...Interesting post. Thanks for the pointer to this "Penelopaper". <br /><br />1. "...People concerned with these issues in the early 1900's were much more passionate then we are today. They had strong opinions on foundations and on non-constructive proofs. Mathematicians commonly carried firearms. We are far less passionate today on these issues..." <br /><br />At a theoretical level mathematics is the study of formal or symbolic objects or systems where we create the systems (by stating the axioms and/or definitions)and discover its consequences (theorems). At this level any consistent system of axioms would be acceptable. <br /><br />At a practical level, in societies with freedom, we use formal systems to convince others that our views are the correct views. At this level only realistic axioms everyone can agree on would be acceptable. <br /><br />Since several years there has been a mathematical explosion and the accent is marked in innovation, so everyone wants to be a formal systems creator, a system which probably only the creator will work on, so who cares today about convincing others about his axioms? <br /><br />2."So far Set Theory does not seem to have a strong enough connection to the real world for this to make sense". <br /><br />Coincidentally i bought the other day the book "Understanding the Infinite" from Shaughan Lavine. I´m not yet in the second part where he developpes his thesis (the first part is historical)but it seems that he does not agree with your comment.<br /><br />Personaly, as a finitist i´m was not interested in infinite sets until i found by accident one interesting infinite object (a graph not a set). For me infinite objects are more processes that never terminates...proaonuiqnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-47310391962845717772010-01-05T14:48:32.818-06:002010-01-05T14:48:32.818-06:00From an engineering point of view, please let me s...From an engineering point of view, please let me say that GASARCH got it exactly write with his point #1, <i>using the right tool for the right job</i>. And this has the important corollary that <i>oftentimes the right tool is the one that's easiest to learn</i>.<br /><br />These ideas seem safe enough, but definitely they can arouse passions.<br /><br />For example, this quarter's UW/QSE seminar <a href="http://courses.washington.edu/goodall/MRFM/" rel="nofollow"><i>So You Want to be a Quantum Systems Engineer</i></a> is (provisionally) taking the point of view that the traditional pedagogic principle "in learning quantum mechanics it's best to adopt a vector-space framework"---which has served admirably at the undergraduate level---should be regarded as outdated 20th century <i>mumpsimus</i>. <br /><br />The seminar will (provisionally) replace this <i>mumpsimus</i> with the 21st century <i>sumpsimus</i> "in learning quantum mechanics it's best to adopt a symplectic/metric framework." <br /><br />We're not entirely sure this replacement will work ... so we're going to try it and see.<br /><br />As with ZFC/AD/AC issues, there is nothing physical at stake. But adademic culture most definitely is at stake ... and for reasons that <a href="http://www.math.rutgers.edu/~zeilberg/Opinion104.html" rel="nofollow">Doron Zeilberger has set forth</a> (and that GASARCH alludes to in #2) ... there are (fortunately) plenty of folks who have passion for these issues.<br /><br />This passion is good (IMHO), it being neither necessary nor desirable that everyone think the same way. It is only when students and professors alike cease to care very much, about the frameworks within which we work and teach, that we need begin to worry. <br /><br />That is why I am very grateful and appreciative of this blog (and many other mathematical blogs too) for fanning these vitalizing flames of passion! :)John Sidleshttp://www.mrfm.orgnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-39811274864508749352010-01-05T12:43:10.794-06:002010-01-05T12:43:10.794-06:00Minor technical point: What you've defined as ...Minor technical point: What you've defined as <i>inaccessible</i> is in fact called <i>strong limit</i>. Strong limit cardinals do exist, and in fact form a proper class; if you look at the Beth hierarchy, where beth_0 = ℵ_0, beth_{α+1} = |P(beth_α)|, beth_β = sup {beth_α : α<β} for β a limit ordinal, then the strong limit cardinals are exactly the cardinals beth_β for β limit.<br /><br />Now if you add the assumption that κ is <i>regular</i>, <i>i.e.</i> not the union of a smaller number of smaller sets, then you have inaccesibility.<br /><br />I'm inclined to accept the existence of inaccessibles and their mild generalizations (such as α-inaccessible and Mahlo) simply because they're what you get when you start treating proper classes as legitimate mathematical objects and take unions and powersets and so forth.Chad Groftnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-21024661851269657752010-01-05T12:37:26.347-06:002010-01-05T12:37:26.347-06:00I look at ZF[C] and its extensions (say by large c...I look at ZF[C] and its extensions (say by large cardinals) as partial axiomatizations of all of mathematics, as describing a context in which all the consistent theories can be given meaning. Not sure how much sense that makes.<br /><br />One might make certain assumptions about which subsets of the universe can be "physically realized", for example assuming that only measurable sets or Borel sets are physically meaningful. This would disallow Banach-Tarski for such meaningful sets, while allowing for it in the more abstract world of all possible sets.<br /><br />I'm inclined to agree with antianticamper that CH has a well-defined truth value even though models of ZFC + CH and ZFC + (not CH) can be built. Whether we restrict ourselves to V doesn't matter, though. If there's a bijection between ℵ_1 and P(ω), both of which are objects in V, then that bijection is itself in V.Chad Groftnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-56467470266902369482010-01-05T12:23:49.911-06:002010-01-05T12:23:49.911-06:00I don't know where you're from, but severa...I don't know where you're from, but several of the mathematicians where I work do carry firearms, at least off campus.Drakehttps://www.blogger.com/profile/00447580084104857548noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-16950048935610403772010-01-05T11:54:04.528-06:002010-01-05T11:54:04.528-06:00So what is your view on statement A?
(A): The con...So what is your view on statement A?<br /><br />(A): The continuum hypothesis is true in the cumulative hierarchy.<br /><br />Do you think it is true, false, or meaningless? Years ago, when I thought about these things, I was convinced it was not meaningless. The cumulative hierarchy, V, is a particular model, neglecting the fact that it is a proper class and not a set, and therefore CH should be true or false for that model, right? Or is the "class-ness" of V important?<br /><br />If one is any sort of mathematical "realist" (I am one) than one is committed to the idea that CH must be true or false for a particular model, right?<br /><br />Independence is weakness of a particular mathematical "experimental apparatus", i.e. a given set of axioms. But mathematical objects themselves, which certainly rise above any particular axiomatic description, cannot suffer from "semantic incompleteness", can they?<br /><br />I haven't thought about these things in years so maybe technical developments have occurred that make my comments irrelevant. <br /><br />It seems to me that that statement A addresses the very nature of mathematical objects.antianticamperhttps://www.blogger.com/profile/11156250444026317037noreply@blogger.com