Sums of M consecutive squared integers (a+i)^2 equaling squared integers (for a<=1, 0<= i<= M-1) yield remarkable regular linear features when plotting values of M in function of a. These features correspond to groupings of pairs of a values for successive same values of M around straight lines of equation mu*M = 2a and are characterized in this paper for rational values of mu.

The present study aims to show on the one hand how easily one can get confused when doing research on the internet. Different platforms, fora and homepages supply the visitor with different - and sometimes contradictory - information. On the other hand, we show how to overcome these contradictions and produce valuable research based on almost all sources. For our study, we use the example of the Feit-Thompson conjecture, which is - in opposite to the well-known Feit-Thompson theorem - not widely known. We try to clarify the scientific literature on this topic and we embed our own result into the present state of art. We prove that pq−1p−1 does not divide qp−1q−1 if p and q are twin primes, i.e. p=q+2. Thus we prove that the Feit-Thompson conjecture is true for twin prime numbers.

The aim of this work is to study generalizations of the notion of mean. Kolmogorov proposed a generalization based on an improper integral with a decay rate for the tail probabilities. This weak or Kolmogorov mean relates to the Weak Law of Large Numbers in the same way that the ordinary mean relates to the Strong Law. We propose a further generalization, also based on an improper integral, called the doubly weak mean, applicable to heavy-tailed distributions such as the Cauchy distribution and the other symmetric stable distributions, We also consider generalizations arising from Abel-Feynman type mollifiers that damp the behavior at infinity and alternative formulations of the mean in terms of the cumulative distribution and the characteristic function.

Bringing toghether mathematical and philosophical ideas related to transcendental numbers, this paper begins with a survey on transcendence and transcendental numbers, it then presents several properties of the transcendental numbers e and π, and then it gives the proof of a new inequality for transcendental numbers. Also, in relationship with these topics, we study solutions to the Yang-Baxter equation from hyperbolic functions and from logical implication.

In air quality management, at urban and regional levels, road transport remains the cornerstone of residential, commercial, and industrial activities, and the vehicle exhaust emissions maintain the position of one of the key contributing sources. In Indian cities, big and small, vehicle exhaust emissions and dust from vehicle movement on the roads, contribute to as much as 50% of particulate matter pollution in a year. So, having access to a vehicle exhaust emissions inventory that is reliable and replicable is critical for air quality management and this exercise starts with access to vehicle stock numbers. These numbers are typically obtained from vehicle registration databases, traffic surveys, and other governmental records, and often require time consuming data cleaning protocols before they can used for emissions and pollution baseline analysis. This paper provides a cleaned and open-access vehicle stock database, as registered and in-use fleet, for the period covering 1993 and 2018, for all India and states, along with an estimate of age-mix of the vehicles using survival functions.

Matrices and their inverses allow accurate calculations to be produced quickly and compactly and can be used to control any process represented by a system of equations. Singular matrices require extensive workarounds (costing time and money) to solve these systems of equations because they have no inverse. Finding their inverse involves division by zero. Nevertheless, recently a new number set called semi-structured complex numbers was developed to enable division by zero in algebraic equations. The aim of this research was to demonstrate that the inverse of a singular matrix can be found using semi-structured complex numbers. This research reveals (1) Singular matrices and their inverses can be used to find a unique solution to a pair of simultaneous equations that appear to have infinitely many solutions or appear to have no solution; (2) Singular matrices map coordinates in projective space to coordinates in Euclidean space and their inverse maps coordinates in Euclidean space to coordinates in projective space; (3) the inverse of a singular matrix proves that parallel lines in Euclidean space do not intersect but in projective space intersect at a “point at infinity” and (4) collinear lines that intersect at infinitely many points in Euclidean space only intersect at one point in projective space.

The paper analyzes the probability distribution of the occupancy numbers and the entropy of a system at the equilibrium composed by an arbitrary number of non-interacting bosons. The probability distribution is derived both by tracing out the environment from a bosonic eigenstate of the union of environment and system of interest (the empirical approach) and by tracing out the environment from the mixed state of the union of environment and system of interest (the Bayesian approach). In the thermodynamic limit, the two coincide and are equal to the multinomial distribution. Furthermore, the paper proposes to identify the physical entropy of the bosonic system with the Shannon entropy of the occupancy numbers, fixing certain contradictions that arise in the classical analysis of thermodynamic entropy. Finally, by leveraging an information-theoretic inequality between the entropy of the multinomial distribution and the entropy of the multivariate hypergeometric distribution, Bayesianism of information theory and empiricism of statistical mechanics are integrated into a common ''infomechanical'' framework.

