BENINI MARCO

University Researchers
DEPARTMENT OF SCIENCE AND HIGH TECHNOLOGY
Insubria University
Italy

Scientist Mathematics
Biography

Currently he is working as Assistant Professor in Mathematical Logic at Dipartimento di Scienza e Alta Tecnologia Università degli Studi dell’Insubria

Research Intrest

Constructive and intuitionistic mathematics Theory of topoi and applications Philosophy of information

List of Publications
F. Gobbo, M. Benini, The Minimal Levels of Abstraction in the History of Modern Computing, Philosophy & Technology 27(3), pp. 327-343 (2014)
F. Gobbo, M. Benini, Why zombies can’t write significant source code: The Knowledge Game and the Art of Computer Programming, Journal of Experimental & Theoretical Artificial Intelligence 27(1), pp. 37-50 (2015)
F. Gobbo, M. Benini, What Can We Know of Computational Information? The Conceptual Re-Engineering of Measuring, Quantity, and Quality, Topoi 35(1), pp. 203-212 (2016). Published online since 2014.