Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Giovanni Sommaruga"'
Autor:
Reinhard Kahle, Giovanni Sommaruga
Publikováno v:
Axiomatic Thinking I ISBN: 9783030776565
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c904ac18bb2809445759acf72345bff1
https://doi.org/10.1007/978-3-030-77657-2_2
https://doi.org/10.1007/978-3-030-77657-2_2
Autor:
Giovanni Sommaruga, B. Jack Copeland
Publikováno v:
Turing’s Revolution ISBN: 9783319221557
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e25f4aea9d2490da5e4afa49ae7d24d
https://doi.org/10.1007/978-3-319-22156-4_14
https://doi.org/10.1007/978-3-319-22156-4_14
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 sc
Autor:
Giovanni Sommaruga, Thomas Strahm
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 philo
Autor:
B. Jack Copeland, Giovanni Sommaruga
Publikováno v:
Turing’s Revolution ISBN: 9783319221557
This chapter sets out the early history of the stored-program concept. The several distinct ‘onion skins’ making up the concept emerged slowly over a ten-year period, giving rise to a number of different programming paradigms. A notation is devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0b3d31454e758875662246b8c36a67e
https://doi.org/10.1007/978-3-319-22156-4_3
https://doi.org/10.1007/978-3-319-22156-4_3
Autor:
Giovanni Sommaruga, Thomas Strahm
Publikováno v:
Turing’s Revolution
This book provides an overview of the confluence of ideas in Turings 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 philos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ddcf479428240a131289949a009654
https://doi.org/10.1007/978-3-319-22156-4
https://doi.org/10.1007/978-3-319-22156-4
Autor:
Giovanni Sommaruga
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly compl
Autor:
Giovanni Sommaruga
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 const
Autor:
John L. Bell, Giovanni Sommaruga
Publikováno v:
The Western Ontario Series in Philosophy of Science ISBN: 9789400704305
This book has presented a partial account of the history of studies in FOM, as well as a (by no means complete) survey of contemporary studies in FOM. It is natural now to ask what future studies in FOM ought or might look like. Here is a sketch of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08cb9ee46db3b724a9e1eadaeef6aa60
https://doi.org/10.1007/978-94-007-0431-2_15
https://doi.org/10.1007/978-94-007-0431-2_15
Autor:
Giovanni Sommaruga
Publikováno v:
Formal Theories of Information ISBN: 9783642006586
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79238a78a32b747a1fe37beaec505972
https://doi.org/10.1007/978-3-642-00659-3_1
https://doi.org/10.1007/978-3-642-00659-3_1