tag:blogger.com,1999:blog-3722233.post2044265367280232313..comments2024-03-29T08:55:55.727-05:00Comments on Computational Complexity: Exaggeration is one thing but this is....Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-3722233.post-47003345365235775462016-11-01T16:22:26.421-05:002016-11-01T16:22:26.421-05:00I'm another non-set-theory 1%-er, at least by ...I'm another non-set-theory 1%-er, at least by this measure. Of course, Lance and I are probably counting the same paper :-). But in my experience, CH doesn't come up nearly as often as AC. <br />stuhttps://www.blogger.com/profile/05190631846507740664noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-80918447760792214162016-10-28T21:31:20.983-05:002016-10-28T21:31:20.983-05:00In mathematics it shows up. If you are working wit...In mathematics it shows up. If you are working with infinite sets, groups, etc. in lemmas you want to use. That is what mathematics was considered to be till very recently. It is good to keep in mind that combinatorics and study of finite structures was not considered a major worthwhile branch of mathematics on par with algebra, geometry, analysis and number theory up until very recently.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-84956381428124688442016-10-24T20:20:05.120-05:002016-10-24T20:20:05.120-05:00I'm in the one percent and I'm not set the...I'm in the one percent and I'm not set theorist, last I checked. <a href="http://lance.fortnow.com/papers/files/ccind.pdf" rel="nofollow">http://lance.fortnow.com/papers/files/ccind.pdf</a>. Lance Fortnowhttps://www.blogger.com/profile/06752030912874378610noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-60398816965460584632016-10-24T17:42:36.543-05:002016-10-24T17:42:36.543-05:00Cohen's introduction of forcing into set theor...Cohen's introduction of forcing into set theory was a pretty big deal. It gave not just models where CH failed (Godel had already given a model where CH held) but a general technique to construct models of set theory pretty much to specification (although different variants required different exact techniques). I am not sure that the authors are exaggerating the importance of his work as much as mistakenly emphasizing the result over the technique. Anonymoushttps://www.blogger.com/profile/18394636887484222063noreply@blogger.com