English
Related papers

Related papers: The Universal Language of Mathematics (Introductio…

200 papers

In a forthcoming book, professional computer scientist and physicist Paul Budnik presents an exposition of classical mathematical theory as the backdrop to an elegant thesis: we can interpret any model of a formal system of Peano Arithmetic…

General Mathematics · Mathematics 2007-05-23 Bhupinder Singh Anand

Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the semantics in programming languages…

Logic in Computer Science · Computer Science 2013-06-14 Michael Kohlhase , Felix Mance , Florian Rabe

Mathematical reasoning---a core ability within human intelligence---presents some unique challenges as a domain: we do not come to understand and solve mathematical problems primarily on the back of experience and evidence, but on the basis…

Machine Learning · Computer Science 2019-04-03 David Saxton , Edward Grefenstette , Felix Hill , Pushmeet Kohli

Math is constructed by people for people: just as natural language corpora reflect not just propositions but the communicative goals of language users, the math data that models are trained on reflects not just idealized mathematical…

Artificial Intelligence · Computer Science 2024-11-01 Sasha Boguraev , Ben Lipkin , Leonie Weissweiler , Kyle Mahowald

Binary concepts are empirically used by humans to generalize efficiently. And they are based on Bernoulli distribution which is the building block of information. These concepts span both low-level and high-level features such as "large vs…

Machine Learning · Computer Science 2023-03-23 Zizhao Hu , Mohammad Rostami

It is rare to succeed in getting mathematics into ordinary conversation without meeting all kinds of reservations. In order to raise public awareness of mathematics effectively, it is necessary to modify such attitudes. In this paper, we…

History and Overview · Mathematics 2007-05-23 Vagn Lundsgaard Hansen

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce…

History and Overview · Mathematics 2016-04-04 Noson S. Yanofsky , Mark Zelcer

The mathematical analysis was conceived in XVII century in Newton and Leibniz works. The problem of logical rigor in definitions was considered by Arnauld and Nicole in "Logique ou l'art de penser". They were the first, who distinguished…

History and Overview · Mathematics 2015-02-25 G. Sinkevich

Many people are familiar with the physico-chemical properties of gene sequences. In this paper I present a mathematical perspective: how do mathematical principles such as information theory, coding theory, and combinatorics influence the…

Genomics · Quantitative Biology 2007-05-23 Matthew J. Berryman

Basic concepts of theoretical particle physics, including quantum mechanics and Poincar\'e invariance, the leptonic mass spectrum and the proton mass, can be derived, without reference to first principles, from intrinsic properties of the…

General Physics · Physics 2013-03-26 Walter Smilga

The main aim of this paper is to present an overview of the need of a new way of coping the fundamental equations of physics, see the references. Our main aim is to build a new metrics in which both time and space are included, but in some…

General Physics · Physics 2007-05-23 Edgar Paternina

The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of…

History and Overview · Mathematics 2020-03-11 Joel Merker , Jean-Jacques Szczeciniarz

Statistics and Optimization are foundational to modern Machine Learning. Here, we propose an alternative foundation based on Abstract Algebra, with mathematics that facilitates the analysis of learning. In this approach, the goal of the…

Machine Learning · Computer Science 2025-02-28 Fernando Martin-Maroto , Nabil Abderrahaman , David Mendez , Gonzalo G. de Polavieja

We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…

Quantum Physics · Physics 2026-03-19 P. Arrighi , D. Bakircioglu , N. L. Houyet

The concept of number is fundamental to the formulation of any physical theory. We give a heuristic motivation for the reformulation of Quantum Mechanics in terms of non-standard real numbers called Quantum Real Numbers. The standard axioms…

Quantum Physics · Physics 2007-05-23 John V Corbett , Thomas Durt

We describe a mainstream "universalist" approach to the understanding of mathematics. We then conduct a systematic (but not exhaustive) review of the academic literature on the decolonisation of mathematics and identify how this challenges…

History and Overview · Mathematics 2023-10-23 John Armstrong , India Jackman

In this second article, we show a simple use of the Ignorance as defined in "Jaynes & Shannon's Constrained Ignorance and Surprise". By giving an example about the journey of a person, we believe to show some simple, obvious but…

Artificial Intelligence · Computer Science 2022-06-14 Cailleteau Thomas

Standard economic theory uses mathematics as its main means of understanding, and this brings clarity of reasoning and logical power. But there is a drawback: algebraic mathematics restricts economic modeling to what can be expressed only…

General Economics · Economics 2021-04-08 W. Brian Arthur

Quantum mechanics---the theory describing the fundamental workings of nature---is famously counterintuitive: it predicts that a particle can be in two places at the same time, and that two remote particles can be inextricably and…

This book provides a comprehensive introduction to the foundational concepts of machine learning (ML) and deep learning (DL). It bridges the gap between theoretical mathematics and practical application, focusing on Python as the primary…