Sommaruga, Giovanni.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 I
by:
SpringerLink (Online service); Kahle, Reinhard.; Sommaruga, Giovanni.; Ferreira, Fernando.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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
Turing, Alan Mathison,
Theory of Computation.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Computer science
Computable functions.
History of Mathematical Sciences.
History.
Mathematics.
Information storage and retrieval systems
Mathematics—Philosophy.
Coding and Information Theory.
Constructive mathematics
Computer Science.
Philosophy of Science.
Mathematics
Discrete Mathematics in Computer Science.
Information measurement
Philosophy of Mathematics.