Mathematics Commons^™

A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (Chinese Translation), Florentin Smarandache, Feng Liu

Branch Mathematics and Statistics Faculty and Staff Publications

中智学为何诞生? 中智学(neutrosophy)起源于1995年美国, 它站在东西文化交融的立场上, 从对立统一的角度探索从科学技术到文学 艺术的一切宏观及微观结构, 构造超越一切学科、超越自然科学与社会科学界限的统一场, 以解决当今认知科学、信息 科学、系统科学、经济学、量子力学等科学技术前沿难题——非确定性问题。中智学努力通过新型开放模式改造当今 各自然科学与社会科学, 实现它们的新陈代谢、改革创新和更新换代。中智学在我们中国还属空白, 故借此对学科正式 命名并引入中国。 科学是真理吗? 比如, 当今信息科学的突出问题之一就是知识表达、知识处理及知识交流中的逻辑单一性: 不是真就是假, 从而不 能面对任何矛盾和冲突。由此, 人工智能、计算机网络、数据库、信息工程, 乃至电子商务、电子政务多多少少在走死 胡同。从表面上看, 它是模糊数学或协调逻辑的问题, 而从本质上看, 它属于结构性问题, 涉及到对哲学、逻辑学、集 合论、概率论、认知科学、信息科学基本概念以及众多相关领域的重新认识、重新塑造问题。 众所周知, 我国学习西方, 只图表面, 而不注重科学的内在结构, 不懂科学的概念和原理中也有基础设施 (换句话 说, 就是基础设施的基础设施), 从而建不起高楼大厦, 更谈不上科学上的自主, 从而形成盲目跟从西方的弊病。 科学, 这个被认为是永恒的真理, 其本质上没有半点永恒, 相反, 它时刻处于新老交替、新陈代谢、自我否定、自 我淘汰的动态之中——即使存在什么永恒的真理, 也终究会被后人推翻。科学实际上是一种战争, 而中智学正是关于它 的战略战术的科学。 当今世界上高深的科学莫过于爱因斯坦的相对论, 然而一切的一切, 都是建立在恒定光速的基础上——它正 在被现代的人们推翻!

A Unifying Field In Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability (In Traditional Chinese), Florentin Smarandache, Feng Liu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Notes On Interpolation In The Generalized Schur Class. Ii. Nudelman's Problem, Daniel Alpay, T. Constantinescu, A. Dijksma, J. Rovnyak, A. Dijksma

Mathematics, Physics, and Computer Science Faculty Articles and Research

An indefinite generalization of Nudel′man’s problem is used in a systematic approach to interpolation theorems for generalized Schur and Nevanlinna functions with interior and boundary data. Besides results on existence criteria for Pick-Nevanlinna and Carath´eodory-Fej´er interpolation, the method yields new results on generalized interpolation in the sense of Sarason and boundary interpolation, including properties of the finite Hilbert transform relative to weights. The main theorem appeals to the Ball and Helton almost-commutant lifting theorem to provide criteria for the existence of a solution to Nudel′man’s problem.

Analysis Of The N-Card Version Of The Game Le Her, Arthur T. Benjamin, Alan J. Goldman

All HMC Faculty Publications and Research

We present a complete solution to a card game with historical origins. Our analysis exploits the convexity properties in the payoff matrix, allowing this discrete game to be resolved by continuous methods.

Limits Highlights From Over 2000 Years Of Developments In Calculus Limits, Lauri A. Nevalainen

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

Mathematisation Of The Science Of Motion And The Birth Of Analytical Mechanics : A Historiographical Note, Marco Panza

MPP Published Research

Usually, one speaks of mathematization of a natural or social science to mean that mathematics comes to be a tool of such a science: the language of mathematics is used to formulate its results, and/or some mathematical techniques is employed to obtain these results.

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Preface, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Some Extensions Of Loewner's Theory Of Monotone Operator Functions, Daniel Alpay, Vladimir Bolotnikov, A. Dijksma, J. Rovnyak, A. Dijksma

Mathematics, Physics, and Computer Science Faculty Articles and Research

Several extensions of Loewner’s theory of monotone operator functions are given. These include a theorem on boundary interpolation for matrix-valued functions in the generalized Nevanlinna class. The theory of monotone operator functions is generalized from scalar- to matrix-valued functions of an operator argument. A notion of -monotonicity is introduced and characterized in terms of classical Nevanlinna functions with removable singularities on a real interval. Corresponding results for Stieltjes functions are presented.

