Template:Are You Sure/June 14

From Gnomon Chronicles

... that mathematician and logician Alonzo Church contributed to mathematical logic and the foundations of theoretical computer science?