Add to ORKGAxiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized by opposing philosophical views of Science. This paper shows that, by giving formal proofs a more promi- nent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this ap- proach allows, by means of Proof Theory, to open new conceptual bridges between the disciplines of Physics and Computer Science
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
It is frequently claimed (see e.g. [Rav]) that the formalization of a mathematical proof requires a ...
The aim of this work is, first, to set the basis for a formal model of science, then, it is to show ...
Abstract. Axiomatization of Physics (and Science in general) has many drawbacks that are correctly c...
We present a mathematical model formalizing the practice of science in nature. The model, which we n...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
The idea that science can be automated is so deeply related to the view that the method of mathemati...
The formal sciences - mathematical as opposed to natural sciences, such as operations research, stat...
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing...
Abstract. In this paper, we report our first experiments in using learning-assisted automated reason...
The aim of this work is, first, to set the basis for a formal model of science, then, it is to show ...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
A good proof is a proof that makes us wiser. Manin [41, p. 209]. Abstract. Hilbert’s concept of form...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
When mathematicians discuss proofs, they rarely have a particular formal system in mind. Indeed, the...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
It is frequently claimed (see e.g. [Rav]) that the formalization of a mathematical proof requires a ...
The aim of this work is, first, to set the basis for a formal model of science, then, it is to show ...
Abstract. Axiomatization of Physics (and Science in general) has many drawbacks that are correctly c...
We present a mathematical model formalizing the practice of science in nature. The model, which we n...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
The idea that science can be automated is so deeply related to the view that the method of mathemati...
The formal sciences - mathematical as opposed to natural sciences, such as operations research, stat...
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing...
Abstract. In this paper, we report our first experiments in using learning-assisted automated reason...
The aim of this work is, first, to set the basis for a formal model of science, then, it is to show ...
Today highly nontrivial mathematics is routinely being encoded in the computer, ensuring a reliabil-...
A good proof is a proof that makes us wiser. Manin [41, p. 209]. Abstract. Hilbert’s concept of form...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
When mathematicians discuss proofs, they rarely have a particular formal system in mind. Indeed, the...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
It is frequently claimed (see e.g. [Rav]) that the formalization of a mathematical proof requires a ...
The aim of this work is, first, to set the basis for a formal model of science, then, it is to show ...