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

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

94,94

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