This paper has a twofold objective. The first aim is to present a comprehensive bibliographical analysis of journal articles and book chapters on fuzzy-random option pricing (FROP) over the WoS and SCOPUS databases. It follows PRISMA criteria and takes special care of developments in continuous time. Thus, we described the principal findings about the research streams, outlets and authors of this topic and lets us suggest further research. The second contribution is motivated by the fact that the bibliographical revision has identified a lack of developments on equilibrium models on the yield curve. This question motivates extending Vasicek’s yield curve equilibrium model to introduce fuzziness in the parameters that govern interest rate movements (speed of reversion, equilibrium short-term interest rate, and volatility). Likewise, this paper develops an empirical application on the term structure of fixed income public bonds with the highest credit rating in the Euro area.

This article is devoted to the results of in-depth analysis of the system of binary-oppositional structures in DNA n-plet alphabets and their algebraic-matrix representations. These results show that the molecular complementary replication of DNA strands is accompanied by the presence of an algebraic version of the principle "like begets like" in matrix representations of DNA alphabets having internal structures. This algebraic version is based on binary-oppositional structures in the genetic molecular system, which can be represented by binary numbers and corresponding matrices of DNA alphabets. The received results allow thinking that the phenomenon "like begets like" (or a complementary replication in a wide sense) is systemic in the genetic organization and is connected with algebraic features of biological organization. Correspondingly, the biological principle "like begets like" can be additionally modeled by algebraic-matrix methods and approaches. Such algebra-matrix modeling of the genetic coding system gives new ways for studying and understanding the key role of the named principle in genetic and other inherited physiological complexes. On this way, the author discovered general rules of stochastic organization of information binary sequences of genomic DNAs of eukaryotes and prokaryotes. The presented rules are connected with information dichotomies of probabilities and corresponding fractal-like trees of probabilities, which fundamentally differ from constructional dichotomies in biological bodies. The received phenomenological data and rules lead to new biological ideas.

We present a general approach to define reproduction ratios or numbers to monitor the outbreak of epidemics that are modeled by mathematical evolution equations. This provides a solution to an important topic that has not been completely settled in the literature, especially in the case of complex epidemiological models. We illustrate our procedure with a full implementation of a standard deterministic SEIR model that is applied to examine the Covid-19 outbreaks and the effects of intervention measures in several countries in America (Argentina, Brazil, Mexico, USA) and Europe (France, Italy, Spain and UK) in 2020. Our code is also used to investigate herd immunity levels for Covid-19, indicating values between 85% and 90%.

The philosophy of testing statistical hypothesis is a natural consequence and functional extension of mathematical analysis of Probability. Along with the concept of recurrence when applied to random sequences and functions, it leads to the analysis of a priori and posterior which implies testing statistical hypothesis. Testing statistical hypothesis also involves algebraic, functional and dimensional considerations, which are found in the works of Laplace. Aspects of mathematical analysis such as universality of solutions, Laws of Large Numbers, Entropy, Information, and various functional dependencies are the main factors explained in the five properties that lead to implication of testing statistical hypothesis. Various interesting examples with modern scientific significance from genetics, astrophysics, and other areas give methodological access to answers of different problems and phenomena which are involved in the logic of testing statistical hypothesis.

Real and complex analytic functions are largely studied in the field of complex analysis and are seen as very useful tools in solving problems in mathematics, physics and engineering. Real and complex numbers are a subset of semi-structured complex numbers (a new number set created to algebraically solve division by zero). Nevertheless, the properties of analytic functions made up of semi-structured complex variables (called semi-structured complex analytic functions) is yet to be explored. This limits the range of possible problems that can be resolved using analytic functions). In this regard, the aim of this paper was to expound upon the properties of semi-structured complex analytic functions and show their application in solving engineering problems. The results of this paper included (1) developing a full set of Cauchy–Riemann Equations for the semi-structured complex -space; (2) define sufficient and necessary conditions for a semi-structured complex function to be analytic; (3) determine the relationship between semi-structured complex analytic functions, Laplace’s Equations and Poisson’s Equations; and (5) provide an example of the use of these functions.

