Philosophy of Mathematics

The present paper concerns the Wittgenstein ontology project: an attempt to create a Semantic Web representation of Ludwig Wittgenstein’s philosophy. The project has been in development since 2006, and its current state enables users to search for information about Wittgenstein-related documents and the documents themselves. However, the developers have much more ambitious goals: they attempt to provide a philosophical subject matter knowledge base that would comprise the claims and concepts formulated by the philosopher. The current knowledge representation technology is not (...) well-suited for this task, and a non-standard approach is required. The creators of the Wittgenstein ontology project are aware of this fact; recently, they have been discussing conceptual devices adjusting the technology to their needs. The main goal of this paper is to present examples of a representation of philosophical content that make use of both the devices already proposed and some new inventions. The represented content comes from the Tractatus Logico-Philosophicus; more specifically, its theses concerning the problems in philosophy of mathematics. (shrink)

The explanation for everything in Nature, everything in human history, future, and-or, past, is the conservation of a circle, proven by, the circular-linear relationship between, the solstice and the equinox.

This is Part B of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A motivated an understanding of unlabeled graphs as structures sui generis and developed a corresponding axiomatic theory of unlabeled graphs. Part B turns to the philosophical interpretation and assessment of the theory: it points out how the theory avoids well-known problems concerning identity, objecthood, and reference that have been attributed to non-eliminative structuralism. The part (...) concludes by explaining how the theory relates to set theory, and what remains to be accomplished for non-eliminative structuralists. (shrink)

The unexpected and premature passing away of Professor Ebrahim H. "Abe" Mamdani on January, 22, 2010, was a big shock to the scientific community, to all his friends and colleagues around the world, and to his close relatives. Professor Mamdani was a remarkable figure in the academic world, as he contributed to so many areas of science and technology. Of great relevance are his latest thoughts and ideas on the study of language and its handling by computers. The fuzzy logic (...) community is particularly indebted to Abe Mamdani (1941-2010) who, in 1975, in his famous paper An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller, jointly written with his student Sedrak Assilian, introduced the novel idea of fuzzy control. This was an elegant engineering approach to the modeling and control of complex processes for which mathematical models were unknown or too difficult to build, yet they could effectively and efficiently be controlled by human operators. This ground-breaking idea has found innumerable applications and can be considered as one of the main factors for the proliferation and adoption of fuzzy logic technology. Professor Mamdani's own life and vital experience are illustrative of his “never surrendering” attitude while facing adversaries, which is normal for a person proposing any novel solution, and represent a great example for everybody. His subtle sense of humor, his joy for life, and his will to critically help people, especially young people, were characteristics deeply appreciated by all the people who enjoyed and benefited from his friendship and advice. This book constitutes a posthumous homage to Abe Mamdani. It is a collection of original papers related in some way to his works, ideas and vision, and especially written by researchers directly acquainted with him or with his work. The underlying goal of this book will be fulfilled if, in the very spirit of Mamdani's legacy, the papers will trigger a scientific or philosophical debate on the issues covered, or contribute to a cross-fertilization of ideas in the various fields. (shrink)

The main purpose of this book is to define and develop the notion of multi-dimensional MOD planes. Here, several interesting features enjoyed by these multi-dimensional MOD planes are studied and analyzed. Interesting problems are proposed to the reader.

This book contains concrete examples from history, economy, biology, digital world, nuclear physics, agriculture and so on about breaking a neutrosophic dynamic system (i.e. a dynamic system that has indeterminacy) from inside. We define a neutrosophic mathematical model using a system of ordinary differential equations and the neutrosophic probability in order to approximate the process of breaking from inside a neutrosophic complex dynamic system. It shows that for breaking from inside it is needed a smaller force than for breaking from (...) outside the neutrosophic complex dynamic system. Methods that have been used in the past for breaking from inside are listed. Simulation and animation of this neutrosophic dynamical system are needed for the future since, by changing certain parameters, various types of breaking from inside may be simulated. Abstract: Această carte conține exemple concrete din istorie, economie, biologie, spațiu digital, fizică nucleară, agricultură și altele, de distrugere unui sistem neutrosofic dinamic (adică a unui sistem care are indeterminări), acționând din interiorul acestuia. Descriem un model neutrosofic matematic folosind un sistem de ecuații diferențiale ordinare și probabilitatea neutrosofică, cu scopul de a aproxima procesul de distrugere din interior a unui sistem neutrosofic dinamic complex. Se demonstrează că, pentru distrugerea din interior a unui astfel de sistem, este necesară o forță mai mică decât pentru distrugerea din exterior. Sunt enumerate metode folosite în trecut pentru distrugerea din interior. Simularea și animația acestui sistem neutrosofic dinamic sunt necesare pentru viitor, deoarece, schimbând diferiți parametri, se pot simula diferite tipuri de distrugeri din interior. (shrink)

