Results 11 to 20 of about 436,373 (139)
Marriages of Mathematics and Physics: A Challenge for Biology [PDF]
The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century.
Islami, Arezoo, Longo, Giuseppe
core +4 more sources
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
A new foundational crisis in mathematics, is it really happening?
The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the ...
A J C Hurkens +23 more
core +1 more source
Quotient completion for the foundation of constructive mathematics [PDF]
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
Hilbert's 'World Equations' and His Vision of a Unified Science [PDF]
In summer 1923, a year after his lectures on the `New Foundation of Mathematics' and half a year before the republication of his two notes on the `Foundations of Physics,' Hilbert delivered a trilogy of lectures in Hamburg.
Majer, Ulrich, Sauer, Tilman
core +3 more sources
Categories without structures [PDF]
The popular view according to which Category theory provides a support for Mathematical Structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics.
Rodin, Andrei
core +5 more sources
Strong convergence rates for backward Euler–Maruyama method for non-linear dissipative-type stochastic differential equations with super-linear diffusion coefficients [PDF]
In this work, we generalize the current theory of strong convergence rates for the backward Euler–Maruyama scheme for highly non-linear stochastic differential equations, which appear in both mathematical finance and bio-mathematics.
Mao, Xuerong, Szpruch, Lukasz
core +1 more source
Mathematical foundations of complex tonality
35 pages, to appear in Journal of Mathematics and ...
Jeffrey R. Boland, Lane P. Hughston
openaire +2 more sources
Hodge Theory on Metric Spaces [PDF]
Hodge theory is a beautiful synthesis of geometry, topology, and analysis, which has been developed in the setting of Riemannian manifolds. On the other hand, spaces of images, which are important in the mathematical foundations of vision and pattern ...
A. Zomorodian +40 more
core +2 more sources
An introduction to univalent foundations for mathematicians
We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of modern mathematics
Grayson, Daniel R.
core +1 more source