A Note On Interpolation In The Generalized Schur Class. I. Applications Of Realization Theory, Daniel Alpay, T. Constantinescu, A. Dijksma, J. Rovnyak, A. Dijksma

Mathematics, Physics, and Computer Science Faculty Articles and Research

Realization theory for operator colligations on Pontryagin spaces is used to study interpolation and factorization in generalized Schur classes. Several criteria are derived which imply that a given function is almost the restriction of a generalized Schur function. The role of realization theory in coefficient problems is also discussed; a solution of an indefinite Carathéodory-Fejér problem is obtained, as well as a result that relates the number of negative (positive) squares of the reproducing kernels associated with the canonical coisometric, isometric, and unitary realizations of a generalized Schur function to the number of negative (positive) eigenvalues of matrices derived from …

Proof With Words: 2 + 11 - 1 = 12, Arthur T. Benjamin

All HMC Faculty Publications and Research

Proof with words: 2 + 11 – 1 = 12

TWo ELeVEn

A Coin Flipping Game With Non Transitive Odds, Stacy Jurgens

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

A Multigrid Method For Elliptic Grid Generation Using Compact Schemes, Balaji S. Iyangar

Doctoral Dissertations

Traditional iterative methods are stalling numerical processes, in which the error has relatively small changes from one iteration to the next. Multigrid methods overcome the limitations of iterative methods and are computationally efficient. Convergence of iterative methods for elliptic partial differential equations is extremely slow. In particular, the convergence of the non-linear elliptic Poisson grid generation equations used for elliptic grid generation is very slow. Multigrid methods are fast converging methods when applied to elliptic partial differential equations. In this dissertation, a non-linear multigrid algorithm is used to accelerate the convergence of the non-linear elliptic Poisson grid generation method. The …

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

Rush Hour® And Dijkstra’S Algorithm, Mark Stamp, Brad Engel, Mcintosh Ewell, Victor Morrow

Faculty Publications, Computer Science

The game of Rush Hour® includes a 6 × 6 grid and game pieces representing cars and trucks. The object of the puzzle is to move a special car out of a gridlocked “traffic jam.” In this note we apply Dijkstra’s algorithm and a breadth-first search to solve any Rush Hour configuration.

Proceedings Of The First International Conference On Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability And Statistics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, that rigorously defines the infinitesimals. Informally, an infinitesimal is an infinitely small number. Formally, x is said to be infinitesimal if and only if for all positive integers n one has xxx < 1/n. Let &>0 be a such infinitesimal number. The hyper-real number set is an extension of the real number set, which includes classes of infinite numbers and classes of infinitesimal numbers. Let’s consider the non-standard finite numbers 1+ = 1+&, where “1” is its standard part and “&” its non-standard part, …

Dialectics And The Dao: On Both, A And Non-A In Neutrosophy And Chinese Philosophy, Feng Liu, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces readers to a new approach to dialectical logic: neutrosophy. Specifically it proposes a multi-valued logic in which the statement “both A and Non-A,” historically rejected as logically incoherent, is treated as meaningful. This unity of opposites constitutes both the objective world and the subjective world –a view with deep roots in Buddhism and Daoism, including the I-Ching. This leads in turn to the presentation of a framework for the development of a contradiction oriented learning philosophy inspired by the Later Trigrams of King Wen in the I-Ching. We show that although A and Non-A are logically inconsistent, …

La Révolution Scientifique, Les Révolutions, Et L'Histoire Des Sciences. Comment Ernest Coumet Nous A Libérés De L'Héritage D'Alexandre Koyré, Marco Panza

MPP Published Research

Dans son intervention au colloque Koyré (Paris, 1986), Ernest Coumet a suggéré que le terme «révolution scientifique» ne désigne pas chez Koyré un événement historique, mais un idéaltype, au sens de Max Weber. L'auteur discute d'abord cette thèse de Coumet et expose les arguments que ce dermier apporte pour la soutenir. Dans la deuxième partie de l'article, il critique l'usage de la notion de révolution en histoire des sciences, en s'opposant en particulier à la possibilité de distinguer dans les productions des savants une «pensée scientifique» qui serait influencée par la «pensée philosophique» et dont les bouleversements marqueraient l'avènement d'une …

