Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.
6 Ebooks bởi Giovanni Sommaruga
Giovanni Sommaruga & Thomas Strahm: 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 contribution …
PDF
Anh
€117.69
Giovanni Sommaruga: 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 t …
PDF
Anh
€96.29
Giovanni Sommaruga: Formal Theories of Information
It is commonly assumed that computers process information. But what is inf- mation? In a technical, important, but nevertheless rather narrow sense, Sh- non’sinformationtheorygivesa?rstanswertothisqu …
PDF
Anh
DRM
€57.19
Giovanni Sommaruga: History and Philosophy of Constructive Type Theory
A comprehensive survey of Martin-Lof’s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys t …
PDF
Anh
DRM
€164.54
Fernando Ferreira & Reinhard Kahle: 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, …
PDF
Anh
€96.29
Fernando Ferreira & Reinhard Kahle: 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, …
PDF
Anh
€96.29
