Open Access. Powered by Scholars. Published by Universities.®

Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations

Institution
Keyword
Publication Year
Publication
Publication Type

Articles 91 - 120 of 563

Full-Text Articles in Mathematics

Zariski Geometries And Quantum Mechanics, Milan Zanussi May 2021

Zariski Geometries And Quantum Mechanics, Milan Zanussi

Boise State University Theses and Dissertations

Model theory is the study of mathematical structures in terms of the logical relationships they define between their constituent objects. The logical relationships defined by these structures can be used to define topologies on the underlying sets. These topological structures will serve as a generalization of the notion of the Zariski topology from classical algebraic geometry. We will adapt properties and theorems from classical algebraic geometry to our topological structure setting. We will isolate a specific class of structures, called Zariski geometries, and demonstrate the main classification theorem of such structures. We will construct some Zariski structures where the classification …


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

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 …


Lecture 00: Opening Remarks: 46th Spring Lecture Series, Tulin Kaman Apr 2021

Lecture 00: Opening Remarks: 46th Spring Lecture Series, Tulin Kaman

Mathematical Sciences Spring Lecture Series

Opening remarks for the 46th Annual Mathematical Sciences Spring Lecture Series at the University of Arkansas, Fayetteville.


The Encyclopedia Of Neutrosophic Researchers - 4th Volume (2021), Florentin Smarandache, Maykel Leyva-Vazquez Mar 2021

The Encyclopedia Of Neutrosophic Researchers - 4th Volume (2021), Florentin Smarandache, Maykel Leyva-Vazquez

Branch Mathematics and Statistics Faculty and Staff Publications

Este es el cuarto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se su impacto en Latinoamérica junto con enlaces a los principales artículos y libros. Los conjuntos neutrosóficos, la lógica neutrosófica, la probabilidad neutrosófica, la estadística neutrosófica, el precálculo neutrosófico, el cálculo neutrosófico, la psicología neutrosófica, la sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, …


Covid-19 And Knowledge Based Computation, Rohit J. Parikh Mar 2021

Covid-19 And Knowledge Based Computation, Rohit J. Parikh

Publications and Research

The problem of dealing with Covid-19, until a vaccine is universally administered, is to decrease the rate of transmission while getting some social and economic activity going.

Infection passes from one person A to another person B when A is infected and B is susceptible. That is to say that B is not infected and not yet immune.

Social activity also takes place when one person interacts with another. Perhaps A is a taxpayer and B is a tax consultant. Then filing the tax return may take the form of the two of them meeting. Much can be done electronically …


Theory And Application Of Hypersoft Set, Florentin Smarandache, Muhammad Saeed, Muhammad Saqlain, Mohamed Abdel-Baset Feb 2021

Theory And Application Of Hypersoft Set, Florentin Smarandache, Muhammad Saeed, Muhammad Saqlain, Mohamed Abdel-Baset

Branch Mathematics and Statistics Faculty and Staff Publications

Aims and Scope Florentin Smarandache generalize the soft set to the hypersoft set by transforming the function �� into a multi-argument function. This extension reveals that the hypersoft set with neutrosophic, intuitionistic, and fuzzy set theory will be very helpful to construct a connection between alternatives and attributes. Also, the hypersoft set will reduce the complexity of the case study. The Book “Theory and Application of Hypersoft Set” focuses on theories, methods, algorithms for decision making and also applications involving neutrosophic, intuitionistic, and fuzzy information. Our goal is to develop a strong relationship with the MCDM solving techniques and to …


Some Model Theory Of Free Groups, Christopher James Natoli Feb 2021

Some Model Theory Of Free Groups, Christopher James Natoli

Dissertations, Theses, and Capstone Projects

There are two main sets of results, both pertaining to the model theory of free groups. In the first set of results, we prove that non-abelian free groups of finite rank at least 3 or of countable rank are not A-homogeneous. We then build on the proof of this result to show that two classes of groups, namely finitely generated free groups and finitely generated elementary free groups, fail to form A-Fraisse classes and that the class of non-abelian limit groups fails to form a strong A-Fraisse class.

The second main result is that if a countable group is elementarily …


Mathematical Zendo: A Game Of Patterns And Logic, Philip Deorsey, Corey Pooler, Michael Ferrara Jan 2021

Mathematical Zendo: A Game Of Patterns And Logic, Philip Deorsey, Corey Pooler, Michael Ferrara

Journal of Math Circles

