Physical Sciences and Mathematics Commons^™

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

What Is A Number?, Nicholas Radley

HON499 projects

This essay is, in essence, an attempt to make a case for mathematical platonism. That is to say, that we argue for the existence of mathematical objects independent of our perception of them. The essay includes a somewhat informal construction of number systems ranging from the natural numbers to the complex numbers.

A Question Of Fundamental Methodology: Reply To Mikhail Katz And His Coauthors, Tom Archibald, Richard T. W. Arthur, Giovanni Ferraro, Jeremy Gray, Douglas Jesseph, Jesper Lützen, Marco Panza, David Rabouin, Gert Schubring

Philosophy Faculty Articles and Research

This paper is a response by several historians of mathematics to a series of papers published from 2012 onwards by Mikhail Katz and various co-authors, the latest of which was recently published in the Mathematical Intelligencer, “Two-Track Depictions of Leibniz’s Fictions” (Katz, Kuhlemann, Sherry, Ugaglia, and van Atten, 2021). At issue is a question of fundamental methodology. These authors take for granted that non-standard analysis provides the correct framework for historical interpretation of the calculus, and castigate rival interpretations as having had a deleterious effect on the philosophy, practice, and applications of mathematics. Rather than make this case by reasoned …

Foundational Mathematical Beliefs And Ethics In Mathematical Practice And Education, Richard Spindler

Journal of Humanistic Mathematics

Foundational philosophical beliefs about mathematics in the mathematical community may have an unappreciated yet profound impact on ethics in mathematical practice and mathematics education, which also affects practice. A philosophical and historical basis of the dominant platonic and formalist views of mathematics are described and evaluated, after which an alternative evidence-based foundation for mathematical thought is outlined. The dualistic nature of the platonic view based on intuition is then compared to parallel historical developments of universalizing ethics in Western thought. These background ideas set the stage for a discussion of the impact of traditional mathematical beliefs on ethics in the …

Ethics And Mathematics – Some Observations Fifty Years Later, Gregor Nickel

Journal of Humanistic Mathematics

Almost exactly fifty years ago, Friedrich Kambartel, in his classic essay “Ethics and Mathematics,” did pioneering work in an intellectual environment that almost self-evidently assumed a strict separation of the two fields. In our first section we summarize and discuss that classical paper. The following two sections are devoted to complement and contrast Kambartel’s picture. In particular, the second section is devoted to ethical aspects of the indirect and direct mathematization of modern societies. The final section gives a short categorization of various philosophical positions with respect to the rationality of ethics and the mutual relation between ethics and mathematics.

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …

Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray

Masters Theses & Specialist Projects

A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.

The Agnostic Structure Of Data Science Methods, Domenico Napoletani, Marco Panza, Daniele Struppa

MPP Published Research

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within …

Patrick Aidan Heelan’S The Observable: Heisenberg’S Philosophy Of Quantum Mechanics, Paul Downes

Research Resources

The publication of Patrick Aidan Heelan’s The Observable, with forewords from Michel Bitbol, editor Babette Babich and the author himself, offers a timely invitation to reconsider the relation between quantum physics and continental philosophy.

Patrick Heelan does so, as a contemporary of and interlocutor with Werner Heisenberg on these issues, as a physicist himself who trained with leading figures of quantum mechanics (QM), Erwin Schrödinger and Eugene Wigner. Moreover, Heelan highlights Heisenberg’s interest in phenomenology as ‘a friend and frequent visitor of Martin Heidegger’ (55). Written originally in 1970 and unpublished then for reasons Babich explicates in her foreword, …

Dimentia: Footnotes Of Time, Zachary Hait

Senior Projects Spring 2021

Time from the physicist's perspective is not inclusive of our lived experience of time; time from the philosopher's perspective is not mathematically engaged, in fact Henri Bergson asserted explicitly that time could not be mathematically engaged whatsoever. What follows is a mathematical engagement of time that is inclusive of our lived experiences, requiring the tools of storytelling.

Analysis, Constructions And Diagrams In Classical Geometry, Marco Panza

MPP Published Research

Greek ancient and early modern geometry necessarily uses diagrams. Among other things, these enter geometrical analysis. The paper distinguishes two sorts of geometrical analysis and shows that in one of them, dubbed “intra-confgurational” analysis, some diagrams necessarily enter as outcomes of a purely material gesture, namely not as result of a codifed constructive procedure, but as result of a free-hand drawing.

Diagrams In Intra-Configurational Analysis, Marco Panza, Gianluca Longa

MPP Published Research

