Muutke küpsiste eelistusi

E-raamat: Godel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy

Edited by (Academy of Sciences of the Czech Republic, Prague)
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Logic
  • Ilmumisaeg: 02-Mar-2017
  • Kirjastus: Cambridge University Press
  • Keel: eng
  • ISBN-13: 9781316731581
  • Formaat - PDF+DRM
  • Hind: 137,07 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Logic
  • Ilmumisaeg: 02-Mar-2017
  • Kirjastus: Cambridge University Press
  • Keel: eng
  • ISBN-13: 9781316731581

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

Muu info

Proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in 1996.
Preface vii
Part I Invited Papers
Godel's program for new axioms: Why, where, how and what?
3(20)
Solomon Feferman
Infinite-valued Godel Logics with 0-1-Projections and Relativizations
23(11)
Matthias Baaz
Contributions of K. Godel to Relativity and Cosmology
34(16)
G.F.R. Ellis
Kurt Godel and the constructive Mathematics of A.A. Markov
50(14)
Boris A. Kushner
Hao Wang as Philosopher
64(17)
Charles Parsons
A bottom-up approach to foundations of mathematics
81(17)
Pavel Pudlak
K-graph Machines: generalizing Turing's machines and arguments
98(22)
Wilfried Sieg
John Byrnes
Forcing on Bounded Arithmetic
120(19)
Gaisi Takeuti
Masahiro Yasumoto
Uniform Interpolation and Layered Bisimulation
139(28)
Albert Visser
Part II Contributed Papers
Godel's Ontological Proof Revisited
167(6)
C. Anthony Anderson
Michael Gettings
A Uniform Theorem Proving Tableau Method for Modal Logic
173(10)
Tadashi Araragi
Decidability of the E*A*-Class in the Membership Theory NWL
183(12)
Dorella Belle
Franco Parlamento
A Logical Approach to Complexity Bounds for Subtype Inequalities
195(10)
Marcin Benke
How to characterize provably total functions
205(9)
Benjamin Blankertz
Andreas Weiermann
Completeness has to be restricted: Godel's interpretation of the parameter t
214(10)
Giora Hon
A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
224(11)
Jan Johannsen
Information content and computational complexity of recursive sets
235(12)
Lars Kristiansen
Kurt Godel and the Consistency of R##
247(10)
Robert K. Meyer
Best possible answer is computable for fuzzy SLD-resolution
257(10)
Leonard Paulik
The finite stages of inductive definitions
267(24)
Robert F. Stark
Godel and the Theory of Everything
291(16)
Michael Stoltzner
Replacement Collection
307
Andrzej M. Zarach
Petr Hájek works in the Academy of Sciences of the Czech Republic, Prague.