Theories of Mathematics, Misc

Gives two pared-down versions of the argument from design, which may prove more persuasive as to a Creator, discusses briefly the mathematics underpinning disbelief and nonbelief and its misuse and some proper uses, moves to why the full argument is needed anyway, viz., to demonstrate Providence, offers a theory as to how miracles (open and hidden) occur, viz. the replacement of any particular mathematics underlying a natural law (save logic) by its most appropriate nonstandard variant. -/- Note: This is an (...) extended abstract; there are no present plans to complete it. (shrink)

An excerpt of "The SignalGlyph Project and Prime Numbers" (a chapter of the book THE IMAGE OF LANGUAGE) that attempts to illustrate how dimensional limitations of mathematical language have obscured recognition of the system of patterning in the distribution of prime numbers.

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)

The hard problem of consciousness is explicating how moving matter becomes thinking matter. Harder yet is the problem of spelling out the mutual determinations of individual experiences and the experiencing self. Determining how the collective social consciousness influences and is influenced by the individual selves constituting the society is the hardest problem. Drawing parallels between individual cognition and the collective knowing of mathematical science, here we present a conceptualization of the cognitive dimension of the self. Our abstraction of the relations (...) between the physical world, biological brain, mind, intuition, consciousness, cognitive self, and the society can facilitate the construction of the conceptual repertoire required for an explicit science of the self within human society. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

En ' Godel’s Way ', tres eminentes científicos discuten temas como la indecisión, la incompleta, la aleatoriedad, la computabilidad y la paracoherencia. Me acerco a estas cuestiones desde el punto de vista de Wittgensteinian de que hay dos cuestiones básicas que tienen soluciones completamente diferentes. Existen las cuestiones científicas o empíricas, que son hechos sobre el mundo que necesitan ser investigados Observacionalmente y cuestiones filosóficas en cuanto a cómo el lenguaje se puede utilizar inteligiblemente (que incluyen ciertas preguntas en matemáticas (...) y lógica), que necesitan decidirse por unt cómo realmente usar palabras en contextos concretos. Cuando tenemos claro sobre qué juego de idiomas estamos jugando, estos temas son vistos como preguntas científicas y matemáticas ordinarias como cualquier otra. Las percepciones de Wittgenstein rara vez se han igualado y nunca superado y son tan pertinentes hoy como lo fueron hace 80 años cuando dictó los libros azul y marrón. A pesar de sus fallas — realmente una serie de notas en lugar de un libro terminado —, esta es una fuente única de la obra de estos tres eruditos famosos que han estado trabajando en los bordes sangrantes de la física, las matemáticas y la filosofía durante más de medio siglo. Da Costa y Doria son citados por Wolpert (ver abajo o mis artículos sobre Wolpert y mi reseña de ' los límites de la razón ' de Yanofsky) desde que escribieron en el cómputo universal, y entre sus muchos logros, da Costa es pionera en paraconsistencia. -/- Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punta da vista puede consultar mi libro 'La estructura lógica de la filosofía, la psicología, la mente y lenguaje en Ludwig Wittgenstein y John Searle ' 2a ED (2019). Los interesados en más de mis escritos pueden ver 'Monos parlantes--filosofía, psicología, ciencia, religión y política en un planeta condenado--artículos y reseñas 2006-2019 3rd ED (2019) y Delirios utópicos suicidas en el siglo 21 4a Ed (2019) y otras. (shrink)

Gideon Rosen and Robert Schwartzkopff have independently suggested (variants of) the following claim, which is a varian of Hume's Principle: -/- When the number of Fs is identical to the number of Gs, this fact is grounded by the fact that there is a one-to-one correspondence between the Fs and Gs. -/- My paper is a detailed critique of the proposal. I don't find any decisive refutation of the proposal. At the same time, it has some consequences which many will (...) find objectionable. (shrink)