Mathematical Zendo is a logic game that actively engages participants in pattern recognition, problem solving, and critical thinking while providing a fun opportunity to explore all manner of mathematical objects. Based upon the popular game of Zendo, created by Looney Labs, Mathematical Zendo centers on a secret rule, chosen by the leader, that must be guessed by teams of players. In each round of the game, teams provide examples of the mathematical object of interest (e.g. functions, numbers, sets) and receive information about whether their guesses do or do not satisfy the secret rule. In this paper, we introduce Mathematical …


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

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 …


Analysis, Constructions And Diagrams In Classical Geometry, Marco Panza Jan 2021

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.


Occam Software (And Manual) For Reconstructability Analysis, Martin Zwick, Kenneth Willett, Joe Fusion, Heather Alexander Jan 2021

Occam Software (And Manual) For Reconstructability Analysis, Martin Zwick, Kenneth Willett, Joe Fusion, Heather Alexander

Complex Systems Faculty Publications and Presentations

OCCAM is a Discrete Multivariate Modeling (DMM) tool based on the methodology of Reconstructability Analysis (RA). As an acronym it stands for Organizational Complexity Computation and Modeling, and the name is also a reference (with a non-standard spelling) to Ockham’s Razor. The principal programmers of its current version have been Kenneth Willett, Joe Fusion, and Heather Alexander. Ken Willett totally rewrote earlier versions of OCCAM. His version was originally called “OCCAM3” to distinguish it from these earlier OCCAM incarnations; the “3” has finally been dropped.

OCCAM’s typical use is to analyze data involving a large number of discrete variables, but …


Using Mobile Technology To Promote Higher-Order Thinking Skills In Elementary Mathematics, Debbie Marie Versoza, Ma. Louise Antonette N. De Las Peñas, Jumela F. Sarmiento, Maria Alva Q. Aberin, Mark Anthony C. Tolentino, Mark L. Loyola Jan 2021

Using Mobile Technology To Promote Higher-Order Thinking Skills In Elementary Mathematics, Debbie Marie Versoza, Ma. Louise Antonette N. De Las Peñas, Jumela F. Sarmiento, Maria Alva Q. Aberin, Mark Anthony C. Tolentino, Mark L. Loyola

Mathematics Faculty Publications

The problem of rote-based learning in mathematics is well documented. Mobile technology can provide a potential solution, especially when application (app) design is based on sound pedagogical principles and gamification elements. However, an inventory of available mobile apps for mathematics reveals that many of the available apps are guided by a behaviorist perspective that favors repetition over meaningful learning. This paper reports on the design of mobile mathematics apps that harness gamification techniques to promote higher-order thinking skills (HOTS) even in basic elementary school concepts such as number comparison, and addition and subtraction. The integration of these apps in the …


Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache Dec 2020

Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives of …


Introduction To Neutrosophic Genetics, Florentin Smarandache Dec 2020

Introduction To Neutrosophic Genetics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Genetics is the study of genetics using neutrosophic logic, set, probability, statistics, measure and other neutrosophic tools and procedures. In this paper, based on the Neutrosophic Theory of Evolution (that includes degrees of Evolution, Neutrality (or Indeterminacy), and Involution) – as extension of Darwin’s Theory of Evolution, we show the applicability of neutrosophy in genetics, and we present within the frame of neutrosophic genetics the following concepts: neutrosophic mutation, neutrosophic speciation, and neutrosophic coevolution.


On Double Fuzzy M-Open Mappings And Double Fuzzy M-Closed Mappings, J. Sathiyaraj, A. Vadivel, O. U. Maheshwari Dec 2020

On Double Fuzzy M-Open Mappings And Double Fuzzy M-Closed Mappings, J. Sathiyaraj, A. Vadivel, O. U. Maheshwari

Applications and Applied Mathematics: An International Journal (AAM)

We introduce and investigate some new class of mappings called double fuzzy M-open map and double fuzzy M-closed map in double fuzzy topological spaces. Also, some of their fundamental properties are studied. Moreover, we investigate the relationships between double fuzzy open, double fuzzy θ semiopen, double fuzzy δ preopen, double fuzzy M open and double fuzzy e open and their respective closed mappings.


The Lattice Of Intuitionistic Fuzzy Topologies Generated By Intuitionistic Fuzzy Relations, Soheyb Milles Dec 2020

The Lattice Of Intuitionistic Fuzzy Topologies Generated By Intuitionistic Fuzzy Relations, Soheyb Milles

