English
Related papers

Related papers: Mathematics as an Exact and Precise Language of Na…

200 papers

Discrete mathematics is the foundation of computer science. It focuses on concepts and reasoning methods that are studied using math notations. It has long been argued that discrete math is better taught with programming, which takes…

Computers and Society · Computer Science 2021-10-07 Yanhong A. Liu , Matthew Castelllana

The role of mathematics in physical sciences is discussed, particularly how higher mathematics found applications in empirical problems. Several examples are given to illustrate this role.

History and Overview · Mathematics 2007-05-23 Riazuddin

An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling…

History and Overview · Mathematics 2023-05-10 Brian D Wood

Artificial intelligence assisted mathematical proof has become a highly focused area nowadays. One key problem in this field is to generate formal mathematical proofs from natural language proofs. Due to historical reasons, the formal proof…

Programming Languages · Computer Science 2024-05-14 Lihan Xie , Zhicheng Hui , Qinxiang Cao

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…

Neurons and Cognition · Quantitative Biology 2019-10-02 Manouchehr Zaker

We present and discuss a curated selection of recent literature related to the application of quantitative techniques, tools, and topics from mathematics and data science that have been used to analyze the mathematical sciences community.…

There are different meanings of foundation of mathematics: philosophical, logical, and mathematical. Here foundations are considered as a theory that provides means (concepts, structures, methods etc.) for the development of whole…

Logic · Mathematics 2007-05-23 Mark Burgin

Natural language provides a widely accessible and expressive interface for robotic agents. To understand language in complex environments, agents must reason about the full range of language inputs and their correspondence to the world.…

Computation and Language · Computer Science 2017-10-03 Stephanie Zhou , Alane Suhr , Yoav Artzi

Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the…

Programming Languages · Computer Science 2020-02-04 Martin Abadi , Gordon D. Plotkin

The research on and application of artificial intelligence (AI) has triggered a comprehensive scientific, economic, social and political discussion. Here we argue that statistics, as an interdisciplinary scientific field, plays a…

Wigner found unreasonable the "effectiveness of mathematics in the natural sciences". But if the mathematics we use to describe nature is simply a coded expression of our experience then its effectiveness is quite reasonable. Its…

History and Philosophy of Physics · Physics 2012-02-03 Marvin Chester

Some relations between physics and finitary and infinitary mathematics are explored in the context of a many-minds interpretation of quantum theory. The analogy between mathematical ``existence'' and physical ``existence'' is considered…

Quantum Physics · Physics 2007-05-23 Matthew J. Donald

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…

Digital Libraries · Computer Science 2020-12-22 André Greiner-Petter , Terry Ruas , Moritz Schubotz , Akiko Aizawa , William Grosky , Bela Gipp

Artificial Intelligence has an important place in the scientific community as a result of its successful outputs in terms of different fields. In time, the field of Artificial Intelligence has been divided into many sub-fields because of…

Artificial Intelligence · Computer Science 2019-02-05 M. H. Calp

What is physics? What are the limits of what physics can say about the world? In seeking ever-broader theoretical `umbrellas' for physical phenomena, we are seeking unifying principles. Emergent phenomena have turned out to be some of the…

History and Philosophy of Physics · Physics 2010-02-06 Ian T. Durham

Research in foundations of physics is stagnant, as claimed by many scientists during the last years. I suggest that one reason might be the reification of language, particularly of mathematics, which favour the search for answers to wrong…

History and Philosophy of Physics · Physics 2022-11-10 Luigi Foschini

One of the most fundamental questions in Biology or Artificial Intelligence is how the human brain performs mathematical functions. How does a neural architecture that may organise itself mostly through statistics, know what to do? One…

Artificial Intelligence · Computer Science 2020-09-21 Kieran Greer

The view of nature we adopt in the natural attitude is determined by common sense, without which we could not survive. Classical physics is modelled on this common-sense view of nature, and uses mathematics to formalise our natural…

History and Philosophy of Physics · Physics 2023-05-03 Jobst Landgrebe , Barry Smith

One of the main activities in science teaching, and in particular in Physics teaching, is not only the discussion of both modern problems and problems which solution is an urgent matter. It means that the picture of an active and alive…

Physics Education · Physics 2007-05-23 V. Pleitez

Mathematical Selection is a method in which we select a particular choice from a set of such. It have always been an interesting field of study for mathematicians. Accordingly, Combinatorial Optimization is a sub field of this domain of…

Computational Complexity · Computer Science 2023-06-29 Anurag Dutta , K. Lakshmanan , A. Ramamoorthy , Liton Chandra Voumik , John Harshith , John Pravin Motha