Related papers: Further examples of apodictic discourse, I
This paper presents an updated biography of Samgamagr\=ama M\=adhava incorporating viewpoints expounded by scholars in the recent past and collecting together in one place more details about his works culled from recent researches into his…
We give a language for geometry which makes curves and number fields look alike.
In the past few years, substantial progress has been made in the understanding of the algebra of kappa classes on the moduli spaces of curves. My goal here is to provide a short introduction to the new results. Along the way, I will discuss…
Math is widely considered as a powerful tool and its strong appeal depends on the high level of abstraction it allows in modelling a huge number of heterogeneous phenomena and problems, spanning from the static of buildings to the flight of…
We describe a new arithmetic system for the Magma computer algebra system for working with $p$-adic numbers exactly, in the sense that numbers are represented lazily to infinite $p$-adic precision. This is the first highly featured such…
Questions concerning origin of mathematical knowledge and roles of language and intuition (imagery) in mathematical thoughts are long standing and widely debated. By introspection, mathematicians usually have some beliefs regarding these…
Asking questions is a pervasive human activity, but little is understood about what makes them difficult to answer. An analysis of a pair of large databases, of New York Times crosswords and questions from the quiz-show Jeopardy,…
Innovating mathematics by research approaches in Indonesia from middle schools to undergraduates are explained here where geometry is typical example to be innovated. Topics in plane geometry to be platonic solids and non platonic solids…
In this paper, we propose that 'embodied mathematics' should be studied not only by reduction to the present individual bodily experience but in an historical context as well, as far as the origins of mathematics are concerned. Some early…
This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference…
It is discussed a practical possibility of a provable programming of mathematics basing on intuitionism and the dependent types feature of a programming language.The principles of constructive mathematics and provable programming are…
We contemplate the notion of ambiguity in mathematical discourse. We consider a general method of resolving ambiguity and semantic options for sustaining a resolution. The general discussion is applied to the case of `fraction' which is…
Expansions of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N} ; < \rangle$ have been a fertile and active area of research ever since the publication of the seminal papers of B\"uchi and Elgot & Rabin on the…
Part 1 : For more than two millennia, ever since Euclid's geometry, the so called Archimedean Axiom has been accepted without sufficiently explicit awareness of that fact. The effect has been a severe restriction of our views of space-time,…
The ability to persist in the spacial environment is, not only in the robotic context, an essential feature. Positional knowledge is one of the most important aspects of space and a number of methods to represent these information have been…
Recent advances in large language models (LLMs) and multimodal LLMs (MLLMs) have led to strong reasoning ability across a wide range of tasks. However, their ability to perform mathematical reasoning from spoken input remains underexplored.…
We introduce a new dataset of conversational speech representing English from India, Nigeria, and the United States. The Multi-Dialect Dataset of Dialogues (MD3) strikes a new balance between open-ended conversational speech and…
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e.,…
Geometry is essentially a global language, which is fully understood in different times, countries and cultures. The proof of a geometric theorem (e.g. the Pythagorean Theorem) or a geometric construction (e.g. the construction of an…
Aided by technology, people are increasingly able to communicate across geographical, cultural, and language barriers. This ability also results in new challenges, as interlocutors need to adapt their communication approaches to…