Order:
Disambiguations
G. Lolli [57]Gabriele Lolli [13]
  1.  19
    On Ramsey's Theorem and the Axiom of Choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
  2.  44
    Foundational Problems From Computation Theory.Gabriele Lolli - 1985 - Synthese 62 (2):275 - 288.
  3.  9
    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  
  4. 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  
  5.  6
    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.
  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.  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.
  8. 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  
  9. 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.
  10. 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.
  11. Beffe, Scienziati E Stregoni la Scienza Oltre Realismo E Relativismo.Gabriele Lolli - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Dalla filosofia della scienza alla logica.G. Lolli - 1988 - Rivista di Filosofia 79 (2-3):349-379.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Engels e le scienze della natura.Gabriele Lolli - 1976 - Rivista di Filosofia 6:433.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  1
    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  
  15. Il cervello matematico.Gabriele Lolli - 2000 - Nuova Civiltà Delle Macchine 18 (3):70-85.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. L'imperialismo assiomatico.G. Lolli - 1994 - Rivista di Filosofia 85 (2):293-299.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Logic and Computer Science: New Trends and Applications.G. Lolli (ed.) - 1987 - Rosenberg & Sellier.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982.G. Lolli, Giuseppe Longo & A. Marcja - 1984
     
    Export citation  
     
    Bookmark  
  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. Qed: Fenomenologia Della Dimostrazione.Gabriele Lolli - 2005 - Bollati Boringhieri.
    Translate
     
     
    Export citation  
     
    Bookmark