§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, 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 be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is written in the (...) language of mathematics”. Galileo's introduction of mathematically formulated, testable theories into physics marked the transition from the Aristotelian conception of physics, resting on supposedly necessary a priori principles, to its modern status as a theoretical, conjectural and empirical science. Instead of seeking an infallible universal mathematical design, Galilean science usesmathematics to express quantitative descriptions of an objective physical reality. Thus mathematics became the language in which we express our knowledge of the physical world — a language that is not only extraordinarily powerful and precise, but also effective in practice. Eugene Wigner referred to “the unreasonable effectiveness of mathematics in the physical sciences”. But is this effectiveness really unreasonable or miraculous?Numbers, sets, groups and algebras have an autonomous reality quite independent of what the laws of physics decree, and the properties of these mathematical structures can be just as objective as Plato believed they were. (shrink)

‘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 (...) out the infinity of real numbers mathematicians come to see the active role of emptiness. Pondering over the essence of self-awareness, the Japanese philosopher Nishida Kitarō comes to see the ‘place’ where it abides as absolute nothingness. Thus, the two ways of seeing coalesce into a perspective in which infinity and nothingness mirror each other. (shrink)

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.

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, (...) the logic of 'things' cannot be separated from the logic of 'signs,' as "the sign is no mere accidental cloak of the idea, but its necessary and essential organ."Every 'law' of .. (shrink)

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..

§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, 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 be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is written in the (...) language of mathematics”. Galileo's introduction of mathematically formulated, testable theories into physics marked the transition from the Aristotelian conception of physics, resting on supposedly necessary a priori principles, to its modern status as a theoretical, conjectural and empirical science. Instead of seeking an infallible universal mathematical design, Galilean science usesmathematics to express quantitative descriptions of an objective physical reality. Thus mathematics became the language in which we express our knowledge of the physical world — a language that is not only extraordinarily powerful and precise, but also effective in practice. Eugene Wigner referred to “the unreasonable effectiveness of mathematics in the physical sciences”. But is this effectiveness really unreasonable or miraculous?Numbers, sets, groups and algebras have an autonomous reality quite independent of what the laws of physics decree, and the properties of these mathematical structures can be just as objective as Plato believed they were (and as Roger Penrose now advocates). (shrink)