Alfred Tarski var en polsk-amerikansk logiker, bosatt i USA fra 1939.
Hans arbeider har vært meget viktige for utviklingen av moderne logikk og semantikk. Innen matematikk og matematisk logikk beviste han en rekke viktige teoremer, som for eksempel at algebra og geometri er både fullstendig og avgjørbar, i motsetning til aritmetikken, som Kurt Gödel beviste at er verken fullstendig eller avgjørbar.
I semantikken dreier hans viktigste arbeider seg om sannhet og logisk konsekvens. Han utviklet en presis semantisk sannhetsdefinisjon som har hatt stor innflytelse både blant logikere og blant filosofer.
Tarski utgav Der Wahrheitsbegriff in den formalisierten Sprachen (1936), samt tallrike lærebøker og avhandlinger i matematisk logikk.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.