New: decidabilityAll contenthive-129948hive-196917krsteemzzanhive-183959hive-166405hive-180932hive-150122photographyhive-185836uncommonlablifehive-183397hive-144064bitcoinhive-188619hive-139150hive-101145krsuccesshive-124908hive-103599hive-180301hive-109690hive-193186TrendingNewHotLikersmarkgritter (59)in steemstem • 6 years agoLower bounds on time complexityI'm (slowly) continuing to read The Computational Complexity of Logical Theories , and it came in useful answering this Quora question: Can we predict [time] complexity before writing an…markgritter (59)in steemstem • 6 years agoThe Computational Complexity of Some Logical TheoriesI'm reading a book from 1979 by Jeanne Ferrante and Charles W. Rackoff: "The Computational Complexity of Logical Theories." Though it's now nearly 40 years old, it still gets cited often, so I…
