Promotional Information

Springer Book Archives

Table of Contents

I. Invited Papers.- Godel's program for new axioms: Why, where, how and what?.- Infinite-valued Godel Logics with 0-1-Projections and Relativizations.- Contributions of K. Godel to Relativity and Cosmology.- Kurt Godel and the constructive Mathematics of A.A. Markov.- Hao Wang as Philosopher.- A bottom-up approach to foundations of mathematics.- K-graph Machines: generalizing Turing's machines and arguments.- Forcing on Bounded Arithmetic.- Uniform Interpolation and Layered Bisimulation.- II. Contributed Papers.- Godel's Ontological Proof Revisited.- A Uniform Theorem Proving Tableau Method for Modal Logic.- Decidability of the ?*?*-Class in the Membership Theory NWL.- A Logical Approach to Complexity Bounds for Subtype Inequalities.- How to characterize provably total functions.- Completeness has to be restricted: Godel's interpretation of the parameter t.- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits.- Information content and computational complexity of recursive sets.- Kurt Godel and the Consistency of R##.- Best possible answer is computable for fuzzy SLD-resolution.- The finite stages of inductive definitions.- Godel and the Theory of Everything.- Replacements? Collection.