Sommaruga, Giovanni.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Axiomatic Thinking I
by:
SpringerLink (Online service); Kahle, Reinhard.; Sommaruga, Giovanni.; Ferreira, Fernando.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Turing's revolution = the impact of his ideas about computability /
by:
Sommaruga, Giovanni.; Strahm, Thomas.; Turing, Alan Mathison, (1912-1954.); SpringerLink (Online service)
(Language materials, printed)
Axiomatic Thinking II
by:
Ferreira, Fernando.; Sommaruga, Giovanni.; Kahle, Reinhard.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Language materials, printed)
Foundational theories of classical and constructive mathematics
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Language materials, printed)
Turing’s Revolution = The Impact of His Ideas about Computability /
by:
SpringerLink (Online service); Strahm, Thomas.; Sommaruga, Giovanni.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Self-organizing systems
Coding and Information Theory.
Turing, Alan Mathison,
Information storage and retrieval systems
Mathematics
Theory of Computation.
Constructive mathematics
Discrete Mathematics in Computer Science.
Information measurement
Computer Science.
Mathematics—Philosophy.
Logic.
Philosophy of Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Computer science
Computable functions.
History of Mathematical Sciences.
Philosophy of Science.
History.
Mathematics.