13 found
Order:
  1.  20
    On Ramsey's Theorem and the Axiom of Choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
  2.  45
    Foundational Problems From Computation Theory.Gabriele Lolli - 1985 - Synthese 62 (2):275 - 288.
  3.  13
    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.  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.
  6. 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.
  7. 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.
  8. Beffe, Scienziati E Stregoni la Scienza Oltre Realismo E Relativismo.Gabriele Lolli - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Engels e le scienze della natura.Gabriele Lolli - 1976 - Rivista di Filosofia 6:433.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  3
    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. Il cervello matematico.Gabriele Lolli - 2000 - Nuova Civiltà Delle Macchine 18 (3):70-85.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Nuove versioni del logicismo.Gabriele Lolli - 1975 - Rivista di Filosofia 2:305.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Qed: Fenomenologia Della Dimostrazione.Gabriele Lolli - 2005 - Bollati Boringhieri.
    Translate
     
     
    Export citation  
     
    Bookmark