Foto del docente

Guido Gherardi

Professore associato

Dipartimento di Filosofia e Comunicazione

Settore scientifico disciplinare: M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA

Pubblicazioni

Guido, Gherardi; Maël, Pegny, La calculabilité, in: Précis de Philosophie des Mathématiques et de la Logique, Parigi, La Sorbonne, in corso di stampa, pp. 1 - 40 [capitolo di libro]

Vasco, Brattka; Guido, Gherardi; Arno, Pauly, Weihrauch complexity in computable analysis, in: Handbook of Computability and Complexity in Analysis, Berlino, Springer, in corso di stampa, pp. 1 - 49 [capitolo di libro]

Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio, Interpolation in Extensions of First-Order Logic, «STUDIA LOGICA», 2020, 108, pp. 619 - 648 [articolo]

Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli, Interpolation in singular geometric theories, in: Thomas Piecha; Peter Schroeder-Heister, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, tuebingen, University of Tuebingen, 2019, pp. 787 - 796 (atti di: Proof-Thoeeoretic SemanticsAssessment and Future Perspectives, University of Tuebingen, 27-30 marzo 2019) [Contributo in Atti di convegno]Open Access

Guido Gherardi, Alberto Marcone, Arno Pauly, Projection operators in the Weihrauch lattice, «COMPUTABILITY», 2019, 8, pp. 281 - 304 [articolo]Open Access

Guido, Gherardi; Alberto, Marcone, Le direzioni della logica in Italia: la reverse mathematics e l'analisi computazionale, in: Le Direzioni della ricerca logica in Italia 2, Pisa, ETS, 2018, pp. 295 - 332 [capitolo di libro]Open Access

Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder, Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655], «ANNALS OF PURE AND APPLIED LOGIC», 2017, 168, pp. 1605 - 1608 [articolo]

Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli, Interpolation Theorem for First-Order Theories, «THE BULLETIN OF SYMBOLIC LOGIC», 2017, 23, pp. 243 - 244 [abstract]

Vasco Brattka; Guido Gherardi; Rupert Hölzl; Arno Pauly, The Vitali Covering Theorem in the Weihrauch Lattice, in: Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond, Computability and Complexity, Cham, Springer, 2017, pp. 188 - 200 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access

Vasco Brattka; Guido Gherardi; Rupert Hölzl, Las Vegas computability and algorithmic randomness, in: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2015, pp. 130 - 142 (atti di: STACS 2015, München, 04/07/2015-07/03/2015) [Contributo in Atti di convegno]Open Access

Vasco Brattka; Guido Gherardi; Rupert Hölzl, Probabilistic computability and choice, «INFORMATION AND COMPUTATION», 2015, 242, pp. 249 - 286 [articolo]

Vasco Brattka; Guido Gherardi; Alberto Marcone, The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma, «ANNALS OF PURE AND APPLIED LOGIC», 2012, 163, pp. 623 - 655 [articolo]

GUIDO GHERARDI, Alan Turing and the foundations of computable analysis, «THE BULLETIN OF SYMBOLIC LOGIC», 2011, 17, pp. 394 - 430 [articolo]

VASCO BRATTKA; GUIDO GHERARDI, Effective choice and boundedness principles in computable analysis, «THE BULLETIN OF SYMBOLIC LOGIC», 2011, 17, pp. 73 - 117 [articolo]

G. Gherardi, La matematica della mente: il pensiero come calcolo in Hobbes e Boole, «DISCIPLINE FILOSOFICHE», 2011, XXI 1, pp. 153 - 177 [articolo]