New: decidabilityAll contenthive-129948hive-196917krhive-150122hive-180932zzanhive-185836steemhive-183959hive-144064hive-183397hive-188619hive-166405photographyuncommonlabhive-101145hive-109690hive-103599hive-145157photohive-139150hive-180301hive-170554hive-150943hive-184714TrendingNewHotLikersmarkgritter (59)in steemstem • 7 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 • 7 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…