In this paper we would like to attempt to shed some light on the way in which diagrams enter into the practice of ancient Greek geometrical analysis. To this end, we will first distinguish two main forms of this practice, i.e., trans-configurational and intra-configurational. We will then argue that, while in the former diagrams enter in the proof essentially in the same way (mutatis mutandis) they enter in canonical synthetic demonstrations, in the latter, they take part in the analytic argument in a specific way, which has no correlation in other aspects of classical geometry. In intra-configurational analysis, diagrams represent …

Connecting Ancient Philosophers’ Math Theory To Modern Fractal Mathematics, Colin Mccormack

Parnassus: Classical Journal

No abstract provided.

An Evolutionary Approach To Crowdsourcing Mathematics Education, Spencer Ward

Honors College

By combining ideas from evolutionary biology, epistemology, and philosophy of mind, this thesis attempts to derive a new kind of crowdsourcing that could better leverage people’s collective creativity. Following a theory of knowledge presented by David Deutsch, it is argued that knowledge develops through evolutionary competition that organically emerges from a creative dialogue of trial and error. It is also argued that this model of knowledge satisfies the properties of Douglas Hofstadter’s strange loops, implying that self-reflection is a core feature of knowledge evolution. This mix of theories then is used to analyze several existing strategies of crowdsourcing and knowledge …

Engaging The Paradoxical: Zeno's Paradoxes In Three Works Of Interactive Fiction, Michael Z. Spivey

Journal of Humanistic Mathematics

For over two millennia thinkers have wrestled with Zeno's paradoxes on space, time, motion, and the nature of infinity. In this article we compare and contrast representations of Zeno's paradoxes in three works of interactive fiction, Beyond Zork, The Chinese Room, and A Beauty Cold and Austere. Each of these works incorporates one of Zeno's paradoxes as part of a puzzle that the player must solve in order to advance and ultimately complete the story. As such, the reader must engage more deeply with the paradoxes than he or she would in a static work of fiction. …

The Systems Of Post And Post Algebras: A Demonstration Of An Obvious Fact, Daviel Leyva

USF Tampa Graduate Theses and Dissertations

In 1942, Paul C. Rosenbloom put out a definition of a Post algebra after Emil L. Post published a collection of systems of many–valued logic. Post algebras became easier to handle following George Epstein’s alternative definition. As conceived by Rosenbloom, Post algebras were meant to capture the algebraic properties of Post’s systems; this fact was not verified by Rosenbloom nor Epstein and has been assumed by others in the field. In this thesis, the long–awaited demonstration of this oft–asserted assertion is given.

After an elemental history of many–valued logic and a review of basic Classical Propositional Logic, the systems given …

Symmetry And Measuring: Ways To Teach The Foundations Of Mathematics Inspired By Yupiaq Elders, Jerry Lipka, Barbara Adams, Monica Wong, David Koester, Karen Francois

Journal of Humanistic Mathematics

Evident in human prehistory and across immense cultural variation in human activities, symmetry has been perceived and utilized as an integrative and guiding principle. In our long-term collaborative work with Indigenous Knowledge holders, particularly Yupiaq Eskimos of Alaska and Carolinian Islanders in Micronesia, we were struck by the centrality of symmetry and measuring as a comparison-of-quantities, and the practical and conceptual role of qukaq [center] and ayagneq [a place to begin]. They applied fundamental mathematical principles associated with symmetry and measuring in their everyday activities and in making artifacts. Inspired by their example, this paper explores the question: Could symmetry …

From Solvability To Formal Decidability: Revisiting Hilbert’S “Non-Ignorabimus”, Andrea Reichenberger

Journal of Humanistic Mathematics

The topic of this article is Hilbert’s axiom of solvability, that is, his conviction of the solvability of every mathematical problem by means of a finite number of operations. The question of solvability is commonly identified with the decision problem. Given this identification, there is not the slightest doubt that Hilbert’s conviction was falsified by Gödel’s proof and by the negative results for the decision problem. On the other hand, Gödel’s theorems do offer a solution, albeit a negative one, in the form of an impossibility proof. In this sense, Hilbert’s optimism may still be justified. Here I argue that …

Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza

MPP Published Research

The axioms ZFC of first order set theory are one of the best and most widely accepted, if not perfect, foundations used in mathematics. Just as the axioms of first order Peano Arithmetic, ZFC axioms form a recursively enumerable list of axioms, and are, then, subject to Gödel’s Incompleteness Theorems. Hence, if they are assumed to be consistent, they are necessarily incomplete. This can be witnessed by various concrete statements, including the celebrated Continuum Hypothesis CH. The independence results about the infinite cardinals are so abundant that it often appears that ZFC can basically prove very little about such cardinals. …

