Dana Scott
American mathematician and computer scientist
Dana Stewart Scott (born October 11, 1932) is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to automata theory, modal logic, set theory, and the theory of programming languages.
Nº Q49823 ★
Common · People
Dana Scott
American mathematician and computer scientist
Dana Stewart Scott (born October 11, 1932) is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to automata theory, modal logic, set theory, and the theory of programming languages.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
Dana Stewart Scott (born October 11, 1932) is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to automata theory, modal logic, set theory, and the theory of programming languages. He created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.
Text: Wikipédia, CC BY-SA 4.0. · Image: Andrej Bauer (CC BY-SA 2.5 si) ·
Related cards
Stephen Cook
American-Canadian computer scientist
Nº Q62870 ★
Haskell Curry
American mathematician and logician (1900-1982)
Nº Q92611 ★★
Daniel J. Bernstein
American German mathematician, cryptologist and programmer
Nº Q92865 ★
David D. Clark
American computer scientist
Nº Q92657 ★
Jeffrey Ullman
American computer scientist (born 1942)
Nº Q92794 ★
George Dantzig
American mathematician (1914-2005)
Nº Q337040 ★★★