Alfred Tarski
Tarski [polskt uttal taʹrski; engelska uttaltɑ:ʹrski], Alfred, 1902–83, polsk-amerikansk logiker, professor i matematik vid University of California, Berkeley, 1946–68, en av förgrundsgestalterna inom den matematiska logiken och grundvalsforskningen.
T. var en av modellteorins främsta arkitekter, men han gav centrala bidrag över ett mycket brett metalogiskt spektrum: allmän satslogik, oavgörbarhetsteori, cylindrisk algebra, logik för språk med oändligt långa uttryck m.m. Filosofiskt central är hans s.k. sanningsdefinition för ett formellt språk L. Definitionen bestämmer ett predikat T(x) som är uppfyllt
Information om artikeln
Källangivelse
Nationalencyklopedin, Alfred Tarski. https://www.ne.se/uppslagsverk/encyklopedi/lång/alfred-tarski (hämtad 2025-03-28), NE Nationalencyklopedin AB