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», 2019, online first, pp. 1 - 30 [articolo]

Guido Gherardi, Alberto Marcone, Arno Pauly, Projection perators in the Weihrauch lattice, «COMPUTABILITY», 2019, On line first, pp. 1 - 24 [articolo]

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]

Vasco, Brattka; Andrea, Cettolo; Gherardi, Guido; 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]

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]

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), «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]

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]

Guido Gherardi, Teoremi dell'analisi e gradi di incomputabilità, in: La ricerca logica in Italia. Studi in onore di Corrado Mangione, MILANO, Cisalpino, 2011, pp. 357 - 378 [capitolo di libro]

VASCO BRATTKA; GUIDO GHERARDI, Weihrauch degrees, omniscience principles and weak computability, «THE JOURNAL OF SYMBOLIC LOGIC», 2011, 76, pp. 143 - 176 [articolo]