The reals as rational Cauchy filters

We present a detailed and elementary construction of the real numbers from the rational numbers a la Bourbaki. The real numbers are defined to be the set of all minimal Cauchy filters in $\mathbb{Q}$ (where the Cauchy condition is defined in terms of the absolute value function on $\mathbb{Q}$) and are proven directly, without employing any of the techniques of uniform spaces, to form a complete ordered field. The construction can be seen as a variant of Bachmann's construction by means of nested rational intervals, allowing for a canonical choice of representatives

Librationist cum classical set theories

A librationist set theoretic system \Pfund, which is inter alia geared to deal with set theoretic paradoxes in new ways, is developed. It descends from work in a semantic setting, for truth, initiated by by Kripke, Herzberger and Gupta. \Pfund \ extends the author's contribution in Librationist closures of the paradoxes in Logic and Logical Philosophy 21(4), 323-361, 2012. It is shown that \Pfund \ provides an interpretation of a set theory published by D. Scott in More on the axiom of extensionality, in Bar-Hillel et alia, Essays on the foundations of mathematics, North-Holland Publishing Company, 1961, 115-131. Given this, \Pfund \ also obtains an interpretation of ZFC vi results of von Neumann on regularity in 1929, and G\"odel on the Axiom og Choice in 1938. However, \Pfund \ offers alternative ways to include choice and regularity by means of principles which are informative, and natural. \Pfund \ retains the idea, of Bj{\o}rdal 2012, that the set theoretic universe is countable. But the set within which ZF is interpreted "believes" that there are sets which are not countable. The situation can be resolved much as by Skolem, though one need not suggest that the notion of 'set' is imprecice: for the bijection from the set of finite von Neumann ordinals to the full universe is itself not a member of a classical set theory

The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested

Computability and Evolutionary Complexity: Markets As Complex Adaptive Systems (CAS)

The purpose of this Feature is to critically examine and to contribute to the burgeoning multi disciplinary literature on markets as complex adaptive systems (CAS). Three economists, Robert Axtell, Steven Durlauf and Arthur Robson who have distinguished themselves as pioneers in different aspects of how the thesis of evolutionary complexity pertains to market environments have contributed to this special issue. Axtell is concerned about the procedural aspects of attaining market equilibria in a decentralized setting and argues that principles on the complexity of feasible computation should rule in or out widely held models such as the Walrasian one. Robson puts forward the hypothesis called the Red Queen principle, well known from evolutionary biology, as a possible explanation for the evolution of complexity itself. Durlauf examines some of the claims that have been made in the name of complex systems theory to see whether these present testable hypothesis for economic models. My overview aims to use the wider literature on complex systems to provide a conceptual framework within which to discuss the issues raised for Economics in the above contributions and elsewhere. In particular, some assessment will be made on the extent to which modern complex systems theory and its application to markets as CAS constitutes a paradigm shift from more mainstream economic analysis

Informal proof, formal proof, formalism

Increases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur. In this paper I look at the relevance of these issues for formalism, construed as an anti-platonistic metaphysical doctrine. I argue that there are strong reasons to doubt that all proofs are fully formalisable, if formal proofs are required to be finitary, but that, on a proper view of the way in which formal proofs idealise actual practice, this restriction is unjustified and formalism is not threatened

A predicative variant of a realizability tripos for the Minimalist Foundation.

open2noHere we present a predicative variant of a realizability tripos validating the intensional level of the Minimalist Foundation extended with Formal Church thesis.the file attached contains the whole number of the journal including the mentioned pubblicationopenMaietti, Maria Emilia; Maschio, SamueleMaietti, MARIA EMILIA; Maschio, Samuel

Synchronous Online Philosophy Courses: An Experiment in Progress

There are two main ways to teach a course online: synchronously or asynchronously. In an asynchronous course, students can log on at their convenience and do the course work. In a synchronous course, there is a requirement that all students be online at specific times, to allow for a shared course environment. In this article, the author discusses the strengths and weaknesses of synchronous online learning for the teaching of undergraduate philosophy courses. The author discusses specific strategies and technologies he uses in the teaching of online philosophy courses. In particular, the author discusses how he uses videoconferencing to create a classroom-like environment in an online class