A complete set of mutually unbiased bases for a Hilbert space of dimension N is analogous in some respects to a certain finite geometric structure, namely, an affine plane. Another kind of quantum measurement, known as a symmetric informationally complete positive-operator-valued measure, is, remarkably, also analogous to an affine plane, but with the roles of points and lines interchanged. In this paper I present these analogies and ask whether they shed any light on the existence or non-existence of such (...) symmetric quantum measurements for a general quantum system with a finite-dimensional state space. (shrink)

In “Hume on Geometry and Infinite Divisibility in the Treatise”, H. Mark Pressman charges that “the geometry Hume presents in the Treatise faces a serious set of problems”. This may well be; however, at least one of the charges Pressman levels against Hume invokes a false dichotomy, and a second rests on a non sequitur.

The notion of CM-triviality was introduced by Hrushovski, who showed that his new strongly minimal sets have this property. Recently Baudisch has shown that his new ω 1 -categorical group has this property. Here we show that any group of finite Morley rank definable in a CM-trivial theory is nilpotent-by-finite, or equivalently no simple group of finite Morley rank can be definable in a CM-trivial theory.

Assume T is a superstable theory with $ countable models. We prove that any *-algebraic type of M-rank > 0 is m-nonorthogonal to a *-algebraic type of M-rank 1. We study the geometry induced by m-dependence on a *-algebraic type p* of M-rank 1. We prove that after some localization this geometry becomes projective over a division ring F. Associated with p* is a meager type p. We prove that p is determined by p* up to nonorthogonality and (...) that F underlies also the geometry induced by forking dependence on any stationarization of p. Also we study some *-algebraic *-groups of M-rank 1 and prove that any *-algebraic *-group of M-rank 1 is abelian-by-finite. (shrink)

This is the preface for a special volume published by the Journal of Applied Non-Classical Logics Volume 9, Issue 1, 1999.

The geometry of the state space of a finite-dimensional quantum mechanical system, with particular reference to four dimensions, is studied. Many novel features, not evident in the two-dimensional space of a single spin, are found. Although the state space is a convex set, it is not a ball, and its boundary contains mixed states in addition to the pure states, which form a low-dimensional submanifold. The appropriate language to describe the role of the observer is that of flag (...) manifolds. (shrink)

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, (...) and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

Hume’s discussion of space, time, and mathematics at T 1.2 appeared to many earlier commentators as one of the weakest parts of his philosophy. From the point of view of pure mathematics, for example, Hume’s assumptions about the infinite may appear as crude misunderstandings of the continuum and infinite divisibility. I shall argue, on the contrary, that Hume’s views on this topic are deeply connected with his radically empiricist reliance on phenomenologically given sensory images. He insightfully shows that, working within (...) this epistemological model, we cannot attain complete certainty about the continuum but only at most about discrete quantity. Geometry, in contrast to arithmetic, cannot be a fully exact science. A number of more recent commentators have offered sympathetic interpretations of Hume’s discussion aiming to correct the older tendency to dismiss this part of the Treatise as weak and confused. Most of these commentators interpret Hume as anticipating the contemporary idea of a finite or discrete geometry. They view Hume’s conception that space is composed of simple indivisible minima as a forerunner of the conception that space is a discretely (rather than continuously) ordered set. This approach, in my view, is helpful as far as it goes, but there are several important features of Hume’s discussion that are not sufficiently appreciated. I go beyond these recent commentators by emphasizing three of Hume’s most original contributions. First, Hume’s epistemological model invokes the “confounding” of indivisible minima to explain the appearance of spatial continuity. Second, Hume’s sharp contrast between the perfect exactitude of arithmetic and the irremediable inexactitude of geometry reverses the more familiar conception of the early modern tradition in pure mathematics, according to which geometry (the science of continuous quantity) has its own standard of equality that is independent from and more exact than any corresponding standard supplied by algebra and arithmetic (the sciences of discrete quantity). Third, Hume has a developed explanation of how geometry (traditional Euclidean geometry) is nonetheless possible as an axiomatic demonstrative science possessing considerably more exactitude and certainty that the “loose judgements” of the vulgar. (shrink)

Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let $M \models T$ be uncountable and saturated, H = p(M). We say $D \subset H$ is locally modular if for all $X, Y \subset D$ with $X = \operatorname{acl}(X) \cap D, Y = \operatorname{acl}(Y) \cap D$ and $X \cap Y \neq \varnothing$ , dim(X ∪ Y) + dim(X ∩ Y) = dim(X) + dim(Y). Theorem 1. Let p ∈ S(A) be weakly (...) minimal and D the realizations of $\operatorname{stp}(a/A)$ for some a realizing p. Then D is locally modular or p has Morley rank 1. Theorem 2. Let H, G be definable over some finite A, weakly minimal, locally modular and nonorthogonal. Then for all $a \in H\backslash\operatorname{acl}(A), b \in G\operatorname{acl}(A)$ there are a' ∈ H, b' ∈ G such that $a' \in \operatorname{acl}(abb' A)\backslash\operatorname{acl}(aA)$ . Similarly when H and G are the realizations of complete types or strong types over A. (shrink)

