{"id":2696,"date":"2019-05-03T07:20:25","date_gmt":"2019-05-03T07:20:25","guid":{"rendered":"http:\/\/hoboctn.com\/?p=2696"},"modified":"2026-07-04T16:43:23","modified_gmt":"2026-07-04T16:43:23","slug":"dana-scott","status":"publish","type":"post","link":"https:\/\/somniantes.com\/?p=2696","title":{"rendered":"Dana Scott"},"content":{"rendered":"\n<figure class=\"wp-block-embed-youtube wp-block-embed is-type-video is-provider-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"HLF Laureate Portraits: Dana S. Scott\" width=\"760\" height=\"428\" src=\"https:\/\/www.youtube.com\/embed\/8QwhKAFquZY?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u0e14\u0e32\u0e19\u0e48\u0e32 \u0e2a\u0e01\u0e4a\u0e2d\u0e15 (Dana Stewart Scott)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\tTuring 1976<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\t\u0e2a\u0e01\u0e47\u0e2d\u0e15 \u0e40\u0e01\u0e34\u0e14\u0e27\u0e31\u0e19\u0e17\u0e35\u0e48 <strong>11 <\/strong><strong>\u0e15\u0e38\u0e25\u0e32\u0e04\u0e21<\/strong><strong> 1932<\/strong> \u0e43\u0e19\u0e40\u0e1a\u0e34\u0e23\u0e4c\u0e01\u0e40\u0e25\u0e22\u0e4c, \u0e41\u0e04\u0e25\u0e34\u0e1f\u0e2d\u0e23\u0e4c\u0e40\u0e19\u0e35\u0e22&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1954<\/strong>\t\u0e08\u0e1a\u0e1b\u0e23\u0e34\u0e0d\u0e0d\u0e32\u0e15\u0e23\u0e35\u0e17\u0e32\u0e07\u0e14\u0e49\u0e32\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e08\u0e32\u0e01\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e41\u0e04\u0e25\u0e34\u0e1f\u0e2d\u0e23\u0e4c\u0e40\u0e19\u0e35\u0e22 (University of California, Berkeley)&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1958<\/strong>\t\u0e08\u0e1a\u0e1b\u0e23\u0e34\u0e0d\u0e0d\u0e32\u0e40\u0e2d\u0e01&nbsp; \u0e08\u0e32\u0e01\u0e1e\u0e23\u0e34\u0e49\u0e19\u0e15\u0e31\u0e19 (Princeton) \u0e42\u0e14\u0e22\u0e17\u0e33\u0e27\u0e34\u0e17\u0e22\u0e32\u0e19\u0e34\u0e1e\u0e19\u0e18\u0e4c\u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07 Convergent Sequences of Complete Theories \u0e42\u0e14\u0e22\u0e21\u0e35\u0e2d\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e2d\u0e25\u0e2d\u0e19\u0e42\u0e0b\u0e48 (Alonzo Church) \u0e40\u0e1b\u0e47\u0e19\u0e2d\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e17\u0e35\u0e48\u0e1b\u0e23\u0e36\u0e01\u0e29\u0e32<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\t\u0e2b\u0e25\u0e31\u0e07\u0e08\u0e32\u0e01\u0e40\u0e23\u0e35\u0e22\u0e19\u0e08\u0e1a\u0e44\u0e14\u0e49\u0e17\u0e33\u0e07\u0e32\u0e19\u0e40\u0e1b\u0e47\u0e19\u0e2d\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e2d\u0e22\u0e39\u0e48\u0e17\u0e35\u0e48\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e0a\u0e34\u0e04\u0e32\u0e42\u0e01\u0e49 (University of Chicago)&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1959<\/strong>\t\u0e40\u0e02\u0e35\u0e22\u0e19\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d <strong>Finite Automata and Their Decision Problem<\/strong> \u0e23\u0e48\u0e27\u0e21\u0e01\u0e31\u0e1a\u0e44\u0e21\u0e40\u0e04\u0e34\u0e49\u0e25 \u0e40\u0e23\u0e1a\u0e34\u0e49\u0e19 (Michael O. Rabin) \u0e0b\u0e36\u0e48\u0e07\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d\u0e19\u0e35\u0e49\u0e40\u0e2a\u0e19\u0e2d\u0e44\u0e2d\u0e40\u0e14\u0e35\u0e22 nondeterministic machine (\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e23\u0e34\u0e17\u0e36\u0e48\u0e21 \u0e0b\u0e36\u0e48\u0e07\u0e43\u0e2b\u0e49\u0e1c\u0e25\u0e25\u0e1e\u0e31\u0e17\u0e4c\u0e17\u0e35\u0e48\u0e41\u0e15\u0e01\u0e15\u0e48\u0e32\u0e07\u0e01\u0e31\u0e19\u0e41\u0e21\u0e49\u0e27\u0e48\u0e32\u0e08\u0e30\u0e21\u0e35\u0e2d\u0e34\u0e19\u0e1e\u0e38\u0e15\u0e40\u0e14\u0e35\u0e22\u0e27\u0e01\u0e31\u0e19) \u0e43\u0e2b\u0e49\u0e01\u0e31\u0e1a\u0e17\u0e24\u0e29\u0e0f\u0e35\u0e2d\u0e2d\u0e42\u0e15\u0e21\u0e32\u0e15\u0e49\u0e32 (automata theory) \u0e0b\u0e36\u0e48\u0e07\u0e1c\u0e25\u0e07\u0e32\u0e19\u0e19\u0e35\u0e49\u0e17\u0e33\u0e43\u0e2b\u0e49\u0e40\u0e02\u0e32\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e23\u0e32\u0e07\u0e27\u0e31\u0e25\u0e17\u0e39\u0e23\u0e34\u0e48\u0e07\u0e43\u0e19\u0e40\u0e27\u0e25\u0e32\u0e15\u0e48\u0e2d\u0e21\u0e32<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1960<\/strong>\t\u0e21\u0e32\u0e17\u0e33\u0e07\u0e32\u0e19\u0e43\u0e19\u0e15\u0e33\u0e41\u0e2b\u0e19\u0e48\u0e07\u0e1c\u0e39\u0e49\u0e0a\u0e48\u0e27\u0e22\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e17\u0e35\u0e48 \u0e21.\u0e41\u0e04\u0e25\u0e34\u0e1f\u0e2d\u0e23\u0e4c\u0e40\u0e19\u0e35\u0e22, \u0e40\u0e1a\u0e34\u0e23\u0e4c\u0e01\u0e40\u0e25\u0e22\u0e4c&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1963<\/strong>\t\u0e22\u0e49\u0e32\u0e22\u0e21\u0e32\u0e2a\u0e2d\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e41\u0e25\u0e30\u0e15\u0e23\u0e23\u0e01\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e17\u0e35\u0e48\u0e17\u0e35\u0e48\u0e2a\u0e41\u0e15\u0e19\u0e1f\u0e2d\u0e23\u0e4c\u0e14 (Stanford University)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1967<\/strong>\t\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e15\u0e33\u0e41\u0e2b\u0e19\u0e48\u0e07\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1968<\/strong>\t\u0e21\u0e32\u0e40\u0e1b\u0e47\u0e19\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e1e\u0e34\u0e40\u0e28\u0e29\u0e43\u0e19\u0e40\u0e19\u0e40\u0e18\u0e2d\u0e23\u0e4c\u0e41\u0e25\u0e19\u0e14\u0e4c<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1969<\/strong>\t\u0e40\u0e21\u0e37\u0e48\u0e2d\u0e01\u0e25\u0e31\u0e1a\u0e21\u0e32\u0e2a\u0e2b\u0e23\u0e31\u0e10\u0e2f \u0e44\u0e14\u0e49\u0e40\u0e1b\u0e47\u0e19\u0e2d\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e2a\u0e2d\u0e19\u0e27\u0e34\u0e0a\u0e32\u0e1b\u0e23\u0e31\u0e0a\u0e0d\u0e32\u0e41\u0e25\u0e30\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e17\u0e35\u0e48\u0e1e\u0e23\u0e34\u0e49\u0e19\u0e15\u0e31\u0e19 (Princeton University)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1972<\/strong>\t\u0e22\u0e49\u0e32\u0e22\u0e21\u0e32\u0e17\u0e33\u0e07\u0e32\u0e19\u0e17\u0e35\u0e48\u0e2d\u0e4a\u0e2d\u0e01\u0e1f\u0e2d\u0e23\u0e4c\u0e14 (Oxford) \u0e43\u0e19\u0e15\u0e33\u0e41\u0e2b\u0e19\u0e48\u0e07\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e14\u0e49\u0e32\u0e19\u0e15\u0e23\u0e23\u0e01\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e23\u0e30\u0e2b\u0e27\u0e48\u0e32\u0e07\u0e19\u0e35\u0e49\u0e44\u0e14\u0e49\u0e17\u0e33\u0e07\u0e32\u0e19\u0e01\u0e31\u0e1a\u0e04\u0e23\u0e34\u0e2a\u0e42\u0e15\u0e40\u0e1f\u0e2d\u0e23\u0e4c \u0e2a\u0e15\u0e23\u0e32\u0e0a\u0e35\u0e22\u0e4c (Christoper Strachey) \u0e43\u0e19\u0e01\u0e32\u0e23\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e1e\u0e37\u0e49\u0e19\u0e10\u0e32\u0e19\u0e2a\u0e33\u0e2b\u0e23\u0e31\u0e1a\u0e01\u0e32\u0e23\u0e40\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e41\u0e1a\u0e1a\u0e0b\u0e35\u0e41\u0e21\u0e19\u0e15\u0e34\u0e04 (semantics)&nbsp; \u0e0b\u0e36\u0e48\u0e07\u0e16\u0e39\u0e01\u0e40\u0e23\u0e35\u0e22\u0e01\u0e27\u0e48\u0e32 Scott-Strachey semantics<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1976<\/strong>\t\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e23\u0e32\u0e07\u0e27\u0e31\u0e25 Turing Award \u0e23\u0e48\u0e27\u0e21\u0e01\u0e31\u0e1a\u0e44\u0e21\u0e40\u0e04\u0e34\u0e49\u0e25 \u0e40\u0e23\u0e1a\u0e34\u0e49\u0e19 \u0e08\u0e32\u0e01\u0e1c\u0e25\u0e07\u0e32\u0e19\u0e40\u0e02\u0e35\u0e22\u0e19 Finite Automata and Their Decision Problem<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1981<\/strong>\t\u0e22\u0e49\u0e32\u0e22\u0e21\u0e32\u0e2a\u0e2d\u0e19\u0e17\u0e35\u0e48\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e04\u0e32\u0e23\u0e4c\u0e40\u0e19\u0e01\u0e35\u0e49 \u0e40\u0e21\u0e25\u0e48\u0e2d\u0e19 (Carnegie Mellon University) \u0e17\u0e32\u0e07\u0e14\u0e49\u0e32\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e41\u0e25\u0e30\u0e15\u0e23\u0e23\u0e01\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e01\u0e48\u0e2d\u0e19\u0e17\u0e35\u0e48\u0e08\u0e30\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e15\u0e33\u0e41\u0e2b\u0e19\u0e48\u0e07\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e2a\u0e32\u0e02\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e43\u0e19\u0e1b\u0e35 1992<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>2003<\/strong>\t\u0e40\u0e01\u0e29\u0e35\u0e22\u0e13\u0e08\u0e32\u0e01\u0e07\u0e32\u0e19\u0e2a\u0e2d\u0e19\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d \u0e41\u0e15\u0e48\u0e27\u0e48\u0e32\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e15\u0e33\u0e41\u0e2b\u0e19\u0e48\u0e07\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e40\u0e01\u0e35\u0e22\u0e23\u0e15\u0e34\u0e04\u0e38\u0e13<br><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u0e14\u0e32\u0e19\u0e48\u0e32 \u0e2a\u0e01\u0e4a\u0e2d\u0e15 (Dana Stewart Scott) Turing 1976 \u0e2a\u0e01\u0e47\u0e2d\u0e15 \u0e40\u0e01\u0e34\u0e14\u0e27\u0e31\u0e19\u0e17\u0e35\u0e48 11 \u0e15\u0e38\u0e25\u0e32\u0e04\u0e21 1932 \u0e43\u0e19\u0e40\u0e1a\u0e34\u0e23\u0e4c\u0e01\u0e40\u0e25\u0e22\u0e4c, \u0e41\u0e04\u0e25\u0e34\u0e1f\u0e2d\u0e23\u0e4c\u0e40\u0e19\u0e35\u0e22&nbsp; 1954 \u0e08\u0e1a\u0e1b\u0e23\u0e34\u0e0d\u0e0d\u0e32\u0e15\u0e23\u0e35\u0e17\u0e32\u0e07\u0e14\u0e49\u0e32\u0e19\u0e04\u0e13\u0e34\u0e15\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e08\u0e32\u0e01\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e41\u0e04\u0e25\u0e34\u0e1f\u0e2d\u0e23\u0e4c\u0e40\u0e19\u0e35\u0e22 (University of California, Berkeley)&nbsp; 1958 \u0e08\u0e1a\u0e1b\u0e23\u0e34\u0e0d\u0e0d\u0e32\u0e40\u0e2d\u0e01&nbsp; \u0e08\u0e32\u0e01\u0e1e\u0e23\u0e34\u0e49\u0e19\u0e15\u0e31\u0e19 (Princeton) &hellip;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[8,11,40],"tags":[],"class_list":["post-2696","post","type-post","status-publish","format-standard","hentry","category-biography","category-computer-2","category-sciences"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/2696","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2696"}],"version-history":[{"count":1,"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/2696\/revisions"}],"predecessor-version":[{"id":8089,"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/2696\/revisions\/8089"}],"wp:attachment":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2696"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2696"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2696"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}