Abstract

AbstractThis article contains an extended exposition of my talk “Yu. I. Neimark and mathematical rigor” at the special session of the conference MMCT-2020. It discusses the role of mathematical rigor in applied mathematics. The discussion focuses on the question of relationship between continuous processes and their computer modeling. The question of mathematically rigorous formalization of physical theories, which goes back to Hilbert’s 6th problem and the widespread the point of view that continuous mathematics is an approximation of the discrete one, and not vice versa are also discussed. A new axiomatic of set theory is introduced that includes vague definitions and concepts at the same level of rigor as in modern classical mathematics, which operates only with well-defined objects. This allows to consider some non-rigorous arguments of applied mathematics as rigorous ones and, thus, to be sure that they are consistent.KeywordsNonstandard analysisInfinitely large numbersHyperfinite set

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.