Results 151 to 160 of about 401 (180)
Some of the next articles are maybe not open access.
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
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022Zoltán Kovács +3 more
openaire +1 more source
A short and constructive proof of Tarski’s fixed-point theorem
International Journal of Game Theory, 2005Federico Echenique, Echenique Federico
exaly
On the ‘Definability of Definable’ Problem of Alfred Tarski
Mathematics, 2020Vladimir Kanovei +2 more
exaly