Formal Calculation uses an auxiliary form to calculate various nested sums and provides results in three forms. In addition to computation, it is also a powerful tool for analysis, allowing one to study various numbers in a unified way. This article contains many results of two types of Stirling numbers, associated Stirling numbers, and Eulerian numbers, making a great generalization of Euler polynomials, Wilson's theorem, and Wolstenholme's theorem, showing that they are just special cases. Formal Calculation provides a novel method for obtaining combinatorial identities and analyzing q-binomial.This article has obtained a large number of results in q-analogues, including inversion formulas for q-binomial coefficients. This article also introduces a theorem on symmetry.

Today, mobile phones are at the center of many consumers' lives and a part of people's lives. Although this tool was considered a luxury initially, it has gradually become a necessary tool with the reduction of the price and the increase of its functions. Consumers choose specific models of mobile phones according to their needs. Mobile phones have quality features that are expressed in the form of quality dimensions. These dimensions are mostly expressed by word of mouth (WOM). In this research, first; we collected the opinions of 350 students about 4 brands of mobile phones based on Garvin's quality of dimensions, finally; the students’ opinions about mobile phones were evaluated with integrated TOPSIS with interval-valued intuitionistic fuzzy numbers technique, and the priority of 4 phone brands was determined based on students' opinions.

The article is devoted to biological models using recurrence sequences, which are connected with the harmonic progression 1, 1/2, …, 1/n, and some cooperative properties of genomes. The harmonic progression is itself one of the recurrence sequences based on the harmonic mean. This progression appears in the hyperbolic rules of oligomer cooperative organization in eukaryotic and prokaryotic genomes. This allows thinking that the harmonic progression is also related to inherited physiological systems, which must be structurally consistent with the genetic coding system for their transmission to descendants and survival in evolution. The harmonic progression is one of historically known mathematical series, whose features were studied by Pythagoras, Leibniz, Newton, Euler, Fourier, Dirichlet, Riemann. It is widely used in many known algorithms and is closely related to some other important mathematical objects, for example, the function of the natural logarithm and harmonic numbers. Accordingly, the article describes the possibilities of using these interrelated mathematical objects to model biological structures, including logarithmic spirals and some other. Modeling inherited spiral configurations seems to be a particularly urgent task, since they are extremely common at all levels of organization of living bodies and, according to Goethe, are lines of life. The principle of a recurrence similarity, that is a special similarity of parts and transformations presented in recurrence sequences of numbers and matrix operators (the scale similarity and scale transformations are only particular cases of such similarity), is considered as one of the key principles of structural organization of living bodies.

Euler’s product formula over the primes and Euler’s zeta function equate to enshrine the Fundamental Theorem of Arithmetic that every integer > 1 is the product of a unique set of primes. The product formula has no zero, and with a domain ≤1 Euler’s zeta diverges. Dirichlet’s eta function η(s), negates alternate terms of zeta, permitting convergence when s∈C and Re(s) < 1, and its non-trivial zeros {ρ}, have a deep relationship with the distribution of the primes. The Riemann Hypothesis is that all the non-trivial zeros have Re(ρ) = 1/2. This work examines the symmetries in a partial Euler’s zeta series with a complex domain equating it to the difference between two finite vector series whose matched terms have mirror-image arguments, but whose magnitudes differ when Re(s) ≠ 1/2. Analytical continuation generates a modified eta series η_l(s), in which every l^th term is multiplied by (1-l). If the integer l is appropriately determined by the Im(s), similar paired finite vector series have a difference that closely follows η_l (s) and their terminal vectors intersect in a unique way permitting zeros only when Re(s) = 1/2. Furthermore, those vectors tracking the derivatives of the series, have a special relationship permitting zeros of the differential only when Re(s) > 1/2.

In the paper, the authors view some ordinary differential equations and their solutions from the angle of (the generalized) derivative polynomials and simplify some known identities for the Bernoulli numbers and polynomials, the Frobenius-Euler polynomials, the Euler numbers and polynomials, in terms of the Stirling numbers of the first and second kinds.

