Mathematics Commons^™

Richard Whately's Revitalization Of Syllogistic Logic, Calvin Jongsma

Faculty Work Comprehensive List

This is an expanded version of the first chapter Richard Whately’s Revitalization of Syllogistic Logic in Aristotle’s Syllogism and the Creation of Modern Logic edited by Lukas M. Verburgt and Matteo Cosci (Bloomsbury, 2023). Drawing upon the author’s 1982 Ph. D. dissertation (https://digitalcollections.dordt.edu/faculty_work/230/ ) and more current scholarship, this essay traces the critical historical background to Whately’s work in more detail than could be done in the published version.

Self-Reference And Diagonalisation, Joël A. Doat

Journal of Humanistic Mathematics

This poem is an exercise on self-reference and diagonalisation in mathematics featuring Turing’s proof of the undecidability of the halting problem, Cantor’s cardinality argument, the Burali-Forti paradox, and Epimenides' liar paradox.

Using Bloom's Taxonomy For Math Outreach Within And Outside The Classroom, Manmohan Kaur

Journal of Humanistic Mathematics

Not everyone is a great artist, but we don’t often hear, “I dislike art.” Most people are able to appreciate visual arts, music and sports, without necessarily excelling in it themselves. On the other hand, the phrase “I dislike math” is widely prevalent. This is especially ironic in our current society, where mathematics affects our day-to-day activities in essential ways such as e-commerce and e-mail. This paper describes the opportunity to popularize mathematics by focusing on its fun and creative aspects, and illustrates this opportunity through a brief discussion of interdisciplinary topics that expose the beauty, elegance and value of …

Completeness Of Nominal Props, Samuel Balco, Alexander Kurz

Engineering Faculty Articles and Research

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.

Beyond Negation And Excluded Middle: An Exploration To Embrace The Otherness Beyond Classical Logic System And Into Neutrosophic Logic, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and Klein bottle logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic …

Symbolic Logic, Tony Roy

Books

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.

The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.

The second volume includes parts III and IV of the text. Part III develops basic results in …

(R1500) Type-I Generalized Spherical Interval Valued Fuzzy Soft Sets In Medical Diagnosis For Decision Making, M. Palanikumar, K. Arulmozhi

Applications and Applied Mathematics: An International Journal (AAM)

In the present communication, we introduce the concept of Type-I generalized spherical interval valued fuzzy soft set and define some operations. It is a generalization of the interval valued fuzzy soft set and the spherical fuzzy soft set. The spherical interval valued fuzzy soft set theory satisfies the condition that the sum of its degrees of positive, neutral, and negative membership does not exceed unity and that these parameters are assigned independently. We also propose an algorithm to solve the decision making problem based on a Type-I generalized soft set model. We introduce a similarity measure based on the Type-I …

(R1958) On Deferred Statistical Convergence Of Fuzzy Variables, Ömer Kişi, Mehmet Gürdal, Ekrem Savaş

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, within framework credibility theory, we examine several notions of convergence and statistical convergence of fuzzy variable sequences. The convergence of fuzzy variable sequences such as the notion of convergence in credibility, convergence in distribution, convergence in mean, and convergence uniformly virtually certainly via postponed Cesàro mean and a regular matrix are researched using fuzzy variables. We investigate the connections between these concepts. Significant results on deferred statistical convergence for fuzzy variable sequences are thoroughly investigated.

(R2022) Mathematical Modelling Of Tuberculosis And Covid-19 Co-Infection In India: A Real Data Analysis On Concomitant Diseases, Vijai Shanker Verma, Harshita Kaushik, Archana Singh Bhadauria

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we have proposed an epidemiological model to study the dynamics of two concomitant diseases Tuberculosis (TB) and COVID-19. Here, we have formulated a deterministic compartmental model as an extended form of the classical SIS model. First, the basic reproduction number R₀ is derived and then stability analysis of the model is done. It is observed that the disease-free equilibrium is stable when R₀ is less than one and the endemic equilibrium is stable only when R₀ is greater than one. Numerical simulation is carried out to illustrate the theoretical findings and to study the …

(R1509) Topsis And Vikor Methods For Spherical Fuzzy Soft Set Aggregating Operator Framework, M. Palanikumar, K. Arulmozhi, Lejo J. Manavalan

Applications and Applied Mathematics: An International Journal (AAM)

The Spherical Fuzzy Soft (SFS) set is a generalization of the Pythagorean fuzzy soft set and the intuitionistic fuzzy soft set. We introduce the concept of aggregating SFS decision matrices based on aggregated operations. The techniques for order of preference by similarity to ideal solution (TOPSIS) and viekriterijumsko kompromisno rangiranje (VIKOR) for the SFS approaches are the strong points of multi criteria group decision making (MCGDM), which is various extensions of fuzzy soft sets. We define a score function based on aggregating TOPSIS and VIKOR methods to the SFS-positive and SFS-negative ideal solutions. The TOPSIS and VIKOR methods provide decision-making …

(R1960) Connectedness And Compactness In Fuzzy Nano Topological Spaces Via Fuzzy Nano Z Open Sets, R. Thangammal, M. Saraswathi, A. Vadivel, C. John Sundar

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we study the notion of fuzzy nano Z connected spaces, fuzzy nano Z disconnected spaces, fuzzy nano Z compact spaces and fuzzy nano Z separated sets in fuzzy nano topological spaces. We also give some properties and theorems of such concepts with connectedness and compactness in fuzzy nano topological spaces.

(R1976) A Novel Approach To Solve Fuzzy Rough Matrix Game With Two Players, Vinod Jangid, Ganesh Kumar, Gaurav Sharama, Vishnu Narayan Mishra

Applications and Applied Mathematics: An International Journal (AAM)

This paper proposes a new method for solving a two-person zero-sum fuzzy matrix game with goals, payoffs, and decision variables represented as triangular fuzzy rough numbers. We created a pair of fully fuzzy rough linear programming problems for players. Triangular fuzzy rough numbers can be used to formulate two fuzzy linear programming problems for the first player in the form of upper approximation intervals and lower approximation intervals. Two problems for the second player can be created in the same way. These problems have been split into five sub-crisp problems for the player first and five sub-crisp problems for the …

(Si10-123) Comparison Between The Homotopy Perturbation Method And Variational Iteration Method For Fuzzy Differential Equations, P. Chandru, B. Radhakrishnan

Applications and Applied Mathematics: An International Journal (AAM)

In this article, the authors discusses the numerical simulations of higher-order differential equations under a fuzzy environment by using Homotopy Perturbation Method and Variational Iteration Method. The fuzzy parameter and variables are represented by triangular fuzzy convex normalized sets. Comparison of the results are obtained by the homotopy perturbation method with those obtained by the variational iteration method. Examples are provided to demonstrate the theory.

Asymptotic Classes, Pseudofinite Cardinality And Dimension, Alexander Van Abel

Dissertations, Theses, and Capstone Projects

We explore the consequences of various model-theoretic tameness conditions upon the behavior of pseudofinite cardinality and dimension. We show that for pseudofinite theories which are either Morley Rank 1 or uncountably categorical, pseudofinite cardinality in ultraproducts satisfying such theories is highly well-behaved. On the other hand, it has been shown that pseudofinite dimension is not necessarily well-behaved in all ultraproducts of theories which are simple or supersimple; we extend such an observation by constructing simple and supersimple theories in which pseudofinite dimension is necessarily ill-behaved in all such ultraproducts. Additionally, we have novel results connecting various forms of asymptotic classes …

Unomaha Problem Of The Week (2021-2022 Edition), Brad Horner, Jordan M. Sahs

UNO Student Research and Creative Activity Fair

The University of Omaha math department's Problem of the Week was taken over in Fall 2019 from faculty by the authors. The structure: each semester (Fall and Spring), three problems are given per week for twelve weeks, with each problem worth ten points - mimicking the structure of arguably the most well-regarded university math competition around, the Putnam Competition, with prizes awarded to top-scorers at semester's end. The weekly competition was halted midway through Spring 2020 due to COVID-19, but relaunched again in Fall 2021, with massive changes.

Now there are three difficulty tiers to POW problems, roughly corresponding to …

(R1956) Neutrosophic Soft E-Compact Spaces And Application Using Entropy Measure, P. Revathi, K. Chitirakala, A. Vadivel

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the concept of neutrosophic soft e-compactness is presented on neutrosophic soft topological spaces using the definition of e-open cover and its types. In addition, neutrosophic soft e-compactness and neutrosophic soft e-separation axioms are associated. Also, the concept of neutrosophic soft locally e-compactness is introduced in neutrosophic soft topological spaces and some of its properties are discussed. Added to that, an application in decision making problem is given using entropy.

How To Guard An Art Gallery: A Simple Mathematical Problem, Natalie Petruzelli

The Review: A Journal of Undergraduate Student Research

The art gallery problem is a geometry question that seeks to find the minimum number of guards necessary to guard an art gallery based on the qualities of the museum’s shape, specifically the number of walls. Solved by Václav Chvátal in 1975, the resulting Art Gallery Theorem dictates that ⌊n/3⌋ guards are always sufficient and sometimes necessary to guard an art gallery with n walls. This theorem, along with the argument that proves it, are accessible and interesting results even to one with little to no mathematical knowledge, introducing readers to common concepts in both geometry and graph …

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 …

Gödel's Incompleteness Theorems, Derick Swarey

Senior Honors Theses

The Incompleteness Theorems of Kurt Godel are very famous both within and outside of mathematics. They focus on independence and consistency within mathematics and hence a more thorough understanding of these is beneficial to their study. The proofs of the theorems involve many ideas which may be unfamiliar to many, including those of formal systems, Godel numbering, and recursive functions and relations. The arguments themselves mirror the Liar’s Paradox in that Godel constructs a statement asserting its own unprovability and then shows that such a statement and its negation must both be independent of the system, otherwise the system is …

Nidus Idearum. Scilogs, Ix: Neutrosophia Perennis, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this ninth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes, some handwritten on the planes to, and from international conferences, about topics on Neutrosophy and its applications, such as: Neutrosophic Bipolar Set, Linguistic Neutrosophic Set, Neutrosophic Resonance Frequency, n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra, Plithogenic Crisp Graph, Plithogenic Fuzzy Graph, Plithogenic Intuitionistic Fuzzy Graph, Plithogenic Neutrosophic Graph, Plithogenic Real Number Graph, Plithogenic Complex Number Graph, Plithogenic Neutrosophic Number Graph, and many more.

Exchanging ideas with: Tareq Al-Shami, …

Nidus Idearum. Scilogs, X: Via Neutrosophica, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this tenth book of scilogs – called via neutrosophica (the neutrosophic way) –, one may find new and old questions and solutions, referring mostly to topics on NEUTROSOPHY, but also MULTISPACE, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on.

Exchanging ideas with A. Elhassouny, Junhui Kim, Jeong Gon Lee, Kul Hur, Hojjatollah Farahani, W. B. Vasantha Kandasamy, Said Broumi, Mumtaz Ali, Mohamed Abdel-Basset, Ozen Ozer, Madad Khan, Gheorghe Săvoiu, John Mordeson, Adesina Agboola, Waldyr Rodrigues, Ajay Sharma, Stephen …

Nidus Idearum. Scilogs, Viii: Painting By Numbers, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this eighth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes handwritten on the planes to, and from international conferences, about all kind of topics, centered mostly on Paradoxism and Neutrosophy.

Exchanging ideas with: Robert Neil Boyd, Joseph Brenner, Ahmed Cevik, Victor Christianto, Adrian Curaj, Jean Dezert, Andrei-Lucian Drăgoi, Ervin Goldfain, Young Bae Jun, Yale Landsberg, Radu Munteanu, Paul Piștea, Viorel Roman, Ridvan Sahin, Said Broumi, Selcuk Topal, Eric W. Weisstein, Xiaohing Zhang.

(R1466) Ideals And Filters On A Lattice In Neutrosophic Setting, Lemnaouar Zedam, Soheyb Milles, Abdelhamid Bennoui

Applications and Applied Mathematics: An International Journal (AAM)

The notions of ideals and filters have studied in many algebraic (crisp) fuzzy structures and used to study their various properties, representations and characterizations. In addition to their theoretical roles, they have used in some areas of applied mathematics. In a recent paper, Arockiarani and Antony Crispin Sweety have generalized and studied these notions with respect to the concept of neutrosophic sets introduced by Smarandache to represent imprecise, incomplete and inconsistent information. In this article, we aim to deepen the study of these important notions on a given lattice in the neutrosophic setting. We show their various properties and characterizations, …

Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas

Open Educational Resources

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …

Contributions To The Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

This issue showcases a compilation of papers on fluid mechanics (FM) education, covering different sub topics of the subject. The success of the first volume [1] prompted us to consider another follow-up special issue on the topic, which has also been very successful in garnering an impressive variety of submissions.

As a classical branch of science, the beauty and complexity of fluid dynamics cannot be overemphasized. This is an extremely well-studied subject which has now become a significant component of several major scientific disciplines ranging from aerospace engineering, astrophysics, atmospheric science (including climate modeling), biological and biomedical science …

Interpolation And Sampling In Analytic Tent Spaces, Caleb Parks

Graduate Theses and Dissertations

Introduced by Coifman, Meyer, and Stein, the tent spaces have seen wide applications in harmonic analysis. Their analytic cousins have seen some applications involving the derivatives of Hardy space functions. Moreover, the tent spaces have been a recent focus of research. We introduce the concept of interpolating and sampling sequences for analytic tent spaces analogously to the same concepts for Bergman spaces. We then characterize such sequences in terms of Seip's upper and lower uniform density. We accomplish this by exploiting a kind of Mobius invariance for the tent spaces.

On The Generalization Of Interval Valued Fuzzy Generalized Bi-Ideals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new general form than interval valued fuzzy generalized bi-ideals in ordered semigroups is introduced. The concept of interval valued fuzzy generalized bi-ideals is initiated and several properties and characterizations are provided. A condition for an interval valued fuzzy generalized bi-ideal to be an interval valued fuzzy generalized bi-ideal is obtained. Using implication operators and the notion of implication-based an interval valued fuzzy generalized bi-ideal, characterizations of an interval valued fuzzy generalized bi-ideal and an interval valued fuzzy generalized bi-ideal are considered.

Hamacher Operations Of Fermatean Fuzzy Matrices, I. Silambarasan

Applications and Applied Mathematics: An International Journal (AAM)

The purpose of this study is to extend the Fermatean fuzzy matrices to the theory of Hamacher operations. In this paper, the concept of Hamacher operations of Fermatean fuzzy matrices are introduced and some desirable properties of these operations, such as commutativity, idempotency, and monotonicity are discussed. Further, we prove DeMorgan’s laws over complement for these operations. Furthermore, the scalar multiplication and exponentiation operations of Fermatean fuzzy matrices are constructed and their algebraic properties are investigated. Finally, some properties of necessity and possibility operators of Fermatean fuzzy matrices are proved.

Simplified Intuitionistic Neutrosophic Soft Set And Its Application On Diagnosing Psychological Disorder By Using Similarity Measure, Veerappan Chinnadurai, Albert Bobin

Applications and Applied Mathematics: An International Journal (AAM)

The primary focus of this manuscript comprises three sections. Initially, we introduce the concept of a simplified intuitionistic neutrosophic soft set. We impose an intuitionistic condition between the membership values of truth and falsity such that their sum does not exceed unity. Similarly, for indeterminacy, the membership value is a real number from the closed interval [0, 1]. Hence, the sum of membership values of truth, indeterminacy, and falsity does not exceed two. We present the notion of necessity, possibility, concentration, and dilation operators and establish some of its properties. Second, we define the similarity measure between two simplified intuitionistic …

Applications Of Nonstandard Analysis In Probability And Measure Theory, Irfan Alam

LSU Doctoral Dissertations

This dissertation broadly deals with two areas of probability theory and investigates how methods from nonstandard analysis may provide new perspectives in these topics. In particular, we use nonstandard analysis to prove new results in the topics of limiting spherical integrals and of exchangeability.

In the former area, our methods allow us to represent finite dimensional Gaussian measures in terms of marginals of measures on hyperfinite-dimensional spheres in a certain strong sense, thus generalizing some previously known results on Gaussian Radon transforms as limits of spherical integrals. This first area has roots in the kinetic theory of gases, which is …