Alonzo Church

Faktaboks

Alonzo Church
Uttale
tʃə:tʃ
Født
1903
Død
1995

Alonzo Church, amerikansk matematiker og logiker. Han var professor i matematikk ved Princeton-universitetet i 1929–67, fra 1967 professor i matematikk og filosofi ved University of California i Los Angeles. Han var en av grunnleggerne og utgiverne av Journal of Symbolic Logic, det mest fremstående tidsskrift for moderne logikk. Churchs arbeider er av største betydning i matematisk logikk, rekursjonsteori og teoretisk informasjonsvitenskap.

Filosofi

Churchs tese er at enhver effektivt beregnbar funksjon er rekursiv. Tesen er allment akseptert og har hatt stor betydning for forståelsen av moderne logikk, men den kan ikke bevises. Dersom den er falsk, kan den imidlertid forkastes. Churchs teorem sier at første-ordens predikatlogikk er uavgjørbar, alternativt at mengden av logisk gyldige formler i første-ordens predikatlogikk er ikke rekursiv. Dette vil si at det finnes ingen mekanisk prosedyre for å avgjøre sannhetsverdien til enhver velformet formel innen første-ordens predikatlogikk.

Innen språkfilosofien har Church gjennom en serie arbeider utviklet en innflytelsesrik meningsteoretisk logikk som følger opp ansatser hos Gottlob Frege.

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