Axiomatic thinking. II / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editors.
Ferreira, Fernando, 1958- editor.; Kahle, Reinhard, 1967- editor.; Sommaruga, Giovanni, editor.
2022
QA481
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Axiomatic thinking. II / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editors.
ISBN 9783030777999 (electronic bk.)
3030777995 (electronic bk.)
9783030777982
3030777987
DOI https://doi.org/10.1007/978-3-030-77799-9
Published Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource : illustrations (black and white, and color).
Item Number 10.1007/978-3-030-77799-9 doi
Call Number QA481
Dewey Decimal Classification 511.3
Summary In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Gottingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Ferreira, Fernando, 1958- editor.
Kahle, Reinhard, 1967- editor.
Sommaruga, Giovanni, editor.
Available in Other Form Axiomatic thinking II.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Volume 2: Logic, Mathematics, and other Sciences
Part II: Logic
A Framework for Metamathematics
Simplified Cut Elimination for Kripke-Platek Set Theory
On the Performance of Axiom Systems
Well-Ordering Priciples in Proof Theory and Reverse Mathematics
Part III: Mathematics
Reflections on the Axiomatic Approach to Continuity
Abstract Generality, Simplicity, Forgetting, and Discovery
Varieties of Infiniteness in the Existence of Infinitely Many Primes
Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis
Part IV: Other Sciences
What is the Church-Turing Thesis?
Axiomatic Thinking in Physics
Essence or Useless Ornament?
Axiomatic Thinking
Applied to Religion.

Browse Subjects

Show more subjects...

Statistics

from
to
Export