The First Hilbert problem is studied in this paper by applying two instruments: a new methodology distinguishing between mathematical objects and mathematical languages used to describe these objects; and a new numeral system allowing one to express different infinite numbers and to use these numbers for measuring infinite sets. Several counting systems are taken into consideration. It is emphasized in the paper that different mathematical languages can describe mathematical objects (in particular, sets and the number of their elements) with different (...) accuracies. The traditional and the new approaches are compared and discussed. (shrink)

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools both give possibilities to (...) execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a new kind (...) of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle ‘The part is less than the whole’ introduced by Ancient Greeks and applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). It is shown that it becomes possible to write down finite, infinite, and infinitesimal numbers by a finite number of symbols as particular cases of a unique framework. The (...) new methodology has allowed us to introduce the Infinity Computer working with such numbers (its simulator has already been realized). Examples dealing with divergent series, infinite sets, and limits are given. (shrink)

Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of these questions enable us to provide the first grounds of a possible new view of physical reality, founded on an ontology of non-individuals, to which quasi-set theory may constitute the logical basis.

This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when equivalence is experienced (...) in context. The method for this part is to strip the ideas from their set-theoretic formulations and methodically examine the variations in the ways equivalence appears in some prominent historical texts. The paper reveals several critical differences in the conceptions of equivalence at different points in history that are at variance with the standard account of the mathematical notion of equivalence encompassing the concepts of equivalence relation and equivalence class. (shrink)

Este texto introduz a tradução do discurso de intitulado "Sobre os números transfinitos" ("Über transfinite Zahlen"), proferido por Henri Poincaré em 27 de abril de 1909, na Universidade de Göttingen. Após uma breve apresentação do pensamento do autor acerca dos fundamentos da aritmética, procura-se citar os aspectos mais relevantes da chamada crise dos fundamentos da matemática, para então introduzir a reformulação do conceito de predicatividade aventada no referido discurso sobre números transfinitos, contribuição compreendida como um recurso teórico necessário para a (...) superação dos paradoxos relativos à teoria dos conjuntos. Com isso, pretende-se evidenciar o papel central do texto publicado nesta edição para o desenvolvimento da concepção matemática de Henri Poincaré. This article provides an introduction to the translation of the lecture entitled "On transfinite numbers" ("Über transfinite Zahlen"), given by Henri Poincaré at the University of Göttingen on April 27, 1909. Following a short presentation of Poincaré's views on the foundations of arithmetic, it identifies the aspects of the so-called crisis of the foundations of mathematics that are most relevant for understanding his reconstruction of the concept of predicativity, which is intended to be a theoretical resource that may overcome the paradoxes of set theory. In doing so, the article highlights the central role of this text in the process of maturation of Poincaré's views on the foundations of mathematics. (shrink)

The Aleph Zero or Zero Dichotomy is a strong version of Zeno's Dichotomy II which being entirely derived from the topological successiveness of the w-order comes to the same Zeno's absurdity.

Hintikka and Sandu have recently claimed that Frege's notion of function was substantially narrower than that prevailing in real analysis today. In the present note, their textual evidence for this claim is examined in the light of relevant historical and biographical background and judged insufficient.

The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.

The ‘ontic’ form of structural realism , roughly speaking, admits a complete elimination of the objects in the discourse of scientific theories, leaving us with structures only. As put by the defenders of such a claim, the idea is that all there is are structures and, if the relevant structures are to be set-theoretical constructs , as it has also been claimed, then the relations which appear in such structures should be taken to be ‘relations without the relata’. As far (...) as we know, there is not a definition of structure in standard mathematics which fits their intuitions, and even category theory seems not to correspond adequately the OSR claims. Since OSR is also linked with the semantic approach to theories, the structures to be dealt with are taken to be set-theoretical constructs. But these are ‘relational’ structures where the involved relations are built from basic objects , and so no complete elimination of the relata is possible, although it would be adequate for characterizing OSR. In this paper we present a definition of a kind of relation that does not depend on the particular objects being related in the sense that the ‘relation’ continues to hold even if the relata are exchanged by suitable objects. Although there is not a ‘complete’ elimination of relata, our definition might be viewed as an alternative way of finding adequate mathematical ‘set-theoretical’ frameworks for describing at least some of the intuitions regarding OSR within a ‘set-theoretical’ framework. (shrink)

Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradiction that compromises the Axiom of Infinity.

Intuitive Set Theory (IST) is defined as the theory we get, when we add Axiom of Monotonicity and Axiom of Fusion to Zermelo-Fraenkel set theory. In IST, Continuum Hypothesis is a theorem, Axiom of Choice is a theorem, Skolem paradox does not appear, nonLebesgue measurable sets are not possible, and the unit interval splits into a set of infinitesimals.

The perspective drawn from evolutionary science, undoubtedly one of the most remarkable intellectual achievements in our conception of the world, poses a deep challenge to epistemology and the meaning of truth. The present paper aims to examine the difficulties offered by the prevailing biological model for the emergence and development of mind in its attempt at constructing a possible philosophical theory of truth. We propose a solution which, while preserving the priority of the distinction between truth and falsehood, is nonetheless (...) capable of reconciling its philosophical fundamentals with the scientific evidence concerning the evolutionary origin of our capacity to recognize truth and falsehood. (shrink)