මට මේ පොත ලැබුණේ කොහොමද?
2017 මැයි මාසයේදී, ජෝර්ජ් රටර් නම් මගේ පැරණි උසස් පාසල් ගුරුවරයාගෙන් මට විද්යුත් තැපෑලක් ලැබුණි, එහි ඔහු මෙසේ ලිවීය: "ඇලන් ටියුරිංට අයත් ඩිරැක්ගේ ජර්මානු භාෂාවෙන් (Die Prinzipien der Quantenmechanik) විශිෂ්ට පොතේ පිටපතක් මා සතුව ඇත, සහ ඔබේ පොත කියවීමෙන් පසු
වසර කිහිපයකට පසු, 2019 මාර්තු මාසයේදී, මම ඇත්ත වශයෙන්ම එංගලන්තයට පැමිණියෙමි, ඉන්පසු මම ඔක්ස්ෆර්ඩ් හි කුඩා හෝටලයකදී උදෑසන ආහාරය සඳහා ජෝර්ජ් හමුවීමට කටයුතු කළෙමි. අපි කාලා, කතා බහ කරලා කෑම ටික සෙට් වෙනකම් බලාගෙන හිටියා. එවිට පොත ගැන සාකච්ඡා කිරීමට හොඳ කාලයක් විය. ජෝර්ජ් ඔහුගේ බෑගයට අත දමා 1900 ගණන්වල මැද භාගයේ සිට තරමක් නිහතමානීව නිර්මාණය කරන ලද සාමාන්ය ශාස්ත්රීය පරිමාවක් එළියට ගත්තේය.
මම කවරය විවෘත කළේ, පිටුපස යමක් තිබේදැයි සිතමින්: "ඇලන් ටියුරින්ගේ දේපල" නැත්නම් ඒ වගේ දෙයක්. එහෙත්, අවාසනාවකට මෙන්, මෙය එසේ නොවන බව පෙනී ගියේය. කෙසේ වෙතත්, එය 2002 දී ලියන ලද නෝමන් රවුට්ලෙජ් සිට ජෝර්ජ් රටර් දක්වා තරමක් ප්රකාශිත පිටු හතරක සටහනක් සමඟ විය.
මම ශිෂ්යයෙක්ව සිටියදී නෝමන් රට්ලෙජ්ව දැන සිටියෙමි
එකල මම නෝමන් ගේ පසුබිම ගැන කිසිවක් දැන සිටියේ නැත (මෙය අන්තර්ජාලයට බොහෝ කලකට පෙර බව මතක තබා ගන්න). මා දැන සිටියේ ඔහු "ආචාර්ය රට්ලෙජ්" බව පමණි. ඔහු කේම්බ්රිජ් වැසියන් ගැන නිතර කතා කීවත් ඔහු කිසිවිටෙක ඇලන් ටියුරින් ගැන සඳහන් කළේ නැත. ඇත්ත වශයෙන්ම, ටියුරින් තවමත් එතරම් ප්රසිද්ධ නොවීය (කෙසේ වෙතත්, පෙනෙන පරිදි, ඔහු ගැන දන්නා කෙනෙකුගෙන් මම ඔහු ගැන අසා තිබුණි.
ඇලන් ටියුරින් 1981 වන තෙක් ප්රසිද්ධියට පත් නොවීය
හදිසියේම දවසක්, පුස්තකාලයේ කාඩ්පත් නාමාවලියක් බලමින් සිටියදී
වසර දහයකට පසු, ටියුරින් සහ ඔහුගේ (එවකට ප්රකාශයට පත් නොකළ) ගැන අතිශයින් කුතුහලයෙන්
ඒ වන විට එය ප්රකාශයට පත් විය
ඇලන් ටියුරින් ඇතුළු බොහෝ දේ ගැන අපි හොඳ කතාබහක යෙදුණෙමු. නෝමන් අපගේ සංවාදය ආරම්භ කළේ ඔහු සැබවින්ම ටියුරින්ව දන්නා බව පවසමින්, බොහෝ දුරට මතුපිටින්, වසර 50 කට පෙරය. නමුත් තවමත් ඔහුට ඔහු ගැන පෞද්ගලිකව කීමට යමක් තිබුණි:ඔහු සමාජශීලී නොවීය". "එයා හොඳටම හිනා වුණා". "ඔහුට ඇත්තටම ගණිතඥයන් නොවන අය සමඟ කතා කිරීමට නොහැකි විය". "ඔහු නිතරම තම මවට කරදර කිරීමට බිය විය". "ඔහු දිවා කාලයේ පිටතට ගොස් මැරතන් ධාවනය කළේය". "ඔහු ඕනෑවට වඩා අභිලාෂකාමී නොවීය" පසුව සංවාදය නෝමන් ගේ පෞරුෂය වෙත යොමු විය. විශ්රාම ගොස් වසර 16ක් ගතවී ඇතත් තවමත් ලිපි ලියන බව ඔහු කියා සිටියේය.
එය මා නෝමන්ව දුටු අවසන් අවස්ථාවයි; ඔහු 2013 දී මිය ගියේය.
අවුරුදු හයකට පසු මම ජෝර්ජ් රටර් සමඟ උදේ කෑමට වාඩි වී සිටියෙමි. 2002 දී ඔහුගේ සුවිශේෂී අත් අකුරින් ලියන ලද රට්ලෙජ්ගේ සටහනක් මා ළඟ තිබී ඇත.
මුලින්ම මම සටහන ඉවත් කළා. ඇය සුපුරුදු පරිදි ප්රකාශ කළාය:
මට ඇලන් ටියුරිංගේ පොත ලැබුණේ ඔහුගේ මිතුරා සහ විධායකයාගෙනි
රොබිනා ගාන්ඩි (කිංග්ස් කොලේජ් එකේදි මැරුණ සගයන්ගේ එකතුවෙන් පොත් දෙන එක දවසේ නියමය වුනා, මම තෝරා ගත්තේ කවි එකතුවක්.A. E. හවුස්මන් පොත් වලින්අයිවර් රැම්සේ සුදුසු තෑග්ගක් ලෙස (ඔහු පීඨාධිපතිවරයෙකු වූ අතර [1956 දී] දේවස්ථානයෙන් පැන ගියේය)...
පසුව ඔහු කෙටි සටහනක මෙසේ ලියයි.
මෙම පොත අවසන් විය යුත්තේ කොතැනින්දැයි ඔබ අසයි - මගේ මතය අනුව එය ටියුරින්ගේ කෘතියට සම්බන්ධ සෑම දෙයක්ම අගය කරන කෙනෙකුට යා යුතුය, එබැවින් එහි ඉරණම ඔබ මත රඳා පවතී.
ස්ටීවන් වුල්ෆ්රම් මට ඔහුගේ සිත් ඇදගන්නා පොත එව්වා, නමුත් මම එහි ගැඹුරට කිමිදුනේ නැහැ.
විශ්රාම ගැනීමෙන් පසු ඕස්ට්රේලියාවට යාමට (තාවකාලිකව, පෙනී ගිය පරිදි) ධෛර්යය ලැබීම ගැන ජෝර්ජ් රටර්ට සුබ පතමින් ඔහු අවසන් කළේ ඔහුම යැයි පවසමිනි.ලාභ සහ නෙළුම් වැනි පැවැත්මක් සඳහා උදාහරණයක් ලෙස ශ්රී ලංකාවට සංක්රමණය වීම සමඟ සෙල්ලම් කරනු ඇත", නමුත් එය එකතු කළා"දැනට එහි සිදුවන සිදුවීම්වලින් පෙනී යන්නේ ඔහු මෙය නොකළ යුතුව තිබූ බවයි"(පෙනෙන විදිහට තේරුම
ඉතින් පොතේ ගැඹුරේ සැඟවී ඇත්තේ කුමක්ද?
ඉතින් පෝල් ඩිරැක් විසින් ලියන ලද ජර්මානු පොතේ වරක් ඇලන් ටියුරිංට අයත්ව තිබූ පිටපතට මා කළේ කුමක්ද? මම ජර්මන් කියවන්නේ නැහැ, නමුත් මට තියෙනවා
ඩිරැක්ගේ ඉදිරිපත් කිරීමේ ලාලිත්යයට මා සිත් ගත් බව සඳහන් කළ යුතුය. පොත 1931 දී ප්රකාශයට පත් කරන ලද නමුත් එහි පිරිසිදු විධිමත්භාවය (හා, ඔව්, භාෂා බාධකය තිබියදීත්, මට පොතේ ඇති ගණිතය කියවිය හැකි විය) එය අද ලියා ඇති ආකාරයටම සමාන වේ. (මට මෙතනදි ඩිරැක් ගැන වැඩිය අවධාරණය කරන්න අවශ්ය නැහැ, නමුත් මගේ මිත්රයා
නමුත් අපි නැවතත් ටියුරිංට අයත් ඩිරැක්ගේ පොතට යමු. 9 වැනි පිටුවේ, මම පැන්සලෙන් ලියා ඇති මායිම්වල යටි ඉරි සහ කුඩා සටහන් දුටුවෙමි. මම දිගටම පිටු පෙරලුවා. පරිච්ඡේද කිහිපයකට පසු, සටහන් අතුරුදහන් විය. නමුත් හදිසියේම, 127 පිටුවට අමුණා තිබූ සටහනක් මට හමු විය:
එය ජර්මානු භාෂාවෙන් සම්මත ජර්මානු අත් අකුරින් ලියා ඇත. ඒ වගේම ඇයට යම් සම්බන්ධයක් තිබෙන බව පෙනේ
මම පොත දිගේ දිග හැරියෙමි. සටහන් තිබුණේ නැහැ. ඒ වගේම මම හිතුවා මට වෙන කිසිම දෙයක් හොයාගන්න බැරි වෙයි කියලා. නමුත් පසුව, 231 පිටුවේ, මම සන්නාමගත පිටු සලකුණක් සොයා ගතිමි - මුද්රිත පෙළ සමඟ:
මම වෙනත් යමක් සොයා ගැනීම අවසන් කරයිද? මම පොත දිගේ දිග හැරියෙමි. ඉන්පසුව, පොතේ අවසානයේ, 259 පිටුවේ, සාපේක්ෂතාවාදී ඉලෙක්ට්රෝන න්යාය යන කොටසේ, මම පහත සඳහන් දෑ සොයා ගත්තෙමි.
මම මේ කඩදාසි කැබැල්ල දිග හැරියෙමි:
එය කුමක්දැයි මට වහාම වැටහුණි
උදේ ආහාරය අතරතුර පවා, මම ටියුරින්ගේ අත් අකුරු පිළිබඳ උදාහරණ සඳහා අන්තර්ජාලය සෙවූ නමුත්, ගණනය කිරීම් ආකාරයෙන් උදාහරණ සොයා ගැනීමට නොහැකි වූ නිසා, අත් අකුරුවල නිශ්චිත අනන්යතාව ගැන නිගමනයකට එළඹීමට නොහැකි විය. ඒ වගේම ඉක්මනින්ම අපිට යන්න වුණා. පොත පරෙස්සමින් අසුරා ගත් මම, එය කුමන පිටුවක්ද, එය ලිව්වේ කවුද යන අභිරහස හෙළි කිරීමට සූදානම්ව, එය මා සමඟ රැගෙන ගියෙමි.
පොත ගැන
මුලින්ම අපි පොත ගැනම සාකච්ඡා කරමු. "
ඇලන් ටියුරින්ට ඉංග්රීසි නොව ජර්මන් භාෂාවෙන් පොතක් තිබුණේ ඇයි? මම මෙය නිශ්චිතවම නොදනිමි, නමුත් ඒ දිනවල ජර්මානු භාෂාව විද්යාවේ ප්රමුඛ භාෂාව වූ අතර ඇලන් ටියුරින්ට එය කියවිය හැකි බව අපි දනිමු. (සියල්ලට පසු, ඔහුගේ ප්රසිද්ධ නාමයෙන්
ඇලන් ටියුරින් මෙම පොත මිලදී ගත්තේ ඔහු විසින්මද නැතහොත් එය ඔහුට ලබා දුන්නේද? මම දන්නේ නැහැ. ටියුරිංගේ පොතේ ඇතුල් කවරයේ "20/-" පැන්සල් අංකනයක් ඇත, එය "සිලිං 20" සඳහා සම්මත අංකනය වූ අතර එය පවුම් 1 ට සමාන වේ. දකුණු පිටුවේ මකා දැමූ "26.9.30" ඇත, එහි තේරුම 26 සැප්තැම්බර් 1930, සමහරවිට පොත මුලින්ම මිලදී ගත් දිනය විය හැකිය. ඉන්පසුව, දකුණු කෙළවරේ මකා දැමූ අංකය “20” වේ. සමහර විට එය නැවතත් මිල වේ. (මෙය එහි මිල විය හැක
ඇලන් ටියුරිංගේ ජීවිතයේ ප්රධාන දිනයන් දෙස බලමු. ඇලන් ටියුරින්
1920 ගණන්වල සහ 1930 ගණන්වල මුල් භාගයේදී ක්වොන්ටම් යාන්ත්ර විද්යාව උණුසුම් මාතෘකාවක් වූ අතර ඇලන් ටියුරින් නිසැකවම ඒ ගැන උනන්දු විය. ඔහුගේ ලේඛනාගාරයෙන් අපි දනිමු, 1932 දී, පොත ප්රකාශයට පත් වූ වහාම ඔහුට ලැබුණු "
එහෙත්, ටියුරින්ට ඩිරැක්ගේ පොතේ පිටපත ලැබුණේ කවදාද සහ කෙසේද? පොතට නියමිත මිලක් ඇති බැවින්, ටියුරින් එය දෙවන අතින් මිලදී ගෙන ඇත. පොතේ මුල් හිමිකරු කවුද? පොතේ සටහන් මූලික වශයෙන් තාර්කික ව්යුහය සමඟ කටයුතු කරන බව පෙනේ, සමහර තාර්කික සම්බන්ධතා ප්රත්යක්ෂයක් ලෙස ගත යුතු බව සඳහන් කරයි. එවිට 127 පිටුවේ ඇතුළත් සටහන ගැන කුමක් කිව හැකිද?
හොඳයි, සමහර විට එය අහම්බයක් විය හැකිය, නමුත් 127 පිටුවේ - ඩිරැක් ක්වොන්ටම් ගැන කතා කරයි
නමුත් පිටුවේ ඇති දේවලින් උකහා ගැනීමට එතරම් ප්රයෝජනවත් තොරතුරු ඇති බවක් නොපෙනේ. ඔබ පිටුව ආලෝකය දක්වා අල්ලාගෙන සිටින්නේ නම්, එහි කුඩා පුදුමයක් අඩංගු වේ - “Z f. භෞතික. කෙම් බී":
මෙය කෙටි කළ අනුවාදයයි
ඒක තමයි ඒක
231 පිටුවේ පිටු සලකුණ ගැන කුමක් කිව හැකිද? මෙන්න එය දෙපැත්තෙන්ම:
පිටු සලකුණ අමුතු හා තරමක් ලස්සනයි. නමුත් එය සෑදුවේ කවදාද? කේම්බ්රිජ් වල තියෙනවා
මෙම පටිත්තෙහි වැදගත් යතුරක් අඩංගු වේ - මෙය දුරකථන අංකයයි “ටෙල්. 862". එය සිදු වූ පරිදි, 1939 දී කේම්බ්රිජ් (Heffers ඇතුළුව) බොහොමයක් ඉලක්කම් හතරේ අංක වෙත මාරු වූ අතර, නිසැකවම 1940 වන විට පිටු සලකුණු "නවීන" දුරකථන අංක වලින් මුද්රණය විය. (ඉංග්රීසි දුරකථන අංක ක්රමක්රමයෙන් දිගු විය; මම 1960 ගණන්වල එංගලන්තයේ හැදී වැඩෙන විට අපගේ දුරකථන අංක වූයේ "Oxford 56186" සහ "Kidmore End 2378" ය. මට මෙම අංක මතකයට යාමට හේතුව, එය දැන් පවතින අමුතුම නිසාය. එන ඇමතුමකට පිළිතුරු දෙන විට මම නිතරම මගේ අංකයට කතා කළ බවක් නොපෙනේ).
පිටු සලකුණ 1939 දක්වා මෙම ආකෘතියෙන් මුද්රණය කරන ලදී. නමුත් ඊට කොපමණ කලකට පෙරද? අවම වශයෙන් 1912 දක්වා දිවෙන පැරණි හෙෆර්ස් වෙළඳ දැන්වීම්වල ස්කෑන් කිහිපයක් අන්තර්ජාලයේ ඇත (“ඔබගේ ඉල්ලීම් කරුණාකර ඉටු කරන ලෙස අපි ඔබෙන් ඉල්ලා සිටිමු...” සමඟ) ඔවුන් “(පේළි 862)” එකතු කිරීමෙන් “දුරකථන 2” සම්පූර්ණ කරයි. 1904 තරම් ඈත අතීතයේ පොත්වල සොයා ගත හැකි සමාන මෝස්තර සහිත පිටු සලකුණු කිහිපයක් ද ඇත (ඒවා මෙම පොත්වල මුල් ඒවාද යන්න පැහැදිලි නැතත් (එනම් එකවර මුද්රණය කර ඇත). අපගේ විමර්ශනයේ අරමුණු සඳහා, අපට පෙනේ. මෙම පොත 1930 සහ 1939 අතර කාලය තුළ Heffer ගේ (මාර්ගය වන විට, කේම්බ්රිජ් හි ප්රධාන පොත් සාප්පුව වූ) සිට පැමිණි බව නිගමනය කළ හැක.
Lambda Calculus පිටුව
ඉතින් දැන් අපි පොත මිලදී ගත් කාලය ගැන යමක් දනිමු. නමුත් "ලැම්ඩා කැල්කියුලස් පිටුව" ගැන කුමක් කිව හැකිද? මෙය ලියා ඇත්තේ කවදාද? හොඳයි, ස්වාභාවිකවම, ඒ වන විට ලැම්ඩා කැල්කියුලස් දැනටමත් සොයාගෙන තිබිය යුතුය. සහ එය සිදු කරන ලදී
Alan Turing සහ lambda Calculus අතර සංකීර්ණ සම්බන්ධයක් ඇත. 1935 දී, ටියුරින් ගණිතමය මෙහෙයුම්වල "යාන්ත්රිකකරණය" ගැන උනන්දු වූ අතර, මූලික ගණිතයේ ගැටළු විසඳීම සඳහා එය භාවිතා කරමින් ටියුරින් යන්ත්රයක් පිළිබඳ අදහස සොයා ගත්තේය. ටියුරින් මෙම මාතෘකාව පිළිබඳ ලිපියක් ප්රංශ සඟරාවකට යවා ඇත (
නමුත් 1936 මැයි මාසයේදී, ටියුරින්ට ඔහුගේ පත්රිකාව වෙනත් තැනකට යැවීමට පෙර,
ටියුරින් යන්ත්ර සහ ලැම්ඩා කැල්කියුලස් ඒවා නියෝජනය කළ හැකි ගණනය කිරීම් වර්ගවල ඵලදායී ලෙස සමාන වන බව දැකීම අපහසු නැත (එය ආරම්භයකි.
කාලරාමුව ටිකක් පිරවීම සඳහා: 1936 සැප්තැම්බර් සිට 1938 ජූලි දක්වා (1937 ගිම්හානයේ මාස තුනක විවේකයක් සහිතව), ටියුරින් ප්රින්ස්ටන් හි සිටියේය, ඇලන්සෝ පල්ලියේ උපාධිධාරී ශිෂ්යයෙකු වීමේ අරමුණින් එහි ගියේය. ප්රින්ස්ටන්හි මෙම කාල පරිච්ෙඡ්දය තුළදී, ටියුරින් සම්පූර්ණයෙන්ම ගණිතමය තර්කනය කෙරෙහි අවධානය යොමු කළ අතර, කිහිපයක් රචනා කළේය.
ටියුරින් 1938 ජූලි මාසයේදී නැවත කේම්බ්රිජ් වෙත ගිය නමුත් එම වසරේ සැප්තැම්බර් වන විට ඔහු අර්ධකාලීනව සේවය කළේය.
1951 දී ටියුරින් බැරෑරුම් ලෙස ඉගෙනීමට පටන් ගත්තේය
එහෙනම් අපි ආපහු lambda Calculus පිටුවට යමු. අපි එය ආලෝකයට අල්ලාගෙන නැවත දිය සලකුණ බලමු:
එය බ්රිතාන්යයේ නිෂ්පාදිත කඩදාසි කැබැල්ලක් බව පෙනේ, එය ප්රින්ස්ටන් හි භාවිතා කිරීමට ඉඩක් නොතිබුණි. නමුත් අපට එය නිවැරදිව දිනය කළ හැකිද? හොඳයි, උදව්වක් නොමැතිව නොවේ
මෙම පිටුව පවසන්නේ කුමක්ද?
ඉතින්, අපි කඩදාසි කැබැල්ලේ දෙපැත්තේ ඇති දේ දෙස සමීපව බලමු. අපි lambdas සමඟ ආරම්භ කරමු.
තීරණය කිරීමට ක්රමයක් මෙන්න
පිළිතුර ඔව්: ඒ වෙනුවට f අපි ලියනවා Function[a,2a+1]
. සහ Wolfram භාෂාවෙන් Function [a,2a+1][x]
තර්කය x, නිෂ්පාදනය කිරීම සඳහා ශ්රිත යෙදේ 2x+1
. Function[a,2a+1]
යනු 2 න් ගුණ කිරීමේ සහ 1 එකතු කිරීමේ පිරිසිදු ක්රියාකාරිත්වය නියෝජනය කරන "පිරිසිදු" හෝ "නිර්නාමික" ශ්රිතයකි.
එබැවින්, lambda Calculus හි λ යනු නිශ්චිත ප්රතිසමයකි Function[a, 2a + 1]
. (ශ්රිතයක් බව සඳහන් කිරීම වටී, කියන්න, Function[b,2b+1]
සමාන; "බන්ධිත විචල්ය" a හෝ b සරලව ක්රියාකාරී තර්ක ආදේශන වේ - සහ වුල්ෆ්රම් භාෂාවේ විකල්ප පිරිසිදු ශ්රිත නිර්වචන භාවිතා කිරීමෙන් ඒවා වළක්වා ගත හැක. (2# +1)&
).
සාම්ප්රදායික ගණිතයේ දී, ශ්රිත සාමාන්යයෙන් සැලකෙන්නේ යෙදවුම් (උදාහරණයක් ලෙස නිඛිල ද වේ) සහ ප්රතිදාන (උදාහරණයක් ලෙස නිඛිල ද වේ) නියෝජනය කරන වස්තු ලෙස ය. නමුත් මෙය කුමන ආකාරයේ වස්තුවක්ද?
Lambdas යනු පිටුවේ ඇති දේවලින් කොටසක් පමණි. තවත්, ඊටත් වඩා වියුක්ත සංකල්පයක් ඇත - මෙය PI1IIx
? මෙයින් අදහස් කළ හැක්කේ කුමක්ද? අත්යවශ්යයෙන්ම, මෙය සංයෝජන අනුපිළිවෙලක් හෝ සංකේතාත්මක ශ්රිතවල සමහර වියුක්ත සංයුතියකි.
ගණිතයේ තරමක් හුරුපුරුදු ශ්රිතවල සාමාන්ය සුපිරි ස්ථානගත කිරීම වුල්ෆ්රම් භාෂාවෙන් මෙසේ ලිවිය හැකිය: f[g[x]]
- එනම් "අයදුම් කරන්න" f අයදුම් කිරීමේ ප්රතිඵලය වෙත g к x" නමුත් ඇත්තටම මේ සඳහා වරහන් අවශ්යද? Wolfram භාෂාවෙන් f@g@ x
- පටිගත කිරීමේ විකල්ප ආකාරයකි. මෙම පළකිරීමේදී, අපි Wolfram භාෂාවේ නිර්වචනය මත රඳා සිටිමු: @ ක්රියාකරු දකුණු පස සමඟ සම්බන්ධ වී ඇත, එබැවින් f@g@x
සමාන f@(g@x)
.
නමුත් පටිගත කිරීමෙන් අදහස් කරන්නේ කුමක්ද? (f@g)@x
? මෙය සමාන වේ f[g][x]
. සහ නම් f и g ගණිතයේ සාමාන්ය ශ්රිත නම්, එය අර්ථ විරහිත වනු ඇත, නමුත් එසේ නම් f - f[g]
එය හොඳින් යෙදිය හැකි කාර්යයක් විය හැකිය x.
මෙහි තවමත් යම් සංකීර්ණතාවයක් පවතින බව සලකන්න. තුල f[х]
- f එක් තර්කයක කාර්යයකි. සහ f[х]
ලිවීමට සමාන වේ Function[a, f[a]][x]
. නමුත් තර්ක දෙකක් සහිත ශ්රිතයක් ගැන කුමක් කිව හැකිද? f[x,y]
? මෙය මෙසේ ලිවිය හැක Function[{a,b},f[a, b]][x, y]
. නමුත් කුමක් නම් Function[{a},f[a,b]]
? මේ කුමක් ද? මෙහි "නිදහස් විචල්යයක්" ඇත b, එය සරලව ශ්රිතයට සම්මත කර ඇත. Function[{b},Function[{a},f[a,b]]]
මෙම විචල්යය බන්ධනය කර පසුව Function[{b},Function[{a},f [a, b]]][y][x]
දෙනවා f[x,y]
නැවතත්. (ශ්රිතයක් එක් තර්කයක් ඇති වන පරිදි සඳහන් කිරීම නම් තාර්කිකයාට ගෞරවයක් වශයෙන් "කරි කිරීම" ලෙස හැඳින්වේ.
නිදහස් විචල්ය තිබේ නම්, ශ්රිත නිර්වචනය කළ හැකි ආකාරය පිළිබඳ විවිධ සංකීර්ණතා ඇත, නමුත් අප අපවම වස්තුවලට සීමා කරන්නේ නම්
සංයෝජකයින්ට දිගු ඉතිහාසයක් ඇත. ඒවා මුලින්ම යෝජනා කළේ 1920 දී ශිෂ්යයෙකු විසින් බව දන්නා කරුණකි
ඒ කාලේ ප්රකාශන පාවිච්චි කරන්න අවශ්ය නැහැ කියලා හොයාගත්තේ බොහොම මෑතකදියි Or[a,b]
පෝරමය ගනීවි
ඔහු එස් සහ කේ යන "සංයෝජක" දෙකක් ඉදිරිපත් කළේය. වුල්ෆ්රම් භාෂාවෙන් මෙය මෙසේ ලියනු ලැබේ.
K[x_][y_] → x සහ S[x_][y_][z_] → x[z][y[z]].
ඕනෑම ගණනය කිරීමක් සිදු කිරීම සඳහා මෙම සංයෝජන දෙක භාවිතා කිරීමට හැකි වීම කැපී පෙනේ. උදාහරණ වශයෙන්,
S[K[S]][S[K[S[K[S]]]]][S[K[K]]]]
පූර්ණ සංඛ්යා දෙකක් එකතු කිරීමට ශ්රිතයක් ලෙස භාවිතා කළ හැක.
මේ සියල්ල අවම වශයෙන් කිව යුතු වියුක්ත වස්තු වේ, නමුත් ටියුරින් යන්ත්ර සහ ලැම්ඩා කැල්කියුලස් යනු කුමක්දැයි දැන් අපට වැටහෙන විට, Schoenfinkel සංයෝජකයින් විශ්වීය පරිගණකකරණය පිළිබඳ සංකල්පය සැබවින්ම අපේක්ෂා කළ බව අපට දැකගත හැකිය. (තවද වඩාත් කැපී පෙනෙන දෙය නම්, S සහ K හි 1920 නිර්වචන අවම වශයෙන් සරල වන අතර එය සිහිගන්වයි.
නමුත් අපි අපේ කොළ සහ රේඛාව වෙත ආපසු යමු PI1IIx. මෙහි ලියා ඇති සංකේත සංයෝජක වන අතර ඒවා සියල්ලම නිර්මාණය කර ඇත්තේ ශ්රිතයක් නියම කිරීමටය. මෙහි නිර්වචනය නම් ශ්රිතවල අධි ස්ථානගත කිරීම ආශ්රිතව ඉතිරි කළ යුතු බවයි fgx f@g@x හෝ f@(g@x) හෝ f[g[x]] ලෙස අර්ථ දැක්විය යුතු නැත, නමුත් (f@g)@x හෝ f[g][x] ලෙස අර්ථ දැක්විය යුතුය. මෙම ප්රවේශය Wolfram භාෂාවෙන් භාවිතයට පහසු පෝරමයකට පරිවර්තනය කරමු: PI1IIx පෝරමය ගනීවි p[i][එක][i][i][x].
ඇයි එහෙම දෙයක් ලියන්නේ? මෙය පැහැදිලි කිරීම සඳහා, අපි පල්ලියේ අංක පිළිබඳ සංකල්පය (ඇලෝන්සෝ පල්ලියේ නමින් නම් කර ඇත) සාකච්ඡා කළ යුතුය. අපි හිතමු අපි වැඩ කරන්නේ සංකේත සහ ලැම්ඩාස් හෝ සංයෝජන සමඟ පමණයි. නිඛිල නියම කිරීමට ඒවා භාවිතා කිරීමට ක්රමයක් තිබේද?
කොහොමද අපි නිකන් නම්බර් එක කිව්වොත් n අනුරූප වේ Function[x, Nest[f,x,n]]
? නැතහොත්, වෙනත් වචනවලින් කිවහොත්, එය (කෙටි අංකනයකින්):
1 වේ f[#]&
2 වේ f[f[#]]&
3 වේ f[f[f[#]]]&
සහ යනාදි.
මේ සියල්ල මඳක් නොපැහැදිලි බවක් පෙනෙන්නට ඇත, නමුත් එය සිත්ගන්නා හේතුව නම්, පූර්ණ සංඛ්යා වැනි දෙයක් ගැන පැහැදිලිව කථා නොකර සෑම දෙයක්ම සම්පූර්ණයෙන්ම සංකේතාත්මක හා වියුක්ත කිරීමට එය අපට ඉඩ සලසයි.
මෙම සංඛ්යා නියම කිරීමේ ක්රමය සමඟ, සිතන්න, උදාහරණයක් ලෙස, සංඛ්යා දෙකක් එකතු කිරීම: 3 ලෙස නිරූපණය කළ හැකිය. f[f[f[#]]]&
සහ 2 වේ f[f[#]]&
. ඒවායින් එකක් අනෙකට යෙදීමෙන් ඔබට ඒවා එකතු කළ හැකිය:
නමුත් වස්තුව කුමක්ද? f? එය ඕනෑම දෙයක් විය හැකිය! එක් අර්ථයකින් ගත් කල, "ලැම්බඩා වෙත යන්න" සහ ගන්නා ශ්රිත භාවිතයෙන් සංඛ්යා නියෝජනය කරන්න f තර්කයක් ලෙස. වෙනත් වචන වලින් කිවහොත්, අපි 3 නියෝජනය කරමු, උදාහරණයක් ලෙස, ලෙස Function[f,f[f[f[#]]] &]
හෝ Function[f,Function[x,f[f[f[x]]]]
. (ඔබට විචල්යයන් නම් කිරීමට අවශ්ය වන්නේ කවදාද සහ කෙසේද යන්න ලැම්ඩා කැල්කියුලස් හි rub වේ).
ටියුරිංගේ 1937 පත්රිකාවේ කොටසක් සලකා බලන්න
පටිගත කිරීම ටිකක් අවුල් සහගත විය හැකි ස්ථානය මෙයයි. x ටියුරින් අපේ ය f, සහ ඔහුගේ x’ (අකුරු ලියන්නා හිස්තැනක් ඇතුළු කිරීමෙන් වැරැද්දක් කර ඇත) - මෙය අපගේ ය x. නමුත් මෙහිදී භාවිතා වන්නේ හරියටම එම ප්රවේශයයි.
ඉතින් අපි බලමු කඩදාසියේ ඉදිරිපස ඇති නැමීමෙන් පසුව රේඛාව දෙස. මෙය I1IIYI1IIx. Wolfram Language අංකනයට අනුව, මෙය වනු ඇත i[one][i][i][y][i][one][i][i][x]
. නමුත් මෙහි i යනු අනන්යතා ශ්රිතය, එසේ ය i[one]
එය සරලව පෙන්වයි එක්. මේ අතර, එක් 1 හෝ සඳහා පල්ලියේ සංඛ්යාත්මක නියෝජනය වේ Function[f,f[#]&]
. නමුත් මෙම නිර්වචනය සමඟ one[а]
පත්වෙමින් තිබේ a[#]&
и one[a][b]
පත්වෙමින් තිබේ a[b]
. (ඒ කෙසේ වුවත්, i[а][b]
, හෝ Identity[а][b]
ද වේ а[b]
).
සඳහා ප්රතිස්ථාපන නීති ලියා ඇත්නම් එය වඩාත් පැහැදිලි වනු ඇත i и එක්, ලැම්ඩා කැල්කියුලස් කෙලින්ම යෙදීම වෙනුවට. ප්රතිඵලය සමාන වනු ඇත. මෙම නීති පැහැදිලිව යොදන්න, අපට ලැබෙන්නේ:
මෙය පළමු සංක්ෂිප්ත ප්රවේශයේ ඉදිරිපත් කර ඇති ආකාරයටම වේ:
දැන් අපි නැවතත් කොළය දෙස බලමු, එහි මුදුනේ:
මෙහි තරමක් ව්යාකූල සහ ව්යාකූල වස්තු "E" සහ "D" ඇත, නමුත් මේවායින් අපි අදහස් කරන්නේ "P" සහ "Q", එබැවින් අපට ප්රකාශනය ලියා එය ඇගයීමට හැකිය (මෙහි බව සලකන්න - යම් ව්යාකූලත්වයකින් පසුව අවසාන සංකේතය - "අභිරහස් විද්යාඥයා" ශ්රිතයේ යෙදුම නියෝජනය කිරීමට […] සහ (...) තබයි:
ඉතින් මේක තමයි පෙන්නපු පළවෙනි කෙටි යෙදුම. තවත් බැලීමට, Q සඳහා අර්ථ දැක්වීම් පේනුගත කරමු:
පහත දැක්වෙන අඩු කිරීම හරියටම අපට ලැබේ. අපි P සඳහා ප්රකාශන ආදේශ කළහොත් කුමක් සිදුවේද?
මෙන්න ප්රතිඵලය:
දැන්, i යනු තර්කයම ප්රතිදානය කරන ශ්රිතයක් බව භාවිතා කරමින්, අපට ලැබෙන්නේ:
අපොයි! නමුත් මෙය ඊළඟ වාර්තාගත රේඛාව නොවේ. මෙහි වරදක් තිබේද? අපැහැදිලි. මක්නිසාද යත්, අනෙක් බොහෝ අවස්ථාවන් මෙන් නොව, ඊළඟ පේළිය පෙර පේළියෙන් පහත දැක්වෙන ඊතලයක් නොමැත.
මෙහි පොඩි අභිරහසක් ඇත, නමුත් අපි පත්රයේ පතුලට යමු:
මෙහි 2 යනු පල්ලියේ අංකය, උදාහරණයක් ලෙස, රටාව අනුව තීරණය වේ two[a_] [b_] → a[a[b]]
. a ලෙස සලකන්නේ නම් මෙය ඇත්ත වශයෙන්ම දෙවන පේළියේ ස්වරූපය බව සලකන්න Function[r,r[р]]
и b ආකාරය q. එබැවින් ගණනය කිරීමේ ප්රතිඵලය පහත පරිදි වනු ඇතැයි අපි අපේක්ෂා කරමු:
කෙසේ වෙතත්, ඇතුළත ප්රකාශනය а[b]
x ලෙස ලිවිය හැකිය (පෙර කඩදාසි කැබැල්ලේ ලියා ඇති x ට වඩා වෙනස් විය හැකිය) - අවසානයේ අපට අවසාන ප්රතිඵලය ලැබේ:
ඉතින්, අපට මෙම කඩදාසි කැබැල්ලේ සිදුවෙමින් පවතින දේ ගැන ස්වල්පයක් තේරුම් ගත හැකිය, නමුත් අවම වශයෙන් තවමත් ඉතිරිව ඇති එක් අභිරහසක් වන්නේ Y යනු කුමක්ද යන්නයි.
ඇත්ත වශයෙන්ම, සංයෝජන තර්කනය තුළ සම්මත Y-combinator එකක් ඇත: ඊනියා
වර්තමානයේ, Y-combinator ප්රසිද්ධියට පත් වී ඇත
Y සංයුක්තකාරකය (ස්ථාවර ලක්ෂ්ය සංයෝජනයක් ලෙස) කිහිප වතාවක්ම නිර්මාණය කර ඇත. ටියුරින් 1937 දී එය ක්රියාත්මක කිරීමට ඉදිරිපත් වූ අතර එය ඔහු Θ ලෙස හැඳින්වීය. නමුත් අපගේ පිටුවේ ඇති "Y" අක්ෂරය ප්රසිද්ධ ස්ථාවර ලක්ෂ්ය සංයෝජනයක්ද? සමහරවිට නැහැ. ඉතින් අපේ "Y" යනු කුමක්ද? මෙම කෙටි යෙදුම සලකා බලන්න:
නමුත් Y යනු කුමක්ද යන්න නිසැකව තීරණය කිරීමට මෙම තොරතුරු පැහැදිලිවම ප්රමාණවත් නොවේ.Y ක්රියාත්මක වන්නේ එක් තර්කයකින් පමණක් නොවන බව පැහැදිලිය. අවම වශයෙන් තර්ක දෙකක්වත් සම්බන්ධ වී ඇති බව පෙනේ, නමුත් එය ආදානය ලෙස කොපමණ තර්ක ප්රමාණයක් ගනීද සහ එය කරන්නේ කුමක්ද යන්න පැහැදිලි නැත (අවම වශයෙන් මට).
අවසාන වශයෙන්, අපට පත්රිකාවේ බොහෝ කොටස් තේරුම් ගත හැකි වුවද, ගෝලීය පරිමාණයෙන් එය සිදු කළේ කුමක්ද යන්න පැහැදිලි නැති බව අප පැවසිය යුතුය. මෙහි ඇති පත්රයේ ඇති දේ සම්බන්ධයෙන් බොහෝ පැහැදිලි කිරීම් තිබුණද, එය ලැම්ඩා කැල්කියුලස් සහ සංයෝජන භාවිතා කිරීමේදී ඉතා මූලික වේ.
අනුමාන වශයෙන් මෙය සරල "වැඩසටහනක්" නිර්මාණය කිරීමේ උත්සාහයකි - යමක් කිරීමට ලැම්ඩා කලනය සහ සංයෝජන භාවිතා කිරීම. නමුත් මෙය ප්රතිලෝම ඉංජිනේරු විද්යාවේ සාමාන්ය දෙයක් වන තරමට, එම “යමක්” කුමක් විය යුතුද සහ සමස්ත “පැහැදිලි කළ හැකි” ඉලක්කය කුමක්දැයි කීමට අපට අපහසුය.
මෙහි අදහස් දැක්වීමට වටින තවත් එක් අංගයක් පත්රයේ ඉදිරිපත් කර ඇත - විවිධ ආකාරයේ වරහන් භාවිතා කිරීම. සාම්ප්රදායික ගණිතය බොහෝ විට සෑම දෙයකටම වරහන් භාවිතා කරයි - සහ ක්රියාකාරී යෙදුම් (වළඳ f (x)), සහ සාමාජිකයින්ගේ කණ්ඩායම් (ලෙස (1+x) (1-x), හෝ, අඩු පැහැදිලිවම, a(1-x)) (Wolfram Language හි, අපි වරහන් වල විවිධ භාවිතයන් - ශ්රිත නිර්වචනය කිරීම සඳහා වර්ග වරහන් වලින් වෙන් කරමු. f [x]
- සහ වරහන් භාවිතා කරනු ලබන්නේ කණ්ඩායම් කිරීම සඳහා පමණි).
lambda calculus මුලින්ම දර්ශනය වූ විට, වරහන් භාවිතය පිළිබඳ බොහෝ ප්රශ්න තිබුණි. ඇලන් ටියුරින් පසුව සම්පූර්ණ (ප්රකාශයට පත් නොකළ) කෘතියක් ලියයි
ඔහු එසේ කීවේය f, වෙත යොදන ලදී g, ලිවිය යුතුය {f}(g), නම් පමණි f එකම චරිතය නොවේ, මේ අවස්ථාවේ දී එය විය හැකිය f(g). එවිට ඔහු ලැම්ඩා (ලෙස Function[a, b]
) λ ලෙස ලිවිය යුතුය a[b] හෝ, විකල්ප වශයෙන්, λ a.b.
කෙසේ වෙතත්, සමහර විට 1940 වන විට විවිධ වස්තු නියෝජනය කිරීම සඳහා {...} සහ […] භාවිතා කිරීමේ සම්පූර්ණ අදහස අත්හැර දමා ඇත, බොහෝ දුරට සම්මත ගණිතමය ශෛලියේ වරහන් සඳහා පක්ෂව.
පිටුවේ ඉහළ කොටස බලන්න:
මෙම ස්වරූපයෙන් එය තේරුම් ගැනීමට අපහසුය. පල්ලියේ නිර්වචනවල, සමූහගත කිරීම සඳහා වර්ග වරහන් අදහස් කර ඇති අතර, කාල සීමාව වෙනුවට විවෘත වරහනක් ඇත. මෙම නිර්වචනය භාවිතා කිරීමෙන්, අවසානයේ දී වරහන් තුළ කොටා ඇති Q (අවසානයේ D ලෙස ලේබල් කරන ලද) සම්පූර්ණ ආරම්භක ලැම්ඩාව අදාළ වන බව පැහැදිලි වේ.
මෙහි ඇති හතරැස් වරහන ඇත්ත වශයෙන්ම ලැම්ඩාගේ ශරීරය සීමා නොකරයි; ඒ වෙනුවට, එය ඇත්ත වශයෙන්ම ශ්රිතයේ වෙනත් භාවිතයක් නියෝජනය කරන අතර, ලැම්ඩාගේ ශරීරය අවසන් වන්නේ කොතැනින්ද යන්න පිළිබඳ පැහැදිලි ඇඟවීමක් නොමැත. අවසානයේදී, "අභිරහස් විද්යාඥයා" විසින් සංවෘත හතරැස් වරහන වටකුරු වරහනකට වෙනස් කර ඇති අතර, එමගින් පල්ලියේ නිර්වචනය ඵලදායි ලෙස අදාළ කර ඇති බව දැකගත හැකිය - සහ එමඟින් ප්රකාශනය පත්රයේ පෙන්වා ඇති පරිදි ගණනය කිරීමට බල කරයි.
ඉතින් මේ කුඩා කෑල්ලෙන් අදහස් කරන්නේ කුමක්ද? මම සිතන්නේ මෙම පිටුව ලියා ඇත්තේ 1930 ගණන්වල හෝ වැඩි කලකට පසුව නොවන බවයි, මන්ද වරහන් සඳහා වූ සම්මුතීන් ඒ වන විටත් සමථයකට පත් වී නොතිබුණි.
එසේනම් මෙය කාගේ අත්අකුරුද?
ඉතින්, මෙයට පෙර අපි පිටුවේ ලියා ඇති දේ ගැන කතා කළෙමු. නමුත් ඇත්ත වශයෙන්ම එය ලිව්වේ කවුද?
මෙම භූමිකාව සඳහා වඩාත්ම පැහැදිලි අපේක්ෂකයා වනු ඇත්තේ ඇලන් ටියුරින් විසින්ම ය, මන්ද, සියල්ලට පසු, පිටුව ඔහුගේ පොත තුළ විය. අන්තර්ගතය සම්බන්ධයෙන් ගත් කල, ඇලන් ටියුරින්ට එය ලිවිය හැකිය යන අදහස සමඟ නොගැලපෙන කිසිවක් නොමැති බව පෙනේ - 1936 මුල් භාගයේදී පල්ලියේ පත්රිකාව ලැබීමෙන් පසු ඔහු පළමු වරට ලැම්ඩා කලනය සමඟ ග්රහණය කර ගන්නා විට පවා.
අත් අකුරු ගැන කුමක් කිව හැකිද? එය ඇලන් ටියුරින්ට අයත්ද? ඇලන් ටියුරින් විසින් ලියා ඇති බව අප නිසැකවම දන්නා ඉතිරිව ඇති උදාහරණ කිහිපයක් දෙස බලමු:
ඉදිරිපත් කර ඇති පාඨය පැහැදිලිවම වෙනස් ලෙස පෙනේ, නමුත් පෙළෙහි භාවිතා කරන ලද අංකනය ගැන කුමක් කිව හැකිද? අවම වශයෙන්, මගේ මතය අනුව, එය එතරම් පැහැදිලිව පෙනෙන්නේ නැත - සහ දැනට පවතින සාම්පල (ලේඛනාගාරයේ ඉදිරිපත් කර ඇති) ලියා ඇති නිසා, “මතුපිටින්” ලියා ඇති නිසා යම් වෙනසක් සිදු විය හැකි යැයි කෙනෙකුට උපකල්පනය කළ හැකිය. , අපේ පිටුව හරියටම චින්තනයේ කාර්යයේ පිළිබිඹුවකි.
ටියුරිංගේ ලේඛනාගාරයේ ඔහු ලියූ පිටුවක් තිබීම අපගේ විමර්ශනයට පහසු විය
මට මෙය තවදුරටත් ගවේෂණය කිරීමට අවශ්ය වූ බැවින් මම සාම්පල යැව්වෙමි
මට තවම සම්පූර්ණයෙන්ම ඒත්තු ගොස් නැත, නමුත් වෙනත් විකල්ප දෙස බැලීමට කාලය පැමිණ ඇති බව මම තීරණය කළෙමි.
ඉතින් ටියුරින් එය ලියා නැති බව පෙනී ගියහොත්, එසේ කළේ කවුද? නෝමන් රවුට්ලෙජ් මට කීවේ තමාට පොත ලැබුනේ ටියුරිංගේ විධායකයා වූ රොබින් ගාන්ඩිගෙන් බවයි. එබැවින් මම ගාන්ධිගෙන් "සී" සාම්පලයක් යැව්වෙමි:
නමුත් ෂීලාගේ මූලික නිගමනය වූයේ සාම්පල තුන විවිධ පුද්ගලයන් තිදෙනෙකු විසින් ලියා ඇති බවයි, නැවතත් "B" සාම්පල පැමිණියේ "වේගවත්ම චින්තකයා—ප්රශ්නවලට අසාමාන්ය විසඳුම් සෙවීමට වඩාත් කැමැත්තෙන් සිටින තැනැත්තා" (ටියුරිංගේ 1920 ගණන්වල පාසල් පැවරුම්වල සිටි සෑම කෙනෙකුම ඔහුගේ අත් අකුරු ගැන කොපමණ පැමිණිලි කළත්, නූතන අත් අකුරු විශේෂඥයෙකු ටියුරිංගේ අත් අකුරු පිළිබඳ මෙම තක්සේරුව ලබා දීම මට ප්රබෝධමත් බවක් දැනේ.)
හොඳයි, මේ අවස්ථාවේදී ටියුරින් සහ ගාන්ධි යන දෙදෙනාම "සැකකරුවන්" ලෙස බැහැර කර ඇති බවක් පෙනෙන්නට තිබුණි. එසේනම් මෙය ලිවිය හැක්කේ කාටද? ටියුරිං ඔහුගේ පොත ලබා දෙන්නට ඇති අය ගැන මම සිතන්නට පටන් ගතිමි. ඇත්ත වශයෙන්ම, ඔවුන්ට ලැම්ඩා කැල්කියුලස් භාවිතයෙන් ගණනය කිරීම් කිරීමටද හැකි විය යුතුය.
කඩදාසියේ ඇති දිය සලකුණ අනුව එම පුද්ගලයා කේම්බ්රිජ් හෝ අඩුම තරමින් එංගලන්තයේ විය යුතු යැයි මම උපකල්පනය කළෙමි. 1936 හෝ ඊට වැඩි කාලයක් මෙය ලිවීමට හොඳ කාලයක් බව මම වැඩ කරන කල්පිතයක් ලෙස ගත්තෙමි. එතකොට ටියුරින් ඒ කාලේ දැනගෙන සන්නිවේදනය කළේ කවුද? මෙම කාලය සඳහා, අපි කිංග්ස් විද්යාලයේ සියලුම සිසුන්ගේ සහ ගණිතය ගුරුවරුන්ගේ ලැයිස්තුවක් ලබාගෙන ඇත්තෙමු. (13 සිට 1930 දක්වා ඉගෙන ගත් සිසුන් 1936 දෙනෙක් සිටියහ.)
ඔවුන්ගෙන් වඩාත්ම පොරොන්දු වූ අපේක්ෂකයා පෙනෙන්නට තිබුණි
1937 දී, ඔහු ඩිරැක්ගේ පොතේ සඳහන් කර ඇති පරිදි ඩිරැක්ගේ ගැමා න්යාස පවා විසඳා ගැනීමට භාවිතා කළේය.
ගණිතය හැදෑරීමට පටන් ගත් පසු, Champernowne බලපෑමට ලක් විය
නමුත් මට Champernowne ගේ අත් අකුරු සාම්පලයක් සොයාගත හැක්කේ කොහෙන්ද? මම ඉක්මනින්ම ඔහුගේ පුත් ආතර් චැම්පර්නවුන්ව LinkedIn හි සොයා ගත්තෙමි, ඔහු, අමුතු තරම්, ගණිතමය තර්කනය පිළිබඳ උපාධියක් ලබා ඇති අතර මයික්රොසොෆ්ට් හි සේවය කළේය. ඔහු සංයෝජන ගැන සඳහන් නොකළත්, ටියුරිංගේ වැඩ ගැන ඔහුගේ පියා ඔහු සමඟ තරමක් කතා කළ බව ඔහු පැවසීය. ඔහු මට ඔහුගේ පියාගේ අත් අකුරු සාම්පලයක් එව්වා (ඇල්ගොරිතම සංගීත සංයුතිය පිළිබඳ ඛණ්ඩයක්):
අත් අකුරු නොගැලපෙන බව ඔබට වහාම පැවසිය හැකිය (චැම්පර්නවුන්ගේ අත් අකුරු වල f අකුරු වල රැලි සහ වලිග ආදිය)
එසේනම් ඒ වෙන කවුරුන් විය හැකිද? මම හැම විටම අගය කළා
නිව්මන්ගේ අත් අකුරු වල නියැදියක් සොයා ගැනීම අපහසු නොවීය - නැවතත්, නැත, අත් අකුරු අනිවාර්යයෙන්ම නොගැලපේ.
පොතේ "ට්රේස්"
එබැවින්, අත් අකුරු හඳුනාගැනීමේ අදහස අසාර්ථක විය. ඒ වගේම මම තීරණය කළා ඊළඟ පියවර තමයි මම අතේ තියාගෙන හිටපු පොතේ ඇත්තටම වෙන්නේ මොකක්ද කියලා ටිකක් විස්තරාත්මකව සොයා ගැනීමට උත්සාහ කිරීම.
ඉතින් මුලින්ම, නෝමන් රට්ලෙජ් සමඟ දිගු කතාව කුමක්ද? ඔහු 1946 දී කේම්බ්රිජ් හි කිංග්ස් විද්යාලයට ඇතුළත් වූ අතර ටියුරින් (ඔව්, ඔවුන් දෙදෙනාම සමලිංගිකයෝ) හමුවිය. ඔහු 1949 දී විද්යාලයෙන් උපාධිය ලබා ගත් අතර, පසුව ටියුරින් ඔහුගේ උපදේශකයා සමඟින් ඔහුගේ ආචාර්ය උපාධි නිබන්ධනය ලිවීමට පටන් ගත්තේය. ඔහු ගණිතමය තර්කනය සහ පුනරාවර්තන න්යාය මත වැඩ කරමින් 1954 දී සිය ආචාර්ය උපාධිය ලබා ගත්තේය. ඔහු කිංග්ස් විද්යාලයට පුද්ගලික ශිෂ්යත්වයක් ලබා ගත් අතර 1957 වන විට එහි ගණිත අංශයේ ප්රධානියා බවට පත්විය. ඔහුට මෙය ඔහුගේ මුළු ජීවිත කාලයම කළ හැකිව තිබූ නමුත් ඔහුට පුළුල් අවශ්යතා (සංගීතය, කලාව, ගෘහ නිර්මාණ ශිල්පය, විනෝදාත්මක ගණිතය, පෙළපත් ආදිය) තිබුණි. 1960 දී ඔහු තම අධ්යයන දිශාව වෙනස් කර ඊටන් හි ගුරුවරයෙකු බවට පත් වූ අතර එහිදී (මා ද ඇතුළුව) පරම්පරා ගණනාවක් වැඩ කළ (සහ අධ්යයනය කළ) ඔහුගේ සාරාංශික සහ සමහර විට අමුතු දැනුමට නිරාවරණය විය.
මෙම අද්භූත පිටුව නෝමන් රූට්ලෙජ් විසින්ම ලියා තිබිය හැකිද? ඔහු ලැම්ඩා කැල්කියුලස් දැන සිටියේය (නමුත්, අහම්බෙන්, අපි 2005 දී තේ බොන විට ඔහු එය සඳහන් කළේ එය සැමවිටම "ව්යාකූල" වූ බව ය). කෙසේ වෙතත්, ඔහුගේ ලාක්ෂණික අත් අකුරු වහාම "අභිරහස් විද්යාඥයෙකු" ලෙස ඔහුව බැහැර කරයි.
පිටුව කෙසේ හෝ නෝර්මන් ශිෂ්යයෙකුට සම්බන්ධ කළ හැකිද, සමහර විට ඔහු තවමත් කේම්බ්රිජ් හි සිටියදී? මම සැක කරනවා. මොකද මම හිතන්නේ නෝමන් කවදාවත් ලැම්ඩා කලනය හෝ ඒ වගේ දෙයක් හදාරලා නැහැ. මෙම ලිපිය ලියන අතරතුර, නෝමන් 1955 දී "ඉලෙක්ට්රොනික් පරිගණක" මත තර්කනය නිර්මාණය කිරීම (සහ සංයෝජන සාමාන්ය ආකෘති නිර්මාණය කිරීම, දැන් ගොඩනඟන ලද ශ්රිතය සිදු කරන පරිදි, ලිපියක් ලියා ඇති බව මම සොයා ගතිමි.
පොත ඇතුලේ නෝමන් ගේ සටහන තව ටිකක් සමීපව කියවමු. අපි දකින පළමු දෙය නම් ඔහු කතා කරන්නේ "මියගිය පුද්ගලයාගේ පුස්තකාලයෙන් පොත් පිරිනැමීම" 1954 දී ටියුරින් මිය ගොස් ටික කලකට පසු නෝමන් හට පොත ලැබුණු බවත් ගාන්ධි එය සැලකිය යුතු කාලයක් තිස්සේ අතුරුදහන් වී ඇති බවත් යෝජනා කරමින් මිනිසා මිය ගිය පසු සියල්ල ඉක්මනින් සිදු වූ බව වචන වලින් පෙනේ. නෝමන් තවදුරටත් පවසන්නේ ඔහුට සැබවින්ම ශුද්ධ ගණිතය පිළිබඳ පොත් හතරක් සහ න්යායාත්මක භෞතික විද්යාව පිළිබඳ පොත් හතරක් ලැබුණු බවයි.
ඊට පස්සේ කිව්වා දෙනවා කියලා"තවත් එකක් භෞතික විද්යා පොතකින් (ආකාරයේ,
ඊටත් එක්කන් යාලුවෙකුගේ පෙරැත්තයක් නොවන්නට මට කිසිදාක මේ සමාජයට බැඳෙන්නට හෝ මේ පොත ලැබෙන්නේ නැති බවද කිව යුතුය.
නමුත් ඕනෑම අවස්ථාවක, පුළුල් පරාසයක අධ්යයන දිනයන් සමඟ Sebag-Montefiore යන වාසගම සමඟ ලැයිස්තුගත කර ඇත්තේ පස් දෙනෙකු පමණි. එය සුදුසු බව තේරුම් ගැනීමට අපහසු නොවීය
හරි, ටියුරින්ග්ගෙන් නෝමන් ලබාගත් අනෙකුත් පොත් ගැන කුමක් කිව හැකිද? ඔවුන්ට සිදුවූයේ කුමක්දැයි සොයා ගැනීමට වෙනත් මාර්ගයක් නොතිබූ මම නෝමන්ගේ කැමැත්ත පිටපතක් ඇණවුම් කළෙමි. කැමැත්තෙහි අවසාන වගන්තිය පැහැදිලිවම නෝමන්ගේ ශෛලිය තුල විය:
නෝමන්ගෙ පොත් කිංග්ස් කොලේජ් එකේ දාල යන්න කියල කැමැත්තෙ තිබුන. ඔහුගේ සම්පූර්ණ පොත් එකතුව කොතැනකවත් සොයාගත නොහැකි බව පෙනෙන්නට තිබුණද, ඔහු සිය සටහනේ සඳහන් කළ ටියුරිංගේ ශුද්ධ ගණිතය පිළිබඳ පොත් දෙක දැන් නිසි පරිදි කිංග්ස් කොලේජ් පුස්තකාලයේ ගබඩා කර ඇත.
ඊළඟ ප්රශ්නය: ටියුරිංගේ අනෙකුත් පොත්වලට මොකද වුණේ? මම ටියුරිංගේ කැමැත්ත දෙස බැලුවෙමි, එය ඔවුන් සියල්ලන්ම රොබින් ගාන්ඩිට භාර දුන්නේය.
ගාන්ධි කේම්බ්රිජ් හි කිංග්ස් විද්යාලයේ ගණිත ශිෂ්යයෙකු වූ අතර 1940 දී ඔහුගේ විද්යාලයේ අවසන් වසරේ ඇලන් ටියුරින් සමඟ මිතුරු විය. යුද්ධය ආරම්භයේදී ගාන්ධි ගුවන් විදුලියේ සහ රේඩාර්වල සේවය කළ නමුත් 1944 දී ඔහු ටියුරින්ගේ එම ඒකකයටම අනුයුක්ත කර කථන සංකේතනය පිළිබඳ කටයුතු කළේය. යුද්ධයෙන් පසු ගාන්ධි නැවත කේම්බ්රිජ් වෙත පැමිණ, ඉක්මනින් ආචාර්ය උපාධිය ලබා ගත් අතර, ටියුරින් ඔහුගේ උපදේශකයා බවට පත්විය.
හමුදාවේ ඔහු කළ සේවය පෙනෙන විදිහට ඔහු භෞතික විද්යාව කෙරෙහි උනන්දුවක් ඇති කිරීමට හේතු වූ අතර 1952 දී නිම කරන ලද ඔහුගේ නිබන්ධනයට හිමි විය.
ගාන්ධි නිබන්ධනයේ ටියුරින් ගැන කිහිප වතාවක්ම සඳහන් කරයි, හැඳින්වීමේදී ඔහු A. M. Turing හට ණයගැති බව සඳහන් කරයි.මුලින්ම ඔහුගේ අවධානය යොමු නොවූයේ පල්ලියේ ගණනය කෙරෙහි ය” (එනම් lambda Calculus), ඇත්ත වශයෙන්ම ඔහුගේ නිබන්ධනයට lambda සාධන කිහිපයක් ඇත.
ඔහුගේ නිබන්ධනය ආරක්ෂා කිරීමෙන් පසුව, ගාන්ධි පිරිසිදු ගණිතමය තර්කනයකට යොමු වූ අතර දශක තුනකට වැඩි කාලයක් වසරකට එක බැගින් ලිපි ලිවූ අතර, මෙම ලිපි ජාත්යන්තර ගණිතමය තර්කනයේ ප්රජාව තුළ ඉතා සාර්ථකව උපුටා ගන්නා ලදී. ඔහු 1969 දී ඔක්ස්ෆර්ඩ් වෙත පදිංචියට ගිය අතර, මට ඒ ගැන මතකයක් නොතිබුණද, මගේ තරුණ අවධියේදී මට ඔහුව මුණගැසෙන්නට ඇතැයි මම සිතමි.
ගාන්ධි පෙනෙන විදිහට ටියුරිංව බොහෝ සෙයින් පිළිරූ අතර පසුකාලීනව ඔහු ගැන නිතර කතා කළේය. මෙය ටියුරිංගේ කෘතිවල සම්පූර්ණ එකතුව පිළිබඳ ප්රශ්නය මතු කරයි. ටියුරින්ගේ මරණයෙන් ටික කලකට පසු, සාරා ටියුරින් සහ මැක්ස් නිව්මන් ගාන්ධිගෙන් ඉල්ලා සිටියේ - ඔහුගේ විධායක නිලධාරියා ලෙස - ටියුරිංගේ ප්රකාශයට පත් නොකළ කෘති ප්රකාශයට පත් කිරීමට කටයුතු කරන ලෙසයි. අවුරුදු ගෙවී ගිය අතර
ගාන්ධි 1995 දී මිය ගියේ නිම කරන ලද කෘති එකතු නොකරමිනි.
නමුත් ටියුරින්ට පෞද්ගලිකව අයිති පොත් ගැන කුමක් කිව හැකිද? ඔවුන් සොයා ගැනීමට දිගටම උත්සාහ කරමින්, මගේ ඊළඟ නැවතුම වූයේ ටියුරින් පවුල සහ විශේෂයෙන් ටියුරිංගේ සහෝදරයාගේ බාල පුතා,
එබැවින් මම නැවත කැමැත්ත කියවීමට ගිය අතර ගාන්ධිගේ විධායකයා ඔහුගේ ශිෂ්ය මයික් යේට්ස් බව සොයා ගතිමි. මයික් යේට්ස් මීට වසර 30 කට පෙර මහාචාර්යවරයෙකු ලෙස විශ්රාම ගොස් දැන් උතුරු වේල්ස් හි ජීවත් වන බව මම දැන සිටියෙමි. ඔහු ගණිතමය තර්කනය සහ පරිගණක න්යාය මත වැඩ කළ දශක කිහිපය තුළ ඔහු කිසි විටෙකත් පරිගණකයකට අත නොතැබූ බව ඔහු පැවසීය - නමුත් අවසානයේ ඔහු විශ්රාම ගිය විට (සහ, මෙය සිදු වූයේ, ඔහු වැඩසටහන සොයා ගැනීමෙන් ටික කලකට පසුවය.
ටියුරිංගේ පොත් ගැන මයික් දැන සිටියේ කුමක්ද? ඔහුට ටියුරිං ගේ අත් අකුරින් ලියැවුණු එක් සටහන් පොතක් හමු වූ අතර, ගාන්ධි එය කිංග්ස් කොලේජ් එකට නොදුන්නේ (අමුතු ලෙසින්) ගාන්ධි එය තම සිහින ගැන තැබූ සටහන් සඳහා වේශයක් ලෙස යොදා ගත් බැවිනි. (ටියුරින් ඔහුගේ මරණයෙන් පසු විනාශ වූ ඔහුගේ සිහින පිළිබඳ සටහන් ද තබා ඇත.) මයික් පැවසුවේ මෙම සටහන් පොත මෑතකදී වෙන්දේසියේ ඩොලර් මිලියනයකට පමණ අලෙවි වූ බවයි. එසේ නොවුවහොත් ගාන්ධිගේ දේවල් අතර ටියුරින් ද්රව්ය ඇතැයි ඔහු නොසිතන්නට ඇත.
අපගේ සියලු විකල්ප වියළී ගොස් ඇති බවක් පෙනෙන්නට තිබුණත්, මයික් මගෙන් ඉල්ලා සිටියේ එම අද්භූත කඩදාසි කැබැල්ල දෙස බලන ලෙසයි. වහාම ඔහු මෙසේ කීවේය.මේ රොබින් ගාන්ඩිගේ අත් අකුරු!» වසර ගණනාවක් පුරා ඔහු බොහෝ දේ දැක ඇති බව ඔහු පැවසීය. ඒ වගේම ඔහුට විශ්වාසයි. තමා ලැම්ඩා කැල්කියුලස් ගැන වැඩි යමක් නොදන්නා බවත්, එම පිටුව ඇත්ත වශයෙන්ම කියවන්නට නොහැකි වූ බවත්, නමුත් රොබින් ගාන්ඩි එය ලියා ඇති බව ඔහුට විශ්වාසයි.
අපි තවත් සාම්පල සමඟ අපගේ අත් අකුරු විශේෂඥයා වෙත ආපසු ගිය අතර, ඔව්, එහි තිබූ දේ ගාන්ධිගේ අත් අකුරට ගැළපෙන බවට ඇය එකඟ වූවාය. ඉතින් අපි අවසානයේ එය තේරුම් ගත්තා: ඒ අද්භූත කඩදාසි කැබැල්ල ලිව්වේ රොබින් ගාන්ඩි. එය ඇලන් ටියුරින් විසින් ලියන ලද්දක් නොවේ; එය ලියා ඇත්තේ ඔහුගේ ශිෂ්ය රොබින් ගාන්ඩි විසිනි.
ඇත්ත වශයෙන්ම, සමහර අභිරහස් තවමත් පවතී. ටියුරින් ගාන්ධිට පොත ලබා දුන් බව කියනු ලැබේ, නමුත් කවදාද? ලැම්ඩා කැල්කියුලස් අංකනයෙහි ස්වරූපය එය 1930 ගණන්වල පමණ වූ බව පෙනේ. නමුත් ගාන්ධිගේ නිබන්ධනය පිළිබඳ අදහස් මත පදනම්ව, ඔහු 1940 ගණන්වල අගභාගය වන තුරු ලැම්ඩා කලනය සමඟ කිසිවක් නොකරනු ඇත. එසේ නම් ගාන්ධි මෙය ලිව්වේ ඇයි දැයි ප්රශ්නය මතු වේ. මෙය ඔහුගේ නිබන්ධනයට සෘජුව සම්බන්ධ නොවන බව පෙනේ, එබැවින් එය ඔහු මුලින්ම ලැම්ඩා කලනය සොයා ගැනීමට උත්සාහ කරන විට විය හැකිය.
අපි කවදා හෝ සත්යය දැන ගනීවිදැයි මට සැකයි, නමුත් එය තේරුම් ගැනීමට උත්සාහ කිරීම විනෝදජනක විය. විශේෂයෙන්ම මා සතු, පසුගිය ශතවර්ෂවල සමාන පොත්වල ඉතිහාසය කෙතරම් සංකීර්ණ විය හැකිද යන්න පිළිබඳ මගේ අවබෝධය පුළුල් කිරීමට මෙම මුළු ගමන බොහෝ දේ කර ඇති බව මෙහිදී මම පැවසිය යුතුය. මෙය මා සිතන්නේ මම ඔවුන්ගේ සියලුම පිටු දෙස බැලීමට වග බලා ගැනීම වඩා හොඳ බවයි - එහි රසවත් විය හැකි දේ බැලීමට ...
සහාය සඳහා ස්තූතියි: ජොනතන් ගොරාඩ් (කේම්බ්රිජ් පෞද්ගලික අධ්යයන), ඩනා ස්කොට් (ගණිත තර්කය), සහ මැතිව් සූඩ්සික් (ගණිත තර්කය).
පරිවර්තනය ගැනස්ටීවන් වුල්ෆ්රම්ගේ සටහනේ පරිවර්තනය"
මම මගේ ගැඹුරු කෘතඥතාව පළ කරමි
Wolfram භාෂාවෙන් වැඩසටහන් කරන්නේ කෙසේදැයි ඉගෙන ගැනීමට අවශ්යද?
සතිපතා බලන්නwebinars .
ලියාපදිංචි නව පාඨමාලා සඳහා ... සූදානම්මාර්ගගත පාඨමාලාව .
නියෝග විසඳුම් Wolfram භාෂාව මත.
මූලාශ්රය: www.habr.com