Add to ORKGThe article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects). Axiomatic method is used at the stage of systematization of acquired knowledge and is both the result and the means of mathematical knowledge consolidation
(definitional) and axiomatic theories. 2. Various philosophical and semantical theories are candidat...
In the development of mathematics, objectives are currently more abstract, including the types of qu...
In the development of mathematics, objectives are currently more abstract, including the types of qu...
The article covers one of the formalization forms - axiomatization - and its role in the process of ...
The article provides the analysis of algorithmization as one of the forms of formalization used as a...
Theorems that are proven within the framework of mathematical theories enjoy an especially high degr...
Abstract. The persisting gap between the formal and the informal mathematics is due to an inadequate...
AbstractThe scientific foundation of mathematics is based on primary notions, primary relations and ...
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature...
A more careful consideration of the recently introduced ”Grossone Theory ” of Yaroslav Sergeev, [1],...
Abstract. Formal axiomatic method popularized by Hilbert and recently defended by Hintikka (in its s...
This article surveys the different views of mathematical methodology that occurred from ancient Gree...
The genetic method is often regarded as a counter-current to the New Math and its exaggeration of fo...
The article takes up the problem of the possibility and usefulness of philosophy of mathematics for ...
The received view concerning mathematics is the one, that mathematics is a priori, and that mathemat...
(definitional) and axiomatic theories. 2. Various philosophical and semantical theories are candidat...
In the development of mathematics, objectives are currently more abstract, including the types of qu...
In the development of mathematics, objectives are currently more abstract, including the types of qu...
The article covers one of the formalization forms - axiomatization - and its role in the process of ...
The article provides the analysis of algorithmization as one of the forms of formalization used as a...
Theorems that are proven within the framework of mathematical theories enjoy an especially high degr...
Abstract. The persisting gap between the formal and the informal mathematics is due to an inadequate...
AbstractThe scientific foundation of mathematics is based on primary notions, primary relations and ...
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature...
A more careful consideration of the recently introduced ”Grossone Theory ” of Yaroslav Sergeev, [1],...
Abstract. Formal axiomatic method popularized by Hilbert and recently defended by Hintikka (in its s...
This article surveys the different views of mathematical methodology that occurred from ancient Gree...
The genetic method is often regarded as a counter-current to the New Math and its exaggeration of fo...
The article takes up the problem of the possibility and usefulness of philosophy of mathematics for ...
The received view concerning mathematics is the one, that mathematics is a priori, and that mathemat...
(definitional) and axiomatic theories. 2. Various philosophical and semantical theories are candidat...
In the development of mathematics, objectives are currently more abstract, including the types of qu...
In the development of mathematics, objectives are currently more abstract, including the types of qu...