#Datreveno #AlonzoChurch #Komputado

Je ĉi dato en 1903 naskiĝis Alonzo Church, matematikisto, kiu ellaboris la fondantajn teoremojn pri scienco pri komputado, kaj inventis la lambdakalkulon por priskribi la logikajn operaciojn de komputilo. https://eo.wikipedia.org/wiki/Alonzo_Church
Bildo: https://en.wikipedia.org/wiki/File:Alonzo_Church.jpg

@Alyzande@social.linux.pizza When #computing was first invented, there was basically two approaches: #AlanTuring had his #TuringMachine where you'd have a pointer moving across a piece of tape reading and overwriting data to perform is computation; #AlonzoChurch had his #LambdaCalculus where computation was purely equational evaluation with no concept of assignment.

The two groups could never see eye to eye, which led to the Separation of Church and State.