In the paper, the authors establish two identities to express the generating function of the Chebyshev polynomials of the second kind and its higher order derivatives in terms of the generating function and its derivatives each other, deduce an explicit formula and an identities for the Chebyshev polynomials of the second kind, derive the inverse of an integer, unit, and lower triangular matrix, present several identities of the Catalan numbers, and give some remarks on the closely related results including connections of the Catalan numbers respectively with the Chebyshev polynomials, the central Delannoy numbers, and the Fibonacci polynomials.

The Golden ratio is an irrational number that has a tendency to appear in many different scientific and artistic fields. It may be found in natural phenomena across a vast range of length scales; from galactic to atomic. In this review, the mathematical properties of the Golden ratio are discussed before exploring where in nature it has been found; beginning at astronomical scales and progressing to smaller lengths, until reaching those of atomic and quantum physics. In making such a tour across length scales, it is illustrated just how prevalent this single number is within the natural universe.

The importance and near ubiquity of the Golden Ratio in disciplines like chemistry and biology is well known, but only recently has it come to light in areas pertaining to the Quantum domain. By using a modified tool-kit of hyper-complex numbers (known as Dimensional Gate Operators) and numerical analysis, we uncover a connection between hyper-dimensional objects, the Fibonacci sequence and that of quasiparticles and excitations. The results show that dimensionality increases in step with the Fibonacci sequence.

Monogenity is a classical area of algebraic number theory that is very actively researched even today. This paper is a collection of the results obtained during the last few years in this area. Several of these results were presented at the series of online conferences "Monogenity and power integral bases".

The prim objective of commenced article is to determine q-sumudu transforms of a product of unified family of q-polynomials with basic (or q-) analogue of fox’s H-function and q-analog of I-functions. Specialized cases of the leading outcome are further evaluated as q-sumudu transform of general class of q-polynomials and q-sumudu transforms of the basic analogues of Fox’s H-function and I-functions.

With reference to our earlier published views on large nuclear gravitational constant , nuclear elementary charge and strong coupling constant , in this paper, we present simple relations for nuclear stability range, binding energy of isotopes and magic proton numbers.

We discuss what we believe could be an improvement in future discussions of the ever-changing brain. We do so by distinguishing different types of brain variability and outlining methods suitable to analyse them. We argue that, when studying brain and behaviour data, classical methods such as regression analysis and more advanced approaches both aim to decompose the total variance into sensible variance components. In parallel, we argue that a distinction needs to be made between innate and acquired brain variability. For varying high-dimensional brain data, we present methods useful to extract their low-dimensional representations. Finally, to trace potential causes and predict plausible consequences of brain variability, we discuss how to combine statistical principles and neurobiological insights to make associative, explanatory, predictive, and causal enquires; but cautions are needed to raise association- or prediction-based neurobiological findings to causal claims.

As there exist no repulsive forces in strong interaction, in a hypothetical approach, strong interaction can be assumed to be equivalent to a large gravitational coupling. Based on this concept, strong coupling constant can be defined as a ratio of the electromagnetic force and the gravitational force associated with proton, neutron, up quark and down quark. With respect to the product of strong coupling constant and fine structure ratio, we review our recently proposed two semi empirical relations and coefficients 0.00189 and 0.00642 connected with nuclear stability and binding energy. We wish to emphasize that- by classifying nucleons as ‘free nucleons’ and ‘active nucleons’, nuclear binding energy can be fitted with a new class of ‘three term’ formula having one unique energy coefficient. Based on the geometry and quantum nature, currently believed harmonic oscillator and spin orbit magic numbers can be considered as the lower and upper “mass limits” of quark clusters.

Based upon 30-years of research by the author a new approach to hospital bed planning and international benchmarking is proposed. The number of hospital beds per 1000 population is commonly used to compare international bed numbers. This method is flawed because it does not consider population age structure or the effect of nearness-to-death on hospital utilization. Deaths are also serving as a proxy for wider bed demand arising from undetected outbreaks of 3000 species of human pathogens. To remedy this problem a new approach to bed modelling has been developed which plots beds per 1000 deaths against deaths per 1000 population. Lines of equivalence can be drawn on the plot to delineate countries with higher or lower bed supply. This method is extended to attempt to define the optimum region for bed supply in an effective health care system. England is used as an example of a health system descending into operational chaos due to too few beds and manpower. The former Soviet bloc countries represent a health system overly dependent on hospital beds. Several countries also show evidence for over-utilization of hospital beds. The new method is used to define a potential range for bed supply and manpower where the current most effective health systems currently reside. The method is applied to total curative beds, medical beds, psychiatric beds, critical care, geriatric care, etc., and can also be used to compare different types of healthcare staff, i.e., nurses, physicians, surgeons. Issues surrounding the optimum hospital size and the optimum average occupancy will also be discussed. The role of poor policy in the English NHS is used to show how the NHS has been led into a bed crisis. The method is also extended beyond international benchmarking to illustrate how it can be applied at a local or regional level in the process of long-term bed planning. Issues regarding the volatility in hospital admissions are also addressed to explain the need for surge capacity and why an adequate average bed occupancy margin is required for an optimally functioning hospital.

