

This
volume contains the proceedings of the conference Logical Foundations
of Mathematics, Computer Science, and PhysicsKurt Gödel’s
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. Year: 2001 Table of Contents Part I. Invited Papers Gödel's
program for new axioms: Why, where, how and what? Infinitevalued
Gödel Logics with 01Projections and Relativizations. Contributions
of K. Gödel to Relativity and Cosmology. Kurt Gödel
and the constructive Mathematics of A.A. Markov. Hao Wang as
Philosopher. A bottomup
approach to foundations of mathematics. Kgraph Machines:
generalizing Turing's machines and arguments. Forcing on Bounded
Arithmetic. Uniform Interpolation
and Layered Bisimulation. Part II. Contributed Papers Gödel's
Ontological Proof Revisited. A Uniform Theorem
Proving Tableau Method for Modal Logic. Decidability
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. Completeness
has to be restricted: Gödel's interpretation of the parameter
t. A Bounded Arithmetic
Theory for Constant Depth Threshold Circuits. Information
content and computational complexity of recursive sets. Kurt Gödel
and the Consistency of R##. Best possible
answer is computable for fuzzy SLDresolution. The finite stages
of inductive definitions. Gödel and
the Theory of Everything. Replacement
$\not\to$ Collection.

[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]