Klaus Mainzer

Available identifiers

zbMath Open mainzer.klausMaRDI QIDQ535652

List of research outcomes

Publication	Date of Publication	Type
Proof and computation	2024-09-09	Paper
Temporal Logic	2023-07-04	Paper
Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy	2022-06-17	Paper
From Mathesis Universalis to Provability, Computability, and Constructivity	2020-08-10	Paper
The Digital and the Real World	2018-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q5251052	2015-05-22	Paper
Symmetry and Complexity of Cellular Automata: Towards an Analytical Theory of Dynamical System	2014-11-12	Paper
Manche begeistern sich halt nicht für Mathematik, sondern für Goethes Gedichte	2014-06-03	Paper
Local Activity Principle	2013-05-03	Paper
The Universe as Automaton	2011-09-19	Paper
The emergence of temporal structures in dynamical systems	2011-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q5506234	2009-01-28	Paper
Thinking in Complexity	2008-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5703829	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4681623	2005-06-24	Paper
CELLULAR NEURAL NETWORKS AND VISUAL COMPUTING	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4440468	2003-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4950510	2000-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4256469	1999-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4210443	1998-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4354988	1997-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4341640	1997-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3125992	1997-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4876457	1996-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4858638	1995-12-18	Paper
Zahlen	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4003179	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3998810	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3998849	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3346260	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3331164	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944544	1980-01-01	Paper
Is the intuitionistic bar-induction a constructive principle?	1977-01-01	Paper
MATHEMATISCHER KONSTRUKTIVISMUS IM LICHTE-KANTISCHER PHILOSOPHIE	1972-01-01	Paper

Research outcomes over time

This page was built for person: Klaus Mainzer