English
Related papers

Related papers: Wittgenstein on decisions and the mathematical pra…

200 papers

This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world. After a description of the…

History and Overview · Mathematics 2020-08-11 Guy Wallet , Stefan Neuwirth

We recently described a formalism for reasoning with if-then rules that re expressed with different levels of firmness [18]. The formalism interprets these rules as extreme conditional probability statements, specifying orders of magnitude…

Artificial Intelligence · Computer Science 2013-03-25 Moises Goldszmidt , Judea Pearl

Mathematicians and philosophers have appealed to categoricity arguments in a surprisingly varied range of contexts. One familiar example calls on second-order categoricity in an attempt to show that the Continuum Hypothesis, despite its…

Logic · Mathematics 2023-03-14 Penelope Maddy , Jouko Väänänen

Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic, its constructive variants show that both acts admit…

Logic in Computer Science · Computer Science 2026-05-05 Victor Barroso-Nascimento , Maria Osório , Elaine Pimentel

Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to…

History and Philosophy of Physics · Physics 2021-11-04 Nicolas Gisin

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of…

Logic in Computer Science · Computer Science 2024-05-20 Daniel Lu

Discussion of the necessity to use the constructive mathematics as the formalism of quantum theory for systems with many particles.

Quantum Physics · Physics 2008-09-16 Yuri Ozhigov

The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically…

Social and Information Networks · Computer Science 2013-05-07 Ursula Martin , Alison Pease

Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…

General Physics · Physics 2007-05-23 Mauricio Ayala

The use of equilibrium models in economics springs from the desire for parsimonious models of economic phenomena that take human reasoning into account. This approach has been the cornerstone of modern economic theory. We explain why this…

General Finance · Quantitative Finance 2008-12-02 J. Doyne Farmer , John Geanakoplos

This study has the purpose of addressing four questions that lie at the base of the probability theory and statistics, and includes two main steps. As first, we conduct the textual analysis of the most significant works written by eminent…

History and Overview · Mathematics 2019-01-15 Paolo Rocchi

For many years, I have been interested in introducing students to the development of complex systems by means of modelling and refinement. To this end, I did not find anything better than presenting many examples of system developments.…

Software Engineering · Computer Science 2017-01-09 Jean-Raymond Abrial

Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…

Artificial Intelligence · Computer Science 2013-02-08 Luis D. Hernandez , Serafin Moral

Wigner's famous and influential claim that mathematics is "unreasonably effective" in physics is founded on unreasonable assumptions about the nature of mathematics and its independence of physics. Here I argue that what is surprising is…

History and Philosophy of Physics · Physics 2015-12-17 Derek K. Wise

Many mathematical statements have the following form. If something is true for all finite subsets of an infinite set $I$, then it is true for all of $I$. This paper describes some old and new results on infinite sets of linear and…

Combinatorics · Mathematics 2024-09-24 Melvyn B. Nathanson

The notion of $\varepsilon$-multiplicity was originally defined by Ulrich and Validashti as a limsup and they used it to detect integral dependence of modules. It is important to know if it can be realized as a limit. In this article we…

Commutative Algebra · Mathematics 2019-11-13 Suprajo Das

A general $f(\mathcal{R})$ gravitational theory is considered within the Palatini formalism. By applying the variational principle and the usual conditions on the boundary, we show explicitly that a surface term remains such that as in…

General Relativity and Quantum Cosmology · Physics 2021-02-02 Diego Sáez-Chillón Gómez

The science of complexity is based on a new way of thinking that stands in sharp contrast to the philosophy underlying Newtonian science, which is based on reductionism, determinism, and objective knowledge. This paper reviews the…

Computational Complexity · Computer Science 2008-07-29 Francis Heylighen , Paul Cilliers , Carlos Gershenson

This paper presents formulae that can solve various seemingly hopeless philosophical conundrums. We discuss the simulation argument, teleportation, mind-uploading, the rationality of utilitarianism, and the ethics of exploiting artificial…

Artificial Intelligence · Computer Science 2017-01-06 Gabriel Leuenberger

Understanding the nature of strategic voting is the holy grail of social choice theory, where game-theory, social science and recently computational approaches are all applied in order to model the incentives and behavior of voters. In a…

Multiagent Systems · Computer Science 2014-11-19 Reshef Meir