Sure. Church. Babbage, Von Neumann. Knuth, McCarthy, Dijkstra, Peano, Hilbert, Goedel. Lots more. Many people have contributed directly or indirectly to computer science, which is just math. There are so many more. It's hard to even figure out who made greater advances. Turing's thesis was so similar to Church's computability conjecture they call it the Church-Turing thesis. Turing connected math to a possibly physical machine in a neat way. In 1936 it would have been hard to imagine a machine directly executing lambda calculus.
Sure. Church. Babbage, Von Neumann. Knuth, McCarthy, Dijkstra, Peano, Hilbert, Goedel. Lots more. Many people have contributed directly or indirectly to computer science, which is just math. There are so many more. It's hard to even figure out who made greater advances. Turing's thesis was so similar to Church's computability conjecture they call it the Church-Turing thesis. Turing connected math to a possibly physical machine in a neat way. In 1936 it would have been hard to imagine a machine directly executing lambda calculus.
I dont recognize any of these names. I think that kinda proves OP's point.
I dont recognize any of these names. I think that kinda proves OP's point.
(post is archived)