Related papers: Further examples of apodictic discourse, I
Existing research in measuring and mitigating gender bias predominantly centers on English, overlooking the intricate challenges posed by non-English languages and the Global South. This paper presents the first comprehensive study delving…
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed…
The paper is devoted to technology of math. education in Russia in special mathematical schools ("listkovaya systema"). This system has positive sides and most classes in Russian mathematical schools or circles almost always uses it.…
In this book the authors probe into Vedic Mathematics (a concept that gained renown in the period of the religious fanatic and revivalist Hindutva rule in India): and explore whether it is really 'Vedic' in origin or 'Mathematics' in…
This paper lists some new directions for research related to the Algebra of Communicating Processes (ACP). Most of these directions have been inspired by work on SubScript, an ACP based extension to the programming language Scala. SubScript…
This paper is intended to serve two purposes: one, to present an account of the life of Sangamagr\=ama M\=adhava, the founder of the Kerala school of astronomy and mathematics which flourished during the 15th - 18th centuries, based on…
We study the complexity of reasoning in abstracts argumentation frameworks close to graph classes that allow for efficient reasoning methods, i.e.\ to one of the classes of acyclic, noeven, biparite and symmetric AFs. In this work we show…
This paper is the second in series of the Indian physics of the Nyaya-Vaisheshika school. It is significant that the school defines matter not in terms of something gross that is anchored to the commonsensical notion of an object, but…
We describe and explain the desire, common among mathematicians, both for unity and independence in its major themes. In the dialogue that follows, we express our spontaneous and considered judgment and reservations by contrasting the…
Reasoning under uncertainty is a fundamental challenge in Artificial Intelligence. As with most of these challenges, there is a harsh dilemma between the expressive power of the language used, and the tractability of the computational…
Theory Building has been largely ignored in Mathematics Education, especially at the Middle and High School Levels. This thesis focuses on Assumption Digging, a type of Theory Building similar to what Hilbert undertook in his Grundlagen…
Although the so called tetralemma might seem to be incompatible with any recognized scheme of logical inference, its four alternatives arise naturally within the anhomomorphic logics which have been proposed in order to accommodate certain…
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on…
The testimony and practice of notable mathematicians indicate that there is an important phenomenological and epistemological difference between superficial and deep analogies in mathematics. In this paper, we offer a descriptive theory of…
New notions are introduced in algebra in order to better study the congruences in number theory. For example, the <special semigroups> makes an important such contribution.
We are concerned with dependency-oriented morphosyntactic parsing of running text. While a parsing grammar should avoid introducing structurally unresolvable distinctions in order to optimise on the accuracy of the parser, it also is…
This is an attempt to present axioms for Euclidean geometry, aiming at the following goals: to work with geometric notions (thus not merely identify points with pairs of numbers, giving a special status to a particular coordinate system);…
The question of the origins of logic as a formal discipline is of special interest to the historian of physics since it represents a turning inward to examine the very nature of reasoning and the relationship between thought and reality. In…
We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a boolean value standing for their being equivalent. The…
The numeral systems of Indo-Aryan languages such as Hindi, Gujarati, and Bengali are highly unusual in that unlike most numeral systems (e.g., those of English, Chinese, etc.), forms referring to 1--99 are highly non-transparent and cannot…