Télécharger le livre :  Axiomatic Thinking I

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...
Editeur : Springer
Parution : 2022-10-13

Format(s) : PDF, ePub
94,94

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Axiomatic Thinking II

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...
Editeur : Springer
Parution : 2022-09-17

Format(s) : PDF, ePub
105,49

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Turing's Revolution

This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of...
Editeur : Birkhäuser
Parution : 2016-01-21

Format(s) : PDF, ePub
126,59

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Foundational Theories of Classical and Constructive Mathematics

The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive...
Editeur : Springer
Parution : 2011-03-24
Collection : The Western Ontario Series in Philosophy of Science
Format(s) : ePub
94,94

Téléchargement immédiat
Dès validation de votre commande