Alonzo Church

Alonzo Church (14. juni 1903–11. august 1995) var ein amerikansk matematikar og logikar.

Alonzo Church
Fødd	14. juni 1903 Washington
Død	11. august 1995 Hudson
Nasjonalitet	USA
Område	matematisk logikk, theoretical computer science, matematikk, logikk
Yrke	matematikar, filosof, universitetslærar, informatikar
Institusjonar	Princeton University University of California, Los Angeles
Alma mater	Harvard University Princeton University Universitetet i Göttingen Universitetet i Amsterdam
Doktorgradsrettleiar	Oswald Veblen
Medlem	American Academy of Arts and Sciences American Association for the Advancement of Science National Academy of Sciences

Han var professor i matematikk ved Princeton-universitetet frå 1929 til 1967, og frå 1967 var han professor i matematikk og filosofi ved University of California i Los Angeles. Han var ein av grunnleggjarane og utgjevarane av Journal of Symbolic Logic, det mest framståande tidsskriftet for moderne logikk. Arbeida til Church var viktigast innan matematisk logikk, rekursjonsteori og teoretisk informasjonsvitskap.

Testen til Church er at alle effektivt funksjonar som kan utreknast er rekursive. Testen er allment akseptert og har vore viktig for forståinga av moderne logikk, men tesen kan ikkje bevisast. Om han er falsk, kan han derimot forkastast.

Innan språkfilosofien har Church gjennom fleire arbeid utvikla ein innflytnadsrik meiningsteoretisk logikk som følgjer på ansatsar hos Gottlob Frege.

Kjelder

• Alonzo Church. (2011-10-28) I Store norske leksikon. Henta frå http://snl.no/Alonzo_Church.