相关论文: Why I don't like "pure mathematics"

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial…

Logic really is just algebra, given one uses the right kind of algebra, and the right kind of logic. The right kind of algebra is abstraction algebra, and the right kind of logic is abstraction logic.

This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides…

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

We review the role of mathematics from a historical and a conceptual perspective in the light of modern data science.

A few remarks on how mathematics quests for freedom.

Mathematics enters the period of change unprecedented in its history, perhaps even a revolution: a switch to use of computers as assistants and checkers in production of proofs. This requires rethinking traditional approaches to mathematics…

Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and accurate science, it is usually expressed by less accurate and…

A coherent mathematical overview of computation and its generalisations is described. This conceptual framework is sufficient to comfortably host a wide range of contemporary thinking on embodied computation and its models.

Network (as a general notion) is not a mathematical object - there is no even any definition. However, there is a lot of good rigorous mathematics for well-defined classes of networks. In sections 1-3 we give a short overview of classes of…

This paper discusses digital online mathematics examinations -- a discussion ranging from high school to university level examinations. In particular, we consider the nature of mathematical writing, what is distinctive about mathematical…

Approximate computing is a research area where we investigate a wide spectrum of techniques to trade off computation accuracy for better performance or energy consumption. In this work, we provide a general introduction to approximate…

This overview article highlights the critical role of mathematics in artificial intelligence (AI), emphasizing that mathematics provides tools to better understand and enhance AI systems. Conversely, AI raises new problems and drives the…

In this paper, it is argued that theoretical physics is more akin to an organism than to a rigid structure.It is in this sense that the epithet, "sick", applies to it. It is argued that classical physics is a model of a healthy science, and…

The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.

Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our…

We propose an axiomatic foundation of mathematics based on the finite sequence as the foundational concept, rather than based on logic and set, as in set theory, or based on type as in dependent type theories. Finite sequences lead to a…

This is a tract on the art and practice of mathematical writing. Not only does the book cover basic principles of grammar, syntax, and usage, but it takes into account developments of the last twenty years that have been inspired by the…

The key difference between math as math and math in science is that in science we blend our physical knowledge with our knowledge of math. This blending changes the way we put meaning to math and even to the way we interpret mathematical…

Stephen Toulmin once observed that `it has never been customary for philosophers to pay much attention to the rhetoric of mathematical debate'. Might the application of Toulmin's layout of arguments to mathematics remedy this oversight?…