{"id":3073,"date":"2020-07-06T13:50:52","date_gmt":"2020-07-06T13:50:52","guid":{"rendered":"http:\/\/www.hoboctn.ru\/?p=3073"},"modified":"2026-07-04T16:44:41","modified_gmt":"2026-07-04T16:44:41","slug":"tony-hoare","status":"publish","type":"post","link":"https:\/\/somniantes.com\/?p=3073","title":{"rendered":"Tony Hoare"},"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=\"Being Human with Algorithms: Tony Hoare (EN, 2018-09-25)\" width=\"760\" height=\"428\" src=\"https:\/\/www.youtube.com\/embed\/udi3-m9CKEw?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><figcaption>Tony Hoare, ACM Turing Award 1980<\/figcaption><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">\u0e42\u0e17\u0e19\u0e35\u0e48 \u0e42\u0e2e\u0e2d\u0e32\u0e23\u0e4c (Sir Charles Antony Richard Hoare)&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1980 Turing Award \u0e08\u0e32\u0e01\u0e01\u0e32\u0e23\u0e04\u0e34\u0e14\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e25\u0e34\u0e18\u0e36\u0e21 Quicksort, Hoare logic \u0e41\u0e25\u0e30\u0e2a\u0e23\u0e49\u0e32\u0e07\u0e20\u0e32\u0e29\u0e32 Communicationg sequential processes (CSP)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u0e42\u0e2e\u0e2d\u0e32\u0e23\u0e4c \u0e40\u0e01\u0e34\u0e14\u0e27\u0e31\u0e19\u0e17\u0e35\u0e48<strong> 11 <\/strong><strong>\u0e21\u0e01\u0e23\u0e32\u0e04\u0e21<\/strong><strong> 1934<\/strong> \u0e43\u0e19\u0e42\u0e04\u0e25\u0e2d\u0e21\u0e42\u0e1a, \u0e28\u0e23\u0e35\u0e25\u0e31\u0e07\u0e01\u0e32&nbsp; \u0e02\u0e13\u0e30\u0e17\u0e35\u0e48\u0e22\u0e31\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e40\u0e21\u0e37\u0e2d\u0e07\u0e02\u0e36\u0e49\u0e19\u0e02\u0e2d\u0e07\u0e2d\u0e31\u0e07\u0e01\u0e24\u0e29 \u0e0a\u0e37\u0e48\u0e2d\u0e42\u0e17\u0e19\u0e35\u0e48 \u0e40\u0e1b\u0e47\u0e19\u0e0a\u0e37\u0e48\u0e2d\u0e17\u0e35\u0e48\u0e40\u0e02\u0e32\u0e15\u0e31\u0e49\u0e07\u0e02\u0e36\u0e49\u0e19\u0e21\u0e32\u0e40\u0e2d\u0e07\u0e2d\u0e22\u0e48\u0e32\u0e07\u0e44\u0e21\u0e48\u0e40\u0e1b\u0e47\u0e19\u0e17\u0e32\u0e07\u0e01\u0e32\u0e23\u0e23\u0e30\u0e2b\u0e27\u0e48\u0e32\u0e07\u0e17\u0e35\u0e48\u0e40\u0e23\u0e35\u0e22\u0e19\u0e2b\u0e19\u0e31\u0e07\u0e2a\u0e37\u0e2d&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1956<\/strong> \u0e08\u0e1a\u0e1b\u0e23\u0e34\u0e0d\u0e0d\u0e32\u0e15\u0e23\u0e35\u0e08\u0e32\u0e01\u0e40\u0e21\u0e2d\u0e23\u0e4c\u0e15\u0e31\u0e19\u0e04\u0e2d\u0e25\u0e40\u0e25\u0e08, \u0e2d\u0e4a\u0e2d\u0e01\u0e0b\u0e4c\u0e1f\u0e2d\u0e23\u0e4c\u0e14 (Merton College, Oxford) \u0e14\u0e49\u0e32\u0e19\u0e27\u0e23\u0e23\u0e13\u0e01\u0e23\u0e23\u0e21\u0e04\u0e25\u0e32\u0e2a\u0e2a\u0e34\u0e04\u0e41\u0e25\u0e30\u0e1b\u0e23\u0e31\u0e0a\u0e0d\u0e32&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1957<\/strong> \u0e16\u0e39\u0e01\u0e40\u0e01\u0e13\u0e11\u0e4c\u0e17\u0e2b\u0e32\u0e23 \u0e1b\u0e23\u0e30\u0e08\u0e33\u0e01\u0e32\u0e23\u0e13\u0e4c\u0e43\u0e19\u0e01\u0e2d\u0e07\u0e17\u0e31\u0e1e\u0e40\u0e23\u0e37\u0e2d\u0e2d\u0e31\u0e07\u0e01\u0e24\u0e29 \u0e23\u0e30\u0e2b\u0e27\u0e48\u0e32\u0e07\u0e19\u0e35\u0e49\u0e40\u0e02\u0e32\u0e40\u0e23\u0e35\u0e22\u0e19\u0e20\u0e32\u0e29\u0e32\u0e23\u0e31\u0e2a\u0e40\u0e0b\u0e35\u0e22\u0e44\u0e1b\u0e14\u0e49\u0e27\u0e22 \u0e41\u0e25\u0e30\u0e44\u0e14\u0e49\u0e25\u0e07\u0e40\u0e23\u0e35\u0e22\u0e19\u0e15\u0e48\u0e2d\u0e08\u0e19\u0e08\u0e1a\u0e04\u0e2d\u0e23\u0e4c\u0e2a\u0e17\u0e32\u0e07\u0e14\u0e49\u0e32\u0e19\u0e2a\u0e16\u0e34\u0e15\u0e34\u0e08\u0e32\u0e01\u0e2d\u0e4a\u0e2d\u0e01\u0e0b\u0e4c\u0e1f\u0e2d\u0e23\u0e4c\u0e14\u0e14\u0e49\u0e27\u0e22<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1959<\/strong> \u0e40\u0e02\u0e49\u0e32\u0e40\u0e23\u0e35\u0e22\u0e19\u0e17\u0e35\u0e48\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e21\u0e2d\u0e2a\u0e42\u0e04\u0e27\u0e4c (Moscow State University) \u0e43\u0e19\u0e10\u0e32\u0e19\u0e30\u0e19\u0e31\u0e01\u0e40\u0e23\u0e35\u0e22\u0e19\u0e41\u0e25\u0e01\u0e40\u0e1b\u0e25\u0e35\u0e48\u0e22\u0e19\u0e02\u0e2d\u0e07\u0e1a\u0e23\u0e34\u0e15\u0e34\u0e0a\u0e04\u0e31\u0e19\u0e0b\u0e34\u0e25 (ritish Council) \u0e42\u0e14\u0e22\u0e44\u0e14\u0e49\u0e40\u0e23\u0e35\u0e22\u0e19\u0e01\u0e32\u0e23\u0e40\u0e02\u0e35\u0e22\u0e19\u0e42\u0e1b\u0e23\u0e41\u0e01\u0e23\u0e21\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e40\u0e1e\u0e37\u0e48\u0e2d\u0e01\u0e32\u0e23\u0e41\u0e1b\u0e25\u0e20\u0e32\u0e29\u0e32 \u0e01\u0e31\u0e1a\u0e2d\u0e31\u0e19\u0e40\u0e14\u0e23\u0e22\u0e4c \u0e42\u0e04\u0e25\u0e42\u0e21\u0e42\u0e01\u0e23\u0e2d\u0e1f (Andrey Kolmogorov)<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1960<\/strong> \u0e2b\u0e25\u0e31\u0e07\u0e08\u0e32\u0e01\u0e01\u0e25\u0e31\u0e1a\u0e08\u0e32\u0e01\u0e2a\u0e2b\u0e20\u0e32\u0e1e\u0e42\u0e0b\u0e40\u0e27\u0e35\u0e22\u0e15 \u0e40\u0e02\u0e32\u0e44\u0e14\u0e49\u0e40\u0e02\u0e49\u0e32\u0e17\u0e33\u0e07\u0e32\u0e19\u0e01\u0e31\u0e1a\u0e1a\u0e23\u0e34\u0e29\u0e31\u0e17 Elliott Brothers \u0e0b\u0e36\u0e48\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e1a\u0e23\u0e34\u0e29\u0e31\u0e17\u0e17\u0e35\u0e48\u0e1c\u0e25\u0e34\u0e15\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c\u0e40\u0e25\u0e47\u0e01\u0e46&nbsp; \u0e15\u0e31\u0e49\u0e07\u0e2d\u0e22\u0e39\u0e48\u0e43\u0e19\u0e25\u0e2d\u0e19\u0e14\u0e2d\u0e19 \u0e0b\u0e36\u0e48\u0e07\u0e17\u0e35\u0e48\u0e19\u0e35\u0e48\u0e17\u0e35\u0e21\u0e27\u0e34\u0e08\u0e31\u0e22\u0e02\u0e2d\u0e07\u0e1a\u0e23\u0e34\u0e29\u0e31\u0e17\u0e44\u0e14\u0e49\u0e19\u0e33\u0e40\u0e2d\u0e32\u0e20\u0e32\u0e29\u0e32 Algol 60 \u0e21\u0e32\u0e43\u0e0a\u0e49\u0e01\u0e31\u0e1a\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c&nbsp; \u0e0b\u0e36\u0e48\u0e07\u0e43\u0e19\u0e02\u0e13\u0e30\u0e19\u0e31\u0e49\u0e19\u0e21\u0e35\u0e01\u0e32\u0e23\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c Elliot 803<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">1962 \u0e40\u0e02\u0e49\u0e32\u0e23\u0e48\u0e27\u0e21\u0e17\u0e35\u0e21 IFIP (International Federation for Information Processing)&nbsp; \u0e0b\u0e36\u0e48\u0e07\u0e40\u0e1b\u0e47\u0e19\u0e17\u0e35\u0e21\u0e19\u0e31\u0e01\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e19\u0e32\u0e19\u0e32\u0e0a\u0e32\u0e15\u0e34 \u0e17\u0e35\u0e48\u0e14\u0e39\u0e41\u0e25\u0e30\u0e1e\u0e31\u0e12\u0e19\u0e32\u0e20\u0e32\u0e29\u0e32 Algol&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1968<\/strong> \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\u0e04\u0e2d\u0e21\u0e1e\u0e34\u0e27\u0e40\u0e15\u0e2d\u0e23\u0e4c \u0e17\u0e35\u0e48\u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e04\u0e27\u0e35\u0e19 \u0e13. \u0e40\u0e1a\u0e25\u0e1f\u0e32\u0e2a\u0e15\u0e4c (Queen\u2019s University of Belfast) \u0e43\u0e19\u0e44\u0e2d\u0e23\u0e4c\u0e41\u0e25\u0e19\u0e14\u0e4c&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1977<\/strong> \u0e22\u0e49\u0e32\u0e22\u0e01\u0e25\u0e31\u0e1a\u0e21\u0e32\u0e2a\u0e2d\u0e19\u0e2d\u0e22\u0e39\u0e48\u0e17\u0e35\u0e48\u0e2d\u0e4a\u0e2d\u0e01\u0e0b\u0e4c\u0e1f\u0e2d\u0e23\u0e4c\u0e14&nbsp; \u0e41\u0e25\u0e30\u0e44\u0e14\u0e49\u0e40\u0e02\u0e49\u0e32\u0e23\u0e48\u0e27\u0e21\u0e17\u0e35\u0e48 Programming Research Group \u0e17\u0e35\u0e48\u0e01\u0e48\u0e2d\u0e15\u0e31\u0e49\u0e07\u0e42\u0e14\u0e22\u0e04\u0e23\u0e34\u0e2a\u0e42\u0e15\u0e40\u0e1f\u0e2d\u0e23\u0e4c \u0e2a\u0e15\u0e23\u0e32\u0e0a\u0e35\u0e22\u0e4c (Christopher Strachey)&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1980<\/strong> \u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e23\u0e32\u0e07\u0e27\u0e31\u0e25 ACM Turing Award<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>1982<\/strong> \u0e44\u0e14\u0e49\u0e40\u0e1b\u0e47\u0e19\u0e2a\u0e21\u0e32\u0e32\u0e0a\u0e34\u0e01\u0e02\u0e2d\u0e07 Royal Society<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>2000<\/strong> \u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e1e\u0e23\u0e30\u0e23\u0e32\u0e0a\u0e17\u0e32\u0e19\u0e22\u0e28\u0e2d\u0e31\u0e28\u0e27\u0e34\u0e19 (Knighthood)&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u0e44\u0e14\u0e49\u0e23\u0e31\u0e1a\u0e23\u0e32\u0e07\u0e27\u0e31\u0e25 Kyoto Prize \u0e2a\u0e32\u0e02\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c\u0e2a\u0e32\u0e23\u0e30\u0e2a\u0e19\u0e40\u0e17\u0e28\u0e19\u0e4c<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u0e1b\u0e31\u0e08\u0e08\u0e38\u0e1a\u0e31\u0e19\u0e42\u0e2e\u0e2d\u0e32\u0e23\u0e4c\u0e40\u0e1b\u0e47\u0e19\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e32\u0e08\u0e32\u0e23\u0e22\u0e4c\u0e40\u0e01\u0e35\u0e22\u0e23\u0e15\u0e34\u0e04\u0e38\u0e13\u0e02\u0e2d\u0e07\u0e2d\u0e4a\u0e2d\u0e01\u0e0b\u0e4c\u0e1f\u0e2d\u0e23\u0e4c\u0e14 \u0e41\u0e25\u0e30\u0e17\u0e33\u0e07\u0e32\u0e19\u0e27\u0e34\u0e08\u0e31\u0e22\u0e43\u0e2b\u0e49\u0e01\u0e31\u0e1a\u0e44\u0e21\u0e42\u0e04\u0e23\u0e0b\u0e2d\u0e1f\u0e15\u0e4c<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u0e42\u0e17\u0e19\u0e35\u0e48 \u0e42\u0e2e\u0e2d\u0e32\u0e23\u0e4c (Sir Charles Antony Richard Hoare)&nbsp; 1980 Turing Award \u0e08\u0e32\u0e01\u0e01\u0e32\u0e23\u0e04\u0e34\u0e14\u0e2d\u0e31\u0e25\u0e01\u0e2d\u0e25\u0e34\u0e18\u0e36\u0e21 Quicksort, Hoare logic \u0e41\u0e25\u0e30\u0e2a\u0e23\u0e49\u0e32\u0e07\u0e20\u0e32\u0e29\u0e32 Communicationg sequential processes (CSP) \u0e42\u0e2e\u0e2d\u0e32\u0e23\u0e4c \u0e40\u0e01\u0e34\u0e14\u0e27\u0e31\u0e19\u0e17\u0e35\u0e48 11 \u0e21\u0e01\u0e23\u0e32\u0e04\u0e21 1934 \u0e43\u0e19\u0e42\u0e04\u0e25\u0e2d\u0e21\u0e42\u0e1a, &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":[11,40],"tags":[301,747,767],"class_list":["post-3073","post","type-post","status-publish","format-standard","hentry","category-computer-2","category-sciences","tag-data-structure","tag-programming","tag-quicksort"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/3073","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=3073"}],"version-history":[{"count":1,"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/3073\/revisions"}],"predecessor-version":[{"id":8178,"href":"https:\/\/somniantes.com\/index.php?rest_route=\/wp\/v2\/posts\/3073\/revisions\/8178"}],"wp:attachment":[{"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3073"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3073"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/somniantes.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3073"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}