Results 181 to 190 of about 2,771 (212)
Some of the next articles are maybe not open access.
Solution of a problem of Tarski
Journal of Symbolic Logic, 1956We presuppose the terminology of [1], and we give a negative answer to the following problem ([1], p. 19): Does every essentially undecidable axiomatizable theory have an essentially undecidable finitely axiomatizable subtheory?We use the following theorem of Kleene ([2], p. 311).
openaire +1 more source
Synthese, 2003
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
Proceedings of the 1956 11th ACM national meeting on - ACM '56, 1956
The Tarski decision procedure can be briefly described as an algorithm for deciding on the validity of any elementary statement about polynomials over the field of real numbers. The adjective “elementary%rdquo; is used here in a technical sense, but its meaning will be indicated by examples.
openaire +1 more source
The Tarski decision procedure can be briefly described as an algorithm for deciding on the validity of any elementary statement about polynomials over the field of real numbers. The adjective “elementary%rdquo; is used here in a technical sense, but its meaning will be indicated by examples.
openaire +1 more source
Ray on Tarski on Logical Consequence
Journal of Philosophical Logic, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
A new defense of Tarski's solution to the liar paradox
Philosophical Studies, 2022Gila Sher, Sher Gila
exaly
2014
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy, especially through his theories of three concepts of traditional philosophical and, specifically, logical interest: the concepts of truth, of logical consequence, and of a ...
openaire +1 more source
Alfred Tarski (b. 1901–d. 1983) was a Polish–American mathematician, widely regarded as one of the greatest logicians of all time. Tarski’s work has been influential in philosophy, especially through his theories of three concepts of traditional philosophical and, specifically, logical interest: the concepts of truth, of logical consequence, and of a ...
openaire +1 more source
2003
Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S ...
openaire +1 more source
Abstract Alfred Tarski first met Kurt Gödel on the occasion of his visit to Vienna early in 1930, at the invitation of Karl Menger. Their subsequent contact, both personal and by mail, which begins with a letter to Tarski from Gödel in 1931, extended at least to 1970; the relationship between them over this entire period is traced in S ...
openaire +1 more source
1995
Let me start with the following quotation from Mostowski: Tarski, in oral discussions, has often indicated his sympathies with nominalism. While he never accepted the ‘reism’ of Tadeusz Kotarbinski, he was certainly attracted to it in the early phase of his work. However, the set-theoretical methods that form the basis of his logical and mathematical
openaire +1 more source
Let me start with the following quotation from Mostowski: Tarski, in oral discussions, has often indicated his sympathies with nominalism. While he never accepted the ‘reism’ of Tadeusz Kotarbinski, he was certainly attracted to it in the early phase of his work. However, the set-theoretical methods that form the basis of his logical and mathematical
openaire +1 more source