Results 21 to 30 of about 650,744 (170)
arXiv, 2017 Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic systems and proving those systems consistent using restricted, finitary means. The program thus viewed mathematics as a system of reasoning with precise linguistic norms, governed
arxiv
Mathematical Knowledge and the Role of an Observer: Ontological and epistemological aspects [PDF]
arXiv, 2017 As David Berlinski writes (1997), the existence and nature of mathematics is a more compelling and far deeper problem than any of the problems raised by mathematics itself. Here we analyze the essence of mathematics making the main emphasis on mathematics as an advanced system of knowledge.
arxiv
Dynamical System of the Mathematical Model for Tuberculosis with Vaccination
ComTech: Computer, Mathematics and Engineering Applications, 2019 This research focused on the modification of deterministic mathematical models for tuberculosis with vaccination. It also aimed to see the effect of giving the vaccine. It was done by adding vaccine compartments to people who were given the vaccine in the susceptible compartment. The population was divided into nine different groups.
E. H. Nugrahani +2 more
openaire +3 more sources
Systematic construction of separable systems with quadratic in momenta first integrals [PDF]
arXiv, 2003 Liouville integrable separable systems with quadratic in momenta first integrals are considered. Particular attention is paid to the systems generated by the so-called special conformal Killing tensors, i.e. Benenti systems. Then, infinitely many new classes of separable systems are constructed by appropriate deformations of Benenti class systems.
arxiv
arXiv, 2018 In this article ideas from Kit Fine's theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generic mathematical structures can be viewed as generic systems of mathematical objects, where mathematical objects are conceived of as arbitrary objects in Fine's sense.
arxiv
Mathematical modeling and simulation of robotic dynamic systems
Herald of the Azerbaijan Engineering Academy, 2022 The mathematical model of the robot generally consists of a nonlinear multi-link system, so varioussimplifications are used in the analysis of its properties. In particular, linear models of robots and controlsystems are commonly used to study the controllability and robustness of robots. In this case, linearmodels are built on the edges of the actions
openaire +1 more source
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems [PDF]
arXiv, 2020 Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of increasingly powerful but also diverging systems.
arxiv
Lectures on integrable Hamiltonian systems [PDF]
arXiv, 2013 We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. For instance, this is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and integrable systems with time-dependent parameters.
arxiv
arXiv, 2004 This article is a short introduction to the general topic of quantum spin systems. After a brief sketch of the history of the subject, the standard mathematical framework for formulating problems and results in quantum spin systems is described. Then, three short sections are devoted to Spontaneaous Symmetry Breaking, Phase transitions, and Dynamcis.
arxiv
Re-formulation of combined system wave-function formalism [PDF]
arXiv, 2006 We introduce a formulation of combined systems in orthodox non-relativistic quantum mechanics, mathematically equivalent to the usual one. For context and larger issues, see http://euclid.unh.edu/~jjohnson/axiomatics.html and http://arxiv.org/quant-ph ...
arxiv