Carlo Cellucci

Available identifiers

zbMath Open cellucci.carloMaRDI QIDQ360437

List of research outcomes

Publication	Date of Publication	Type
Reconnecting logic with discovery	2024-12-11	Paper
The theory of Gödel	2022-09-05	Paper
The making of mathematics. Heuristic philosophy of mathematics	2022-01-03	Paper
Diagrams in mathematics	2020-01-24	Paper
Definition in mathematics	2020-01-24	Paper
Rethinking knowledge. The heuristic view	2018-11-29	Paper
Mathematical beauty, understanding, and discovery	2017-08-17	Paper
Is mathematics problem solving or theorem proving?	2017-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q5271418	2017-07-11	Paper
Top-down and bottom-up philosophy of mathematics	2013-08-27	Paper
Rethinking logic. Logic in relation to mathematics, evolution, and method	2013-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q2998293	2011-05-18	Paper
Why proof? What is a proof?	2010-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3629613	2009-06-02	Paper
The universal generalization problem	2009-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q3159170	2005-02-15	Paper
Analytic cut trees	2002-01-06	Paper
The decidability of syllogism	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4950495	2000-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4365301	1997-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4365303	1997-11-04	Paper
Existential instantiation and normalization in sequent natural deduction	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3821628	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3720594	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912573	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956939	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3877677	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3879220	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143280	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4087151	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4099611	1975-01-01	Paper
On the role of reducibility principles	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5652656	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5561928	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5556389	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5527818	1964-01-01	Paper

Research outcomes over time

This page was built for person: Carlo Cellucci