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

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 Frege.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål til artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

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