tag:blogger.com,1999:blog-3722233.post113629452523032431..comments2024-03-28T18:17:00.135-05:00Comments on Computational Complexity: A Year of IncompletenessLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-3722233.post-1136623622612742682006-01-07T02:47:00.000-06:002006-01-07T02:47:00.000-06:00The 2006 FLoC (Federated Logic Conference), in Sea...The 2006 FLoC (Federated Logic Conference), in Seattle, August 10-22, will have a special session dedicated to Goedel.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-1136310566060187632006-01-03T11:49:00.000-06:002006-01-03T11:49:00.000-06:00Happy new year, Lance.Speaking of things Godelian,...Happy new year, Lance.<BR/><BR/>Speaking of things Godelian, does anyone know the current status of the work by Tatsuaki Okamoto and Ryo Kashima ("Resource Bounded Unprovability of Computational Lower Bounds")? Was this paper salvaged from its alleged flaws?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-1136308689887334032006-01-03T11:18:00.000-06:002006-01-03T11:18:00.000-06:00A good informative post.BTW: "foundation of logic"...A good informative post.<BR/><BR/>BTW: "foundation of logic" should either be just "logic" or "foundation of mathematics".Anonymousnoreply@blogger.com