This book tries to present math to the millions and does a pretty good job. It is simple and sometimes witty but often the literary allusions intrude and the text bogs down in pages of relentless math--lovely if you like it and horrid if you don´t. If you already know alot of math you will still probably find the discussions of general math, geometry, projective geometry, and infinite series to be a nice refresher. If you don´t know any and don´t (...) have a natural talent for it, you will find it very dense or impossible. Being somewhere in the middle I skimmed thru most of it and slowed down when it got interesting. If you have only a little time I would suggest the last chapter ´The Abyss` about Georg Cantor and transfinite arithmetic. -/- At points they wax philosophical and ask the perennial question: is math is out there in the world or in here in our heads. Why not ask this about art or music or literature or computer programs or philosophy itself? In a very general way math must come from the same place that words and ideas and images come from---our brain evolved to make them and they must in many ways (every way?) reflect the structure of our brains, which reside in our DNA, which was shaped by natural selection, which was shaped by the geology of the earth and the structure of our universe, which comes from particle physics which comes from the laws of nature which are just there. -/- I have written extensively on the nature of math and language and mind and how they are all one in my many other reviews so please see them if these topics interest you. Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX -/- . (shrink)

This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind,and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our (...) main thesis is that Marburg neo-Kantian philosophy formulated a sophisticated position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the “great triumvirate” of Cantor, Dedekind, and Weierstrass that declared infinitesimals conceptus nongrati in mathematical discourse. Rather, following Cohen’s lead, the Marburg philosophers sought to clarify Leibniz’s principle of continuity, and to exploit it in making sense of infinitesimals and related concepts. (shrink)

We start from previous studies of G.N. Ord and A.S. Deakin showing that both the classical diffusion equation and Schrödinger equation of quantum mechanics have a common stump. Such result is obtained in rigorous terms since it is demonstrated that both diffusion and Schrödinger equations are manifestation of the same mathematical axiomatic set of the Clifford algebra. By using both such ( ) i A S and the i,±1 N algebra, it is evidenced, however, that possibly the two basic equations (...) of the physics cannot be reconciled. 1. (shrink)

For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be knowledge (...) about? (2) How do we distinguish significant from insignificant mathematics? This is a fundamental philosophical problem concerning the nature of mathematics. But it is also a practical problem concerning mathematics itself. In the absence of the solution to the problem, there is the danger that genuinely significant mathematics will be lost among the unchecked growth of a mass of insignificant mathematics. This second problem cannot, it would seem, be solved granted knowledge-inquiry. For, in order to solve the problem, mathematics needs to be related to values, but this is, it seems, prohibited by knowledge-inquiry because it could only lead to the subversion of mathematical rigour. Both problems are solved, however, when mathematics is viewed from the perspective of wisdom-inquiry. (1) Mathematics is not a branch of knowledge. It is a body of systematized, unified and inter-connected problem-solving methods, a body of problematic possibilities. (2) A piece of mathematics is significant if (a) it links up to the interconnected body of existing mathematics, ideally in such a way that some problems difficult to solve in other branches become much easier to solve when translated into the piece of mathematics in question; (b) it has fruitful applications for (other) worthwhile human endeavours. If ever the revolution from knowledge to wisdom occurs, I would hope wisdom mathematics would flourish, the nature of mathematics would become much more transparent, more pupils and students would come to appreciate the fascination of mathematics, and it would be easier to discern what is genuinely significant in mathematics (something that baffled even Einstein). As a result of clarifying what should count as significant, the pursuit of wisdom mathematics might even lead to the development of significant new mathematics. (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)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

Friedrich Waismann, a little-known mathematician and onetime student of Wittgenstein's, provides answers to problems that vexed Wittgenstein in his attempt to explicate the foundations of mathematics through an analysis of its practice. Waismann argues in favor of mathematical intuition and the reality of infinity with a Wittgensteinian twist. Waismann's arguments lead toward an approach to the foundation of mathematics that takes into consideration the language and practice of experts.

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

I offer a critical review of several different conceptions of the activity of foundational research, from the time of Gauss to the present. These are (1) the traditional image, guiding Gauss, Dedekind, Frege and others, that sees in the search for more adequate basic systems a logical excavation of a priori structures, (2) the program to find sound formal systems for so-called classical mathematics that can be proved consistent, usually associated with the name of Hilbert, and (3) the historicist alternative, (...) guiding Riemann, Poincaré, Weyl and others, that seeks to perfect available conceptual systems with the aim to avoid conceptual limitations and expand the range of theoretical options. I shall contend that, at times, assumptions about the foundational enterprise emerge from certain dogmas that are frequently inherited from previous, outdated images. To round the discussion, I mention some traits of an alternative program that investigates the epistemology of mathematical knowledge. (shrink)

Bolzano fut le premier philosophe à établir une distinction explicite entre les procédés déductifs qui nous permettent de parvenir à la certitude d’une vérité et ceux qui fournissent son fondement objectif. La conception que Bolzano se fait du rapport entre ce que nous appelons ici, d’une part, « conséquence subjective », à savoir la relation de raison à conséquence épistémique et, d’autre part, la « conséquence objective », c’est-à-dire la fondation , suggère toutefois que Bolzano défendait une conception « explicativiste (...) » de la preuve : les preuves par excellence sont celles qui reflètent l’ordre de la fondation objective. Dans cet article nous faisons état des problèmes liés à une telle conception et argumentons en faveur d’une démarcation plus stricte entre la préoccupation ontologique et la préoccupation épistémologique dans l’élaboration d’une théorie de la preuve.Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call “subjective consequence”, i.e. the relation from epistemic reason to consequence and “objective consequence”, i.e. grounding however suggests that Bolzano advocated an “explicativist” conception of proof : proofs par excellence are those that reflect the objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of proof. (shrink)

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

Nietzsche has a surprisingly significant and strikingly positive assessment of mathematics. I discuss Nietzsche's theory of the origin of mathematical practice in the division of the continuum of force, his theory of numbers, his conception of the finite and the infinite, and the relations between Nietzschean mathematics and formalism and intuitionism. I talk about the relations between math, illusion, life, and the will to truth. I distinguish life and world affirming mathematical practice from its ascetic perversion. For Nietzsche, math is (...) an artistic and moral activity that has an essential role to play in the joyful wisdom. (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical (...) sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

This article’s conclusion is that the theories of Einstein are generally correct and will still be relevant in the next century (there will be modifications necessary for development of quantum gravity). Those Einsteinian theories are Special Relativity, General Relativity, and the title of a paper he published in 1919 which asked if gravitation plays a role in the composition of elementary particles of matter. This paper was the bridge between General Relativity and the Unified Field Theory he sought during the (...) last 25 years of his life. In an article published in the "Annals of Physics" in 1957, Charles Misner and John Wheeler claimed that Einstein's latest equations demonstrated the unified field theory. But Einstein himself felt he had not fully succeeded. The present article begins with Olbers’ paradox (why is the sky dark at night?) Then it briefly proceeds to the subjects of Newtonian gravity, quantum entanglement, gravitational waves, E=mc^2, dark energy, dark matter, cosmic expansion, redshift, blueshift, the cosmic microwave background, the 1st Law of Thermodynamics, and explanation of advanced waves travelling back in time. The section “vector-tensor-scalar geometry” touches on mass, quantum spin, the Higgs boson and Higgs field, stellar jets, the pervasiveness of photons and gravitons, and supersymmetry. Then come half a dozen paragraphs referring to formation of planets, black holes, and bosons of the weak and strong nuclear forces. They end with Descartes’ space-matter relation. Also added are paragraphs about simply-connected mathematics, non-orientability, consciousness, the Law of Falling Bodies, the multiverse, space-time travel developed from maths’ Brouwer Fixed Point Theorem and from an experiment in electrical engineering performed at Yale University, development from future space-time travel of human flight in the manner of fiction’s Superman and Supergirl, as well as downloaded band-gap implants in the brain that could deal with forms of matter. They could add or delete anything and everything we choose by emulating computers’ copy/paste function to add things; as well as their delete function, to remove things. To complete my seemingly unusual ideas, 6 sections are added – 1) “Advanced and Retarded Waves” is extended to include dinosaurs, ageing, and photography, 2) there’s a bit about space-time warping and “imaginary” computers, 3) several paragraphs about restoring health (even gaining immortality) by using gravity, 4) a section about superconductivity and the electric or magnetic fields of planets (this section mentions Mercury, Planet 9 and precession), 5) a section titled EXPLAINING OCEAN TIDES WHEN GENERAL RELATIVITY SAYS GRAVITY IS A PUSH CAUSED BY THE CURVATURE OF SPACE-TIME (this has subsections about M-Sigma, Geysers on Saturn’s Moon Enceladus, and A Brief History of Gravity), plus 5) the potential of COVID-19 to create the Golden Rule, world peace, eternal life, and a non-economic world that doesn’t use any form of money (no cash, credit cards, digital currency, etc.) The final section is called DISTANT-FUTURE SCIENCE INTERPRETED BY RELIGIONS AS SUPERNATURAL and introduces an idea for becoming immortal in these physical bodies. If the Theory of Everything sought by physicists applies to all space-time, then every person’s brain must be entangled with the 22nd century (and far beyond that time too). (shrink)

Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.

Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition.