アロンゾ・チャーチ
1. Alonzo ChurchAlonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, solving the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
Read “Alonzo Church” on English Wikipedia
Read “アロンゾ・チャーチ” on Japanese Wikipedia
Read “Alonzo Church” on DBpedia
Read “Alonzo Church” on English Wikipedia
Read “アロンゾ・チャーチ” on Japanese Wikipedia
Read “Alonzo Church” on DBpedia
Discussions
Log in to talk about this word.