Order:
Disambiguations
G. Lolli [56]Gabriele Lolli [20]
  1.  6
    Federigo Enriques at the 1935 International Congress for Scientific Philosophy in Paris.Gabriele Lolli - 2018 - Philosophia Scientiae 22:119-134.
    Au Congrès de philosophie scientifique de 1935 comme lors du lancement de l’Encyclopédie internationale de la science unifiée, Federigo Enriques était reconnu par les néo-positivistes comme un de leurs pères fondateurs, sans qu’il fût tout à fait d’accord. À Paris, Enriques représentait le groupe des philosophes des sciences italiens et son nom était lié au journal Scientia, ouvert aux contributions des positivistes logiques. Ces derniers, désireux de constituer un front commun pour lutter contre les philosophies idéalistes et métaphysiques alors dominantes, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  31
    On Ramsey's theorem and the axiom of choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
  3. Omaggio a Ludovico Geymonat.Enrico Bellone, Corrado Mangione, Giulio Giorello, Marco Mondadori, Gabriele Lolli, Silvano Tagliagambe, Francesco Barone, Umberto Bottazzini, Vincenzo Cappelletti, Domenico Costantini, Piero Mangani, Carlos Minguez, Alberto Pasquinelli, Rossano Pancaldi & Mario Servi - 1992 - Franco Muzzio Editore.
  4.  16
    Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
  5. Storia del Pensiero Filosofico e Scientifico - 8° vol.Ludovico Geymonat, Carlo Becchi, Enrico Bellone, Francesco Bertola, Giovanni Boniolo, Umberto Bottazzini, Salvatore Califano, Mauro Ceruti, Gilberto Corbellini, Roberto Cordeschi, Alessandra Gliozzi, Felice Ippolito, Gabriele Lolli, Alberto Oliverio, Bianca Oscurati & Corrado Mangione - 1996 - Garzanti.
  6. Of the association for symbolic logic.S. Lempp, G. Lolli, D. Marker, T. Martin, R. McKenzie, W. Pohlers, W. Sieg, U. de’Liguro, M. Dezani & A. Marcone - 2005 - Bulletin of Symbolic Logic 11 (2).
  7.  2
    Beffe, scienziati e stregoni: la scienza oltre realismo e relativismo.Gabriele Lolli - 1998 - Il Mulino.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Dalla filosofia della scienza alla logica.G. Lolli - 1988 - Rivista di Filosofia 79 (2-3):349-379.
    No categories
     
    Export citation  
     
    Bookmark  
  9. Engels e le scienze della natura.Gabriele Lolli - 1976 - Rivista di Filosofia 6:433.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  22
    From Logic to Practice: Italian Studies in the Philosophy of Mathematics.Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.) - 2014 - Cham: Springer International Publishing.
    In the Tractatus, it is stated that questions about logical formatting cannot be meaningfully formulated, since it is precisely the application of logical rules which enables the formulation of a question whatsoever; analogously, Wittgenstein’s celebrated infinite regress argument on rule-following seems to undermine any explanation of deduction, as relying on a logical argument. On the other hand, some recent mathematical developments of the Curry-Howard bridge between proof theory and type theory address the issue of describing the “subjective” side of logic, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  49
    Foundational problems from computation theory.Gabriele Lolli - 1985 - Synthese 62 (2):275 - 288.
  12. Il cervello matematico.Gabriele Lolli - 2000 - Nuova Civiltà Delle Macchine 18 (3):70-85.
    No categories
     
    Export citation  
     
    Bookmark  
  13. Is Incompleteness A Serious Problem?G. Lolli & U. Pagallo - unknown
    whole numbers that manages to assert that it itself is unprovable (from a given finite set F of axioms using formal logic). (Gödel's paper is included in the well-known anthology [1].) GF : ``GF cannot be proved from the finite set of axioms F.'' This assertion GF is therefore true if and only if it is unprovable, and the formal axiomatic system F in question either proves falsehoods (because it enables us to prove GF) or fails to prove a true (...)
     
    Export citation  
     
    Bookmark  
  14. L'imperialismo assiomatico.G. Lolli - 1994 - Rivista di Filosofia 85 (2):293-299.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Logic and Computer Science: New Trends and Applications.G. Lolli (ed.) - 1987 - Rosenberg & Sellier.
  16.  4
    Proceedings of the Colloquium: Held in Florence, 23-28 Aug., 1982. 1982.Gabriele Lolli, Giuseppe Longo & Annalisa Marcja - 1984 - North Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Logical completeness, truth, and proofs.Gabriele Lolli - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 117.
  18.  5
    L'arte di pensare: matematica e filosofia.Gabriele Lolli & Francesco Saverio Tortoriello (eds.) - 2020 - [Turin]: UTET università.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Nuove versioni del logicismo.Gabriele Lolli - 1975 - Rivista di Filosofia 2:305.
    No categories
     
    Export citation  
     
    Bookmark  
  20. Paradigmi e manuali.G. Lolli - 1993 - Rivista di Filosofia 84 (1):87-117.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  8
    Peano’s Reception in the USA. Wilson’s Review of Russell’s Principles.Gabriele Lolli - 2021 - Philosophia Scientiae 25:49-67.
    In a review of Russell’s Principles from 1904, Edwin B. Wilson pays great attention to Peano’s work and that of his collaborators. His purpose was to make this work known in the USA where it “unfortunately is very little known and still less appreciated”. Wilson expands Russell’s well-known acknowledgement of Peano’s influence on his own development, seeing in Peano’s logic more than a new “mathematical tool”, describing Peano as a kind of proto-logicist, and defending him from Poincaré’s criticisms. Especially in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  12
    Peano’s Reception in the USA. Wilson’s Review of Russell’s Principles.Gabriele Lolli - 2021 - Philosophia Scientiae 25:49-67.
    In a review of Russell’s Principles from 1904, Edwin B. Wilson pays great attention to Peano’s work and that of his collaborators. His purpose was to make this work known in the USA where it “unfortunately is very little known and still less appreciated”. Wilson expands Russell’s well-known acknowledgement of Peano’s influence on his own development, seeing in Peano’s logic more than a new “mathematical tool”, describing Peano as a kind of proto-logicist, and defending him from Poincaré’s criticisms. Especially in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  5
    QED: fenomenologia della dimostrazione.Gabriele Lolli - 2005 - Torino: Bollati Boringhieri.
  24. Sulle descrizioni: la radice quadrata di—1 e la prova ontologica.Gabriele Lolli - 1975 - Rivista di Filosofia 3:409-417.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  25.  12
    The meaning of proofs: mathematics as storytelling.Gabriele Lolli - 2022 - Cambridge, Massachusetts: The MIT Press. Edited by Bonnie McClellan-Broussard & Matilde Marcolli.
    This book introduces readers to the narrative structure of mathematical proofs and why mathematicians communicate that way, drawing examples from classic literature and employing metaphors and imagery.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  3
    Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento.Gabriele Lolli - 2016 - Milano: Raffaello Cortina editore.
  27.  38
    Gabriele Lolli. Fenomenologia della dimostrazione. Turin: Il Mulino, 2005. ISBN 88-339-1588-3. Pp. 182. [REVIEW]Gabriele Lolli - 2007 - Philosophia Mathematica 15 (1):132-134.
    In his book Gabriele Lolli discusses the notion of proof, which is, according to him, the most important and at the same time the least studied aspect of mathematics. According to Lolli, a theorem is a conditional sentence of the form ‘if T then A’ such that A is a logical consequence of T, where A is a sentence and T is a sentence or a conjunction or set of sentences. Verifying that A is a consequence of T generally involves (...)
    Direct download  
     
    Export citation  
     
    Bookmark