proposal for a fundamental theory is described in which classical and quantum physics as a representation of the universe as a gigantic dendrogram are unified. The latter is the explicate order structure corresponding to the purely number-theoretical implicate order structure given by p-adic numbers. This number field was zero-dimensional, totally disconnected, and disordered. Physical systems (such as electrons, photons) are sub-dendrograms of the universal dendrogram. Measurement process is described as interactions among dendrograms; in particular, quantum measurement problems can be resolved using this process. The theory is realistic, but realism is expressed via the the Leibnitz principle of the Identity of Indiscernible. The classical-quantum interplay is based on the degree of indistinguishability between dendrograms (in which the ergodicity assumption is removed). Depending on this degree, some physical quantities behave more or less in a quantum manner (versus classic manner). Ideologically, our theory is very close to Smolin’s dynamics of difference and Rovelli’s relational quantum mechanics. The presence of classical behavior in nature implies a finiteness of the Universe-dendrogram. (Infinite Universe is considered to be purely quantum.) Reconstruction of events in a four-dimensional space type is based on the holographic principle. Our model reproduces Bell-type correlations in the dendrogramic framework. By adjusting dendrogram complexity, violation of the Bell inequality can be made larger or smaller.

This article is devoted to the problem of genetically coding of inherited cyclic structures in biological bodies, whose life activity is based on a great inherited set of mutually coordinated cyclic processes. The author puts forward and arguments the idea that the genetic coding system is capable of encoding inherited cyclic processes because it itself is a system of cyclic codes connected with Boolean algebra of logic. In other words, the physiological processes in question are cyclical because they are genetically encoded by cyclic codes. In support of this idea, the author presents a set of his results on the connection of the genetic coding system with cyclic Gray codes, which are one of many known types of cyclic codes. This opens up the possibility of using for modeling inherited cyclic biostructures those algebraic and logical theories and constructions that are associated with Gray codes and have long been used in engineering technologies: Karnaugh maps, Hilbert curve, Hadamard matrices, Walsh functions, dyadic analysis, etc. Additionally, the connections of these constructions with statistical rules of genomic DNAs and binary-genomic numbers are considered.

This paper introduces extensions H4,p and X8,p of Horn’s double hypergeometric function H4 and Exton’s triple hypergeometric function X8, taking into account recent extensions of Euler’s beta function, hypergeometric function, and confluent hypergeometric function. Among the numerous extended hypergeometric functions, the primary rationale for choosing H4 and X8 is their comparable extension type. Next, we present various integral representations of Euler and Laplace type, Mellin and inverse Mellin transforms, Laguerre polynomial representation, transformation formulae and a recurrence relation for the extended functions. In particular, we provide a generating function for the X8,p and several bounding inequalities for the H4,p and X8,p.

In real-life scenario, there are many mathematical tools to handle the incomplete and imprecise data. One of them is the fuzzy approach. This article aims to contribute to the literature of fuzzy multi-objective dynamic programming issues involving the fuzzy objective functions. The piecewise quadratic fuzzy numbers characterize these fuzzy parameters. Some basic notions in the problem under the α-pareto optimal solution concept is redefined and analyzed to study the stability of the problem. Furthermore, a technique, named as enhancing decomposition approach, is presented for achieving a subset for the parametric space that contains the sameα-pareto optimal solution. For a better understanding and comprehension of the suggested concept, a numerical example is provided.

