tag:blogger.com,1999:blog-8148573551417578681.post7216996516698779730..comments2020-09-29T19:28:06.601-07:00Comments on Dark Buzz: Limits of mathRogerhttp://www.blogger.com/profile/03474078324293158376noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-8148573551417578681.post-83131085146477938962012-09-13T16:48:10.265-07:002012-09-13T16:48:10.265-07:00Apologies for one last "bad" comment. I ...Apologies for one last "bad" comment. I haven't resolved anything, but due to the seriousness of all the commentary I thought I'd share a bad pun which came to mind re the topic. A bit of a stretch ... well, perhaps a giant stretch. Preface: "a-wild" signifies "natural" and "woice" Russian accent for "voice", voice implying choice as in "he voiced his (chosen) opinion" "choice" implies "artificial" i.e. not revealed or discovered f/ nature. Ahem (like I said, stretch). <br /><br />" ZFC ... it's not a-wild, it's a Woice." :-0Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-53546734462526077782012-09-12T05:38:21.980-07:002012-09-12T05:38:21.980-07:00Or: Math must be revealed / discovered, while all ...Or: Math must be revealed / discovered, while all of physics is by way of contrast constructed. Bad math turns out "not to be math" and can lead to "bad" physics? (I'm working on it). Primarily, though, I just thought I'd weigh in on Bob's comment "we never study things that are vague, ill-defined, or contradictory" -- actually, my dad got a Ph.D in Math and I believe he taught me otherwise. He was speaking to us one day about mathematicians being at odds over a definition of "neighborhood" (set theory). And (my words, not his): some problems seem intractable and/or ill-posed, but as-yet-interim "solutions" are still ... "mathy"?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-26356623435688101562012-09-12T05:13:56.208-07:002012-09-12T05:13:56.208-07:00You're implying (among other things) that ZFC ...You're implying (among other things) that ZFC is a choice, necessary for "good" math and that "bad math" is an oxymoron -- whereas "bad physics is still physics". Pardon my laymanship, I jumped in sans reading comments. Wanted to do so, then get caught up and check back.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-38937159029256508312012-09-11T12:48:00.920-07:002012-09-11T12:48:00.920-07:00From a practical point of view, if you want to stu...From a practical point of view, if you want to study large categories, then yes, you do need more than just ZFC. It is possible to incorporate classes into ZFC through some ad hoc device like defining a class to be a collection of sets of sets defined by some formula in the language of set theory, but this is a very unnatural way of thinking about classes. It's much better to use Grothendieck universes or work in an axiomatic framework that distinguishes between large and small collections.<br /><br />In any case, if you're trying to argue that nature has no faithful representation in ZFC, then you should agree with me when I tell you that ZFC is limited...Bob Jonesnoreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-40484511354966877262012-09-10T23:38:34.963-07:002012-09-10T23:38:34.963-07:00No, I don't believe that znything beyond ZFC i...No, I don't believe that znything beyond ZFC is needed for any of those things.Rogerhttps://www.blogger.com/profile/03474078324293158376noreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-28985170749708146802012-09-10T22:22:16.980-07:002012-09-10T22:22:16.980-07:00"I really don't think that math is going ..."I really don't think that math is going to be reinvented to explain theoretical physics."<br /><br />I'm not so sure. Higher categories show up in several parts of mathematics (like homotopy theory and derived algebraic geometry) and mathematical physics (topological and conformal field theory and string theory), and such categories are already outside of the foundation that you're using to define mathematics. You may argue that we can supplement ZFC with additional axioms for proper classes, but I don't think the problem can be solved so easily. Developing a natural foundation for category theory is a difficult problem, and I think it's fair to say that it has not been solved in a satisfactory way.Bob Jonesnoreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-89421875553812556252012-09-10T21:35:14.488-07:002012-09-10T21:35:14.488-07:00You make some good points, but I think that even t...You make some good points, but I think that even the ancient Greeks would have understood that there is more to math than Eudlidean geometry, even if they did not anticipate curved geometry.<br /><br />Yes, mathematicians have tried denying the law of excluded middle, and taken some other unusual approaches. Some of these approaches have some merit. But there is a broad consensus about what math is all about. I really don't think that math is going to be reinvented to explain theoretical physics.Rogerhttps://www.blogger.com/profile/03474078324293158376noreply@blogger.comtag:blogger.com,1999:blog-8148573551417578681.post-41702187956221059862012-09-10T20:42:09.249-07:002012-09-10T20:42:09.249-07:00"The content of math consists of the logical ..."The content of math consists of the logical theorems of ZFC."<br /><br />In a similar way, a mathematician living in ancient Greece could have defined math to consist of those statements provable from Euclid's axioms. Back then, such a definition might have made sense, but today we know that there's much more to math than Euclidean geometry. For example, we now have non-Euclidean geometry, which formalizes geometric intuitions that the Greeks never considered. Non-Euclidean geometry is also useful for describing the physical world.<br /><br />"It is not just some language or some arbitrarily expandible set of intuitions."<br /><br />You can define mathematics however you like, but this statement does not reflect how mathematics is developed and applied to physical problems. Mathematicians and physicists are rethinking the foundations of their subjects all the time. In the twentieth century, mathematicians began to develop new approaches to mathematics that did not assume the law of excluded middle, one of the basic assumptions of classical mathematics. Some physicists have experimented with new logical foundations for quantum mechanics based on topos theory. While these are not ideas that I personally find interesting or compelling, they show that it is at least conceivable that physics might require radically new mathematical ideas.<br /><br />"I thought that everyone understood that math has limits"<br /><br />Well, certainly math does have limits. For example, we never study things that are vague, ill-defined, or contradictory. But that can't stop us from constructing a faithful mathematical representation of physics because physical observables are always precisely defined, and it makes no sense to say that our observations of nature are contradictory. It's always possible to observe something confusing (like quantum particles), but we can always construct a consistent framework in which those observations can be understood (like the theory of Hilbert spaces and linear operators).<br /><br />"An example of a limit of math is the unsolvability of quintic polynomials by radicals."<br /><br />This is not a "limit" of math but a reflection of the fact that not everything can be true. There's nothing extraordinary about the fact that you can't have a "quadratic formula" for the roots of a quintic polynomial. There are also systems of linear equations that have no solutions. The unsolvability of the general quintic is a necessary consequence of the consistency of mathematics, and if physics is based on some mathematical framework in which this result is true, then you can expect nature to respect the unsolvability of the quintic.Bob Jonesnoreply@blogger.com