{"id":517,"date":"2024-02-04T17:35:20","date_gmt":"2024-02-04T17:35:20","guid":{"rendered":"https:\/\/szmz.hu\/teaching\/?page_id=517"},"modified":"2024-02-12T11:14:20","modified_gmt":"2024-02-12T11:14:20","slug":"3-2-informacioelmelet-kibernetika-intelligencia-shannon-wiener-turing","status":"publish","type":"page","link":"https:\/\/szmz.hu\/teaching\/bevezetes-a-szamitogepek-anarcheologiajaba\/3-2-informacioelmelet-kibernetika-intelligencia-shannon-wiener-turing\/","title":{"rendered":"3.2 Inform\u00e1ci\u00f3elm\u00e9let, kibernetika, intelligencia; Shannon, Wiener, Turing"},"content":{"rendered":"\n<h5 class=\"wp-block-heading\">A SZ\u00c1M\u00cdT\u00d3G\u00c9P M\u0170K\u00d6D\u00c9S\u00c9NEK ALAPJAI \u2013 K\u00c9T\u00c9RT\u00c9K\u0170 LOGIKA<\/h5>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td><\/td><td>A=0<br>B=0<\/td><td>A=0<br>B=1<\/td><td>A=1<br>B=0<\/td><td>A=1<br>B=1<\/td><\/tr><tr><td>A \u00e9s B (AND)<\/td><td>0<\/td><td>0<\/td><td>0<\/td><td>1<\/td><\/tr><tr><td>A kiz\u00e1r\u00f3 B (XOR)<\/td><td>0<\/td><td>1<\/td><td>1<\/td><td>0<\/td><\/tr><tr><td>A vagy B (OR)<\/td><td>0<\/td><td>1<\/td><td>1<\/td><td>1<\/td><\/tr><tr><td>A nem vagy B (NOR)<\/td><td>1<\/td><td>0<\/td><td>0<\/td><td>0<\/td><\/tr><tr><td>NEM B (NOT)<\/td><td>1<\/td><td>0<\/td><td>1<\/td><td>0<\/td><\/tr><tr><td>NEM A (NOT)<\/td><td>1<\/td><td>1<\/td><td>0<\/td><td>0<\/td><\/tr><tr><td>A nem \u00e9s B (NAND)<\/td><td>1<\/td><td>1<\/td><td>1<\/td><td>0<\/td><\/tr><\/tbody><\/table><figcaption class=\"wp-element-caption\">Shannon a Boole algebra m\u0171veleteinek felelteti meg az alapvet\u0151 (logikai)\u00e1ramk\u00f6ri kapcsol\u00e1sokat<\/figcaption><\/figure>\n\n\n\n<h5 class=\"wp-block-heading has-large-font-size\">CLAUDE SHANNON<\/h5>\n\n\n\n<p>Claude Shannon 1916. \u00e1prilis 30-\u00e1n sz\u00fcletett. A University of Michigan-en 1936-ban matematikai \u00e9s villamosm\u00e9rn\u00f6ki BSc fokozatot szerzett, majd 1940-ben az MIT-n villamosm\u00e9rn\u00f6ki MSc-t \u00e9s matematikai PhD-t. T\u00e9mavezet\u0151je szerint a villamosm\u00e9rn\u00f6ki diplomaterve ezen a ter\u00fcleten a sz\u00e1zad legnagyobb hat\u00e1s\u00fa munk\u00e1ja. T\u00e9m\u00e1ja: hogyan lehet digit\u00e1lis h\u00e1l\u00f3zatot Boole algebr\u00e1val le\u00edrni \u00e9s tervezni. A feladat onnan eredt, hogy a t\u00e9mavezet\u0151je anal\u00f3g mechanikus sz\u00e1m\u00edt\u00f3g\u00e9ppel oldott meg differenci\u00e1legyenleteket, \u00e9s megk\u00e9rte Shannont, hogy seg\u00edtsen neki. Mivel a g\u00e9p gyakran romlott el, Shanonnak s\u0171r\u0171n kellett azt megjav\u00edtania. Ezt a feladatot nagyon unta, \u00e9s igyekezett a g\u00e9p r\u00e9szegys\u00e9geit \u00e1ramk\u00f6r\u00f6kkel kiv\u00e1ltani. Az \u00e1ramk\u00f6r\u00f6k egy r\u00e9sze kapcsol\u00f3h\u00e1l\u00f3zat volt, amelynek tervez\u00e9s\u00e9re ekkor m\u00e9g nem l\u00e9tezett m\u00f3dszertan. Az volt az elj\u00e1r\u00e1s, hogy ad hoc m\u00f3don meg\u00e9p\u00edtett\u00e9k az \u00e1ramk\u00f6rt, ut\u00e1na pedig kipr\u00f3b\u00e1lt\u00e1k, teljes\u00edti-e az el\u0151\u00edr\u00e1st. Shannon remek \u00f6tlete r\u00f6gt\u00f6n azt eredm\u00e9nyezte, hogy az \u00e1ramk\u00f6r meg\u00e9p\u00edt\u00e9se \u00e9s kipr\u00f3b\u00e1l\u00e1sa helyett elegend\u0151 az \u0151t le\u00edr\u00f3 Boole f\u00fcggv\u00e9ny bizonyos helyettes\u00edt\u00e9si \u00e9rt\u00e9keinek a kisz\u00e1m\u00edt\u00e1sa. Tov\u00e1bbi el\u0151ny a tervez\u00e9s szempontj\u00e1b\u00f3l, hogy optimaliz\u00e1lhat\u00f3 a Boole f\u00fcggv\u00e9ny olyan \u00e9rtelemben, hogy az adott specifik\u00e1ci\u00f3t teljes\u00edt\u0151 digit\u00e1lis h\u00e1l\u00f3zatok k\u00f6z\u00fcl megkereshet\u0151 a legkevesebb kapcsol\u00f3t tartalmaz\u00f3 h\u00e1l\u00f3zat. B\u00e1r ma ez egy villamosm\u00e9rn\u00f6k sz\u00e1m\u00e1ra trivialit\u00e1s, kevesen tudj\u00e1k, hogy ez is Shannon nev\u00e9hez f\u0171z\u0151dik, de nem ett\u0151l lett h\u00edres.<\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"347\" height=\"171\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/boo1AND.gif\" alt=\"\" class=\"wp-image-501\"\/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"265\" height=\"91\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/boo22aAND.gif\" alt=\"\" class=\"wp-image-503\"\/><\/figure>\n\n\n\n<p><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"272\" height=\"91\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/boo23aOR.gif\" alt=\"\" class=\"wp-image-505\"\/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"347\" height=\"192\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/boo2OR.gif\" alt=\"\" class=\"wp-image-507\"\/><\/figure>\n<\/div>\n<\/div>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"541\" height=\"190\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/boo8.gif\" alt=\"\" class=\"wp-image-509\"\/><\/figure>\n\n\n\n<p><strong>Claude Shannon (1916-) \u00edrja le az elektromos kapcsol\u00e1sok \u00e9s a Boole-logika kapcsolat\u00e1t. Eszerint pl. ha egy \u00e1ramk\u00f6rben egy kapcsol\u00f3 z\u00e1rt \u00e1ll\u00e1sa az igaz logikai \u00e9rt\u00e9ket jelk\u00e9pezi, a nyitott \u00e1ll\u00e1sa pedig a hamis \u00e9rt\u00e9ket, akkor k\u00e9t kapcsol\u00f3 soros kapcsol\u00e1sa az \u00c9S m\u0171veletet val\u00f3s\u00edtja meg, k\u00e9t kapcsol\u00f3 p\u00e1rhuzamos kapcsol\u00e1sa pedig a VAGY m\u0171veletet. Ezzel az \u00e1ramk\u00f6r\u00f6k elm\u00e9let\u00e9nek alapjait alkotta meg. Az elm\u00e9let l\u00e9nyeges seg\u00edts\u00e9get jelent a digit\u00e1lis sz\u00e1m\u00edt\u00f3g\u00e9pek \u00e1ramk\u00f6reinek tervez\u00e9se \u00e9s egyszer\u0171s\u00edt\u00e9se sor\u00e1n.<\/strong><\/p>\n\n\n\n<p>1941-t\u0151l dolgozott a Bell Laborat\u00f3riumban. A m\u00e1sodik vil\u00e1gh\u00e1bor\u00fa alatt titkos\u00edt\u00e1ssal foglalkozott, az \u0151 elj\u00e1r\u00e1s\u00e1t haszn\u00e1lta a SIGSALY telefon, amellyel Churchill \u00e9s Roosevelt biztons\u00e1gosan tudott besz\u00e9lgetni. 1948-ban jelent meg a The Mathematical Theory of Communication, Bell Syst. Tech. J., vol 27, pp. 379-423, 623-656 cikke (magyarul is megjelent az OMIKK kiad\u00e1s\u00e1ban), amellyel megteremtette az inform\u00e1ci\u00f3elm\u00e9letet. (Ugyanebben az \u00e9vben, szint\u00e9n a Bell Laborat\u00f3riumban tal\u00e1lt\u00e1k fel a tranzisztort.)<\/p>\n\n\n\n<p>Shannon a kommunik\u00e1ci\u00f3s rendszerek elemeit, a k\u00f6z\u00f6tt\u00fck l\u00e9v\u0151 kapcsolatokat vizsg\u00e1lta. Noha munk\u00e1ja t\u00falmutat a m\u00e9rn\u00f6ki tudom\u00e1nyokon, els\u0151dlegesen praktikus c\u00e9lokat szolg\u00e1lt, p\u00e9ld\u00e1ul azt, hogy a telefonvonalak kev\u00e9sb\u00e9 legyenek zajosak.&nbsp;<strong>Elm\u00e9lete szerint a kommunik\u00e1ci\u00f3 jelent\u00e9stani aspektusai irrelev\u00e1nsak a tervez\u0151 szemsz\u00f6g\u00e9b\u0151l n\u00e9zve: az \u00fczenet statisztikai jellemz\u0151i, \u00e9s nem a tartalma a meghat\u00e1roz\u00f3.<\/strong><\/p>\n\n\n\n<p>A legf\u0151bb probl\u00e9ma, hogy egy adott ponton hib\u00e1tlanul vagy megk\u00f6zel\u00edt\u0151leg, reproduk\u00e1ljunk egy m\u00e1sik pontr\u00f3l k\u00fcld\u00f6tt \u00fczenetet. M\u00e1sr\u00e9szt, a t\u00e9nyleges csak egy a lehets\u00e9ges \u00fczenetek k\u00f6z\u00fcl. A rendszert \u00fagy kell megtervezni, hogy ne kiz\u00e1r\u00f3lag a kiv\u00e1lasztott, hanem a potenci\u00e1lis \u00fczeneteket is kezelje.<\/p>\n\n\n\n<p><strong>Az inform\u00e1ci\u00f3 fontos tulajdons\u00e1ga, hogy el\u0151re nem kisz\u00e1m\u00edthat\u00f3, \u00fajdons\u00e1g\u00e9rt\u00e9ket tartalmaz\u00f3 jelk\u00e9pekb\u0151l \u00e1ll. E jelk\u00e9pek k\u00f6zl\u00e9se a kommunik\u00e1ci\u00f3 l\u00e9nyege, a t\u00f6bbi redund\u00e1ns elem. Az inform\u00e1ci\u00f3 a bizonytalans\u00e1ggal azonos, v\u00e9letlenszer\u0171s\u00e9ge az entr\u00f3pi\u00e1val \u00edrhat\u00f3 le, mely lehet\u0151v\u00e9 teszi, hogy az \u00fczenetet ne csak egyf\u00e9lek\u00e9ppen dek\u00f3doljuk, illetve azt is, hogy egy csatorna mennyire alkalmas jeltov\u00e1bb\u00edt\u00e1sra.<\/strong><\/p>\n\n\n\n<p><strong>A termodinamika m\u00e1sodik t\u00f6rv\u00e9nye a vil\u00e1gegyetemben \u00e1lland\u00f3an n\u00f6vekv\u0151 rendezetlens\u00e9gre, az entr\u00f3pi\u00e1ra vonatkozik. Shannon, az entr\u00f3pi\u00e1t az inform\u00e1ci\u00f3val azonos\u00edtva, a sz\u00f3nak \u00faj, az eredetivel ellent\u00e9tes jelent\u00e9st adott. Az entr\u00f3pia n\u00f6veked\u00e9se az inform\u00e1ci\u00f3 n\u00f6veked\u00e9s\u00e9t eredm\u00e9nyezi. Ha \u00f6sszekapcsoljuk a k\u00e9t elm\u00e9letet, arra a k\u00f6vetkeztet\u00e9sre jutunk, hogy egy bitnyi inform\u00e1ci\u00f3 tov\u00e1bb\u00edt\u00e1s\u00e1hoz meghat\u00e1rozott mennyis\u00e9g\u0171 energia sz\u00fcks\u00e9ges.<br><\/strong><br>Shannon 1948-ban publik\u00e1lt \u201cThe Mathematical Theory of Communication\u201d c\u00edm\u0171&nbsp;tanulm\u00e1nya, mely a Warren Weaverrel k\u00f6z\u00f6sen kiadott k\u00f6z\u00e9rthet\u0151 k\u00f6nyben jelenik meg n\u00e9h\u00e1ny h\u00f3nap m\u00falva, kulcsfontoss\u00e1g\u00fa a m\u00e9diaelm\u00e9let\/t\u00f6rt\u00e9net szempontj\u00e1b\u00f3l; sz\u00e1mos szerz\u0151, t\u00f6bbek k\u00f6zt Friedrich Kittler sz\u00e1mos helyen hivatkozik Shannon kommunik\u00e1ci\u00f3s modellj\u00e9re, mely minden technikai m\u00e9diumra vonatkoztathat\u00f3:<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"800\" height=\"601\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/mutadis_mutandis.jpg\" alt=\"\" class=\"wp-image-511\" srcset=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/mutadis_mutandis.jpg 800w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/mutadis_mutandis-300x225.jpg 300w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/mutadis_mutandis-768x577.jpg 768w\" sizes=\"auto, (max-width: 800px) 100vw, 800px\" \/><\/figure>\n\n\n\n<p><strong>Shannon a matematikai inform\u00e1ci\u00f3elm\u00e9let egyik megalap\u00edt\u00f3ja. Az inform\u00e1ci\u00f3elm\u00e9let az inform\u00e1ci\u00f3 t\u00f6m\u00f6r\u00edt\u00e9s\u00e9nek, \u00e1tvitel\u00e9nek, t\u00e1rol\u00e1s\u00e1nak, v\u00e9delm\u00e9nek \u00e9s feldolgoz\u00e1s\u00e1nak a term\u00e9szett\u00f6rv\u00e9nyeit foglalja egys\u00e9gbe.<\/strong><\/p>\n\n\n\n<p><strong>What is Information Entropy? (Shannon\u2019s formula)&nbsp;<a href=\"https:\/\/www.youtube.com\/watch?v=R4OlXb9aTvQ\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/www.youtube.com\/watch?v=R4OlXb9aTvQ<\/a><\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"800\" height=\"671\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/shannon_mouse.jpg\" alt=\"\" class=\"wp-image-513\" srcset=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/shannon_mouse.jpg 800w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/shannon_mouse-300x252.jpg 300w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/shannon_mouse-768x644.jpg 768w\" sizes=\"auto, (max-width: 800px) 100vw, 800px\" \/><figcaption class=\"wp-element-caption\">&nbsp;Claude Shannon demonstrates machine learning&nbsp;<a href=\"https:\/\/www.youtube.com\/watch?v=vPKkXibQXGA\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/www.youtube.com\/watch?v=vPKkXibQXGA<\/a><\/figcaption><\/figure>\n\n\n\n<h5 class=\"wp-block-heading has-large-font-size\">Norbert Wiener (November 26, 1894 \u2013 March 18, 1964)<\/h5>\n\n\n\n<p>Szint\u00e9n 1948-ban (egyid\u0151ben Shannon \u00e9s Weaver The Mathematical Theory of Communication c. m\u0171v\u00e9vel) jelenik meg Norbert Wiener &#8220;Cybernetics or Control and Communication in the Animal and the Machine&#8221; c\u00edm\u0171 k\u00f6nyve, melynek t\u00e1rgya l\u00e9nyeg\u00e9ben a kibernetika tudom\u00e1ny\u00e1nak megalapoz\u00e1sa.<br><br>Wiener Shannonhoz hasonl\u00f3an, \u00e1m t\u0151le f\u00fcggetlen\u00fcl, m\u00e1s szempontokb\u00f3l k\u00f6zel\u00edtett matematikusk\u00e9nt az elektronikai rendszerek, kommunik\u00e1ci\u00f3s eszk\u00f6z\u00f6k tervez\u00e9s\u00e9hez, szint\u00e9n a zaj, a hiba kik\u00fcsz\u00f6b\u00f6l\u00e9s\u00e9t c\u00e9lul t\u0171zve. Az \u00f6nszab\u00e1lyz\u00f3 rendszerek, automat\u00e1k alapvet\u0151 elm\u00e9let\u00e9t alkotta meg, melynek f\u00f3kusz\u00e1ban a visszacsatol\u00e1son kereszt\u00fcl megval\u00f3sul\u00f3 &#8220;\u00f6nkontroll&#8221; \u00e1ll.<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Paul Pangaro | What Is Cybernetics?\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube.com\/embed\/Oad8Ro8j_fE?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<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Ernst von Glasersfeld and a History of Cybernetics\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/pm5u68t6kPI?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<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Norbert Wiener - Wiener Today (1981)\" width=\"500\" height=\"375\" src=\"https:\/\/www.youtube.com\/embed\/cdu16JAzgw8?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>1950-ben megjelent, majd 1954-ben \u00e1tdolgozott m\u00e1sik alapvet\u0151 m\u0171ve a &#8220;The Human Use of Human Beings&#8221;, melyben az automatiz\u00e1ci\u00f3 t\u00e1rsadalomra gyakorolt hat\u00e1s\u00e1t vizsg\u00e1lja meg, gyakran id\u00e9zett sz\u00f6vegeket tartalmaz, t\u00f6bbek k\u00f6zt ezt is:<\/p>\n\n\n\n<p>&#8220;society can only be understood through a study of the messages and the communication facilities which belong to it; and that in the future development of these messages and communication facilities, messages between man and machines, between machines and man, and between machine and machine, are destined to play an ever-increasing part. (p. 16)&#8221;<\/p>\n\n\n\n<h5 class=\"wp-block-heading has-large-font-size\">Alan Turing<\/h5>\n\n\n\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"634\" height=\"857\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/Turing_sitting.jpg\" alt=\"\" class=\"wp-image-527\" srcset=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/Turing_sitting.jpg 634w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/Turing_sitting-222x300.jpg 222w\" sizes=\"auto, (max-width: 634px) 100vw, 634px\" \/><\/figure>\n\n\n\n<p>Alan Turing (1912-1954) 1936-ban az On Computable Numbers c\u00edm\u0171 m\u0171v\u00e9ben le\u00edrta egy olyan sz\u00e1m\u00edt\u00f3g\u00e9p matematikai modellj\u00e9t, amely mint a lehet\u0151 legegyszer\u0171bb univerz\u00e1lis sz\u00e1m\u00edt\u00f3g\u00e9p b\u00e1rmilyen v\u00e9ges matematikai \u00e9s logikai probl\u00e9m\u00e1t meg tud oldani. Ez a ma&nbsp;<a href=\"http:\/\/hu.wikipedia.org\/wiki\/Turing-g%C3%A9p\" target=\"_blank\" rel=\"noreferrer noopener\">Turing-g\u00e9p<\/a>&nbsp;n\u00e9ven ismert eszk\u00f6z alapvet\u0151 fontos\u00e1g\u00fa volt a digit\u00e1lis sz\u00e1m\u00edt\u00f3g\u00e9pek elm\u00e9leti tervez\u00e9s\u00e9nek megkezd\u00e9s\u00e9hez. A Turing-g\u00e9p h\u00e1rom r\u00e9szb\u0151l \u00e1ll: egy mindk\u00e9t ir\u00e1nyban v\u00e9gtelen t\u00e1rol\u00f3szalagb\u00f3l, egy vez\u00e9rl\u0151egys\u00e9gb\u0151l \u00e9s egy \u00edr\u00f3-olvas\u00f3 fejb\u0151l. A szalag mez\u0151kre oszlik, mindegyik mez\u0151 egy adatot vagy utas\u00edt\u00e1st tud t\u00e1rolni. Csak a fej alatt elhelyezked\u0151 egyetlen mez\u0151 olvashat\u00f3, illetve \u00edrhat\u00f3. A g\u00e9p a k\u00f6vetkez\u0151k\u00e9ppen m\u0171k\u00f6dik: Kezdetben a g\u00e9p meghat\u00e1rozott \u00e1llapotban van. Beolvassa a szalagr\u00f3l az \u00e9ppen a fej alatt l\u00e9v\u0151 jelet, ett\u0151l f\u00fcgg\u0151en v\u00e9grehajt valamilyen tev\u00e9kenys\u00e9get, \u00e9s \u00edgy \u00faj \u00e1llapotba jut. K\u00f6zben a szalagot is \u00faj mez\u0151re poz\u00edcion\u00e1lja. A fej beolvassa a szalagr\u00f3l a k\u00f6vetkez\u0151 jelet, \u00e9s \u00edgy tov\u00e1bb. A folyamat akkor \u00e9r v\u00e9get, amikor az olvas\u00f3fej a STOP utas\u00edt\u00e1st olvassa be. Ilyen m\u00f3don elvileg minden algoritmus kivitelezhet\u00f5.<br><br><a href=\"https:\/\/www.youtube.com\/watch?v=dNRDvLACg5Q\" target=\"_blank\" rel=\"noreferrer noopener\">Turing Machines Explained<\/a>&nbsp;&#8211; Computerphile https:\/\/www.youtube.com\/watch?v=dNRDvLACg5Q<\/p>\n\n\n\n<p>(Bertrand Russell \u00e9s Alfred North Whitehead monument\u00e1lis, 1910 \u00e9s 1915 k\u00f6z\u00f6tt publik\u00e1lt Principia Matematic\u00e1ja szerint a logika jelenti a matematikai igazs\u00e1g biztos, ellentmond\u00e1smentes alapj\u00e1t. T\u00e9vedtek, hiszen Kurt G\u00f6del 1931-es (nem-teljess\u00e9gi) t\u00e9tele kimondja: &#8220;a sz\u00e1melm\u00e9let \u00f6sszes axiomatikus megfogalmaz\u00e1sa tartalmaz eld\u00f6nthetetlen \u00e1ll\u00edt\u00e1sokat&#8221;. M\u00e1rpedig &#8220;ennek a sz\u00e1melm\u00e9leti \u00e1ll\u00edt\u00e1snak a Principia Matematica rendszer\u00e9ben nincs bizony\u00edt\u00e1sa&#8221; (D. R. Hofstadter). L\u00e9tezik-e &#8211; ak\u00e1r csak elm\u00e9letileg &#8211; olyan m\u00f3dszer (algoritmus), mellyel az \u00f6sszes matematikai k\u00e9rd\u00e9s megoldhat\u00f3? &#8211; tette fel a (G\u00f6del t\u00e9tel\u00e9re r\u00edmel\u0151) k\u00e9rd\u00e9st Turing. Az ember \u00e1ltal v\u00e9grehajtott, logikai alapokon nyugv\u00f3 m\u00f3dszertani folyamatokat, illetve egy (elm\u00e9leti) sz\u00e1m\u00edt\u00f3g\u00e9p m\u0171k\u00f6d\u00e9s\u00e9t elemezve jutott arra a k\u00f6vetkeztet\u00e9sre, hogy a sz\u00fcks\u00e9ges algoritmus nem l\u00e9tezik. Alonzo Church, amerikai logikus szint\u00e9n 1936-ban dolgozta ki &#8211; Turing \u00e1ll\u00e1spontj\u00e1val egyez\u0151 &#8211; t\u00e9zis\u00e9t, azaz: &#8220;nincs csalhatatlan m\u00f3dszer arra, hogy megk\u00fcl\u00f6nb\u00f6ztess\u00fck a sz\u00e1melm\u00e9let t\u00e9teleit azokt\u00f3l az \u00e1ll\u00edt\u00e1sokt\u00f3l, amelyek nem t\u00e9telek&#8221;.)<\/p>\n\n\n\n<p><a href=\"https:\/\/www.youtube.com\/watch?v=macM_MtS_w4\" target=\"_blank\" rel=\"noreferrer noopener\">Turing &amp; The Halting Problem &#8211; Computerphile<\/a>&nbsp;https:\/\/www.youtube.com\/watch?v=macM_MtS_w4<br><\/p>\n\n\n\n<p>A &#8220;kisz\u00e1m\u00edthat\u00f3 sz\u00e1mokr\u00f3l&#8221; sz\u00f3l\u00f3, 1936 december\u00e9ben megjelent dolgozat\u00e1ban Turing a matematikai probl\u00e9m\u00e1n t\u00fall\u00e9pve, azt \u00e1ltal\u00e1nos\u00edtva &#8211; a logikus \u00e9s a fizikai folyamatok, gondolkod\u00e1s \u00e9s cselekv\u00e9s szint\u00e9zis\u00e9re t\u00f6rekedett.<\/p>\n\n\n\n<p>E c\u00e9lt szolg\u00e1lta, az \u00fagynevezett (Egyetemes-) Turing-g\u00e9p te\u00f3ri\u00e1ja. Tulajdonk\u00e9ppen egy automat\u00e1t, egyszer\u00fb sz\u00e1m\u00edt\u00f3g\u00e9pmodellt k\u00e9pzelt el, amely h\u00e1rom r\u00e9szb\u00f5l &#8211; bels\u0151 \u00e1llapotb\u00f3l: mem\u00f3ri\u00e1b\u00f3l \u00e9s utas\u00edt\u00e1sk\u00e9szletb\u00f5l, \u00e9rz\u00e9kel\u0151 fejb\u0151l, illetve n\u00e9gyzetekre osztott, elm\u00e9letileg v\u00e9gtelen bemen\u00f5 (input) szalagb\u00f3l &#8211; \u00e1llna. A bemeneti jelek rendeltet\u00e9s\u00e9t szab\u00e1lyok hat\u00e1rozz\u00e1k meg, majd a g\u00e9p \u00fajabb jeleket (azaz sz\u00e1mokba k\u00f3dolt, standardiz\u00e1lt utas\u00edt\u00e1sokat) \u00edr a szalagra. Ha a szalag elegend\u0151 hossz\u00fas\u00e1g\u00fa, b\u00e1rmi kisz\u00e1molhat\u00f3; az \u00f6sszes (j\u00f3l-meghat\u00e1rozott) feladat, egyetlen (a sz\u00fcks\u00e9ges programokkal ell\u00e1tott) g\u00e9ppel. De hogyan rendszerezhet\u0151k, milyen szab\u00e1lyok alapj\u00e1n m\u0171k\u00f6dnek a val\u00f3s\u00e1g matematikailag rendk\u00edv\u00fcl nehezen vagy egy\u00e1ltal\u00e1n nem modell\u00e1lhat\u00f3 (uncomputable) szegmensei, p\u00e9ld\u00e1ul az emberi intu\u00edci\u00f3? E k\u00e9rd\u00e9sekre egy 1938-as essz\u00e9ben (Ordinal Logics) pr\u00f3b\u00e1lt v\u00e1laszt adni, a k\u00e9s\u00f5bbiekben viszont soha t\u00f6bb\u00e9.<\/p>\n\n\n\n<p>Turing 1938-1939-es cambridge-i tart\u00f3zkod\u00e1sa sor\u00e1n Ludwig Wittgenstein matematikafiloz\u00f3fiai el\u0151ad\u00e1sait is l\u00e1togatta.<\/p>\n\n\n\n<p>1939 \u00e9s 1945 k\u00f6z\u00f6tt a m\u00e1sodik vil\u00e1gh\u00e1bor\u00fa alatt a brit hadsereg n\u00e9met titkos k\u00f3dok elemz\u00e9s\u00e9re szakosodott csoportj\u00e1ban, a Bletchley Park-ban berendezett k\u00f3dfejt\u0151 k\u00f6zpontban dolgozott(erre m\u00e9g visszat\u00e9r\u00fcnk).<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Turing&#039;s Enigma Problem (Part 1) - Computerphile\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube.com\/embed\/d2NWPG2gB_A?list=PL3XQlhg0gdAxUGl7DrH9B4UoJR3dy2Tni\" 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>1945-1947 k\u00f6z\u00f6tt a londoni Nemzeti Fizikai Laborat\u00f3rium munkat\u00e1rsak\u00e9nt sz\u00e1m\u00edt\u00f3g\u00e9pet tervez (ACE = Automatic Computing Engine), elm\u00e9leti munk\u00e1kat publik\u00e1l: programoz\u00e1sr\u00f3l, neur\u00e1lis h\u00e1l\u00f3kr\u00f3l, mesters\u00e9ges intelligenci\u00e1r\u00f3l. K\u00f6zben atletiz\u00e1l is, f\u0151k\u00e9nt fut: az 1948-as londoni olimpi\u00e1n val\u00f3 r\u00e9szv\u00e9tel\u00e9t s\u00e9r\u00fcl\u00e9s hi\u00fas\u00edtja meg.<\/p>\n\n\n\n<p>1948-t\u00f3l a Manchesteri Egyetem sz\u00e1m\u00edt\u00f3g\u00e9p-laborat\u00f3rium\u00e1nak vezet\u0151je.<\/p>\n\n\n\n<p>A negyvenes \u00e9vekben, elektronikai ismeretekk el felv\u00e9rtezve, az elm\u00e9leti sz\u00e1m\u00edt\u00f3g\u00e9p gyakorlati megval\u00f3s\u00edt\u00e1s\u00e1n munk\u00e1lkodott. M\u00e1r nem foglalkoztatta az, hogy mire k\u00e9ptelen a Turing-g\u00e9p, hanem a benne rejl\u00f5 lehet\u00f5s\u00e9geket tanulm\u00e1nyozta. &#8220;Mintha egy agyat \u00e9p\u00edten\u00e9nk&#8221; &#8211; nyilatkozta. Elk\u00e9pzelhet\u00f5nek tartotta, hogy a j\u00f6v\u00f5ben (az ezredfordul\u00f3ig bez\u00e1r\u00f3lag) mesters\u00e9ges intelligenci\u00e1t hozzunk vil\u00e1gra. AI-t, amely \u00e1tmenne a Turing-teszten. A korabeli neurol\u00f3gia, fiziol\u00f3gia eredm\u00e9nyeire t\u00e1maszkodva a mai neuronh\u00e1l\u00f3zatokat el\u00f5legez\u00f5 elm\u00e9letet v\u00e1zolt fel: ha egy mechanikus rendszer kell\u00f5en komplex, ak\u00e1r a tanul\u00e1s k\u00e9pess\u00e9g\u00e9vel is b\u00edrhat.<\/p>\n\n\n\n<p>A Turing-teszt n\u00e9ven k\u00f6zismertt\u00e9 v\u00e1lt imit\u00e1ci\u00f3s j\u00e1t\u00e9k, az intelligencia, illetve a tudatoss\u00e1g kapcsolat\u00e1t vizsg\u00e1lja, melyet 1950-ben &#8220;<a href=\"https:\/\/www.csee.umbc.edu\/courses\/471\/papers\/turing.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Computing Machinery and Intelligence<\/a>&#8221; c\u00edm\u0171 m\u0171v\u00e9ben publik\u00e1l . A hagyom\u00e1nyos \u00e9rtelmez\u00e9s szerint Turing az intelligencia egy operacion\u00e1lis defin\u00edci\u00f3j\u00e1t k\u00edv\u00e1nta megadni, amikor azt javasolta, hogy tekints\u00fcnk intelligensnek minden olyan g\u00e9pet, amely sz\u00f6veges termin\u00e1lon kereszt\u00fcl majdnem ugyanolyan es\u00e9llyel k\u00e9pes elhitetni k\u00e9rdez\u00f5j\u00e9vel, hogy emberrel kommunik\u00e1l, mint egy val\u00f3s szem\u00e9ly.<\/p>\n\n\n\n<p>Mikor tekinthet\u00f5 \u00e9rtelmesnek egy g\u00e9p? Tudnak-e a g\u00e9pek gondolkodni? A k\u00e9rd\u00e9s eld\u00f6nt\u00e9s\u00e9re Turing az &#8220;imit\u00e1ci\u00f3s j\u00e1t\u00e9k&#8221; (napjainkban Turing-tesztk\u00e9nt ismert) m\u00f3dszert javasolta.<\/p>\n\n\n\n<p>&#8220;H\u00e1rom ember j\u00e1tssza a j\u00e1t\u00e9kot: egy f\u00e9rfi (A), egy n\u00f5 (B) \u00e9s egy k\u00e9rdez\u00f5 (C), aki b\u00e1rmilyen nem\u00fb lehet&#8221;. A szab\u00e1lyok \u00e9rtelm\u00e9ben a f\u00e9rfi minden v\u00e1lasz\u00e1ban hazudik, a n\u0151 pedig igazat mond. A k\u00e9rdez\u0151nek a j\u00e1t\u00e9kosok nem\u00e9t kell kider\u00edtenie.<\/p>\n\n\n\n<p>&#8220;A k\u00e9rdez\u00f5 olyan szob\u00e1ban tart\u00f3zkodik, amely el van v\u00e1lasztva a m\u00e1sik kett\u00f5t\u00f5l. A j\u00e1t\u00e9k c\u00e9lja a k\u00e9rdez\u00f5 sz\u00e1m\u00e1ra az, hogy meg\u00e1llap\u00edtsa, a m\u00e1sik kett\u00f5 k\u00f6z\u00fcl melyik a f\u00e9rfi \u00e9s melyik a n\u00f5. Hogy a hangsz\u00edn se seg\u00edthesse, a v\u00e1laszokat \u00edr\u00e1sban, vagy m\u00e9g jobb, ha g\u00e9p\u00edr\u00e1ssal adj\u00e1k meg. Most k\u00e9rdezz\u00fck meg: Mi t\u00f6rt\u00e9nik, ha A szerep\u00e9t egy g\u00e9p veszi \u00e1t? Vajon a k\u00e9rdez\u00f5 ugyanolyan gyakran fog rosszul d\u00f6nteni, ha a j\u00e1t\u00e9kot \u00edgy j\u00e1tssz\u00e1k, mint akkor, ha a j\u00e1t\u00e9k egy f\u00e9rfi \u00e9s egy n\u00f5 k\u00f6z\u00f6tt zajlik? E k\u00e9rd\u00e9sek helyettes\u00edtik az eredeti k\u00e9rd\u00e9s\u00fcnket: tudnak-e a g\u00e9pek gondolkodni?&#8221; A k\u00e9rd\u00e9sek az \u00e9let minden ter\u00fclet\u00e9re &#8211; tudom\u00e1ny, m\u00fbv\u00e9szet, sport, id\u00f5j\u00e1r\u00e1s, stb. &#8211; vonatkoznak. Ha a tesztel\u00f5 egy el\u00f5re meg\u00e1llapodott id\u00f5 ut\u00e1n sem k\u00e9pes eld\u00f6nteni, hogy a v\u00e1laszok embert\u00f5l vagy g\u00e9pt\u00f5l j\u00f6nnek, akkor a v\u00e1laszad\u00f3 intelligensnek tekinthet\u00f5.<\/p>\n\n\n\n<p>&#8220;A sz\u00e1zad v\u00e9g\u00e9re a szavak haszn\u00e1lata \u00e9s a tanult emberek v\u00e9lem\u00e9nye annyira meg fog v\u00e1ltozni, hogy an\u00e9lk\u00fcl besz\u00e9lhet\u00fcnk majd a g\u00e9pi gondolkod\u00e1sr\u00f3l, hogy m\u00e1sok ezzel vit\u00e1ba sz\u00e1lln\u00e1nak&#8221; &#8211; fogalmaz Turing 1950-ben.<\/p>\n\n\n\n<p>Turing 1951-54 k\u00f6z\u00f6tt szerte\u00e1gaz\u00f3 biol\u00f3giai (a nemline\u00e1ris morfogenezis elm\u00e9lete, stb.) \u00e9s fizikai kutat\u00e1sokat v\u00e9gez, 1951 j\u00falius\u00e1t\u00f3l a Royal Society tagja.<\/p>\n\n\n\n<p>1952. m\u00e1rcius 31-\u00e9n ny\u00edltan v\u00e1llalt homoszexualit\u00e1sa miatt letart\u00f3ztatt\u00e1k, pert ind\u00edtottak ellene, majd a libid\u00f3t semleges\u00edt\u00f5 orvosi beavatkoz\u00e1snak vetett\u00e9k al\u00e1.<\/p>\n\n\n\n<p>1954. j\u00fanius 7-\u00e9n (Wilmslow, Cheshire), k\u00e9t h\u00e9ttel \u00e9s k\u00e9t nappal negyvenkettedik sz\u00fclet\u00e9snapja el\u00f5tt, ci\u00e1nm\u00e9rgez\u00e9sben halt meg. A halottk\u00e9m jelent\u00e9se szerint \u00f6ngyilkoss\u00e1g t\u00f6rt\u00e9nt.<\/p>\n\n\n\n<p>Gordon Brown minisztereln\u00f6k egy t\u00f6bb mint 49000 al\u00e1\u00edr\u00e1st tartalmaz\u00f3 pet\u00edci\u00f3 nyom\u00e1n 2009-ben, Erzs\u00e9bet kir\u00e1lyn\u0151 2013 kar\u00e1csony\u00e1n k\u00e9rt bocs\u00e1natot a Turinggel szembeni elj\u00e1r\u00e1s miatt. (\u201cto pardon and remit unto [Turing] the sentence imposed upon him.\u201d)<\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-28f84493 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"300\" height=\"221\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/britain-royal.jpg\" alt=\"\" class=\"wp-image-529\"\/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"497\" height=\"254\" src=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/turing-tenner.jpg\" alt=\"\" class=\"wp-image-531\" srcset=\"https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/turing-tenner.jpg 497w, https:\/\/szmz.hu\/teaching\/wp-content\/uploads\/2024\/02\/turing-tenner-300x153.jpg 300w\" sizes=\"auto, (max-width: 497px) 100vw, 497px\" \/><\/figure>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>A SZ\u00c1M\u00cdT\u00d3G\u00c9P M\u0170K\u00d6D\u00c9S\u00c9NEK ALAPJAI \u2013 K\u00c9T\u00c9RT\u00c9K\u0170 LOGIKA A=0B=0 A=0B=1 A=1B=0 A=1B=1 A \u00e9s B (AND) 0 0 0 1 A kiz\u00e1r\u00f3 B (XOR) 0 1 1 0 A vagy B (OR) 0 1 1 1 A nem vagy B (NOR) 1 0 0 0 NEM B (NOT) 1 0 1 0 NEM A (NOT) 1 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":707,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-517","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/pages\/517","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/comments?post=517"}],"version-history":[{"count":2,"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/pages\/517\/revisions"}],"predecessor-version":[{"id":533,"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/pages\/517\/revisions\/533"}],"up":[{"embeddable":true,"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/pages\/707"}],"wp:attachment":[{"href":"https:\/\/szmz.hu\/teaching\/wp-json\/wp\/v2\/media?parent=517"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}