Sommaruga, Giovanni.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Axiomatic thinking.II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Turing's revolutionthe impact of his ideas about computability /
by:
Sommaruga, Giovanni.; SpringerLink (Online service); Strahm, Thomas.; Turing, Alan Mathison, (1912-1954.)
(Electronic resources)
Foundational theories of classical and constructive mathematics
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Axiomatic thinking.I
by:
Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Formal theories of informationfrom Shannon to semantic information theory and general concepts of information /
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logic.
Mathematics
Information measurement
Mathematics.
Computable functions.
History of Mathematical Sciences.
Information storage and retrieval systems
Coding and Information Theory.
Hilbert, David,
Computer science
Proof theory.
Discrete Mathematics in Computer Science.
Computer Science.
Constructive mathematics
Axioms.
Philosophy of Mathematics.
Self-organizing systems
Philosophy of Science.
Turing, Alan Mathison,