All Issues

2018, no. 4


Guts A.K.

The article represents the theory gravity based on Kock-Lower's infinitosimal analysis. Transition from classical differential and integral calculus to Kock-Lower's analysis means the transition from the classical two-valued logic to intuitionistic logic. Set theory is not may already serve as a way of interpreting the objects of such a theory, and it is necessary to use the theory of smooth topoi. Topos models represent the Universe around us more multifaceted, multivariate consisting of an infinite variety of different many-dimensional "parallel" worlds which are endowed with new physical properties.

Keywords: general relativity, intuitionistic logic, infinitosimal, smooth infinitosimal analysis, topoi, intuitionistic theory of gravitation, principle of equivalence, antigravitation, cosmology.

UDC: 530.12

PACS: 04.20.Cv

DOI: 10.17238/issn2226-8812.2018.4.70-91

Please cite this article in English as:
Guts A.K. General Relativity based on intuitionistic logic. Space, Time and Fundamental Interactions, 2018, no. 4, pp. 70-91.