755 research outputs found
Formalizing Termination Proofs under Polynomial Quasi-interpretations
Usual termination proofs for a functional program require to check all the
possible reduction paths. Due to an exponential gap between the height and size
of such the reduction tree, no naive formalization of termination proofs yields
a connection to the polynomial complexity of the given program. We solve this
problem employing the notion of minimal function graph, a set of pairs of a
term and its normal form, which is defined as the least fixed point of a
monotone operator. We show that termination proofs for programs reducing under
lexicographic path orders (LPOs for short) and polynomially quasi-interpretable
can be optimally performed in a weak fragment of Peano arithmetic. This yields
an alternative proof of the fact that every function computed by an
LPO-terminating, polynomially quasi-interpretable program is computable in
polynomial space. The formalization is indeed optimal since every
polynomial-space computable function can be computed by such a program. The
crucial observation is that inductive definitions of minimal function graphs
under LPO-terminating programs can be approximated with transfinite induction
along LPOs.Comment: In Proceedings FICS 2015, arXiv:1509.0282
Hilbert's Program Then and Now
Hilbert's program was an ambitious and wide-ranging project in the philosophy
and foundations of mathematics. In order to "dispose of the foundational
questions in mathematics once and for all, "Hilbert proposed a two-pronged
approach in 1921: first, classical mathematics should be formalized in
axiomatic systems; second, using only restricted, "finitary" means, one should
give proofs of the consistency of these axiomatic systems. Although Godel's
incompleteness theorems show that the program as originally conceived cannot be
carried out, it had many partial successes, and generated important advances in
logical theory and meta-theory, both at the time and since. The article
discusses the historical background and development of Hilbert's program, its
philosophical underpinnings and consequences, and its subsequent development
and influences since the 1930s.Comment: 43 page
Topological vacuum fluctuation and Dvoretzkyâs theorem â Mathematical proofs in the context of the dark energy density of the universe
Starting from the initial triality of physics, namely mathematical philosophy, transfinite set theory and number theory we drive the inevitability of a topological quantum vacuum fluctuation of spacetime resulting in the fundamental reality of pair creation and annihilation. Subsequently we give a simple but strong mathematical proof of Dvoretzkyâs marvellous theorem on measure concentration, thus making dark energy and accelerated cosmic expansion not only an astrophysical measurement and observational reality, but also a plausible topological-geometrical fact of a pointless Cantorian actual universe akin to the Penrose fractal tiling space. This space is described accurately via the von Neumann-Conne noncommutative geometry using their golden mean dimensional function and the corresponding bijection of E-infinity theory. The said theory was developed by the authors of the present paper and their group and is based on and starts from the pioneering efforts of the Canadian physicist G. Ord and the French astrophysicist L. Nottale
The status and programs of the New Relativity Theory
A review of the most recent results of the New Relativity Theory is
presented. These include a straightforward derivation of the Black Hole
Entropy-Area relation and its corrections; the derivation of the
string uncertainty relations and generalizations ; ; the relation between the
four dimensional gravitational conformal anomaly and the fine structure
constant; the role of Noncommutative Geometry, Negative Probabilities and
Cantorian-Fractal spacetime in the Young's two-slit experiment. We then
generalize the recent construction of the Quenched-Minisuperspace bosonic
-brane propagator in dimensions ( [18]) to the full
multidimensional case involving all -branes : the construction of the
Multidimensional-Particle propagator in Clifford spaces (-spaces) associated
with a nested family of -loop histories living in a target -dim
background spacetime . We show how the effective -space geometry is related
to curvature of ordinary spacetime. The motion of rigid
particles/branes is studied to explain the natural of classical
spin. The relation among -space geometry and , Finsler Geometry
and (Braided) Quantum Groups is discussed. Some final remarks about the
Riemannian long distance limit of -space geometry are made.Comment: Tex file, 21 page
- âŚ