We present a new mathematical model of disease spread reflecting specialties of covid-19 epidemic by elevating the role social clustering of population. The model can be used to explain slower approaching herd immunity in Sweden, than it was predicted by a variety of other mathematical models; see graphs Fig. \ref{GROWTH2}. The hierarchic structure of social clusters is mathematically modeled with ultrametric spaces having treelike geometry. To simplify mathematics, we consider homogeneous trees with $p$-branches leaving each vertex. Such trees are endowed with algebraic structure, the $p$-adic number fields. We apply theory of the $p$-adic diffusion equation to describe coronavirus' spread in hierarchically clustered population. This equation has applications to statistical physics and microbiology for modeling {\it dynamics on energy landscapes.} To move from one social cluster (valley) to another, the virus (its carrier) should cross a social barrier between them. The magnitude of a barrier depends on the number of social hierarchy's levels composing this barrier. As the most appropriate for the recent situation in Sweden, we consider {\it linearly increasing barriers.} This structure matches with mild regulations in Sweden. The virus spreads rather easily inside a social cluster (say working collective), but jumps to other clusters are constrained by social barriers. This behavior matches with the covid-19 epidemic, with its cluster spreading structure. Our model differs crucially from the standard mathematical models of spread of disease, such as the SIR-model. We present socio-medical specialties of the covid-19 epidemic supporting our purely diffusional model.

Mereology stands for the philosophical concept of parthood and is based on a sound set of fundamental axioms and relations. One of these axioms relates to the existence of a universe as a thing having part all other things. The present article formulates this logical expression first as an algebraic inequality and eventually as an algebraic equation reading in words: The universe equals the sum of all things. “All things” here are quantified by a “number of things”. Eventually this algebraic equation is normalized leading to an expression The whole equals the sum of all fractions. This introduces “1” or “100%” as a quantitative – numerical - value describing the “whole”. The resulting “basic equation” can then be subjected to a number of algebraic operations. Especially squaring this equation leads to correlation terms between the things implying that the whole is more than just the sum of its parts. Multiplying the basic equation (or its square) by a scalar allows for the derivation of physics equations like the entropy equation, the ideal gas equation, an equation for the Lorentz-Factor, conservation laws for mass and energy, the energy-mass equivalence, the Boltzmann statistics, and the energy levels in a Hydrogen atom. It further allows deriving a “contrast equation” which may form the basis for the definition of a length and a time scale. Multiplying the basic equation with vectors, pseudovectors, pseudoscalars and eventually hypercomplex numbers opens up the realm of possibilities to generate many further equations.

Following Smolin, we proceed to unification of general relativity and quantum theory by operating solely with events, i.e., without appealing to physical systems and space-time. The universe is modelled as a dendrogram (finite tree) expressing the hierarchic relations between events. This is the observational (epistemic) model; the ontic model is based on p-adic numbers (infinite trees). Hence, we use novel mathematics—not only space-time but even real numbers are not in use. Here, the p-adic space (which is zero dimensional) serves as the base for the holographic image of the universe. In this way our theory relates to p-adic physics; in particular, p-adic string theory and complex disordered systems (p-adic representation of Parisi matrix for spin glasses). Our Dendrogramic-Holographic (DH) theory matches perfectly with the Mach’s principle and Brans-Dicke theory. We found surprising informational interrelation between the fundamental constants, h, c, G, and their DH-analogues, h(D), c(D), G(D). DH-theory is part of Wheeler’s project on the information restructuring of physics. It is also a step towards the Unified Field theory. The universal potential V is nonlocal, but this is relational DH-nonlocality. V can be coupled to the Bohm quantum potential by moving to the real representation. This coupling enhanced the role of the Bohm potential.

In the paper, the authors present an explicit form for a family of inhomogeneous linear ordinary differential equations, find a more significant expression for all derivatives of a function related to the solution to the family of inhomogeneous linear ordinary differential equations in terms of the Lerch transcendent, establish an explicit formula for computing all derivatives of the solution to the family of inhomogeneous linear ordinary differential equations, acquire the absolute monotonicity, complete monotonicity, the Bernstein function property of several functions related to the solution to the family of inhomogeneous linear ordinary differential equations, discover a diagonal recurrence relation of the Stirling numbers of the first kind, and derive an inequality for bounding the logarithmic function.

