13 found
Sort by:
Disambiguations:
G. Lolli [9]Gabriele Lolli [5]
  1. G. Lolli & U. Pagallo, Is Incompleteness A Serious Problem?
    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 (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. S. Lempp, G. Lolli, D. Marker, T. Martin, R. McKenzie, W. Pohlers, W. Sieg, U. de’Liguro, M. Dezani & A. Marcone (2005). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 11 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gabriele Lolli (2005). Qed: Fenomenologia Della Dimostrazione. Bollati Boringhieri.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Gabriele Lolli (1998). Logical Completeness, Truth, and Proofs. In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. 117.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. G. Lolli (1994). L'imperialismo assiomatico. Rivista di Filosofia 85 (2):293-299.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. G. Lolli (1993). Paradigmi E Manuali. Rivista di Filosofia 84 (1):87-117.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. G. Lolli (1988). Dalla filosofia della scienza alla logica. Rivista di Filosofia 79 (2-3):349-379.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. G. Lolli (ed.) (1987). Logic and Computer Science: New Trends and Applications. Rosenberg & Sellier.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Gabriele Lolli (1985). Foundational Problems From Computation Theory. Synthese 62 (2):275 - 288.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. Van Dalen (1984). Meeting of the Association for Symbolic Logic: Florence, Italy 1982. Journal of Symbolic Logic 49 (2):683 - 710.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen (1984). Meeting of the Association for Symbolic Logic: Florence, Italy 1982. Journal of Symbolic Logic 49 (2):683-710.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Gabriele Lolli (1977). On Ramsey's Theorem and the Axiom of Choice. Notre Dame Journal of Formal Logic 18 (4):599-601.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Gabriele Lolli (1975). Sulle descrizioni: la radice quadrata di—1 e la prova ontologica. Rivista di Filosofia 3:409-417.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation