#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