An intermediate stage in Hrushovski’s construction of flat strongly minimal structures in a relational language L produces ω-stable structures of rank ω. We analyze the pregeometries given by forking on the regular type of rank ω in these structures. We show that varying L can affect the isomorphism type of the pregeometry, but not its finite subpregeometries. A sequel will compare these to the pregeometries of the strongly minimal structures.

Suppose T is a weakly minimal theory and p a strong 1-type having locally finite but nontrivial geometry. That is, for any M [boxvR] T and finite Fp, there is a finite Gp such that acl∩p = gεGacl∩pM; however, we cannot always choose G = F. Then there are formulas θ and E so that θεp and for any M[boxvR]T, E defines an equivalence relation with finite classes on θ/E definably inherits the structure of either (...) a projective or affine space over some finite field. We then specify what other structure θ/E may inherit: there is some collection of definable subspaces of finite codimension and some set of algebraic points, which in the affine case may be in the canonically associated vector space, Up to acl, no further structure is possible. If we assume T is weakly minimal and has a strong type p as above, and also that T is unidimensional, we obtain a global description of any model of T in terms of those structures mentioned in the previous paragraph. (shrink)

It is proposed to remove the difficulty of nonitegrability of length in the Weyl geometry by modifying the law of parallel displacement and using “standard” vectors. The field equations are derived from a variational principle slightly different from that of Dirac and involving a parameter σ. For σ=0 one has the electromagnetic field. For σ<0 there is a vector meson field. This could be the electromagnetic field with finite-mass photons, or it could be a meson field providing the (...) “missing mass” of the universe. In cosmological models the two natural gauges are the Einstein gauge and the cosmic gauge. With the latter the universe has a fixed size, but the sizes of small systems decrease with time and their masses and energies increase, thus producing the Hubble effect. The field of a particle in this gauge is investigated, and it leads to an interesting solution of the Einstein equations that raises a question about the Schwarzschild solution. (shrink)

I start by considering Mark Steiner’s startling claim that Hume takes geometry to be synthetic a priori, which engenders the Kantian challenge to explain how such knowledge is possible. I argue, in response, that Steiner misinterprets the (deceptive) relevant passage from Hume, and that Hume, as the received view has it, takes geometry to be analytic, although in a more expansive sense of the word than the modern one. I then note a new challenge geometry engenders for (...) Hume. Unlike Euclidean space, Humean space is finitely divisible, for which several Euclidean axioms and theorems do not hold. I argue, in response, that (crucially for his scientific project) Hume can account for our belief in the truth of Euclidean geometry on the basis of non-Euclidean ideas, although (innocuously for him) not all should be true. I conclude by arguing, on a less optimistic note, that Hume cannot point to a geometry that is true of our (discrete) ideas. (shrink)

