Related papers: Nobody needs equations
We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…
In this paper, we prove that the world of near-vector spaces allows us to work with non-linear problems and yet, gives access to most of the tools linear algebra has to offer. We establish some fundamental results for near-vector spaces…
A novel manifestation of nonlocality of quantum mechanics is presented. It is shown that it is possible to ascertain the existence of an object in a given region of space without interacting with it. The method might have practical…
Various 'optimistic' attempts have been made to reasonably explain the undeniable effectiveness of mathematics in its application to physics. They range over retrospective, historical accounts of mathematical applicability based on…
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
The Projection Postulate from Standard Quantum Mechanics relies fundamentally on measurements. But measurements implicitly suggest the existence of anthropocentric notions like measuring devices, which should rather emerge from the theory.…
We give a simple direct proof of Fermat's two squares theorem. Our argument uses no intricate notions or ideas; one might say that it is a proof by careful bookkeeping. As such, the proof may be particularly easy to comprehend by students…
We study the advantage of pure-state quantum computation without entanglement over classical computation. For the Deutsch-Jozsa algorithm we present the maximal subproblem that can be solved without entanglement, and show that the algorithm…
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm…
Courses in mathematical methods for physics students are not known for including too much in the way of mathematical rigour and, in some ways, understandably so. However, the conditions under which some quite commonly used mathematical…
In the given work the first attempt to generalize quantum uncertainty relation on macro objects is made. Business company as one of economical process participants was chosen by the authors for this purpose. The analogies between quantum…
Generalized relational theories with null values in the sense of Reiter are first-order theories that provide a semantics for relational databases with incomplete information. In this paper we show that any such theory can be turned into an…
We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…
A new scheme is proposed for dealing with the problem of singularities in General Relativity. The proposal is, however, much more general than this. It can be used to deal with manifolds of any dimension which are endowed with nothing more…
In this paper we consider the problem of context-free grammars comparison from the analysis point of view. We show that the problem can be reduced to numerical solution of systems of nonlinear matrix equations. The approach presented here…
This talk summarizes our recent work establishing an algebraic, model-independent basis for the existence of \B bounds and \B equations for topologically non-trivial solitons and instantons. Our arguments use supersymmetry in an essential…
In this article we present an axiomatic definition of sets with individuals and a definition of natural numbers and ordinals. We use the axioms pairs, union, power, regularity and separation. We define the equality of sets and of…
We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…