Research output per year
Research output per year
- 17 results
Search results
-
2021
Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy
Mainzer, K., 1 Jan 2021, Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific Publishing Co., p. 1-32 32 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2019
From Mathesis Universalis to Provability, Computability, and Constructivity
Mainzer, K., 2019, Synthese Library. Springer Science and Business Media B.V., p. 203-234 32 p. (Synthese Library; vol. 412).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2018
Proof and computation: Digitization in mathematics, computer science, and philosophy
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., p. 1-291 291 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Proof and computation: Perspectives beyond turing computability
Mainzer, K., 1 Jan 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., p. 1-52 52 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
2017
From Augmented Reality to the Internet of Things: Paradigm Shifts in Digital Innovation Dynamics
Mainzer, K., 1 Jan 2017, Augmented Reality: Reflections on Its Contribution to Knowledge Formation. De Gruyter, p. 25-40 16 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access3 Scopus citations -
2016
Toward a Theory of Intelligent Complex Systems: From Symbolic AI to Embodied and Evolutionary AI
Mainzer, K., 2016, Synthese Library. Springer Science and Business Media B.V., p. 241-259 19 p. (Synthese Library; vol. 376).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Scopus citations -
2015
The emergence of self-conscious systems: From symbolic ai to embodied robotics
Mainzer, K., 6 Oct 2015, Philosophy, Computing and Information Science. Taylor and Francis, p. 57-66 10 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
2014
The direction of time in dynamical systems
Mainzer, K., 1 Jan 2014, Direction of Time. Springer International Publishing, p. 157-164 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
The new role of mathematical risk modeling and its importance for society
Mainzer, K., 1 Jan 2014, Risk - A Multidisciplinary Introduction. Springer International Publishing, p. 95-129 35 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
4 Scopus citations -
2013
Local activity principle: The cause of complexity and symmetry breaking
Mainzer, K., 1 Jan 2013, Chaos, CNN, Memristors and Beyond: A Festschrift for Leon Chua. World Scientific Publishing Co., p. 146-159 14 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
4 Scopus citations -
2012
Challenges of complexity in chemistry and beyond
Mainzer, K., 2012, Complexity in Chemistry and Beyond: Interplay Theory and Experiment: New and Old Aspects of Complexity in Modern Research. Springer Verlag, p. 1-28 28 p. (NATO Science for Peace and Security Series B: Physics and Biophysics).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Scopus citations -
2010
Challenges of complex systems in cognitive and complex systems
Mainzer, K., 2010, Thinking Machines and the Philosophy of Computer Science: Concepts and Principles. IGI Global, p. 367-384 18 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
2008
Organic computing and complex dynamical systems - Conceptual foundations and interdisciplinary perspectives
Mainzer, K., 2008, Organic Computing. Wurtz, R. (ed.). p. 105-122 18 p. (Understanding Complex Systems; vol. 2008).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
4 Scopus citations -
System: An Introduction to Systems Science
Mainzer, K., 1 Jan 2008, The Blackwell Guide to the Philosophy of Computing and Information. wiley, p. 28-39 12 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
5 Scopus citations -
2007
The emergence of mind and brain: an evolutionary, computational, and philosophical approach
Mainzer, K., 2007, Models of Brain and Mind Physical, Computational and Psychological Approaches. Banerjee, R. & Chakrabarti, B. (eds.). p. 115-132 18 p. (Progress in Brain Research; vol. 168).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
11 Scopus citations -
2006
COMPLEXITY IN NATURE AND SOCIETY: Complexity Management in the Age of Globalization
Mainzer, K., 1 Jan 2006, Complexus Mundi: Emergent Patterns in Nature. World Scientific Publishing Co., p. 113-133 21 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
2005
Science, technology and utopia: Perspectives of a Computer-Assisted evolution of humankind
Mainzer, K., 15 Jul 2005, Thinking Utopia: Steps into Other Worlds. Berghahn Books, p. 106-119 14 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Scopus citations