Axiomatic Thinking II

Axiomatic Thinking II

Author: Fernando Ferreira

Publisher: Springer Nature

ISBN: 9783030777999

Category: Mathematics

Page: 293

View: 178

Download Now
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 Göttingen 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.
Axiomatic Thinking II
Language: en
Pages: 293
Authors: Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Categories: Mathematics
Type: BOOK - Published: 2022-09-17 - Publisher: Springer Nature

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
Axiomatic Thinking II
Language: en
Pages: 283
Authors: Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
Categories: Mathematics
Type: BOOK - Published: 2022-03-25 - Publisher: Springer

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
The Great Formal Machinery Works
Language: en
Pages: 400
Authors: Jan von Plato
Categories: Science
Type: BOOK - Published: 2017-08-02 - Publisher: Princeton University Press

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical
Historical Epistemology and European Philosophy of Science
Language: en
Pages: 402
Authors: Fabio Minazzi
Categories: Science
Type: BOOK - Published: 2022-04-01 - Publisher: Springer Nature

This book offers a comprehensive analysis on the evolution of philosophy of science, with a special emphasis on the European tradition of the twentieth century. At first, it shows how the epistemological problem of the objectivity of knowledge and axiomatic knowledge have been previously tackled by transcendentalism, critical rationalism and
Course and Curriculum Improvement Projects: Mathematics, Science, Social Sciences
Language: en
Pages: 56
Authors: National Science Foundation (U.S.)
Categories: Science
Type: BOOK - Published: 1970 - Publisher:

Books about Course and Curriculum Improvement Projects: Mathematics, Science, Social Sciences