Mainzer, Klaus.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
Mainzer, Klaus.
(Electronic resources)
Artificial intelligence = when do machines take over? /
by:
Mainzer, Klaus.; SpringerLink (Online service)
(Electronic resources)
Limits of AI -- theoretical, practical, ethical
by:
Mainzer, Klaus.; SpringerLink (Online service); Kahle, Reinhard.
(Electronic resources)
Proof and computation II = from proof theory and univalent mathematics to program extraction and verification /
by:
Mainzer, Klaus.; Schuster, Peter, (1966-); Schwichtenberg, Helmut, (1942-)
(Electronic resources)
Subjects
Mathematics- Philosophy.
Logic, Symbolic and mathematical.
Popular Science in Technology.
Artificial intelligence- Moral and ethical aspects.
Computational Intelligence.
Mathematical and Computational Engineering Applications.
Artificial Intelligence.
Artificial intelligence.
Mathematics- Data processing.