A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of infinite descent. (...) The infinite descent is linked to induction starting from n = 3 by modus tollens. An inductive series of modus tollens is constructed. The proof of the series by induction is equivalent to Fermat’s last theorem. As far as Fermat had been proved the theorem for n = 4, one can suggest that the proof for n ≥ 4 was accessible to him. An idea for an elementary arithmetical proof of Fermat’s last theorem (FLT) by induction is suggested. It would be accessible to Fermat unlike Wiles’s proof (1995). (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for (...) “n = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a (...) subspace of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

We study Fermat's last theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions of models of arithmetical theories (in the language ) by a binary (partial or total) function e intended as an exponential. We provide a general construction of such expansions and prove that it is universal for the class of all exponentials e which satisfy a certain natural set of axioms. We construct a model and a substructure with e (...) total and (Presburger arithmetic) such that in both and Fermat's last theorem for e is violated by cofinally many exponents n and (in all coordinates) cofinally many pairwise linearly independent triples. On the other hand, under the assumption of ABC conjecture (in the standard model), we show that Catalan's conjecture for e is provable in (even in a weaker theory) and thus holds in and. Finally, we also show that Fermat's last theorem for e is provable (again, under the assumption of ABC in ) in “coprimality for e”. (shrink)

This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.

The equivalence of Fermat's Last Theorem and the non-existence of solutions of a generalized n th order homogeneous hyperbolic partial differential equation in three dimensions and periodic boundary conditions defined in a cubic lattice is demonstrated for all positive integer, n > 2. For the case n = 2, choosing one variable as time, solutions are identified as either propagating or standing waves. Solutions are found to exist in the corresponding problem in two dimensions.

Published here, and discussed, are some manuscripts and a letter of Sophie Germain concerning her work on Fermat’s Last theorem. These autographs, held at Bibliothèque Nationale of Paris, at the Moreniana Library of Florence and at the University Library of Göttingen, contribute to a substantial revaluation of her work on this subject.

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

A structure ${\mathbb Y}$ of a relational language L is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $\,<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi $ of the linear order $\langle Y\setminus F, <\rangle $ the mapping $\mathop {\mathrm {id}}\nolimits _F \cup \varphi $ is a partial automorphism of ${\mathbb Y}$. By theorems of Fraïssé and Pouzet, an infinite structure ${\mathbb Y}$ is almost chainable iff the (...) profile of ${\mathbb Y}$ is bounded; namely, iff there is a positive integer m such that ${\mathbb Y}$ has $\leq m$ non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory ${\mathcal T}$ having infinite models is called almost chainable iff all models of ${\mathcal T}$ are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of ${\mathcal T}$. In addition, it is proved that an almost chainable theory has either one or continuum many non-isomorphic countable models and, thus, the Vaught conjecture is confirmed for almost chainable theories. (shrink)

The main topic of this paper is the investigation of generalized amalgamation properties for simple theories. That is, we are trying to answer the question of when a simple theory has the property of n-dimensional amalgamation, where two-dimensional amalgamation is the Independence Theorem for simple theories. We develop the notions of strong n-simplicity and n-simplicity for 1≤n≤ω, where both “1-simple” and “strongly 1-simple” are the same as “simple”. For strong n-simplicity, we present examples of simple unstable theories in each subclass (...) and prove a characteristic property of strong n-simplicity in terms of strong n-dividing, a strengthening of the dependence relation called dividing in simple theories. We prove a strong three-dimensional amalgamation property for strongly 2-simple theories, and, under an additional assumption, a strong -dimensional amalgamation property for strongly n-simple theories. In the last section of the paper we comment on why strong n-simplicity is called strong. (shrink)

With Fermat’s Last Theorem finally disposed of by Andrew Wiles in 1994, it’s only natural that popular attention should turn to arguably the most outstanding unsolved problem in mathematics: the Riemann Hypothesis. Unlike Fermat’s Last Theorem, however, the Riemann Hypothesis requires quite a bit of mathematical background to even understand what it says. And of course both require a great deal of background in order to understand their significance. The Riemann Hypothesis was first articulated by Bernhard Riemann in (...) an address to the Berlin Academy in 1859. The address was called “On the Number of Prime Numbers Less Than a Given Quantity” and among the many interesting results and methods contained in that paper was Riemann’s famous hypothesis: all non-trivial zeros of the zeta function, ζ(s) = ∞ n=1 n−s, have real part 1/2. Although the zeta function as stated and considered as a real-valued function is defined only for s > 1, it can be suitably extended. It can, as a matter of fact, be extended to have as its domain all the complex numbers (numbers of the form x + yi, where x and y √ −1) with the exception of 1 + 0i (at which point are real numbers and i =. (shrink)

Einstein wrote his famous sentence "God does not play dice with the universe" in a letter to Max Born in 1920. All experiments have confirmed that quantum mechanics is neither wrong nor “incomplete”. One can says that God does play dice with the universe. Let quantum mechanics be granted as the rules generalizing all results of playing some imaginary God’s dice. If that is the case, one can ask how God’s dice should look like. God’s dice turns out to be (...) a qubit and thus having the shape of a unit ball. Any item in the universe as well the universe itself is both infinitely many rolls and a single roll of that dice for it has infinitely many “sides”. Thus both the smooth motion of classical physics and the discrete motion introduced in addition by quantum mechanics can be described uniformly correspondingly as an infinite series converges to some limit and as a quantum jump directly into that limit. The second, imaginary dimension of God’s dice corresponds to energy, i.e. to the velocity of information change between two probabilities in both series and jump. (shrink)

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. (shrink)

Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both insightful (...) and frustrating. Much light was shed on the legal system, but it also quickly became evident that the tools of probability theory were in many ways ill-constructed for the task. Fundamental incompatibilities between the structure of legal decision making and the extant formal tools were identified, and it became evident that many of the purported explanations of legal phenomena were internally inconsistent. As a consequence, interest in this type of formal modeling declined, and attention was directed toward different kinds of explanations of the phenomena. Perhaps under the influence of a recent trend toward various types of formal modeling in legal scholarship, a recent burst of articles, rather than attempting to explain the macro structure of trials, which was the previous object of interest, attempts to quantify the probative value of various items of evidence in ways consistent with the formal features of various probability theories, and then to study decision making from that perspective. For example, the value of evidence is often purported to be its likelihood ratio, that is, the probability of discovering or receiving the evidence given a hypothesis (e.g., the defendant did it) divided by the probability of discovering or receiving the evidence given the negation of the hypothesis (the defendant didn't do it). Alternatively, the value of evidence is purported (more contextually) to be the information gain it provides, defined as the increase in probability it provides for a hypothesis above the probability of the hypothesis based on the other available evidence. Both conceptions then assume that all of the various probability assessments conform or ought to conform to the dictates of Bayes' theorem (that maintains consistency among such assessments); empirical studies are then done testing the extent to which this is so and proposing how the law can increase the probability that it is so. The general criticisms of using Bayes' theorem as a formal model of juridical proof are well known and were integral to the last wave of interest in formal modeling of the evidentiary process. This paper thus for the most part puts aside that more general issue, and focuses specifically on mathematical modeling of the value of particular items of evidence. The paper demonstrates that formal modeling has only limited value in explaining the value of legal evidence, much more limited than those constructing and discussing the models assume, and thus that the conclusions they draw about the value of evidence are unwarranted. This is done through a discussion of four recent examples that attempt to quantify evidence relating to, respectively, carpet fibers, infidelity, DNA random-match evidence, and character evidence used to impeach a witness. This article thus makes two contributions. First, and most importantly, it is another demonstration of the complex relationship between algorithmic tools and legal decision making. Second, at a minimum it points out serious pitfalls for analytical or empirical studies of juridical proof. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and (...) the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', (...) `heuristic' or `pragmatic', but that there must be an element of what it is rational to believe on the evidence, that is, of non-deductive logic. (shrink)

In this paper I will argue that (principled) attempts to ground a priori knowledge in default reasonable beliefs cannot capture certain common intuitions about what is required for a priori knowledge. I will describe hypothetical creatures who derive complex mathematical truths like Fermat’s last theorem via short and intuitively unconvincing arguments. Many philosophers with foundationalist inclinations will feel that these creatures must lack knowledge because they are unable to justify their mathematical assumptions in terms of the kind of basic (...) facts which can be known without further argument. Yet, I will argue that nothing in the current literature lets us draw a principled distinction between what these creatures are doing and paradigmatic cases of good a priori reasoning (assuming that the latter are to be grounded in default reasonable beliefs). I will consider, in turn, appeals to reliability, coherence, conceptual truth and indispensability and argue that none of these can do the job. (shrink)

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. As (...) construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe. (shrink)

A History of Mathematics: From Mesopotamia to Modernity covers the evolution of mathematics through time and across the major Eastern and Western civilizations. It begins in Babylon, then describes the trials and tribulations of the Greek mathematicians. The important, and often neglected, influence of both Chinese and Islamic mathematics is covered in detail, placing the description of early Western mathematics in a global context. The book concludes with modern mathematics, covering recent developments such as the advent of the computer, chaos (...) theory, topology, mathematical physics, and the solution of Fermat's Last Theorem.Containing more than 100 illustrations and figures, this text, aimed at advanced undergraduates and postgraduates, addresses the methods and challenges associated with studying the history of mathematics. The reader is introduced to the leading figures in the history of mathematics and their fields. An extensive bibliography with cross-references to key texts will provide invaluable resource to students and exercises will stretch the more advanced reader. (shrink)

A History of Mathematics: From Mesopotamia to Modernity covers the evolution of mathematics through time and across the major Eastern and Western civilizations. It begins in Babylon, then describes the trials and tribulations of the Greek mathematicians. The important, and often neglected, influence of both Chinese and Islamic mathematics is covered in detail, placing the description of early Western mathematics in a global context. The book concludes with modern mathematics, covering recent developments such as the advent of the computer, chaos (...) theory, topology, mathematical physics, and the solution of Fermat's Last Theorem. Containing more than 100 illustrations and figures, this text, aimed at advanced undergraduates and postgraduates, addresses the methods and challenges associated with studying the history of mathematics. The reader is introduced to the leading figures in the history of mathematics and their fields. An extensive bibliography with cross-references to key texts will provide invaluable resource to students and exercises will stretch the more advanced reader. (shrink)

ABSTRACTIn this paper, I offer an account of propositional learning: namely, learning that p. I argue for what I call the “Three Transitions Thesis” or “TTT” according to which four states and three transitions between them characterize such learning. I later supplement the TTT to account for learning why p. In making my case, I discuss mathematical propositions such as Fermat's Last Theorem and the ABC Conjecture, and then generalize to other mathematical propositions and to non-mathematical propositions. I (...) also discuss some interesting applications of the TTT, and reply to some noteworthy objections. (shrink)

A guiding thread in Western thought is that the world has a mathematical structure. This essay articulates this thread by making use of a cardboard teaching aid that illustrates the Pythagorean Theorem and uses this teaching aid as a starting point for discussion about a variety of philosophical and historical topics. To name just a few, the aid can be used to segue into a discussion of the Pythagorean association of shapes with numbers, the nature of deductive argumentation, the demonstration (...) of part of the Theorem in the Meno, the possible origin of the Theorem in Egypt, the influence of Pythagoreans upon Plato, or even the relation of the Pythagorean Theorem to Fermat’s Last Theorem. (shrink)

The article is devoted to the comparison of two types of proofs in mathematical practice, the methodological differences of which go back to the difference in the understanding of the nature of mathematics by Descartes and Leibniz. In modern philosophy of mathematics, we talk about conceptual and formal proofs in connection with the so-called Hilbert Thesis, according to which every proof can be transformed into a logical conclusion in a suitable formal system. The analysis of the arguments of the proponents (...) and opponents of the Thesis, “conceptualists” and “formalists”, is presented respectively by the two main antagonists – Y. Rav and J. Azzouni. The focus is on the possibility of reproducing the proof of “interesting” mathematical theorems in the form of a strict logical conclusion, in principle feasible by a mechanical procedure. The argument of conceptualists is based on pointing out the importance of other aspects of the proof besides the logical conclusion, namely, in introducing new concepts, methods, and establishing connections between different sections of meaningful mathematics, which is often illustrated by the case of proving Fermat’s Last Theorem (Y. Rav). Formalists say that a conceptual proof “points” to the formal logical structure of the proof (J. Azzouni). The article shows that the disagreement is based on the assumption of asymmetry of mutual translation of syntactic and semantic structures of the language, as a result of which the formal proof loses important semantic factors of proof. In favor of a formal proof, the program of univalent foundations of mathematics In. Vojevodski, according to which the future of mathematical proofs is associated with the availability of computer verification programs. In favor of conceptual proofs, it is stated (A. Pelc) that the number of steps in the supposed formal logical conclusion when proving an “interesting” theorem exceeds the cognitive abilities of a person. The latter circumstance leads the controversy beyond the actual topic of mathematical proof into the epistemological sphere of discussions of “mentalists” and “mechanists” on the question of the supposed superiority of human intelligence over the machine, initiated by R. Penrose in his interpretation of the Second Theorem of Goedel, among whose supporters, as it turned out, was Goedel himself. (shrink)

This note examines when the worst shot should aim his first shot into the air in a game of the truel presented by Singh (Fermat's Enigma: the epic quest to solve the world's greatest mathematical problem. Walker and Company, New York, 1987) in his popular book on Fermat's Last Theorem. It also analyzes a variant of the game. Finally, it considers the possibility of the situation in which the worst and better shots are both willing to reverse (...) the order of their moves in the original game. (shrink)

This paper continues the investigation of inconsistent arithmetical structures. In $\S2$ the basic notion of a model with identity is defined, and results needed from elsewhere are cited. In $\S3$ several nonisomorphic inconsistent models with identity which extend the (=, $\S4$ inconsistent nonstandard models of the classical theory of finite rings and fields modulo m, i.e. Z m , are briefly considered. In $\S5$ two models modulo an infinite nonstandard number are considered. In the first, it is shown how to (...) model inconsistently the arithmetic of the rationals with all names included, a strengthening of earlier results. In the second, all inconsistency is confined to the nonstandard integers, and the effects on Fermat's Last Theorem are considered. It is concluded that the prospects for a good inconsistent theory of fields may be limited. (shrink)

In a recent paper, the mathematician Harold Edwards claimed that Euler’s alleged proof, that Fermat’s last theorem is true for the case n = 3, is flawed. Fermat’s last theorem is the conjecture that there are no positive integers x, y, z, or n, such that n is greater than two and such that xn + yn = zn. In this paper we shall first briefly explain the specific flaw to which Edwards called attention. After that we briefly (...) explain the nature of mathematical proofs and with reference to such proofs explain the nature of gaps in proofs. Then we critically discuss an alternative view concerning the nature of proofs in mathematics and discuss the alternative view critically. Specifically we argue that advocates of this alternative view, which we call mathematical postulationism, have not provided a satisfactory account of the nature of gaps in proofs. The unsatisfactoriness of postulationist accounts of gaps in proofs is revealed through reflection concerning appropriate repairs to proofs with gaps. (shrink)

Church's Undecidability Theorem is one of the meta-theoretical results of the mid-third decade of the last century, which along with other limiting theorems such as those of Gödel and Tarski have generated endless reflections and analyzes, both within the framework of the formal sciences, that is, mathematics, logic and theoretical computation, as well as outside them, especially the philosophy of mathematics, philosophy of logic and philosophy of mind. We propose, as a general purpose of this article, to formulate Church's (...) Undecidability Theorem and present the main ideas of its demonstration. In order to carry out the first objective, we need to introduce and explain the notions of recursive function and numbering used by Gödel, which will allow to formally and rigorously enunciate Church's Theorem. After we enunciate Church's Theorem of Unspeakability in a formal and rigorous manner, we will present the main ideas of the proof of Church's Undecidability Theorem for First Order Logic, which uses Robinson's axiomatic system for arithmetic and four facts about himself: In Robinson's system for arithmetic recursive functions are representable Robinson's system is undecidable, The number of axioms proper to the Robinson system is finite and The logical calculation of the Robinson system is equal to the calculation of the first-order logic. (shrink)

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

This book is intended as a reference source of “universal scientific laws, physical principles, viable theories, and testable hypotheses” from ancient times to the present. Robert Krebs states that he includes only the physical and biological sciences, including geology, but in fact there are also several mathematical and logical entries ranging from the Greeks to Gödel. The book contains over four hundred entries, in alphabetical order, averaging less than a page each, plus a glossary of nearly four hundred technical terms. (...) Evidently, it is intended as a library reference for a general audience. It does not seem to be directed toward professional historians of science. The author is a retired university science administrator in the health sciences field.Opening the book at random, I find four entries on the facing pages: “Carnot's Theories of Thermodynamics,” “Caspersson's Theory of Protein Synthesis,” “Cassini's Hypothesis for Size of the Solar System,” and “Cavendish's Theories and Hypothesis.” It is hard to know what the principle of selection is, other than comprehensive coverage. But although it is impressive, the coverage is spotty. The famous story of Adams, Leverrier, and Neptune is not included, for example—perhaps because no new law is involved.To a historical scholar, such a project has obvious pitfalls; I will list some of them. First, it is whiggish in selecting and evaluating the entries from our standpoint and in often omitting now‐discredited content. For example, the entry on Carnot does not mention caloric, although it does mention the model of water flowing over a waterwheel. The book encourages the idea that discoveries and other major results are more or less punctiform, the achievements of particular individuals at particular times. To be fair, in his introduction Krebs does describe science as an ongoing, self‐correcting process in which “laws” sometimes turn out to be false or to need correction. The book is historically uncritical, since it accepts at face value that eponymous results were actually achieved by the person celebrated in the name. The entries are necessarily too brief to indicate much of the wider historical context, or even the technical context, in which the law or theory under discussion was developed. Krebs's statement of his intent, in the introduction to the volume, is theory centered and seems to take physics as a model, although in fact there are many entries from the biomedical sciences that do not neatly fit this model. The author's attempt to characterize his subject matter—scientific laws—is philosophically naïve. Finally, even if we leave aside the difficulty of making complex technical results accessible to a general audience in a very limited space, no single author can be expert enough to maintain a high standard throughout a volume of such scope. Krebs identifies no panel of expert consultants enlisted to check his entries.The entries that I sampled sometimes contained less‐than‐sharp formulations, inaccuracies, and even contradictions. For example, Krebs describes Aristotle, in cliché fashion, as a “philosopher” rather than as a “scientist concerned with observations and evidence” , but two paragraphs later it turns out that Aristotle based his account of spontaneous generation on observations! Krebs says that motion was self‐explanatory for Aristotle because things strive to reach their natural places. The entry on Euler mislabels his work on bodies moving with multiple degrees of freedom as the three‐body problem. Fermat's last theorem is said to remain unsolved, yet Krebs obviously prides himself on being up to date. The entry on Planck is historically inaccurate and physically misleading. And so on.For all that, I found the book rather interesting and useful. No reader leafing through it will fail to find this entry or that intriguing. Since the entries are short and discrete, the book makes good bedtime reading. And, given that the laws, principles, and effects are commonly called by these names, the book can serve as a source of general knowledge—but only as a starting point. Given the uneven quality, caveat lector! (shrink)

In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal (...) logic can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided. (shrink)

This little gem is stated unbilled and proved in the last two lines of §2 of the short note Kleene [1938]. In modern notation, with all the hypotheses stated explicitly and in a strong form, it reads as follows:Second Recursion Theorem. Fix a set V ⊆ ℕ, and suppose that for each natural number n ϵ ℕ = {0, 1, 2, …}, φn: ℕ1+n ⇀ V is a recursive partial function of arguments with values in V so that the (...) standard assumptions and hold with. Every n-ary recursive partial function with values in V is for some e. For all m, n, there is a recursive function : Nm+1 → ℕ such that.Then, for every recursive, partial function f of arguments with values in V, there is a total recursive function of m arguments such thatProof. Fix e ϵ ℕ such that and let.We will abuse notation and write ž; rather than ž() when m = 0, so that takes the simpler formin this case ). (shrink)

The dominant forms of thought today exist as either deconstructive or metalinguistic structures. Here we attempt to situate dialectical thinking as a constructive meta-mediation of this opposition between deconstruction and metalanguage. Dialectical thinking offers us a way to think about the processual nature of reason itself as a force of thought mediating being. In this mode of understanding we attempt to think the possibility of articulating the meaning and importance of ‘metaontology’ defined as the ontology of epistemology. In a metaontology (...) we treat the structure of concepts not as reflecting external territory, nor as existing at a distance from external territory, but as having their own territory. We attempt to approach metaontology by reflectively observing the singularity of the author’s own internal territorial map, revealing a ‘quadratic twisted circularity’; and also the movement of the symbolic order itself, revealing a possible invariant unsymbolizable real. From these reflections we dive into the foundations of dialectical thinking, starting with Plato, and then exploring modifications introduced by Hegel and Lacan. Finally, we offer a dialectical structure of knowledge for the 21st century. This offering is meant only as an offer, a consideration, for how dialectics can be deployed at the location of key antagonisms in the contemporary field. The hope is that future dialecticians. (shrink)

This book contains the text of Thomas Kuhn's unfinished book, The Plurality of Worlds: An Evolutionary Theory of Scientific Development, which Kuhn himself described as "a return to the central claims of The Structure of Scientific Revolutions, and the problems that it raised but did not resolve." The Plurality of Worlds is preceded by two related texts that Kuhn publicly delivered but never published in English: his paper "Scientific Knowledge as a Historical Product" and his Shearman Memorial Lectures, "The Presence (...) of Past Science." The book opens with an introduction by the editor that describes the origins and structure of The Plurality of Worlds, and sheds light on its central philosophical problems. Kuhn's aims in his last writings are bold. He sets out to develop an empirically grounded theory of meaning that would allow him to make sense of both the possibility of historical understanding and the inevitability of incommensurability between past and present science. Moreover, he intends to show that incommensurability is fully compatible with a robust notion of a real world that science investigates, with the rationality of scientific belief change, and with the idea that scientific development is progressive. This is a must-read follow-up to The Structure of Scientific Revolutions, one of the most important books of the twentieth century. (shrink)

The Sallustian Suasoriae are far from being works whose origin and authenticity can be claimed as matters of earth-shaking importance. As forms of composition their interest is mild; linguistically they are less valuable than bizarre; and as historical records theysuffer from the defect of most Suasoriae—that the author cannot advise about the past and is compelled to deal chiefly with the potentialities of the future. But in spite of this it is not without reason that in Germany much attention has (...) been paid to these few pages of Latin during the last twenty years. If they are what they seem to be, their evidence, such as it is, must at least be taken seriously. And this evidence is not without promise; for not only do these pieces contain several scraps of otherwise missing information largely about the prosopography of the last century B.C., but in general they purport to express the views of Sallust—a man who was no fool, even if his ability was not so great as has some-times been alleged—on the political and economic difficulties of Rome during the closing phase of the career of Julius Caesar. Material of this kind cannot lightly be neglected; but at the same time the significance, both of the author's suggestions and of his casual references to events inthe past, will depend to a great extent on the author having been Sallust himself, and not a member of some rhetor's establishment writing perhaps a hundred years or more after the events with which he pretends to be contemporary. So though there may be no welcome for yet another addition to the literature of a subject whose bibliography is already long, it may still be worth while to make some observations which will perhaps help to show that, wherever the true conclusion about the authenticity of these pamphlets may lie, at least it does not lie in the direction which has been taken in recent years by several scholars—in particular by Pöhlmann and Eduard Meyer. (shrink)

The Spanish Civil War was one of the pivotal events of the 1930’s, the moment when fascism and socialism came into open conflict. First published in 1939, _The Spanish Tragedy_ recounts the experiences of Jef Last. Activist, poet and novelist, Last might have been the archetypal Republican volunteer but his experience left him even more disenchanted than most. Critical of Soviet Communism, a court martial loyal to Moscow tried to sentence him to death and he was forced to (...) flee to Scandinavia. (shrink)

The article argues that the work of literary theorist Mikhail M. Bakhtin presents a starting point for thinking about the instrumentalization of climate change. Bakhtin’s conceptualization of human–world relationships, encapsulated in the concept of ‘cosmic terror’, places a strong focus on our perception of the ‘inhuman’. Suggesting a link between the perceived alienness and instability of the world and in the exploitation of the resulting fear of change by political and religious forces, Bakhtin asserts that the latter can only be (...) resisted if our desire for a false stability in the world is overcome. The key to this overcoming of fear, for him, lies in recognizing and confronting the worldly relations of the human body. This consciousness represents the beginning of one’s ‘deautomatization’ from following established patterns of reactions to predicted or real changes. In the vein of several theorists and artists of his time who explored similar ‘deautomatization’ strategies – examples include Shklovsky’s ‘ ostranenie’, Brecht’s ‘ Verfremdung’, Artaud’s emotional ‘cruelty’ and Bataille’s ‘base materialism’ – Bakhtin proposes a more playful and widely accessible experimentation to deconstruct our ‘habitual picture of the world’. Experimentation is envisioned to take place across the material and the textual to increase possibilities for action. Through engaging with Bakhtin’s ideas, this article seeks to draw attention to relations between the imagination of the world and political agency, and the need to include these relations in our own experiments with creating climate change awareness. (shrink)

Mr. Powell's ingenious observations on The Simile of the Clepsydra in Empedocles raise afresh the problem of the precise form and construction of the instrument with whose aid Empedokles is said to have reached his memorable conclusion that air is a corporeal substance. That ‘klepsydra’ was the name of the instrument in question is shown by a comparison of Aristotle, Phys. 213a, 22 sqq. with Empedokles, fr. 100; but though so far the fragment is plain, in its detailed interpretation there (...) arises a difficulty which is the subject of the present note. Empedokles is explaining his theory of respiration, and the theory is illustrated by the action of this apparatus. To make clear the general drift of the passage, it may be well to quote again so much of it as is relevant. ‘Thus do all things draw breath in and breathe it out again. All have bloodless tubes of flesh extended over the surface of their bodies; and at the mouths of these the outermost surface of the skin is perforated all over with pores closely packed together, so as to keep in the blood while a free passage is cut for the air to pass through. Then, when the thin blood recedes from these, the bubbling air rushes in with an impetuous surge; and when the blood rushes back it’ ‘is breathed out again. (shrink)

Slavoj Žižek is one of the most influential philosophers of our current age. His work as a whole largely draws from Platonic, Cartesian, Hegelian and Lacanian thought, and has been applied to the analysis of empirical sciences, political-economic theory, as well as contemporary spirituality and theology. Jordan Peterson is a well respected clinical psychologist and has recently become one of the most influential public intellectuals of our current age. His work as a whole largely draws from Christian, Nietzschean, Jungian and (...) Piagettian thought, and has been antagonistically situated in contemporary debates on the nature of gender identity, sexual expression, communist ideology, and the importance of responsibility for a meaningful life. During Peterson’s rise to global fame these two thinkers have often been symbolically positioned by those familiar with their work as figures in an oppositional determination : Žižek standing for the future of the progressive left and revolutionary communist values, and Peterson standing for the future of the conservative right and traditional patriarchal values. In this work it is argued that the difference internal to this antagonistic positioning can be put to a productive utility. Towards this end I first attempt to use Christianity, Postmodernism and Psychoanalysis as thematic structures to focus on their core differences. Secondly, I attempt to summarize the major points of agreement that emerged from their public debate/dialogue/discussion. These two goals are established to demonstrate the importance of higher order dialogue capable of reconciling opposed figures of consciousness. Such reconciliation would not represent a synthesis to erase all differences, but rather a reconciliation that would open new spaces of productive discourse capable of approaching the nature of psychology and society. (shrink)