Eric Walker added David Hilbert - Wikipedia to David Hilbert

Eric Walker updated the time prefix for David Hilbert to be "1862"

Eric Walker updated the time prefix for David Hilbert to be "0001"

Eric Walker updated the time prefix for David Hilbert to be "2025"

Eric Walker updated the time prefix for David Hilbert to be "2025"

Eric Walker updated the time prefix for David Hilbert to be "2025"

Eric Walker added Hilbert's program - Wikipedia to David Hilbert

Eric Walker added Where do Type Systems Come From? to Typed programming languages and David Hilbert

Eric Walker added Where do Type Systems Come From? and Hilbert's program - Wikipedia to David Hilbert, and added David Hilbert to Mathematicians and statisticians

Eric Walker added William Farr, Nicolaas Govert de Bruijn and David Hilbert and Directed graph - Wikipedia to Mathematicians and statisticians, and added Mathematicians and statisticians to Mathematics and statistics and Scientists, researchers and academics