#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

#Datreveno #FredBrooks #LaMitaManMonato #Komputado

Je ĉi dato en 1931 naskiĝis Fred Brooks, inĝeniero, kiu evoluigis la unuan gravan mastruman sistemon por komputiloj ĉe IBM, kaj poste verkis la bone konatan libron "La Mita Man-Monato" en kiu li klarigis tial, kial pli facilas fari fizikan produkton ol programara, kaj enhavis kelkajn citindajn komentojn, plej fame "Aldoni manpovon al malfrua programprojekto plimalfruigos ĝin". https://eo.wikipedia.org/wiki/Frederick_Brooks
Bildo: https://commons.wikimedia.org/wiki/File:Fred_Brooks.jpg

#Datreveno #WilhelmAckermann #Matematiko #Komputado

Je ĉi dato en 1896 naskiĝis Wilhelm Ackermann, matematikisto, kiu faris fondajn malkovraĵojn en teorio de komputado, kaj unuafoje metis la demandon, kun Hilbert, ĉu algoritmo ekzistas determini la verecon de diraĵo matematika. https://eo.wikipedia.org/wiki/Wilhelm_Ackermann
Bildo: https://commons.wikimedia.org/wiki/File:Ackermann_Wilhelm.jpg