Alfred Tarski, 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.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om eller kommentarer til artikkelen?

Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.

Du må være logget inn for å kommentere.