Alonzo Church
Church, Alonzo, 1903–95, amerikansk matematisk logiker, professor i matematik och filosofi vid Princeton University 1929–67, vid University of California, Los Angeles 1967–90.
Church var en förgrundsgestalt inom den under 1900-talet framväxande matematiska logiken. Hans mest kända resultat, kallat Churchs teorem, är en negativ lösning av logikens avgörbarhetsproblem. Church visade i detta att det inte kan finnas någon metod med vars hjälp man kan avgöra om en godtycklig sats i predikatlogiken är
Litteraturanvisning
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse