6 found
Sort by:
  1. Wilfried Sieg & Rossella Lupacchini, Computing Machines.
    Any thorough discussion of computing machines requires the examination of rigorous concepts of computation and is facilitated by the distinction between mathematical, symbolic and physical computations. The delicate connection between the three kinds of computations and the underlying questions, "What are machines?" and "When are they computing?", motivate an extensive theoretical and historical discussion. The relevant outcome of this..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Rossella Lupacchini (2014). Introduction: Hilbert's Axiomatics as 'Symbolic Form'? Perspectives on Science 22 (1):1-34.
    Both Hilbert's axiomatics and Cassirer's philosophy of symbolic forms have their roots in Leibniz's idea of a 'universal characteristic,' and grow on Hertz's 'principles of mechanics,' and Dedekind's 'foundations of arithmetic'. As Cassirer recalls in the introduction to his Philosophy of Symbolic Forms, it was the discovery of the analysis of infinity that led Leibniz to focus on "the universal problem inherent in the function of symbolism, and to raise his 'universal characteristic' to a truly philosophical plane." In Leibniz's view, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Giovanna Corsi & Rossella Lupacchini (eds.) (2008). Deduction, Computation, Experiment. Exploring the Effectiveness of Proof. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. David Deutsch, Artur Ekert & Rossella Lupacchini (2000). Cannot Be Certain, nor Can It Be Justified a Priori. Instead, It Must Be Conjec-Tured, and Then Tested by Experiment, and This Requires It to Be Expressed in a Language Appropriate for Making Precise, Empirically Testable Predictions. That Language is Mathematics. This in Turn Constitutes a Statement About What the Physical World Must. [REVIEW] Bulletin of Symbolic Logic 6 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. David Deutsch, Artur Ekert & Rossella Lupacchini (2000). Machines, Logic and Quantum Physics. Bulletin of Symbolic Logic 6 (3):265-283.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Rossella Lupacchini (1997). The Emergence of Physical Meaning. Epistemologia 20 (1).
     
    My bibliography  
     
    Export citation