Alfred Tarski

Faktaboks

Alfred Tarski
Født
1902
Død
1983

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.

Kommentarer

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

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

eller registrer deg