Strict finitism is a minority view in the philosophy of mathematics. In this paper, we develop a strict finite axiomatic system for geometric constructions in which only constructions that are executable by simple tools in a small number of steps are permitted. We aim to demonstrate that as far as the applications of synthetic geometry to real-world constructions are concerned, there are viable strict finite alternatives to classical geometry where by one can prove analogs to fundamental (...) results in classical geometry. We consider this as one of many early steps investigating the extent to which strict finite foundations can be developed for the application of mathematics to the real-world. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) (...) class='Hi'>Geometry, and the NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (shrink)

CM-triviality of a stable theory is a notion introduced by Hrushovski [1]. The importance of this property is first that it holds of Hrushovski's new non 1-based strongly minimal sets, and second that it is still quite a restrictive property, and forbids the existence of definable fields or simple groups (see [2]). In [5], Frank Wagner posed some questions aboutCM-triviality, asking in particular whether a structure of finite rank, which is “coordinatized” byCM-trivial types of rank 1, is itselfCM-trivial. (Actually (...) Wagner worked in a slightly more general context, adapting the definitions to a certain “local” framework, in which algebraic closure is replaced byP-closure, forPsome family of types. We will, however, remain in the standard context, and will just remark here that it is routine to translate our results into Wagner's framework, as well as to generalise to the superstable theory/regular type context.) In any case we answer Wagner's question positively. Also in an attempt to put forward some concrete conjectures about the possible geometries of strongly minimal sets (or stable theories) we tentatively suggest a hierarchy of geometric properties of forking, the first two levels of which correspond to 1-basedness andCM-triviality respectively. We do not know whether this is a strict hierarchy (or even whether these are the “right” notions), but we conjecture that it is, and moreover that a counterexample to Cherlin's conjecture can be found at level three in the hierarchy. (shrink)

The necessary appearance of Clifford algebras in the quantum description of fermions has prompted us to re-examine the fundamental role played by the quaternion Clifford algebra, C 0,2 . This algebra is essentially the geometric algebra describing the rotational properties of space. Hidden within this algebra are symplectic structures with Heisenberg algebras at their core. This algebra also enables us to define a Poisson algebra of all homogeneous quadratic polynomials on a two-dimensional sub-space, $\mathbb{F}^{a}$ of the Euclidean three-space. This enables (...) us to construct a Poisson Clifford algebra, ℍ F , of a finite dimensional phase space which will carry the dynamics. The quantum dynamics appears as a realisation of ℍ F in terms of a Clifford algebra consisting of Hermitian operators. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are reviewed and an emerging link between them is outlined. It is shown that these methods employ a wide range of important mathematical concepts like, e.g., Fourier transforms, Galois fields and rings, finite, and related projective geometries, and entanglement, to mention a few. Some applications of the theory to quantum information tasks are also mentioned.

Combining historical fact with a retelling of ancient myths and legends, Alistair Wilson shows how mathematics arose out of the problems of everyday life. He introduces concepts such as geometry, prime numbers, and trigonometry in a way that will totally disarm the reader who fears mathematics.

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes . The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry.

For a finite von Neumann algebra factor M, the projections form a modular ortholattice L(M). We show that the equational theory of L(M) coincides with that of some resp. all L(ℂ n × n ) and is decidable. In contrast, the uniform word problem for the variety generated by all L(ℂ n × n ) is shown to be undecidable.

The consequences for the theory of sets of points of the assumption of sets of sets of points, sets of sets of sets of points, and so on, are surveyed, as more generally are the differences among the geometric theories of points, of finite point-sets, of point-sets, of point-set-sets, and of sets of all ranks.

In the middle part of his Brouillon Project on conics, Girard Desargues develops the theory of the traversale, a notion that generalizes the Apollonian diameter and allows to give a unified treatment of the three kinds of conics. We showed elsewhere that it leads Desargues to a complete theory of projective polarity for conics. The present article, which shall close our study of the Brouillon Project, is devoted to the last part of the text, in which Desargues puts his theory (...) of the traversal into practice by giving a very elegant tratment of the classical theory of parameters and foci. This will lead us to show that Desargues’ proofs can only be understood if one accepts that he reasons in a resolutely projective framework, completely assimilating elements at infinity to those at finite distance in his proofs. (shrink)