Was Frege A Logicist For Arithmetic?, Marco Panza

MPP Published Research

The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Radical Social Ecology As Deep Pragmatism: A Call To The Abolition Of Systemic Dissonance And The Minimization Of Entropic Chaos, Arielle Brender

Student Theses 2015-Present

This paper aims to shed light on the dissonance caused by the superimposition of Dominant Human Systems on Natural Systems. I highlight the synthetic nature of Dominant Human Systems as egoic and linguistic phenomenon manufactured by a mere portion of the human population, which renders them inherently oppressive unto peoples and landscapes whose wisdom were barred from the design process. In pursuing a radical pragmatic approach to mending the simultaneous oppression and destruction of the human being and the earth, I highlight the necessity of minimizing entropic chaos caused by excess energy expenditure, an essential feature of systems that aim …

Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza

MPP Published Research

"This is Giorgio's Israel last book, which appeared only a few weeks after his untimely death, in September 2015. For many reasons, it can be considered as his intellectual legacy, since it comes back, in a new and organic way, to many of the research topics to which he devoted his life and his many publications, which include several papers in Historia Mathematica. One of these papers, co-authored with M. Menghini, appeared in vol. 25/4, 1998 and was devoted to Poincaré's and Enriques's opposite views on qualitative analysis, which is a theme also dealt with in this book (pp. 117–122)."

Formalizing The Panarchy Adaptive Cycle With The Cusp Catastrophe, Martin Zwick, Joshua Hughes

Systems Science Faculty Publications and Presentations

The panarchy adaptive cycle, a general model for change in natural and human systems, can be formalized by the cusp catastrophe of René Thom's topological theory. Both the adaptive cycle and the cusp catastrophe have been used to model ecological, economic, and social systems in which slow and small continuous changes in two control variables produce fast and large discontinuous changes in system behavior. The panarchy adaptive cycle, the more recent of the two models, has been used so far only for qualitative descriptions of typical dynamics of such systems. The cusp catastrophe, while also often employed qualitatively, is a …

The Feferman-Vaught Theorem, Mostafa Mirabi

Mostafa Mirabi

Revolution In Ideology: Crafting A Holistic Scientific Dialectic, Nathan Neill

Dialogue & Nexus

Ideology drives scientific research far more than is acknowledged. Since science itself is conducted by individuals, each scientist has a biased conception of themselves and their surroundings relative to the rest of the universe, even if it is never explicated. This sense of relation to the greater universe is what defines the ideology of the individual. It is this sense of relation and self that creates the individual, who goes on to investigate the natural world by the scientific method. In this paper I will examine extant scientific ideology, particularly in Western science, and propose changes that could be helpful.

On Benacerraf’S Dilemma, Again, Marco Panza

MPP Published Research

In spite of its enormous influence, Benacerraf’s dilemma admits no standard unanimously accepted formulation. This mainly depends on Benacerraf’s having originally presented it in a quite colloquial way, by avoiding any compact, somehow codified, but purportedly comprehensive formulation (Benacerraf 1973 cf. p. 29).

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

Dissertations, Theses, and Capstone Projects

The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background.

In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry’s original system AI was later expanded to the system PAI. The hallmark of Parry’s systems—and of …

Platonismes, Marco Panza

MPP Published Research

Selon la vulgata philosophique, le platonisme concernant un certain domaine de recherche est la thèse affirmant que ce domaine concerne des objets qui lui sont propres, dont l’existence est indépendante de l’activité cognitive humaine. Souvent, dans la même vulgata on parle aussi de platonisme pour se référer à une thèse un peu différente, d’après laquelle ce qu’on dit concernant ce domaine est vrai ou faux indépendamment de toute justification ou réfutation que l’on puisse apporter. Naturellement, si parmi les énoncées ayant trait à ce demain, il y en a qu’on peut prendre comme particulièrement surs du fait d’en avoir une …

Primality Proving Based On Eisenstein Integers, Miaoqing Jia

Honors Theses

According to the Berrizbeitia theorem, a highly efficient method for certifying the primality of an integer N ≡ 1 (mod 3) can be created based on pseudocubes in the ordinary integers Z. In 2010, Williams and Wooding moved this method into the Eisenstein integers Z[ω] and defined a new term, Eisenstein pseudocubes. By using a precomputed table of Eisenstein pseudocubes, they created a new algorithm in this context to prove primality of integers N ≡ 1 (mod 3) in a shorter period of time. We will look at the Eisenstein pseudocubes and analyze how this new algorithm works with the …