Kein freies Foto

Larry Wos

Vereinigte Staaten · Akademiker · Lebte 1930 bis 2020 · im Alter von 90

Larry Wos wird in 6 Sprachen etwa 3 Mal am Tag gelesen.

Ein typischer Tag, 30 Tage bis 15. Juli 2026

Der mittlere Tag der gezählten Tage, damit eine Nachrichtenwoche ihn nicht verschieben kann. Die Linie darunter zeigt die letzten 60 Tage, ein Punkt pro Tag.

Stimmt etwas nicht?

Vergleichen

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.

Text aus Wikipedia, CC BY-SA 4.0

Diese Seite auf Englisch ansehen