Results 181 to 190 of about 28,310 (224)
Some of the next articles are maybe not open access.
Logique et Analyse, 2023
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source
Formal Aspects of Computing, 1998
Abstract. The concept “complete partial order” is generalized to the concept “functionally complete partial order.” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved. The theory is applied to yield a fixpoint mapping theorem.
openaire +1 more source
Abstract. The concept “complete partial order” is generalized to the concept “functionally complete partial order.” The correctness of a corresponding generalization of the Knaster-Tarski fixpoint theorem is proved. The theory is applied to yield a fixpoint mapping theorem.
openaire +1 more source
Tarski on the Concept of Truth
Oxford Handbooks Online, 2018Alfred Tarski’s work on truth has been so central to the discourse on truth that most coming to it for the first time have probably already heard a great deal about what is said there.
G. Ray
semanticscholar +1 more source
Tarski: a platform for automated analysis of dynamically configurable traceability semantics
ACM Symposium on Applied Computing, 2017Traceability can be defined as the degree to which a relationship can be established among work products of the development process. Traceability is important to support the consistency and likewise to ensure that a system is understandable, maintainable
Ferhat Erata +5 more
semanticscholar +1 more source
Synthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Symbolic Logic, 1986
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Coghetto, Roland, Grabowski, Adam
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Coghetto, Roland, Grabowski, Adam
openaire +2 more sources
The Mathematical Intelligencer, 1988
An informal presentation of the proof of the Banach-Tarski Theorem is given. This theorem states that there exists a (paradoxical) decomposition of the unit ball into a finite number of subsets such that the subsets can be transposed and oriented in such a way to form two identical copies of the ball.
openaire +1 more source
An informal presentation of the proof of the Banach-Tarski Theorem is given. This theorem states that there exists a (paradoxical) decomposition of the unit ball into a finite number of subsets such that the subsets can be transposed and oriented in such a way to form two identical copies of the ball.
openaire +1 more source
Bulletin of Symbolic Logic, 1999
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Tarski, Alfred, Givant, Steven
openaire +1 more source
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Tarski, Alfred, Givant, Steven
openaire +1 more source
Erkenntnis, 1993
Hartry Field has argued that Alfred Tarski desired to reduce all semantic concepts to concepts acceptable to physicalism and that Tarski failed to do this. In the two succeeding decades, Field has been charged with being too lenient with Tarski; but it has been almost universally accepted that an objection at least as strong as Field's is telling ...
openaire +1 more source
Hartry Field has argued that Alfred Tarski desired to reduce all semantic concepts to concepts acceptable to physicalism and that Tarski failed to do this. In the two succeeding decades, Field has been charged with being too lenient with Tarski; but it has been almost universally accepted that an objection at least as strong as Field's is telling ...
openaire +1 more source