Report
Share
Recommended
The principle of constructive mathematizability of any theory: A sketch of fo...
A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality.
Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction.
Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom.
An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being (rather than reality for reality is external only to Gödel mathematics) is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem.
Communiqué de presse : Le refuge d’Ayous s’équipe d’une connexion Internet Ha...
Le refuge de montagne d’Ayous, propriété du Parc national des Pyrénées, est désormais équipé d’une connexion à Internet Haut-Débit par satellite commercialisée par Nordnet, filiale d’Orange.
Recommended
The principle of constructive mathematizability of any theory: A sketch of fo...
A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality.
Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction.
Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom.
An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being (rather than reality for reality is external only to Gödel mathematics) is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem.
Communiqué de presse : Le refuge d’Ayous s’équipe d’une connexion Internet Ha...
Le refuge de montagne d’Ayous, propriété du Parc national des Pyrénées, est désormais équipé d’une connexion à Internet Haut-Débit par satellite commercialisée par Nordnet, filiale d’Orange.
Codigos bidimensionales.
Trabajo universitario sobre codigo bidimensionales, concretamente DataMatrix.
Ontological and historical responsibility. The condition of possibility
The main thesis is:
Ontological and historical responsibility refers to the choice of reality. Thus one should suppose many realities, each of which its own and unique histories, and correspondingly as many histories as realities. However, history as science recognise only a single history and a single reality, which can be well-defined only to the past, but not to future and even not to the present
Leandro Neves - Segurança da Informação
Seminário de Políticas Públicas & Negócios - Dia 31
Painel 05: Segurança da Informação
Leandro Neves, Telebras
More Related Content
Viewers also liked
Codigos bidimensionales.
Trabajo universitario sobre codigo bidimensionales, concretamente DataMatrix.
Ontological and historical responsibility. The condition of possibility
The main thesis is:
Ontological and historical responsibility refers to the choice of reality. Thus one should suppose many realities, each of which its own and unique histories, and correspondingly as many histories as realities. However, history as science recognise only a single history and a single reality, which can be well-defined only to the past, but not to future and even not to the present
Leandro Neves - Segurança da Informação
Seminário de Políticas Públicas & Negócios - Dia 31
Painel 05: Segurança da Informação
Leandro Neves, Telebras
Viewers also liked (7)
"Possible Worlds and Substances“ by Vladislav Terekhovich
"Possible Worlds and Substances“ by Vladislav Terekhovich
Ontological and historical responsibility. The condition of possibility
Ontological and historical responsibility. The condition of possibility
Prosessikuvaus
- 1. PROSESSIKUVAUS Kaislikossa Suhisee – Well Done