Results 1 to 10 of about 1,570 (181)

Review: Alfred Tarski, Logic, semantics, metamathematics

, 1957
openaire   +1 more source

Alfred Tarski

, 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 ...
McFarland, Joanna, McFarland, Andrew, Smith, James   +2 more
exaly   +4 more sources

Alfred Tarski's Work on General Metamathematics

Journal of Symbolic Logic, 1988
In this essay we discuss Tarski's work on what he called the methodology of the deductive sciences , or more briefly, borrowing the terminology of Hilbert, metamathematics , The clearest statement of Tarski's views on this subject can be found in his ...
Don Pigozzi
exaly   +2 more sources

Applications of Alfred Tarski’s Ideas in Database Theory

Lecture Notes in Computer Science, 2001
Many ideas of Alfred Tarski - one of the founders of modern logic - find application in database theory. We survey some of them with no attempt at comprehensiveness. Topics discussed include the genericity of database queries; the relational algebra, the Tarskian definition of truth for the relational calculus, and cylindric algebras; relation algebras
Bussche Jan Van Den, Van Den Bussche Jan
exaly   +3 more sources

Eulogy: Alfred Tarski, 1901-1983

IEEE Annals of the History of Computing, 1984
Of his numerous investigations, outlined in seven books and more than 300 other publications, Tarski was most proud of two: his work on truth and his design of an algorithm in 1930 to decide the truth or falsity of any sentence of the elementary theory of high school Euclidean geometry.
exaly   +3 more sources

Alfred Tarski (1901–1983)

Studies in Universal Logic, 2018
This paper presents the life and work of Alfred Tarski, one of the most distinguished and influential logicians in the entire history.
Jan Woleński, Woleński Jan
exaly   +2 more sources

VI.87 Alfred Tarski

2010
Anita Burdman Feferman, Solomon Feferman
exaly   +2 more sources

Two Unpublished Contributions by Alfred Tarski

History and Philosophy of Logic, 2007
FRANCISCO Rodríguez-Consuegra
exaly   +2 more sources

Alfred Tarski: Life and Logic

Kybernetes, 2006
exaly   +2 more sources