Order:
Disambiguations
G. Lolli [57]Gabriele Lolli [15]
  1.  23
    On Ramsey's Theorem and the Axiom of Choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
  2. 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.
  3.  7
    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.
  4. 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.
  5. 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).
  6. Beffe, Scienziati E Stregoni la Scienza Oltre Realismo E Relativismo.Gabriele Lolli - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Dalla filosofia della scienza alla logica.G. Lolli - 1988 - Rivista di Filosofia 79 (2-3):349-379.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Engels e le scienze della natura.Gabriele Lolli - 1976 - Rivista di Filosofia 6:433.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Federigo Enriques at the 1935 International Congress for Scientific Philosophy in Paris.Gabriele Lolli - 2018 - Philosophia Scientae 22:119-134.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    From Logic to Practice.Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.) - 2015 - 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  
     
    Export citation  
     
    Bookmark  
  11.  45
    Foundational Problems From Computation Theory.Gabriele Lolli - 1985 - Synthese 62 (2):275 - 288.
  12.  16
    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  
  13. Il cervello matematico.Gabriele Lolli - 2000 - Nuova Civiltà Delle Macchine 18 (3):70-85.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. 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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. L'imperialismo assiomatico.G. Lolli - 1994 - Rivista di Filosofia 85 (2):293-299.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Logic and Computer Science: New Trends and Applications.G. Lolli (ed.) - 1987 - Rosenberg & Sellier.
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982.G. Lolli, Giuseppe Longo & A. Marcja - 1984
     
    Export citation  
     
    Bookmark  
  18.  4
    Logical Completeness, Truth, and Proofs.Gabriele Lolli - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 117.
  19. Nuove versioni del logicismo.Gabriele Lolli - 1975 - Rivista di Filosofia 2:305.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Paradigmi e manuali.G. Lolli - 1993 - Rivista di Filosofia 84 (1):87-117.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  1
    Peano’s Reception in the USA. Wilson’s Review of Russell’s Principles.Gabriele Lolli - 2021 - Philosophia Scientae 25:49-67.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Qed: Fenomenologia Della Dimostrazione.Gabriele Lolli - 2005 - Bollati Boringhieri.
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Sulle descrizioni: la radice quadrata di—1 e la prova ontologica.Gabriele Lolli - 1975 - Rivista di Filosofia 3:409-417.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation