19 found
Sort by:
Disambiguations:
G. Lolli [44]Gabriele Lolli [9]
  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 (...)
    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 (2000). Il cervello matematico. Nuova Civiltà Delle Macchine 18 (3):70-85.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Gabriele Lolli (1998). Beffe, Scienziati E Stregoni la Scienza Oltre Realismo E Relativismo. Monograph Collection (Matt - Pseudo).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Gabriele Lolli (1998). Logical Completeness, Truth, and Proofs. In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa 117.
  7. G. Lolli (1994). L'imperialismo assiomatico. Rivista di Filosofia 85 (2):293-299.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. G. Lolli (1993). Paradigmi e manuali. Rivista di Filosofia 84 (1):87-117.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Sari Nusseibeh, Gabriel Nuchelmans, Francisco A. Rodriguez-Consuegra, G. Lolli, D. P. Henry, Francis Jeffry Pelletier, George Rousspoulos, J. Woleński, B. Smith & Peter Simons (1992). Book Reviews. [REVIEW] History and Philosophy of Logic 13 (1):115-132.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. G. Lolli (ed.) (1987). Logic and Computer Science: New Trends and Applications. Rosenberg & Sellier.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Gabriele Lolli (1985). Foundational Problems From Computation Theory. Synthese 62 (2):275 - 288.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.
  14. 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.
  15. G. Lolli, Giuseppe Longo & A. Marcja (1984). Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. Gabriele Lolli (1976). Engels e le scienze della natura. Rivista di Filosofia 6:433.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. Gabriele Lolli (1975). Nuove versioni del logicismo. Rivista di Filosofia 2:305.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. 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