Applications and Applied Mathematics: An International Journal (AAM)

We generalize the notion of fuzzy topology generated by fuzzy relation given by Mishra and Srivastava to the setting of intuitionistic fuzzy sets. Some fundamental properties and necessary examples are given. More specifically, we provide the lattice structure to a family of intuitionistic fuzzy topologies generated by intuitionistic fuzzy relations. To that end, we study necessary structural characteristics such as distributivity, modularity and complementary of this lattice.


Fuzzy Solutions To Second Order Three Point Boundary Value Problem, Dimplekumar N. Chalishajar, R. Ramesh Dec 2020

Fuzzy Solutions To Second Order Three Point Boundary Value Problem, Dimplekumar N. Chalishajar, R. Ramesh

Applications and Applied Mathematics: An International Journal (AAM)

In this manuscript, the proposed work is to study the existence of second-order differential equations with three point boundary conditions. Existence is proved using fuzzy set valued mappings of a real variable whose values are normal, convex, upper semi continuous and compactly supported fuzzy sets. The sufficient conditions are also provided to establish the existence results of fuzzy solutions of second order differential equations for three point boundary value problem. By using Banach fixed point principle, a new existence theorem of solutions for these equations in the metric space of normal fuzzy convex sets with distance given by the maximum …


True-False Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi Oct 2020

True-False Set Is A Particular Case Of The Refined Neutrosophic Set, Florentin Smarandache, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

Borzooei, Mohseni Takallo, and Jun recently proposed a new type of set, called True-False Set [1], and they claimed it is a generalization of Neutrosophic Set [2]. We prove that this assertion is untrue. Actually it’s the opposite, the True-False Set is a particular case of the Refined Neutrosophic Set.


Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval- Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R. Oct 2020

Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval- Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R.

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic overset, neutrosophic underset and neutrosophic offset introduced by Smarandache are the special kinds of neutrosophic sets with values beyond the range [0,1] and these sets are pragmatic in nature as it represents the real life situations. This paper introduces the concept of saturated refined neutrosophic sets and extends the same to the special kinds of neutrosophic sets. The proposed concept is applied in decision making on Teacher’s adaptation to cybergogy. The decision making environment is characterized by different types of teachers, online teaching skills and various training methods. Fuzzy relation is used to match the most suitable method to …


Numerical Computations Of Vortex Formation Length In Flow Past An Elliptical Cylinder, Matthew Karlson, Bogdan Nita, Ashwin Vaidya Sep 2020

Numerical Computations Of Vortex Formation Length In Flow Past An Elliptical Cylinder, Matthew Karlson, Bogdan Nita, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

We examine two dimensional properties of vortex shedding past elliptical cylinders through numerical simulations. Specifically, we investigate the vortex formation length in the Reynolds number regime 10 to 100 for elliptical bodies of aspect ratio in the range 0.4 to 1.4. Our computations reveal that in the steady flow regime, the change in the vortex length follows a linear profile with respect to the Reynolds number, while in the unsteady regime, the time averaged vortex length decreases in an exponential manner with increasing Reynolds number. The transition in profile is used to identify the critical Reynolds number which marks the …


Length Neutrosophic Subalgebras Of Bck/Bci-Algebras, Florentin Smarandache, Young Bae Jun, Madad Khan, Seok-Zun Song Sep 2020

Length Neutrosophic Subalgebras Of Bck/Bci-Algebras, Florentin Smarandache, Young Bae Jun, Madad Khan, Seok-Zun Song

Branch Mathematics and Statistics Faculty and Staff Publications

the notion of (i, j, k)-length neutrosophic subalgebras in BCK/BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed by using level sets of interval neutrosophic sets. Conditions for level sets of interval neutrosophic sets to be subalgebras are provided.


Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam Sep 2020

Plithogenic Cubic Sets, Florentin Smarandache, S.P. Priyadharshini, F. Nirmala Irudayam

Branch Mathematics and Statistics Faculty and Staff Publications

In this article, using the concepts of cubic set and plithogenic set, the ideas of plithogenic fuzzy cubic set, plithogenic intuitionistic fuzzy cubic set, plithogenic neutrosophic cubic set are introduced and its corresponding internal and external cubic sets are discussed with examples.


On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari Sep 2020