Theory of linear estimation; General structure of analysis of designs; Standard designs; Applications of galois fields and finite geometry in the construction of designs; Some selected topics in design of experiments.

It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the (...) numbers ${\mid Col(P)\mid\over {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations. (shrink)

This essay offers an in-depth reading of the geometrical illustration of Ethics IIP8S and shows how it can be used to explicate the whole architecture of Spinoza’s system by specifying the way in which all the key structural features of his basic ontology find their analogies in the example. The illustration can also throw light on Spinoza’s ontology of finite things and inform us about what is at stake when we form universal ideas. In general, my reading of IIP8S (...) thus elucidates what it means, for Spinoza, to think geometrically or to consider geometry as a model: fundamentally, geometricity is not a form of exposition but the way in which reality itself is structured. (shrink)

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for (...) assigning bitstrings to arbitrary finite fragments of formulas in arbitrary logical systems, and to study the logical and combinatorial properties of this technique. It is based on the partition of logical space that is induced by a given fragment, and sheds new light on a number of interesting issues, such as the logic-dependence of the Aristotelian relations and the subtle interplay between the Aristotelian and Boolean structure of logical fragments. Finally, the bitstring technique also allows us to systematically analyze fragments from contemporary logical systems, such as public announcement logic, which could not be done before. (shrink)

In the Treatise of Human Nature, David Hume mounts a spirited assault on the doctrine of the infinite divisibility of extension, and he defends in its place the contrary claim that extension is everywhere only finitely divisible. Despite this major departure from the more conventional conceptions of space embodied in traditional geometry, Hume does not endorse any radical reform of geometry. Instead Hume espouses a more conservative approach, claiming that geometry fails only “in this single point” – (...) in its purported proofs of infinite divisibility – while “all of its other arguments” remain intact. -/- In this paper, after laying out the prima facie case for Hume’s radical challenge to traditional geometry, I consider five strategies for blocking the arguments for infinite divisibility while conserving most of geometry. I show that each of these interpretive strategies suffers from serious substantive problems, and so none of them delivers an interpretation of Hume’s account that provides him with a way of blocking the geometric arguments for infinite divisibility while sustaining his geometric conservatism. (shrink)

In this paper we extend Neutro-Algebra and Anti-Algebra to geometric spaces, founding Neutro/Geometry and AntiGeometry. While Non-Euclidean Geometries resulted from the total negation of a specific axiom (Euclid's Fifth Postulate), AntiGeometry results from the total negation of any axiom or even more axioms of any geometric axiomatic system (Euclidean, Hilbert, etc. ) and of any type of geometry such as Geometry (Euclidean, Projective, Finite, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.), and Neutro-Geometry results from (...) the partial negation of one or more axioms [and without total negation of any axiom] of any geometric axiomatic system and of any type of geometry. Generally, instead of a classical geometric Axiom, one can take any classical geometric Theorem of any axiomatic system and of any type of geometry, and transform it by Neutrosophication or Antisofication into a Neutro-Theorem or Anti-Theorem respectively to construct a Neutro-Geometry or Anti-Geometry. Therefore, Neutro-Geometry and Anti-Geometry are respectively alternatives and generalizations of Non-Euclidean Geometries. In the second part, the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra and Anti-Algebra, then to Neutro-Geometry and Anti-Geometry, and in general to Neutro-Structure and Anti-Structure that arise naturally in any field of knowledge is recalled. At the end, applications of many Neutro-Structures in our real world are presented. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

In the new physics and in the new field of cosmometry, 1 it is the fundamental pattern that results in the motion from which all is created. Everything starts with the point of infinite potential. The tetrahedron at the point gives birth to the cuboctahedron ; its motion and structure result in the creation of the torus structure. The torus structure is self-referencing on a moment by moment basis since all must pass through the center. But isn't self-referencing the basis (...) for consciousness? It is said that all of creation has awareness, but at different levels. We know plants are aware of threats and of death to other living creatures by the work of Cleve Backster. We know we influence random number generators from the PEAR studies at Princeton. We know baby chicks will influence the movement of robots programed to do a random walk from the work of Rene Peoc'h. Quantum physics has embraced geometry with the work in the equations which explain the Feynman diagrams where particles come in and out of existence; those equations form a structure called the Amplituhedron - which is a quarter of a star tetrahedron. We also know that the tetrahedron can form the star tetrahedron and that each point of the star tetrahedron can form its own star tetrahedron, which can go on infinitely. That is, there is infinity in the finite. As in the fractal and holographic universe, each point or tetrahedron is connected to every other point. If each point has awareness due to formation of the torus, then Hermes teaching of "As above, as below" has meaning in the torus structure. If the torus is the fundamental unit of self-reference, is that the fundamental unit from which consciousness arises? The torus or double torus appears to be fundamental to all of creation - from galaxies to planets to atoms to photons. (shrink)

Husserl’s first work formulated what proved to be an algorithmically complete arithmetic, lending mathematical clarity to Kronecker’s reduction of analysis to finite calculations with integers. Husserl’s critique of his nominalism led him to seek a philosophical justification of successful applications of symbolic arithmetic to nature, providing insight into the “wonderful affinity” between our mathematical thoughts and things without invoking a pre-established harmony. For this, Husserl develops a purely descriptive phenomenology for which he found inspiration in Mach’s proposal of a (...) “universal physical phenomenology.” To account for applications to any domain, Husserl envisages a theory of all possible deductive systems, which he develops extensively in his Göttingen lectures wherein he engages with Hilbert’s work on deductive systems for geometry, real arithmetic, and physics. This leads Husserl to formulate claims of decidability and proofs of completeness for various arithmetics that result from his analysis of Kronecker’s general arithmetic. Careful attention to these proofs seem to show that Husserl was not oblivious to problems that underlie our incompleteness theorems, namely that of showing that some inversions of his algorithmic arithmetic are undefined. His growing preoccupation with the issue of a pre-established harmony between mathematical thought and reality motivate his pursuit of a “supramathematics” of all possible complete theory forms to demystify such harmony, by having such a form on hand for describing any empirical domain. He soon decides that a transcendental idealism of nature will reveal the wonderful affinity of thoughts and things comprising such harmony, to be a wonderful “parallelism of objective unities and constituted manifolds of consciousness.” But the paradoxes of logic and set theory cloud the clarity of mathematics, which Weyl would restore with Brouwer’s intuitionism and Hilbert with his metamathematics. Husserl informed Weyl that his student Becker had formulated a phenomenological foundation not only for Weyl’s generalization of relativity theory but also for the Brouwer-Weyl continuum. But Weyl eventually rejected much of Becker’s work, especially when it became clear that his phenomenological intuitionism could not account for the success of Hilbert’s transfinite mathematics in quantum physics. Becker responded to this “crisis of phenomenological method” with his mantic phenomenology celebrating the magic of mathematical mysticism, which Husserl finally rejects in favor of a pluralistic phenomenology of mathematics and nature. (shrink)

This paper seeks to build on the extensive connections that have arisen between automata theory, combinatorics on words, fractal geometry, and model theory. Results in this paper establish a characterization for the behavior of the fractal geometry of “k-automatic” sets, subsets of $[0,1]^d$ that are recognized by Büchi automata. The primary tools for building this characterization include the entropy of a regular language and the digraph structure of an automaton. Via an analysis of the strongly connected components of (...) such a structure, we give an algorithmic description of the box-counting dimension, Hausdorff dimension, and Hausdorff measure of the corresponding subset of the unit box. Applications to definability in model-theoretic expansions of the real additive group are laid out as well. (shrink)

We attempt to describe geometry in terms of informational quantities for the universe considered as a finite ensemble of correlated quantum particles. As the main dynamical principle, we use the conservation of the sum of all kinds of entropies: thermodynamic, quantum and informational. The fundamental constant of speed is interpreted as the information velocity for the world ensemble and also connected with the gravitational potential of the universe on a particle. The two postulates, which are enough to derive (...) the whole theory of Special Relativity, are re-formulated as the principles of information entropy universality and finiteness of information density. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to (...) the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)