数理論理学の基本となる命題・述語論理から、チューリング機械・形式手法・ブール代数といった「少し先」の内容までを丁寧に解説。.

The volume consists of thirteen papers devoted to various problems of the philosophy of logic and mathematics. They can be divided into two groups. The first group contains papers devoted to some general problems of the philosophy of mathematics whereas the second group - papers devoted to the history of logic in Poland and to the work of Polish logicians and math-ematicians in the philosophy of mathematics and logic. Among considered problems are: meaning of reverse mathematics, proof in mathematics, the (...) status of Church's Thesis, phenomenology in the philosophy of mathematics, mathematics vs. theology, the problem of truth, philosophy of logic and mathematics in the interwar Poland. (shrink)

This series provides a complete introduction to essential coding skills. Key coding concepts are explained through fun robot adventure stories. Written by a qualified coding educator and neuroscience expert.

This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics. The topics of logic and set theory are required in many areas of physical sciences, engineering, and technology. The book offers solved examples and exercises, and provides reasonable details to each topic discussed, for easy understanding. The book is designed for (...) readers from various disciplines where mathematical logic and set theory play a crucial role. The book will be of interested to students and instructors in engineering, mathematics, computer science, and technology. (shrink)

X and Y are desperate to bake infinite pie! With the help of quirky and uber-smart Aunt Z, X and Y will use math concepts to bake their way to success!

This collection considers algorithms at work, alongside black box control, platform society theory and the formation of subjectivities.

This title introduces the concepts of algorithms and sequencing in coding by using relatable real-world examples in the reader's everyday life. Vivid photographs and easy-to-read text aid comprehension for early readers. Features include a table of contents, an infographic, fun facts, Making Connections questions, a glossary, and an index. QR Codes in the book give readers access to book-specific resources to further their learning. Aligned to Common Core Standards and correlated to state standards. Cody Koala is an imprint of Pop!, (...) a division of ABDO. (shrink)

This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the humanities, arts, and sciences. Sophisticated mathematical ideas are introduced early and then revisited several times in a spiral structure, allowing students to progressively develop rigorous thinking. Throughout, the presentation is enlivened with whimsical illustrations, apt quotations, and glimpses of mathematical history and (...) culture. Early chapters integrate an introduction to sets, logic, and beginning proof techniques with a first exposure to more advanced mathematical structures. The middle chapters focus on equivalence relations, functions, and induction. Carefully chosen examples elucidate familiar topics, such as natural and rational numbers and angle measurements, as well as new mathematics, such as modular arithmetic and beginning graph theory. The book concludes with a thorough exploration of the cardinalities of finite and infinite sets and, in two optional chapters, brings all the topics together by constructing the real numbers and other complete metric spaces. Designed to foster the mental flexibility and rigorous thinking needed for advanced mathematics, Introduction to Mathematics suits either a lecture-based or flipped classroom. A year of mathematics, statistics, or computer science at the university level is assumed, but the main prerequisite is the willingness to engage in a new challenge. (shrink)

The paper presents a pioneering approach to assessing the effectiveness of innovation processes in logistics. Indicators and the procedure of evaluating the efficiency of innovation processes in enterprise logistic activity are described. Possibilities of applying this approach are suggested.

Infinity is not what it seems. Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes in a divine (...) Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, Forever Finite offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. (shrink)