Télécharger le livre :  Axiomatic Thinking I
Ajouter à ma liste d'envies
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écharger le livre :  Axiomatic Thinking II
Ajouter à ma liste d'envies
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écharger le livre :  Turing's Revolution
Ajouter à ma liste d'envies
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écharger le livre :  Foundational Theories of Classical and Constructive Mathematics
Ajouter à ma liste d'envies
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