7 found
Order:
See also
Rossella Lupacchini
University of Bologna
  1.  87
    Machines, Logic and Quantum Physics.David Deutsch, Artur Ekert & Rossella Lupacchini - 2000 - Bulletin of Symbolic Logic 6 (3):265-283.
  2. 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]David Deutsch, Artur Ekert & Rossella Lupacchini - 2000 - Bulletin of Symbolic Logic 6 (3).
  3.  24
    A Philosophical Path from Königsberg to Kyoto: The Science of the Infinite and the Philosophy of Nothingness.Rossella Lupacchini - 2021 - Sophia 60 (4):851-868.
    ‘Mathematics is the science of the infinite, its goal the symbolic comprehension of the infinite with human, that is finite, means.’ Along this line, in The Open World, Hermann Weyl contrasted the desire to make the infinite accessible through finite processes, which underlies any theoretical investigation of reality, with the intuitive feeling for the infinite ‘peculiar to the Orient,’ which remains ‘indifferent to the concrete manifold of reality.’ But a critical analysis may acknowledge a valuable dialectical opposition. Struggling to spell (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  10
    Deduction, Computation, Experiment: Exploring the Effectiveness of Proof.Giovanna Corsi & Rossella Lupacchini (eds.) - 2008 - Berlin and Milano: Springer.
    The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. The Emergence of Physical Meaning.Rossella Lupacchini - 1997 - Epistemologia 20 (1):33-66.
     
    Export citation  
     
    Bookmark  
  6. Computing Machines.Wilfried Sieg & Rossella Lupacchini - unknown
    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..
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  22
    Hilbert's Axiomatics as ‘Symbolic Form’?Rossella Lupacchini - 2014 - 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 (4 more)  
     
    Export citation  
     
    Bookmark