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
PDF, ePub

96,29

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
PDF, ePub

106,99

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
PDF, ePub

145,19

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 ePub

108,89

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