volume contains the proceedings of the conference Logical Foundations
of Mathematics, Computer Science, and Physics-Kurt Gödels
Legacy, held in Brno, Czech Republic on the 90th anniversary of
his birth. The wide and continuing importance of Gödel s work
in the logical foundations of mathematics, computer science, and
physics is confirmed by the broad range of speakers who participated
in making this gathering a scientific event.
Table of Contents
Part I. Invited Papers
program for new axioms: Why, where, how and what?
Gödel Logics with 0-1-Projections and Relativizations.
of K. Gödel to Relativity and Cosmology.
and the constructive Mathematics of A.A. Markov.
Hao Wang as
approach to foundations of mathematics.
generalizing Turing's machines and arguments.
Forcing on Bounded
and Layered Bisimulation.
Part II. Contributed Papers
Ontological Proof Revisited.
A Uniform Theorem
Proving Tableau Method for Modal Logic.
of the $\exists^*\forall^*$-Class in
the Membership Theory NWL.
A Logical Approach
to Comlexity Bounds for Sbutype Inequalities.
How to characterize
provably total functions.
has to be restricted: Gödel's interpretation of the parameter
A Bounded Arithmetic
Theory for Constant Depth Threshold Circuits.
content and computational complexity of recursive sets.
and the Consistency of R##.
answer is computable for fuzzy SLD-resolution.
The finite stages
of inductive definitions.
the Theory of Everything.