English
Related papers

Related papers: Is mathematics like a game?

200 papers

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…

History and Overview · Mathematics 2019-04-25 Tiziana Castellano , Pietro Boccadoro

The nature of the existence, revealed through Human cognitive system, has been evolving since the development of the languages. Part of such revelations were the geometrical forms and the numbers, whose beauty and order, wondrous and…

Neurons and Cognition · Quantitative Biology 2022-02-28 Jahan. N. Schad

The unity of mathematics has its power to compactify experiences in a form capable of being transferred and modified or adapted to new mathematical situations. Yet, we believe that the phrase "Unity of Mathematics" expresses a dream, an…

History and Overview · Mathematics 2013-12-10 Bernhelm Booss-Bavnbek , Philip J. Davis

Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

Mathematics is one of the ways our species makes sense of this world and I believe that it is inherent in our thinking machinery. The mathematics we do in turn is dependent on the way we view our universe and ourselves. Lakoff and Nunez…

General Mathematics · Mathematics 2020-07-02 Gizem Karaali

This talk presents foundations of mathematics as a historically variable set of principles appealing to various modes of human intuition and devoid of any prescriptive/prohibitive power. At each turn of history, foundations crystallize the…

History and Overview · Mathematics 2012-05-29 Yuri I. Manin

Courses in mathematical methods for physics students are not known for including too much in the way of mathematical rigour and, in some ways, understandably so. However, the conditions under which some quite commonly used mathematical…

General Physics · Physics 2008-01-21 J. Dunning-Davies

Truth, consistency and elementary equivalence can all be characterised in terms of games, namely the so-called evaluation game, the model-existence game, and the Ehrenfeucht-Fraisse game. We point out the great affinity of these games to…

Logic · Mathematics 2023-03-23 Jouko Väänänen

A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical…

Artificial Intelligence · Computer Science 2024-02-16 Joseph Y. Halpern

Engineering needs mathematics, but the converse is also increasingly evident. Indeed, mathematics is still recovering from the drawbacks of several "reforms". Encouraging is the revived interest in proofs indicated by various recent…

General Mathematics · Mathematics 2016-01-07 Raymond Boute

The example of the calculus is used to explain how simple, practical math was made enormously complex by imposing on it the Western religiously-colored notion of mathematics as "perfect". We describe a pedagogical experiment to make math…

History and Overview · Mathematics 2013-12-10 C. K. Raju

The classical platonist/formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: is new mathematics discovered or invented? Using an example from my own mathematical life, I argue that…

History and Overview · Mathematics 2013-09-24 Alexandre Borovik

We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting formulas are games and that everything is…

Logic in Computer Science · Computer Science 2009-05-26 Pierre Hyvernat

Mathematics is a critical part of much scientific research. Physics in particular weaves math extensively into its instruction beginning in high school. Despite much research on the learning of both physics and math, the problem of how to…

Physics Education · Physics 2015-06-22 Edward F. Redish , Eric Kuo

Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent…

Software Engineering · Computer Science 2010-04-19 Manoranjan Kumar Singh , Rakesh. L

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. First-order formal languages containing natural numbers and numerals belong to that class. Its languages are called mathematically…

Logic · Mathematics 2015-02-19 Seppo Heikkilä

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a…

History and Overview · Mathematics 2011-09-21 Andrei Rodin

"Mathematicians, like physicists, are pushed by a strong fascination. Research in mathematics is hard, it is intellectually painful even if it is rewarding, and you would not do it without some strong urge." [D. Ruelle]. We shall give some…

History and Overview · Mathematics 2011-11-30 Alena Aleksenko , Evgeny Lakshtanov

Mathematics is probably the only subject that can be classified both as art as well as science - former, because it is not constrained by the real world and latter because it is a logical system with precisely defined rules as well as…

History and Philosophy of Physics · Physics 2016-01-15 Patrick Das Gupta

Philosophy of science attempts to describe all parts of the scientific process in a general way in order to facilitate the description, execution and improvements of this process. So far, all proposed philosophies have only covered existing…

Logic in Computer Science · Computer Science 2023-02-07 Michał J. Gajda