Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Algebraic frame (1)
- Book review (1)
- Boolean functions (1)
- Boolean matching (1)
- Canonical form (1)
-
- Classification algorithms (1)
- Closed map (1)
- Cofactor signature (1)
- D-ideal (1)
- Euclid (1)
- F-frame (1)
- F-space (1)
- Field programmable gate arrays (1)
- Frame (1)
- Giorgio Israel (1)
- Gleason's problem (1)
- Herglotz functions (1)
- Heuristic algorithms (1)
- Input variables (1)
- Interpolation (1)
- Libraries (1)
- Meccanicismo. Trionfi e miserie della visione meccanica del mondo (1)
- Multi-type display calculi (1)
- NPN classification (1)
- Partially-ordered multi-type algebras (1)
- Partially-ordered multi-type algebras and use them as algebraic semantics (1)
- Philosophy of Mathematical Practice (1)
- Proof (1)
- Residue theory (1)
- Runtime (1)
Articles 1 - 12 of 12
Full-Text Articles in Physical Sciences and Mathematics
Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza
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. …
About A Non-Standard Interpolation Problem, Daniel Alpay, Alain Yger
About A Non-Standard Interpolation Problem, Daniel Alpay, Alain Yger
Mathematics, Physics, and Computer Science Faculty Articles and Research
Using algebraic methods, and motivated by the one variable case, we study a multipoint interpolation problem in the setting of several complex variables. The duality realized by the residue generator associated with an underlying Gorenstein algebra, using the Lagrange interpolation polynomial, plays a key role in the arguments.
Was Frege A Logicist For Arithmetic?, Marco Panza
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.
The Chapman Bone Algorithm: A Diagnostic Alternative For The Evaluation Of Osteoporosis, Elise Levesque, Anton Ketterer, Wajiha Memon, Cameron James, Noah Barrett, Cyril Rakovski, Frank Frisch
The Chapman Bone Algorithm: A Diagnostic Alternative For The Evaluation Of Osteoporosis, Elise Levesque, Anton Ketterer, Wajiha Memon, Cameron James, Noah Barrett, Cyril Rakovski, Frank Frisch
Mathematics, Physics, and Computer Science Faculty Articles and Research
Osteoporosis is the most common metabolic bone disease and goes largely undiagnosed throughout the world, due to the inaccessibility of DXA machines. Multivariate analyses of serum bone turnover markers were evaluated in 226 Orange County, California, residents with the intent to determine if serum osteocalcin and serum pyridinoline cross-links could be used to detect the onset of osteoporosis as effectively as a DXA scan. Descriptive analyses of the demographic and lab characteristics of the participants were performed through frequency, means and standard deviation estimations. We implemented logistic regression modeling to find the best classification algorithm for osteoporosis. All calculations and …
Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza
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.
Partially-Ordered Multi-Type Algebras, Display Calculi And The Category Of Weakening Relations, Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis
Partially-Ordered Multi-Type Algebras, Display Calculi And The Category Of Weakening Relations, Peter Jipsen, Fei Liang, M. Andrew Moshier, Apostolos Tzimoulis
Mathematics, Physics, and Computer Science Faculty Articles and Research
"We define partially-ordered multi-type algebras and use them as algebraic semantics for multi-type display calculi that have recently been developed for several logics, including dynamic epistemic logic [7], linear logic[10], lattice logic [11], bilattice logic [9] and semi-De Morgan logic [8]."
Fast Adjustable Npn Classification Using Generalized Symmetries, Xuegong Zhou, Lingli Wang, Peiyi Zhao, Alan Mishchenko
Fast Adjustable Npn Classification Using Generalized Symmetries, Xuegong Zhou, Lingli Wang, Peiyi Zhao, Alan Mishchenko
Mathematics, Physics, and Computer Science Faculty Articles and Research
NPN classification of Boolean functions is a powerful technique used in many logic synthesis and technology mapping tools in FPGA design flows. Computing the canonical form of a function is the most common approach of Boolean function classification. In this paper, a novel algorithm for computing NPN canonical form is proposed. By exploiting symmetries under different phase assignments and higher-order symmetries of Boolean functions, the search space of NPN canonical form computation is pruned and the runtime is dramatically reduced. The algorithm can be adjusted to be a slow exact algorithm or a fast heuristic algorithm with lower quality. For …
Generalized Fock Spaces And The Stirling Numbers, Daniel Alpay, Motke Porat
Generalized Fock Spaces And The Stirling Numbers, Daniel Alpay, Motke Porat
Mathematics, Physics, and Computer Science Faculty Articles and Research
The Bargmann-Fock-Segal space plays an important role in mathematical physics and has been extended into a number of directions. In the present paper, we imbed this space into a Gelfand triple. The spaces forming the Fréchet part (i.e., the space of test functions) of the triple are characterized both in a geometric way and in terms of the adjoint of multiplication by the complex variable, using the Stirling numbers of the second kind. The dual of the space of test functions has a topological algebra structure, of the kind introduced and studied by the first named author and Salomon.
Herglotz Functions Of Several Quaternionic Variables, Khaled Abu-Ghanem, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini
Herglotz Functions Of Several Quaternionic Variables, Khaled Abu-Ghanem, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini
Mathematics, Physics, and Computer Science Faculty Articles and Research
We first review realizations of Herglotz functions in the unit ball of CN and provide new insights. Then, we define the corresponding class and prove the extend the results in the case of several quaternionic variables.
Nonassociative Right Hoops, Peter Jipsen, Michael Kinyon
Nonassociative Right Hoops, Peter Jipsen, Michael Kinyon
Mathematics, Physics, and Computer Science Faculty Articles and Research
The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both right quasigroups and right hoops, and we characterize the subvarieties in which the operation x ^^ y = (x/y)y is associative and/or commutative. Narhoops with a left unit are proved to be integral if and only if ^ is commutative, and their congruences are determined by the equivalence class of the left unit. We also prove that the four identities defining narhoops are independent.
On Lattices Of Z-Ideals Of Function Rings, Themba Dube, Oghenetega Ighedo
On Lattices Of Z-Ideals Of Function Rings, Themba Dube, Oghenetega Ighedo
Mathematics, Physics, and Computer Science Faculty Articles and Research
An ideal I of a ring A is a z-ideal if whenever a, b ∈ A belong to the same maximal ideals of A and a ∈ I, then b ∈ I as well. On the other hand, an ideal J of A is a d-ideal if Ann2(a) ⊆ J for every a ∈ J. It is known that the lattices Z(L) and D(L) of the ring 𝓡L of continuous real-valued functions on a frame L, consisting of z-ideals and d-ideals of 𝓡 …
Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza
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)."