In our recent publications, based on strong and electroweak interactions, we have developed a completely new formula for estimating nuclear binding energy. With reference to currently believed Semi Empirical Mass Formula (SEMF), we call our formula as ‘Strong and Electroweak Mass Formula’ (SEWMF). Our formula constitutes 4 simple terms and only one energy coefficient of magnitude 10.1 MeV. First term is a volume term, second term seems to be a representation of free nucleons associated with electroweak interaction, third term is a radial term and fourth one is an asymmetry term about the mean stable mass number. In this paper, we make an attempt to understand and estimate the maximum binding energy associated with any mass number. It can be expressed as, for A > 4, $\left(BE\right)_A\cong \left[A-0.000935A^2-A^{1/3}-A^{-1/2}\right]$ MeV. We are working on refining the 4^th term with even-odd corrections, shell corrections and other microscopic corrections. Proceeding further, stable mass numbers and super heavy mass numbers can be understood with a relation of the form, $\left[\textrm{RoundOff}\left(\left(Z+2.9464\right)^{1.2}-1.7165\right)\right]\pm\left[0,1\right]\pm\left(2n\right)$ where $n \cong 0,1,2$. It needs a review with respect to even-odd proton numbers and other microscopic corrections.

The aim of the present work is to explore a different non-traditional approach to higher dimensional spacetime which differs from the usual approaches such as large extra space dimensions, warped extra space dimensions and multiple extra time dimensions. This approach will be referred to as "Dynamic" higher dimensional spacetime. By this term will be introduced a new kind of higher dimensional spacetime (more than the usual 3+1 dimensions), which behaves dynamically in the sense that time is not a fixed dimension but is the extra plus one dimension to the spatial dimensions of the phenomenon we are studying. For a higher dimensional phenomenon, the lower dimensional time will behave as space and the new time will be a plus one dimension, meaning if we study a 3-dimensional phenomenon then time is the usual 4th dimension but if we are studying a 4-dimensional phenomenon then its time will be an extra 5th dimension and for this phenomenon the 4th dimension will behave as space. All spatial dimensions are indistinguishable from each other and behave in the exact same way, which means that the important parameter is not the dimension we are studying (for example the 4th or the 5th) but the number of dimensions in which a phenomenon can interact and how higher dimensional phenomena interact with lower ones. This non-traditional approach to higher dimensional spacetime may appear confusing at first but will become clearer in the rest of the paper. For this reason, we will first associate the time dimension with propagation relative to space dimensions and change orthogonal to them in order to give the reader a better intuition. Following that, we will describe how higher - dimensional phenomena would appear to us, the 3 - dimensional observer and try to set some guidelines on how we should mathematically model higher - dimensional phenomena in order for us to make accurate predictions of their behaviour. Then we will express the general framework of a "Dynamic" higher - dimensional spacetime and turn our gaze to 4+1 – dimensional phenomena. We will explore how a mass term arises for 4 – dimensional waves by generalizing the frequency – speed – wavelength relation of 3D waves and give a basic description on a possible way to describe a 4+1 – dimensional disturbance in a scalar Energy Field in order to make accurate predictions on our 3+1 dimensional plane. In this framework we will derive the Klein – Gordon equation by generalizing the wave equation and ignoring all lower than 4+1 - dimensional disturbances and compere our mass term findings with the Klein – Gordon equation mass term and with results from gravity – induced quantum interference experiments. Lastly, we will describe how a "Dynamic" 5 - dimensional spacetime would appear in a 3D observer and examine whether our findings are compatible with quantum mechanics and the special theory of relativity.

This is a shortened and revised version of the article: A. Tyszka, Statements and open problems on decidable sets X⊆N, Pi Mu Epsilon J. 15 (2023), no. 8, 493-504. The main results were presented at the 25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, see http://applications-of-logic.uni.wroc.pl/XXV-Konferencja-Zastosowania-Logiki-w-Filozofii-i-Podstawach-Matematyki. We assume that the current mathematical knowledge is a finite set of statements which is time-dependent. In every branch of mathematics, the set of all knowable truths is the set of all theorems. This set exists independently of our current scientific knowledge. Nicolas D. Goodman observed in Synthese that epistemic notions increase the understanding of mathematics without changing its content. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivial statements on decidable sets X⊆N that belong to constructive mathematics and refer to the current mathematical knowledge on X. This and the next sentence justify the article title. For any empirical science, we can identify the current knowledge with that science because truths from the empirical sciences are not necessary truths but working models of truth from a particular context.