相关论文: Current Mathematics Appears to Be Inconsistent
It is shown that the results of ref [1] are consistent.
A critical analysis of the relativistic formulation of matter reveals some surprising inconsistencies and paradoxes. Corrections are discovered which lead to the long-sought-after equality of the gravitational and inertial masses, which are…
We illustrate two simple spin examples which show that in the consistent histories approach to quantum mechanics one can retrodict with certainty incompatible or contradictory propositions corresponding to non-orthogonal or, respectively,…
We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS…
We consider the Stefan problem, firstly with regular data and secondly with irregular data. In both cases is given a proof for the convergence of an approximation obtained by regularising the problem. These proofs are based on weak…
Recent proposal for counterfactual computation [Hosten et al., Nature, 439, 949 (2006)] is analyzed. It is argued that the method does not provide counterfactual computation for all possible outcomes. The explanation involves a novel…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
Several examples are used to illustrate how we deal cavalierly with infinities and unphysical systems in physics. Upon examining these examples in the context of infinities from Cantor's theory of transfinite numbers, the only known…
The unity of mathematics has its power to compactify experiences in a form capable of being transferred and modified or adapted to new mathematical situations. Yet, we believe that the phrase "Unity of Mathematics" expresses a dream, an…
Improving a result of Woodin, we identify some classes of individually consistent but mutually inconsistent generic large cardinal axioms.
New cases of the multiplicity conjecture are considered.
We survey the various constructions of forward self-similar solutions (and generalizations of self-similar solutions) to the Navier-Stokes equations. We also include and prove an extension of a recent result from [7].
After an overview of noncommutative differential calculus, we construct parts of it explicitly and explain why this construction agrees with a fuller version obtained from the theory of operads.
Combining measurements which have "theoretical uncertainties" is a delicate matter, due to an unclear statistical basis. We present an algorithm based on the notion that a theoretical uncertainty represents an estimate of bias.
We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the…
Old and new calculations of the Higgs mass quadratic divergence are compared.
Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some…
We give a simple proof of a recently result concerning Hardy $q$-inequalities.
In this note we comment on the RG flow of the Newton and cosmological constants, also in view of some recent claims [1] that would rise some doubts on the validity of our recent work [2,3]. Here we show that the arguments and claims of [1]…