Intuition and the Axiomatic Method Intuition and the Axiomatic Method
نویسندگان
چکیده
منابع مشابه
The concept of axiom in Hilbert’s thought
David Hilbert is considered the champion of formalism and the mathematician who turned the axiomatic method into what we know nowadays. Hilbert compares in 19001 the axiomatic method with the genetic one, and he argues that only the former is capable of giving a true foundation to mathematics. In this paper I will analyze the key concept of the axiomatic method, namely that of axiom. To underst...
متن کاملTuring’s Approaches to Computability, Mathematical Reasoning and Intelligence
In this paper a distinction is made between Turing’s approach to computability, on the one hand, and his approach to mathematical reasoning and intelligence, on the other hand. Unlike Church’s approach to computability, which is top-down being based on the axiomatic method, Turing’s approach to computability is bottom-up, being based on an analysis of the actions of a human computer. It is argu...
متن کاملA Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-order Arithmetic
This work is a sequel to our 14]. It is shown how Theorem 6 of 14], dealing with the translatability of HA (Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuition-istic arithmetic in higher types.
متن کاملConsistent Preferences with Reversals
We propose an axiomatic framework for updating complete preference orderings without the monotonicity axiom. The induced preference reversals are justified on the basis of a normative interpretation that reconciles consequentialism with adequate forms of choice consistency. We conclude that preferences need not, and in some contexts even should not be recursive, thus confirming the intuition of...
متن کاملAlternative Axiomatic Characterizations of the Grey Shapley Value
The Shapley value, one of the most common solution concepts of cooperative game theory is defined and axiomatically characterized in different game-theoretic models. Certainly, the Shapley value can be used in interesting sharing cost/reward problems in the Operations Research area such as connection, routing, scheduling, production and inventory situations. In this paper, we focus on the Shapl...
متن کامل