Gödel ’96
Springer Berlin (Verlag)
978-3-540-61434-0 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
I. Invited Papers.- Gödel s program for new axioms: Why, where, how and what?.- Infinite-valued Gödel Logics with 0-1-Projections 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 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.- Gödel 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: 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 SLD-resolution.- The finite stages of inductive definitions.- Gödel and the Theory of Everything.- Replacements? Collection.
| Reihe/Serie | Lecture Notes in Logic |
|---|---|
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 450 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Schlagworte | Computer Science • Cosmology • Goedel • Mathematical Logic • philosophy of mathematics |
| ISBN-10 | 3-540-61434-6 / 3540614346 |
| ISBN-13 | 978-3-540-61434-0 / 9783540614340 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