On Product Of Smooth Neutrosophic Topological Spaces, Florentin Smarandache, Kalaivani Chandran, Swathi Sundari Sundaramoorthy, Saeid Jafari

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we develop the notion of the basis for a smooth neutrosophic topology in a more natural way. As a sequel, we define the notion of symmetric neutrosophic quasi-coincident neighborhood systems and prove some interesting results that fit with the classical ones, to establish the consistency of theory developed. Finally, we define and discuss the concept of product topology, in this context, using the definition of basis.


A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic Sep 2020

A Novel Approach For Assessing The Reliability Of Data Contained In A Single Valued Neutrosophic Number And Its Application In Multiple Criteria Decision Making, Florentin Smarandache, Dragisa Stanujkic, Darjan Karabasevic, Gabrijela Popovic

Branch Mathematics and Statistics Faculty and Staff Publications

Multiple criteria decision making is one of the many areas where neutrosophic sets have been applied to solve various problems so far.


Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer Sep 2020

Alternative Cichoń Diagrams And Forcing Axioms Compatible With Ch, Corey B. Switzer

Dissertations, Theses, and Capstone Projects

This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cichoń diagram. First I show that for a wide variety of reduction concepts there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model of ZFC. Then I study generalizations of cardinal characteristics to the space of functions from Baire space to Baire space. …


The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. Al-Hamido, Mayas Ismail Aug 2020

The Polar Form Of A Neutrosophic Complex Number, Florentin Smarandache, Riad K. Al-Hamido, Mayas Ismail

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we will define the exponential form of a neutrosophic complex number. We have proven some characteristics and theories, including the conjugate of the exponential form of a neutrosophic complex number, division of the exponential form of a neutrosophic complex numbers, multiplication of the exponential form of a neutrosophic complex numbers. In addition, we have given the method of changing from the exponential to the algebraic form of a complex number.


A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika Aug 2020

A Review Of Fuzzy Soft Topological Spaces, Intuitionistic Fuzzy Soft Topological Spaces And Neutrosophic Soft Topological Spaces, Florentin Smarandache, M. Parimala, M. Karthika

Branch Mathematics and Statistics Faculty and Staff Publications

The notion of fuzzy sets initiated to overcome the uncertainty of an object. Fuzzy topological space, intuitionistic fuzzy sets in topological structure space, vagueness in topological structure space, rough sets in topological space, theory of hesitancy and neutrosophic topological space, etc. are the extension of fuzzy sets. Soft set is a family of parameters which is also a set. Fuzzy soft topological space, intuitionistic fuzzy soft and neutrosophic soft topological space are obtained by incorporating soft sets with various topological structures. This motivates to write a review and study on various soft set concepts. This paper shows the detailed review …


A General Model Of Neutrosophic Ideals In Bck/Bci-Algebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun Aug 2020

A General Model Of Neutrosophic Ideals In Bck/Bci-Algebras Based On Neutrosophic Points, Florentin Smarandache, Hashem Bordbar, Rajab Ali Borzooei, Young Bae Jun

Branch Mathematics and Statistics Faculty and Staff Publications

More general form of (∈, ∈∨q)-neutrosophic ideal is introduced, and their properties are investigated.


An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards Matter-Spirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd Aug 2020

An Expanded Model Of Unmatter From Neutrosophic Logic Perspective: Towards Matter-Spirit Unity View, Florentin Smarandache, Victor Christianto, Robert Neil Boyd

Branch Mathematics and Statistics Faculty and Staff Publications

In Neutrosophic Logic, a basic assertion is that there are variations of about everything that we can measure; the variations surround three parameters called T, I, F (truth, indeterminacy, falsehood) which can take a range of values. A previous paper in IJNS, 2020 shortly reviews the links among aether and matter creation from the perspective of Neutrosophic Logic. In any case, matter creation process in nature stays a major puzzle for physicists, scientists and other science analysts. To this issue neutrosophic logic offers an answer: "unmatter." This paper examines an extended model of unmatter, to incorporate issue soul solidarity. So, …


Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick Jul 2020

Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick

Complex Systems Faculty Publications and Presentations

This paper integrates the structures considered in Reconstructability Analysis (RA) and those considered in Bayesian Networks (BN) into a joint lattice of probabilistic graphical models. This integration and associated lattice visualizations are done in this paper for four variables, but the approach can easily be expanded to more variables. The work builds on the RA work of Klir (1985), Krippendorff (1986), and Zwick (2001), and the BN work of Pearl (1985, 1987, 1988, 2000), Verma (1990), Heckerman (1994), Chickering (1995), Andersson (1997), and others. The RA four variable lattice and the BN four variable lattice partially overlap: there are ten …