Larry Wos

Lawrence „Larry“ T. Wos (* 13. Juli 1930 in Chicago; † 20. August 2020 ebenda) war ein US-amerikanischer Mathematiker, der sich mit automatischem Beweisen beschäftigte, also Techniken entwickelte, mit deren Hilfe ein Computerprogramm mathematische Beweise finden kann. Veröffentlicht in Wikipedia