Tarski's influence on computer science

Summary form only given. The great logician Alfred Tarski played one of the leading roles in the development of mathematical logic in the twentieth century, as much for the programs he promoted and the conceptual organization of the subject as for his many important results. Except for his fixed-poi...

Full description

Saved in:
Bibliographic Details
Published in20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) p. 342
Main Author Feferman, S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2005
Subjects
Computer science
Formal languages
Logic functions
Mathematics
USA Councils
Online AccessGet full text
ISBN0769522661
9780769522661
ISSN1043-6871
DOI10.1109/LICS.2005.50

Cover

More Information
Summary:Summary form only given. The great logician Alfred Tarski played one of the leading roles in the development of mathematical logic in the twentieth century, as much for the programs he promoted and the conceptual organization of the subject as for his many important results. Except for his fixed-point theorem, Tarski's influence on computer science has been largely indirect but nevertheless substantial. The author surveys this influence through his work in the areas of decision procedures, semantics of formal languages, model theory, and algebraic logic.
ISBN:0769522661
9780769522661
ISSN:1043-6871
DOI:10.1109/LICS.2005.50