Cramer-Rao Bound And Optimal Amplitude Estimator Of Superimposed Sinusoidal Signals With Unknown Frequencies, Shaohui Jia

Doctoral Dissertations

This dissertation addresses optimally estimating the amplitudes of superimposed sinusoidal signals with unknown frequencies. The Cramer-Rao Bound of estimating the amplitudes in white Gaussian noise is given, and the maximum likelihood estimator of the amplitudes in this case is shown to be asymptotically efficient at high signal to noise ratio but finite sample size. Applying the theoretical results to signal resolutions, it is shown that the optimal resolution of multiple signals using a finite sample is given by the maximum likelihood estimator of the amplitudes of signals.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Algebra În Exercijii Şi Probleme Pentru Liceu, Florentin Smarandache, Ion Goian, Raisa Grigor, Vasila Marin

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Almost Periodic Factorization Of Certain Block Triangular Matrix Functions, Ilya M. Spitkovsky, Darryl H. Yong

All HMC Faculty Publications and Research

Let

where , and . For rational such matrices are periodic, and their Wiener-Hopf factorization with respect to the real line always exists and can be constructed explicitly. For irrational , a certain modification (called an almost periodic factorization) can be considered instead. The case of invertible and commuting , was disposed of earlier-it was discovered that an almost periodic factorization of such matrices does not always exist, and a necessary and sufficient condition for its existence was found. This paper is devoted mostly to the situation when is not invertible but the commute pairwise (). The complete description is …

The Best Way To Knock 'M Down, Arthur T. Benjamin, Matthew T. Fluet '99

All HMC Faculty Publications and Research

"Knock 'm Down" is a game of dice that is so easy to learn that it is being played in classrooms around the world. Although this game has been effective at developing students' intuition about probability [Fendel et al. 1997; Hunt 1998], we will show that lurking underneath this deceptively simple game are many surprising and highly unintuitive results.

Cube Puzzles, Jeremiah Farrell

Scholarship and Professional Work - LAS

Jeremiah Farrell's contribution to "The Mathemagician and Pied Puzzler: A Collection in Tribute to Martin Gardner"

Martin Gardner = Mint! Grand! Rare!, Jeremiah Farrell

Scholarship and Professional Work - LAS

Jeremiah Farrell's contirbution to "The Mathemagician and Pied Puzzler: A Collection in Tribute to Martin Gardner"

Related works:

The puzzle from figure one is also available in Colloquy (Wordways 14,2) online at: http://digitalcommons.butler.edu/wordways/vol14/iss2/8/

Bounds On A Bug, Arthur T. Benjamin, Matthew T. Fluet '99

All HMC Faculty Publications and Research

In the game of Cootie, players race to construct a "cootie bug" by rolling a die to collect component parts. Each cootie bug is composed of a body, a head, two eyes, one nose, two antennae, and six legs. Players must first acquire the body of the bug by rolling a 1. Next, they must roll a 2 to add the head to the body. Once the body and head are both in place, the remaining body parts can be obtained in any order by rolling two 3s for the eyes, one 4 for the nose, two 5s for the …

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Smarandache Type Functions Obtained By Duality, Florentin Smarandache, C Dumitrescu, N Varlan, St Zamfir, E Radescu, N Radescu

Branch Mathematics and Statistics Faculty and Staff Publications

we extend the Smarandache function from the set N* of positive integers to the set Q of rationals

Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Performantele matematicii actuale,ca si descoperirile din viitor isi au,desigur, inceputul in cea mai veche si mai aproape de filozofie ramura a matematicii, in teoria numerelor. Matematicienii din toate timpurile au fost, sunt si vor fi atrasi de frumusetea si varietatea problemelor specifice acestei ramuri a matematicii. Regina a matematicii, care la randul ei este regina a stiintelor, dupa cum spunea Gauss, teoria numerelor straluceste cu lumina si atractiile ei, fascinandu-ne si usurandu-ne drumul cunoasterii legitatilor ce guverneaza macrocosmosul si microcosmosul. De la etapa antichitatii, cand teoria numerelor era cuprinsa in aritmetica, la etapa aritmeticii superioare din perioada Renasterii, cand teoria …