Dana Scott - 缅北禁地 img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; }

缅北禁地

Skip to content

Dana Scott

Science Talent Search – 1950

缅北禁地 Dana Scott

Dana Scott is a renowned mathematician, logician and computer scientist. He is known for formulating the concept of nondeterministic machines and for founding domain theory. Scott鈥檚 theoretical work has contributed significantly to many fields and has particularly enriched computer science. Throughout his career, he has received professorships, fellowships and honorary doctorates from universities across the United States and Europe and was awarded the A.M. Turing Award in 1976. Scott competed in the 1950 STS.

Music Meets Logarithms

In this video from an event at the Vienna Center for Logic and Algorithms, Scott discusses how he played the clarinet when he was younger and became interested in logarithms because he wanted to know why different instruments made different sounds.

Notable Alumni - Dana Scott
Vienna Center for Logic and Algorithms via YouTube

Experiments in Mathematics

Scott鈥檚 achievements are the result of his experimental approach to his work. He has said, 鈥淭ry to regard mathematics as an experimental science.鈥

Notable Alumni - Dana Scott
Ga毛tan Pelletey, 2021