is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our (...) story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. (shrink)

By creating an unbounded topological reduction theory for complex Hilbert spaces over Stonean spaces, we can give a category-theoretic duality between Boolean valued analysis and topological reduction theory for complex Hilbert spaces. MSC: 03C90, 03E40, 06E15, 46M99.

In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is (...) presupposed. MSC: 03C90, 03E40, 17B65, 46L10. (shrink)

A general duality connecting the level of a formal theory and of a metatheory is proposed. Because of the role of natural numbers in a metatheory the existence of a dual theory is conjectured, in which the natural numbers become formal in the theory but in formalizing non-formal natural numbers taken from the dual metatheory these numbers become nonstandard. For any formal theory there may be in principle a dual theory. The dual shape of the lattice of projections over separable (...) Hilbert space is exhibited. The crucial ingredient of this dual theory is set-theoretical (Cohen) forcing. Then, some attempts have been made to exhibit the dual shape of the exotic smooth (small) structures on topological ℝ4. There are striking similarities of both pictures. Nonstandard solutions of the equations of motion of 10-dimensional superstring of IIB type are described as a model theoretic extension of standard ones. Based on Brans conjecture one can predict the existence of sources of gravity in 4 dimensions. By their dual origins they carry quantum information as well. The generalized Maldacena conjecture appears naturally, which sheds light on a definition of background independent string theory. (shrink)

Based on formal arguments from Zermelo–Fraenkel set theory we develop the environment for explaining and resolving certain fundamental problems in physics. By these formal tools we show that any quantum system defined by an infinite dimensional Hilbert space of states interferes with the spacetime structure M. M and the quantum system both gain additional degrees of freedom, given by models of Zermelo–Fraenkel set theory. In particular, M develops the ground state where classical gravity vanishes. Quantum mechanics distinguishes set-theoretic random forcing (...) such that M and gravitational degrees of freedom are parameterized by extended real line. The large scale smooth geometry compatible with the forcing extensions is one of exotic smoothness structures of \. The amoeba forcing makes the old real line to have Lebesgue measure zero in the extended one. We apply the entire procedure to the cosmological constant problem, especially to discard the zero-modes contributions to the gravitational vacuum density. Moreover, there exists certain exotic smooth \ from which one determines the realistic, agreeing with observation, small value of the vacuum energy density. (shrink)

Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of infinite sequences of QM outcomes. Recently it has been shown that QM is algorithmic 1-random in the sense of Martin–Löf. We extend this result and demonstrate that QM is algorithmic $$\omega$$ -random and generic, precisely as described by the ’miniaturisation’ of the Solovay forcing to arithmetic. This is extended further to the result that QM becomes Zermelo–Fraenkel Solovay random on (...) infinite-dimensional Hilbert spaces. Moreover, it is more likely that there exists a standard transitive ZFC model M, where QM is expressed in reality, than in the universe V of sets. Then every generic quantum measurement adds to M the infinite sequence, i.e. random real $$r\in 2^{\omega }$$, and the model undergoes random forcing extensions M[r]. The entire process of forcing becomes the structural ingredient of QM and parallels similar constructions applied to spacetime in the quantum limit, therefore showing the structural resemblance of both in this limit. We discuss several questions regarding measurability and possible practical applications of the extended Solovay randomness of QM. The method applied is the formalization based on models of ZFC; however, this is particularly well-suited technique to recognising randomness questions of QM. When one works in a constant model of ZFC or in axiomatic ZFC itself, the issues considered here remain hidden to a great extent. (shrink)

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed (...) in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...) or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain (...) moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

Present physics is a mix of theories of time, logic, and matter. These may have a common origin in a unitary quantum cosmology founded on process alone. A quantum theory of sets, or something like it, is helpful for such a cosmology, and one is constructed by adding superposition to a slightly reformulated classical set theory. There is an elementary or atomic process in such theories. The size of its characteristic time is estimated from the mass spectrum, although this gives (...) a much larger time than is usually accepted. In a discussion of the foundations of quantum theory, the problem of the collapsing state-vector is attributed to statism, the ideology, alien to quantum theory, that the system under study has a state. The origin of metrical and gauge structure is considered. Using von Neumann's work on the lattices of algebras, we may represent almost any gauge structure by enlarging the ring of c-numbers of quantum theory beyond the complex (or quaternion) field. Ultimately the gauge structure and c-numbers may express a transport relation defined by the discrete network of the world. (shrink)

Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based on (...) T, such that the counterpart `i' of a the modal variable `xi' of L(Tm) in this translation-scheme ranges over elements of V(C) that are 1-types of T with value 1 (sometimes called `definite' C-valued 1-types of T). (shrink)

The basic purpose of this essay, the first of an intended pair, is to interpret standard von Neumann quantum theory in a framework of iterated measure algebraic truth for mathematical (and thus mathematical-physical) assertions — a framework, that is, in which the truth-values for such assertions are elements of iterated boolean measure-algebras (cf. Sections 2.2.9, 5.2.1–5.2.6 and 5.3 below).The essay itself employs constructions of Takeuti's boolean-valued analysis (whose origins lay in work of Scott, Solovay, Krauss and others) to provide a (...) metamathematical interpretation of ideas sometimes considered disparate, heuristic, or simply ill-defined: the collapse of the wave function, for example; Everett's many worlds'-construal of quantum measurement; and a natural product space of contextual (nonlocal) hidden variables. (shrink)

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.

In the early 1920s, the German mathematician David Hilbert (1862–1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called “finitary” methods. The special epistemological character of finitary reasoning then yields the required justification (...) of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory. (shrink)

The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)

Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja (...) konstruktivistisista opeista. (shrink)

We develop a categorical scheme of interpretation of quantum event structures from the viewpoint of Grothendieck topoi. The construction is based on the existence of an adjunctive correspondence between Boolean presheaves of event algebras and Quantum event algebras, which we construct explicitly. We show that the established adjunction can be transformed to a categorical equivalence if the base category of Boolean event algebras, defining variation, is endowed with a suitable Grothendieck topology of covering systems. The scheme leads to a sheaf (...) theoretical representation of Quantum structure in terms of variation taking place over epimorphic families of Boolean reference frames. (shrink)

Does science justify any part of mathematics and, if so, what part? These questions are related to the so-called indispensability arguments propounded, among others, by Quine and Putnam; moreover, both were led to accept significant portions of set theory on that basis. However, set theory rests on a strong form of Platonic realism which has been variously criticized as a foundation of mathematics and is at odds with scientific realism. Recent logical results show that it is possible to directly formalize (...) almost all, if not all, scientifically applicable mathematics in a formal system that is justified simply by Peano Arithmetic (via a proof-theoretical reduction). It is argued that this substantially vitiates the indispensability arguments. (shrink)

[The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...) intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. (shrink)

Even though the description of the universe in cosmology is known to be given by a smooth 4-dimensional Lorentz manifold for energies below Planck scale, one still can ask about the origins of this phenomenon. In this paper we show that mathematics used for description of quantum systems at micro scale determines smoothness of spacetime at large cosmological scales and indicates the dimension 4 as the only possible dimension for spacetime.