| |
VOLUME 2, ISSUE 3, PAPER 6
|
Tarski's influence on computer science
|
©Solomon Feferman, Stanford University
|
Abstract
The influence of Alfred Tarski on computer science was indirect but
significant in a number of directions and was in certain respects fundamental.
Here surveyed is the work of Tarski on the decision procedure for algebra and
geometry, the method of elimination of quantifiers, the semantics of formal
languages, modeltheoretic preservation theorems, and algebraic logic; various
connections of each with computer science are taken up.
|
Publication date: September 27, 2006
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-2(3:6)2006
Hit Counts: 6298 |
 Creative Commons | |
