Thảo cảo:Ngải luân · đồ linh

Duy cơ bách khoa, tự do đích bách khoa toàn thư
Ngải luân · đồ linh
Alan Turing
OBEFRS
16 tuế đích đồ linh, nhiếp vu 1928 niên tiền hậu
Xuất sinh(1912-06-23)1912 niên 6 nguyệt 23 nhật
Anh cách lanLuân đônMạch đạt duy nhĩ
Thệ thế1954 niên 6 nguyệt 7 nhật(1954 tuế —06—07)( 41 tuế )
Anh cách lanSài quậnUy mỗ tư lạc
Tử nhânTình hóa vật trung độcTự sát[a]
Mộ địaCốt hôi tát tạiỐc kim hỏa táng tràng(Anh ngữ:Woking Crematorium)
Giáo dục trình độXá bá ân học giáo(Anh ngữ:Sherborne School)
Mẫu giáo
Tri danh vu
Bạn lữQuỳnh · khắc lạp khắc(Anh ngữ:Joan Clarke)
( 1941 niên đính hôn, vị kết )
Tưởng hạngSử mật tư tưởng( 1936 )
Khoa học sinh nhai
Nghiên cứu lĩnh vựcSổ học,La tập học,Mật mã phân tích,Kế toán cơ khoa học,Sổ lý sinh vật học[1]
Cơ cấu
Luận vănSystems of Logic Based on Ordinals( 1938 )
Bác sĩ đạo sưA long tá · khâu kỳ[2]
Bác sĩ sinhLa tân · cam địch(Anh ngữ:Robin Gandy)[2][3]
Bỉ a đặc lệ tư · ốc tư lợi(Anh ngữ:Beatrice Worsley)[4]
Thụ ảnh hưởng tựMã khắc tư · nữu mạn(Anh ngữ:Max Newman)[5]
Thiêm danh

Ngải luân · mã tây sâm · đồ linhOBEFRS( anh ngữ:Alan Mathison Turing[b];1912 niên 6 nguyệt 23 nhật —1954 niên 6 nguyệt 7 nhật ),Anh quốcSổ học gia,Điện não khoa học gia,La tập học gia,Mật mã phân tích sư,Triết học giaHòaSổ lý sinh vật học gia[6][7].Tha thâm khắc ảnh hưởngLý luận kế toán cơ khoa họcĐích phát triển, tươngToán phápCậpVận toánĐẳng khái niệm hình thức hóa vi phổ biến nhận vi thịThông dụng kế toán cơĐíchĐồ linh cơ[8][9][10],Nhân thử bị phổ biến nhận vi thị lý luận kế toán cơ khoa học cậpNhân công trí năngChi phụ[11].

Đồ linh xuất sinh vu luân đônMạch đạt duy nhĩ,TạiNam anh cách lanThành trường. Bằng sổ học học vị tạiKiếm kiều đại học quốc vương học việnTất nghiệp hậu, đồ linh lưu giáo đam nhậmViện sĩ,Kỳ gian chứng minh bộ phân thuần sổ học đích đối thác vấn đề vô pháp thông quá vận toán giải đáp, định nghĩa liễuĐồ linh cơ,Kế tục chứng minh đồ linh cơ đíchĐình cơ vấn đềVô pháp quyết định.1938 niên, đồ linh thủ đắcPhổ lâm tư đốn đại họcSổ học hệ(Anh ngữ:Princeton University Department of Mathematics)Triết học bác sĩHọc vị.Đệ nhị thứ thế giới đại chiếnKỳ gian, đồ linh lai đáoChính phủ thông tín tổng bộĐíchMật mã phá dịchTrung tâmBố lai thiết lợi viên,ViUltra(Anh ngữ:Ultra)Tình báo bộ môn công tác. Tha suất lĩnh8 hào doanh phòng(Anh ngữ:Hut 8)Phân bộ, chuyên môn phụ trách phá dịch đức quốc hải quân đích mật mã, kỳ gian thiết kế đa chủng kỹ thuật gia khoái mật mã phá giải tốc độ, bao quát cải lương ba lan tại đại chiến tiền thôi xuất đíchĐiện động mật mã cơTạc đạn pháp(Anh ngữ:Bomba (cryptography)),Trảo xuấtÂn ni cách mã mật mã cơĐích thiết định. Đồ linh phá dịch liễu đại lượng tòng địch quân tiệt hoạch đích gia mật tín tức, thôi động đồng minh quốc tạiĐại tây dương hải chiếnĐẳng trọng đại chiến dịch trung kích bạiTrục tâm quốc[12][13].

Chiến hậu, đồ linh tạiAnh quốc quốc gia vật lý thật nghiệm thấtThiết kế xuấtTự động vận toán dẫn kình,Chúc vu đệ nhất phê năng cú trữ tồn trình tự đích kế toán cơ. 1948 niên, đồ linh gia nhậpMã khắc tư · nữu mạn(Anh ngữ:Max Newman)TạiMạn triệt tư đặc duy đa lợi á đại họcĐíchKế toán cơ thật nghiệm thất(Anh ngữ:Computing Machine Laboratory),Khai phát xuấtMạn triệt tư đặc đại học kế toán cơ tổ(Anh ngữ:Manchester computers),Đồng thời tiến quânSổ lý sinh vật họcGiới. Tha soạn tả luận văn nghiên cứuHình thái phát sinhĐích hóa học cơ sở[1],Dự ngôn liễuBãi động thứcĐíchHóa học phản ứng,Lệ như tối khai thủy vu 1960 niên đại bị phát hiện đíchBiệt lạc ô tác phu - trát bác đình tư cơ phản ứng.Do vu đại bộ phân nghiên cứu thành quả y chiếu 《Quan phương bảo mật pháp(Anh ngữ:Official Secrets Act 1939)》 phong tồn, đồ linh tại thế thời tòng vị hoạch đắc tổ quốc hoàn toàn nhận khả[14].

1952 niên, đồ linh nhânĐồng tính luyến hành vi(Anh ngữ:Gross indecency)Bị khởi tố, tùy hậu tiếp thụ đại thế hình phạt đíchKỷ hy thư phânHóa học yêm cát.1954 niên, tại ly 42 tuế hoàn hữu 16 thiên đích thời hầu, đồ linhTình hóa vật trung độcTử vong. Tử nhân tài quyết tuyên bố tha đích tử nãi chúc tự sát, bất quá hiện tồn chứng cư diệc chi trì kỳ tử ô ý ngoại trung độc.[15][16][17]

Đồ linh vi hậu thế đái laiThâm viễn đích ảnh hưởng(Anh ngữ:Legacy of Alan Turing).Xuất vu kỷ niệm, hậu nhân vi tha thiết lập điêu tượng, dụng tha đích danh tựMệnh danh liễu hứa đa sự vật(Anh ngữ:List of things named after Alan Turing),Bao quát biểu chương kế toán cơ khoa học phát minh đíchNiên độ tưởng hạng,Nhi tại tha thọ thần tiền phát bố đíchAnh cách lan ngân hành 50 anh bàng chỉ tệẤn hữu tha đích tiêu tượng. Căn cư quan chúng đầu phiếu kết quả, 2019 niên BBC điện thị tiết mục 《Ngẫu tượng: 20 thế kỷ vĩ nhân tuần lễ(Anh ngữ:Icons: The Greatest Person of the 20th Century)》 tương ngải luân đề danh vi 20 thế kỷ tối vĩ đại đích nhân.

Tảo niên cập giáo dục[Biên tập]

Gia đình[Biên tập]

Đồ linh đích xuất sinh địaMạch đạt duy nhĩĐíchAnh quốc văn hóa di sảnTiêu thức.

1912 niên 6 nguyệt 23 nhật, đồ linh sinh vu anh quốc luân đônMạch đạt duy nhĩ[7],Phụ thân chu lợi diệp tư · mã tây sâm · đồ linh (Julius Mathison Turing,1873—1947 ) tạiAnh chúc ấn độMã đức lạp tư tỉnh( kimÁo lí tát bang)Kháp đặc lạp phổ nhĩChính phủ nhậmCông vụ viên(Anh ngữ:Indian Civil Service)[18][19],Tổ phụ ước hàn · la bá đặc · đồ linh mục sư (Rev. John Robert Turing) xuất sinh tại hà lan đích nhất cá tô cách lan thương nghiệp thế gia, gia lí hữu vịTòng nam tước.Đồ linh mẫu thân ai tắc nhĩ · tát lạp · đồ linh[c](Ethel Sara Turing,1881—1976 ) thịMã đức lạp tư thiết lộ(Anh ngữ:Madras and Southern Mahratta Railway)Thủ tịch công trình sư ái đức hoa · ốc lặc · tư thác ni (Edward Waller Stoney) chi nữ. Tư thác ni nhất gia thịÁng cách lỗ ái nhĩ lan nhân,Tín phụngTân giáo(Anh ngữ:Protestantism in Ireland),TạiĐế phách lôi lí quậnHòaLãng phúc đức quậnChúc vuThân sĩ giai cấp,Bất quá ai tắc nhĩ đích đồng niên đa sổ tạiKhắc lai nhĩ quậnĐộ quá[20].

Chu lợi diệp tư tại ấn độ công vụ viên cục đích công tác nhượng tha gia nhân lai đáo ấn độ, đương thời tha đích phụ thân tạiMạnh gia lạp quân đội(Anh ngữ:Bengal Army)Đương tương quân. Bất quá chu lợi diệp tư hòa ai tắc nhĩ hi vọng hài tử môn năng tại anh quốc trường đại, vu thị bàn đáo liễu luân đôn đíchMạch đạt duy nhĩ[21].Nguyên vi đồ linh cố cư đíchTrụ lang tửu điếm(Anh ngữ:Colonnade Hotel (London))[18][22]Ngoại hữu nhất khốiLam sắc bài biển,Thượng diện ký tái ngải luân · đồ linh vu 1912 niên 6 nguyệt 23 nhật xuất sinh[23][24].Đồ linh hữu nhất cá ca ca, khiếu ước hàn, thịĐồ linh nam tước thế gia(Anh ngữ:Turing baronets)Đệ 12 đại nam tướcƯớc hàn · đức mạc đặc · đồ linh tước sĩ(Anh ngữ:Dermot Turing)Đích phụ thân[25].

Đồ linh thiếu niên thời đại, phụ thân nhưng hữu công vụ viên chức trách tại thân, tha dữ thê tử tại anh quốcHắc tư đình tư[26]Hòa ấn độ lưỡng địa bôn ba, tương lưỡng cá nhi tử thác phó cấpAnh quốc lục quânĐích nhất đối thối ngũ phu phụ. Đồ linh tại hắc tư đình tư kỳ gian trụ tạiHải biên đích thánh luân nạp tư(Anh ngữ:St Leonards-on-Sea)Thượng mê cung sơn ( Upper Maze Hill ) đíchBa tư đốn lữ quán(Anh ngữ:Baston Lodge).Lữ quán ngoại hữu nhất khối lam sắc bài biển[27],Tại 2012 niên 6 nguyệt 23 nhật đồ linh bách tuế đản thần kỷ niệm nhật yết mạc[28].

Đồ linh nhi thời thiên phú dị bẩm, chú tựu liễu tha nhật hậu thiên tài đích nhân sinh[29].1927 niên, phụ mẫu tạiCát nhĩ phúc đứcMãi hạ nhất đống phòng tử, học giáo phóng giả đích thời hầu, đồ linh tựu hội tại na biên. Phòng tử ngoại dã hữu nhất khối lam sắc bài biển[30].

Giáo dục[Biên tập]

Đồ linh 6 tuế đáo 9 tuế tại hải biên đích thánh luân nạp tư tra nhĩ tư lộ 20 hào ( 20 Charles Road ) thánh mại khắc nhĩ tư tiểu học ( St Michael's ) tựu độc. Giáo trường phi thường nhận khả đồ linh đích tài hoa, thuyết tự kỷ kiến quá ngận đa thông minh, khắc khổ dụng công đích nam hài, đãn “Đồ linh hoàn toàn thị thiên tài”[31].

1922 niên chí 1926 niên, đồ linh lai đáo tát tắc khắc tư quận ( kimĐông tát tắc khắc tư quận)Pháp lan đặc thôn(Anh ngữ:Frant)Tư lập học giáo hắc tư hách tư đặc dự khoa học giáo ( Hazelhurst Preparatory School ) độc thư[32],Chi hậu tại 1926 niên dĩ 13 tuế chi linh chuyển học đáoĐa tắc đặc quậnThương nghiệp trọng trấnTạ nhĩ bổnKý túc tư lập học giáoTạ nhĩ bổn học giáo(Anh ngữ:Sherborne School)[33],Tá trụ vi tư khoa đặc chi gia ( Westcott House ). Đồ linh thượng học đệ nhất thiên kháp phùng1926 niên anh quốc đại bãi công,Đãn tha nghị nhiên quyết định thượng học, độc tự thải trứ tự hành xa, tòngNam an phổ đốnKỵ liễu 60 anh lí ( 97 công lí ) đích lộ trình, khứ tạ nhĩ bổn thượng học, trung đồ tại nhất gia khách sạn quá dạ[34].

Đồ linh thiên sinh hỉ hoan sổ học hòa khoa học, đãn tạ nhĩ bổn đích học giáo canh khán trọngCổ điển họcĐích giáo học, sở dĩ na lí đích lão sư khán bất khởi tha. Giáo trường tằng tả tín cấp tha đích phụ mẫu: “Ngã hi vọng tha tương lai bất hội lạc đáo lưỡng đầu bất đáo ngạn đích cảnh địa. Như quả tha yếu lưu tại công lập học giáo, tựu tất tu yếu dụng ‘ tri thức uyên bác ’ đích mô dạng. Như quả tha chỉ tưởng thành vi ‘ khoa học chuyên gia ’, na tha đãi tại công lập học giáo tựu thị lãng phí thời gian[35].”Tẫn quản như thử, đồ linh hoàn thị tại tự kỷ hỉ hoan đích nghiên cứu lĩnh vực đại phóng dị thải: 1927 niên, một tiếp xúc sơ cấp đíchVi tích phân họcTri thức đích tha, dĩ kinh khả dĩ giải quyết cao cấp đích nan đề. 1928 niên, 16 tuế đích đồ linh tiếp xúc đáoA nhĩ bá đặc · ái nhân tư thảnĐích trứ tác, bất cận chưởng ác đáo thư trung đích nội dung, nhi thả hoàn tòng ý nghĩa hàm hồ đích văn tự trung, thôi trắc đáo ái nhân tư thản đốiNgưu đốn vận động định luậtHữu sở chất nghi[36].

Khắc lí tư thác phất · mạc khoa mỗ[Biên tập]

Đồ linh tại tạ nhĩ bổn kết thức đáo đồng song hảo hữu khắc lí tư thác phất · khoa lan · mạc khoa mỗ (Christopher Collan Morcom,1911 niên 7 nguyệt 13 nhật —1930 niên 2 nguyệt 13 nhật )[37],Tha thị đồ linh đích “Sơ luyến”. Lưỡng nhân đích lãng mạn quan hệ cổ lệ đồ linh quá hảo chi hậu đích nhân sinh, đãn tối chung nhân mạc khoa mỗ vu 1930 niên 2 nguyệt khứ thế nhi cáo chung. Kỉ niên tiền, mạc khoa mỗ ẩm dụng thụ ô nhiễm đích ngưu nãi, hoạn thượngNgưu kết hạch bệnh(Anh ngữ:bovine tuberculosis),Tối chung nhân cai bệnh tịnh phát chứng bệnh thệ[38][39][40].

Đồ linh hãm nhập mạc đại đích bi thương, nhu yếu canh gia nỗ lực nghiên cứu hòa mạc khoa mỗ nhất khởi đề xuất đích khoa học hòa sổ học khóa đề, tài năng phân tán chú ý lực. Đồ linh tại tả cấp mạc khoa mỗ mẫu thân đích tín trung thuyết:

Ngã cảm khẳng định, giá ma thông minh, hữu mị lực, bất tự phụ đích bạn lữ, ngã tại biệt đích địa phương bất khả năng trảo đáo. Ngã đối tự kỷ nghiên cứu cập thiên văn học ( tha đái ngã tiến khứ đích ) đích hưng thú, khả dĩ hòa tha phân hưởng. Tha đối ngã đích cảm giác, ngã nhận vi dã hữu điểm thị giá dạng đích...... Ngã tất tu tương canh đa đích tinh lực đầu nhập đáo tự kỷ đích nghiên cứu trung, tựu hảo tượng tha hoàn tại thế nhất dạng, nhân vi giá thị tha hi vọng ngã khứ tố đích sự tình[41].

Mạc khoa mỗ tử hậu, đồ linh hòa tha mẫu thân nhất trực bảo trì liên hệ. Đáo liễu mạc khoa mỗ kỵ nhật, đồ linh nhất bàn hội tả tín cấp đối phương, đối phương tắc cấp tha ký lễ vật[42].Mạc khoa mỗ đệ tam cá kỵ nhật đích tiền nhất thiên ( 1933 niên 2 nguyệt 13 nhật ), đồ linh tả tín cấp tha mẫu thân:

Hi vọng nâm thu đáo giá phong tín đích thời hầu, năng tưởng khởi khắc lí tư. Ngã dã hội tưởng khởi tha. Chi sở dĩ cấp nâm tả giá phong tín, thị tưởng cáo tố nâm, minh thiên ngã hòa nâm nhất dạng hội tưởng khởi khắc lí tư. Ngã cảm tương tín, như quả tha hoàn tại, nhất định hội ngận khai tâm. Nâm thâm tình đích ngải luân[43].

Bộ phân nhân thôi trắc mạc khoa mỗ đích tử nhượng đồ linhBất tín giáo,Thành viDuy vật chủ nghĩaGiả[44].Hiển nhiên, đáo liễu giá cá thời hầu, tha nhưng nhiên nhận vi tinh thần độc lập vu nhục thể, nhục thể tử vong, tinh thần vĩnh tồn. Hậu lai tha tại tả cấp mạc khoa mỗ mẫu thân đích tín trung thuyết:

Tại ngã khán lai, tinh thần xác thật vĩnh viễn cân vật chất liên hệ tại nhất khởi, đãn khẳng định bất hội hòa nhục thể na dạng đích vật chất xuyến liên...... Chí vu tinh thần hòa nhục thể gian đích thật tế quan liên, ngã nhận vi nhục thể khả dĩ bảo tồn ‘ tinh thần ’, đãn nhục thể thị hoạt trứ đích, tỉnh trứ đích, lưỡng giả khẩn mật liên hệ. Nhục thể trầm thụy đích thời hầu, ngã sai bất xuất nhục thể hội phát sinh thập ma. Đãn nhục thể tiêu vong đích thời hầu, nhục thể đích ‘ cơ chế ’, bảo tồn trung đích ‘ tinh thần ’ tiêu thất liễu, tinh thần trì tảo hoặc giả mã thượng khứ trảo nhất phó tân đích nhục thể[45][46].

Đại học sinh nhai dữ khả kế toán tính đích nghiên cứu công tác[Biên tập]

Ly khai tạ nhĩ bổn, đồ linh vu 1931 niên đáo 1934 niên tạiKiếm kiều đại học quốc vương học việnĐộc bổn khoa[7],Thủ đắc sổ học hệ nhất đẳng vinh dự. 1935 niên, 22 tuế đích đồ linh bằng tá chứng minhTrung tâm cực hạn định lýĐích tất nghiệp luận văn, thành vi quốc vương học việnViện sĩ[47].Bất quá ủy viên hội bất tri đạo cai định lý tảo tại 1922 niên tựu bịGiả nhĩ · ngõa nhĩ đức mã · lâm đức bá cách(Anh ngữ:Jarl Waldemar Lindeberg)Chứng minh[48].

1936 niên, đồ linh phát biểu luận văn 《Luận khả kế toán sổ dữ kỳ tại khả phán định tính trung đích ứng dụng(Anh ngữ:On Computable Numbers, with an Application to the Entscheidungsproblem)》[49].Văn chương vu 11 nguyệt 30 nhật hòa 12 nguyệt 23 nhật phân lưỡng thiên tại 《 luân đôn sổ học học hội hội khan 》 (Proceedings of the London Mathematical Society) phát biểu[50].Tại cai luận chi tiền,Khố nhĩ đặc · ca đức nhĩDĩ ô 1931 niên phát biểu liễu chứng minh dữ kế toán đích cực hạn tương quan đích kết quả, hậu lai bị xưng tácCa đức nhĩ bất hoàn bị định lý,Nhi đồ linh tắc tu cải ca đức nhĩ văn chương trung đích bộ phân thiết định, tương ca đức nhĩ đích phiếm toán thuật cơ sở đích hình thức ngữ ngôn tu cải thành nhất cá giản đan nhi hình thức đích lý tưởng trang trí, dã tựu thị chúng sở chu tri đíchĐồ linh cơ.1928 niên, đức quốc sổ học giaĐại vệ · hi nhĩ bá đặcThủ thứ đề xuất vấn đề đíchKhả phán định tínhGiá nhất khái niệm, tịnh thả, đồ linh chứng minh tha đích “Phiếm kế toán trang trí” hữu năng lực chấp hành sở hữu khả dĩ dụngDiễn toán phápBiểu kỳ xuất lai đích sổ học kế toán.

Tha chi hậu kế tục chứng minh quyết định tính vấn đề vô giải, nhất khai thủy thị đề xuấtĐình cơ vấn đềThị đồ linh cơ đíchQuyết định tính vấn đề,Bất khả năng thông quá toán pháp phán đoạn đồ linh cơ hội bất hội đình chỉ. Giá thiên luận văn bị nhận vi “Ngận dung dịch thành vi lịch sử thượng tối hữu ảnh hưởng lực đích sổ học luận văn”[51].

Đồ linh 1931 niên vuKiếm kiều đại học quốc vương học việnBổn khoa tất nghiệp, 1935 niên thành vi viện sĩ. Học viện đích điện não thất quan dĩ tha đích danh tự

Đồ linh chứng minh(Anh ngữ:Turing's proof)Phát biểu tiền bất cửu,A long tá · khâu kỳTài tự kỷ đíchΛ diễn toán phápĐề xuất đẳng giới đích chứng cư[52],Đãn đồ linh đích phương pháp bỉ khâu kỳ canh giản đan, canh trực quan[53].Đồ linh tại chứng minh trung cấu tư nhất chủng liễu “Thông dụng cơ”, dã tựu thị hiện tại đíchThông dụng đồ linh cơ,Nhận vi giá chủng cơ khí năng chấp hành kỳ tha kế toán cơ khí đích nhậm vụ ( giá nhất điểm khâu kỳ đích Λ diễn toán pháp xác thật năng tố đáo ). Căn cưKhâu kỳ － đồ linh luận đề,Đồ linh cơ hòa Λ diễn toán pháp năng cú kế toán nhất thiết khả kế toán đích sự vật.Ước hàn · phùng · nặc y mạnNhận vi hiện đại kế toán cơ đích trung ương tư tưởng nguyên vu đồ linh đích luận văn[54].Thời chí kim nhật, đồ linh cơ nhưng thịKế toán lý luậnNghiên cứu lĩnh vực đích trọng điểm khóa đề.

1936 niên 9 nguyệt đáo 1938 niên 7 nguyệt, đồ linh đại bộ phân thời gian đô tạiPhổ lâm tư đốn đại họcSư tòng khâu kỳ[4],Đệ nhị niên xuất nhậmGiản · y lệ toa · phổ la khắc đặc phóng vấn học giả(Anh ngữ:Jane Eliza Procter Fellowship).Trừ liễu đan thuần nghiên cứu sổ học, đồ linh hoàn toản nghiên mật mã học, hoàn thành liễu điện độngThừa pháp khíTứ cá kiến tạo giai đoạn đích tiền tam cá[55].1938 niên 6 nguyệt, hoạchPhổ lâm tư đốn đại học sổ học hệ(Anh ngữ:Princeton University Department of Mathematics)Bác sĩ học vị[56],Kỳ luận văn 《Cơ vu tự sổ đích la tập hệ thống(Anh ngữ:Systems of Logic Based on Ordinals)》[57][58]Giới thiệu liễuTự sổ la tập(Anh ngữ:ordinal logic)Khái niệm cậpTương đối đích kế toán phương pháp.Ước hàn · phùng · nặc y mạn tưởng thỉnh tha đươngBác sĩ hậuTrợ lý, đãn tha hồi đáo liễu anh quốc[59].

Nghiên cứu[Biên tập]

Đương đồ linh hồi đáo kiếm kiều thời, tha tham gia liễu 1939 niênLộ đức duy hi · duy đặc căn tư thảnQuan vuSổ học cơ sởĐích giảng tọa.[60]Giảng tọa dĩ căn cư học sinh đích bút ký trục tự trọng kiến, bao quát đồ linh hòa kỳ tha học sinh đích cảm thán từ.[61]Đồ linh hòa duy đặc căn tư thản tranh luận bất hưu, đồ linh viSổ học hình thứcBiện hộ, nhi duy đặc căn tư thản đề xuất tha đích quan điểm, tức sổ học bất phát hiện nhậm hà tuyệt đối chân lý, nhi thị phát minh tha môn.[62]

Mật mã phân tích[Biên tập]

Tại đệ nhị thứ thế giới đại chiến kỳ gian, đồ linh thị tạiBố lai thiết lợi viênPhá giải đức quốc mật mã đích chủ yếu tham dữ giả. Lịch sử học gia hòa chiến thời mật mã phá dịch giảAsa Briggs(Anh ngữ:Asa Briggs)Tằng thuyết quá: “Nhĩ nhu yếu phi phàm đích tài năng, nhĩ nhu yếu bố lai thiết lợi đích thiên tài, nhi đồ linh tựu thị na cá thiên tài.”[63]

1938 niên 9 nguyệt khởi, đồ linh tại anh quốc mật mã phá dịch cơ cấuChính phủ mật mã học giáoKiêm chức, dữ cao cấp mật mã phá giải viênĐệ lợi · nặc khắc tư(Anh ngữ:Dilly Knox)Chuyên trách đốiNạp túy đức quốcĐíchÂn ni cách mã cơ tiến hành mật mã giải tích(Anh ngữ:cryptanalysis of the Enigma)[64].1939 niên 7 nguyệt,Ba lan mật mã cục(Anh ngữ:Polish Cipher Bureau)TạiHoa saPhụ cận triệu tập hội nghị, hướng anh quốc hòa pháp quốc đề cung liễuÂn ni cách mã cơ chuyển tử(Anh ngữ:Enigma rotor details)Đích tiếp tuyến, dĩ cập tha môn giải mãÂn ni cách mã mật mã cơTín tức đích phương pháp. Đồ linh hòa nặc khắc tư y chiếu giá ta tín tức, khai phát xuất canh vi quảng phiếm đích phương án[65].Ba lan đích phương pháp y lại tịnh bất an toàn đíchPhân tích nghiThủ đoạn, giá cá hoàn tiết đức quốc nhân ngận dung dịch canh cải, thật tế thượng tha môn tại 1940 niên 5 nguyệt cải quá nhất thứ. Đồ linh đích phương pháp canh gia thông dụng, dụng đích thịCơ vu anh nhi sàng đích phá giải phương pháp(Anh ngữ:Cryptanalysis of the Enigma#Crib-based decryption)( “Anh nhi sàng” vi bố lai thiết lợi viên đối nhậm hà dĩ tri minh văn hoặc khả nghi minh văn đích đại xưng ), tịnh dĩ thử khai phát xuấtTạc đạn cơ(Anh ngữ:bombe)(Ba lan tạc đạn cơ(Anh ngữ:Bomba (cryptography))Đích cải lương bản ) đích công năng tham sổ[66].

Bố lai thiết lợi viênMã bằng tiểu viện đích lưỡng gian tiểu ốc, đồ linh 1939 niên chí 1940 niên tại giá lí công tác, chi hậu tài bàn đáo8 hào doanh phòng(Anh ngữ:Hut 8).

1939 niên 9 nguyệt 4 nhật, anh quốc đối đức quốc tuyên chiến đích đệ nhị thiên, đồ linh lai đáo chính phủ mật mã học giáo đích chiến thời trạm điểm bố lai thiết lợi viên báo đạo[67].Hòa kỳ tha lai báo đạo đích nhân nhất dạng, tha nhu yếu thiêm thự 《Quan phương bảo mật pháp(Anh ngữ:Official Secrets Act 1939)》, đồng ý bất thấu lộ bố lai thiết lợi viên đích công tác nội dung, phủ tắc nhân vi phản pháp luật nhi diện lâm nghiêm trọng đích pháp luật xử phạt[68].

Chỉ minh tạc đạn cơ thị đồ linh tại chiến thời vi mật mã phân tích học thủ đắc đích kỳ trung nhất hạng trọng đại tiến triển, lánh ngoại tứ hạng vi thôi đạo đức quốc hải quân sử dụng đích phân tích nghi trình tự, khai phát đại hàoBan bố lí mạc tư(Anh ngữ:Banburismus)Đích thống kế trình tự đề cung mật mã cơ vận tác hiệu suất, khai phát đại hàoĐồ linh lí(Anh ngữ:Turingery)Đích trình tự trảo xuấtLạc luân tư SZ 40/42(Anh ngữ:Lorenz SZ 40/42)Mật mã cơ đột luân đích thiết trí, dĩ cập tại chiến tranh khoái kết thúc đích thời hầu viHán tư lạc phổ viên(Anh ngữ:Her Majesty's Government Communications Centre)Khai phát đại hào “Đại lệ hoa” đíchGia mật ngữ âm(Anh ngữ:secure voice)Gia nhiễu khí.

Đồ linh tại giải mật quá trình trung, lợi dụng thống kế kỹ thuật ưu hóa đối bất đồng khái suất đích thí nghiệm, vi giá nhất khóa đề tác xuất đột xuất cống hiến. Tha tại 《 khái suất tại mật mã học trung đích ứng dụng 》 (The Applications of Probability to Cryptography)[69]Hòa 《 quan vu trọng phục đích thống kế luận văn 》 (Paper on Statistics of Repetitions)[70]Lưỡng thiên văn chương trung thảo luận đích sổ học phương pháp, thụ đáo mật mã học giáo hòa hậu lai đíchChính phủ thông tín tổng bộTrọng thị, tương quan nội dung trực đáo đồ linh bách tuế đản thần 2012 niên 4 nguyệt tiền tài doAnh quốc quốc gia đương án quánCông khai. Cận tự xưng “Lý tra đức” ( Richard ) đích chính phủ thông tín tổng bộ sổ học gia đương thời tằng thuyết, giá ta nội dung án chiếu 《 quan phương bảo mật pháp 》 bị bảo mật ước 70 niên, túc dĩ chứng minh kỳ trọng yếu tính cập đối chiến hậu mật mã phân tích học đích quan liên tính[71]:

Tha biểu kỳ, giá ta nội dung nhất trực bị hạn chế, ‘ chứng minh tha đối ngã môn học khoa đích cơ sở hữu trứ phi thường đại đích trọng yếu tính ’...... Giá ta luận văn tường tế ký thuật dụng ‘ sổ học phân tích trảo xuất tối hữu khả năng đích thiết định, phương tiện phá dịch nhân viên tẫn khả năng tấn tốc địa tiến hành thường thí ’ đích phương pháp...... Lý tra đức thuyết chính trị thông tín tổng bộ hiện tại dĩ kinh ‘ trá càn liễu ( lưỡng thiên luận văn ) đích quả trấp ’, ‘ nguyện ý bả tha môn phóng thượng công hữu lĩnh vực ’.

Đồ linh tại bố lai thiết lợi viên thị xuất liễu danh đích cổ quái, đồng sự nhất bàn khiếu tha ‘ giáo thụ ’, bả tha đối ân ni cách mã cơ đích nội dung xưng vi “Giáo thụ đích trứ tác”[72].Căn cư lịch sử học giaLa nạp đức · lặc ôn(Anh ngữ:Ronald Lewin),Tằng hòa đồ linh cộng sự đích mật mã phân tích sưKiệt khắc · cổ đức(Anh ngữ:I.J. Good)Hồi ức đạo:

Mỗi niên lục nguyệt đệ nhất cá lễ bái, tha đô hội hoạn thượng nghiêm trọng đíchHoa phấn chứng.Tha kỵ tự hành xa khứ bạn công thất đích thời hầu, đô hội đái thượng quân dụng phòng độc diện cụ, phòng chỉ hấp nhập hoa phấn. Tha đích tự hành xa hữu cá mao bệnh, tựu thị liên điều hội định kỳ tùng thoát, đãn tha bất nã khứ tu lý, nhi thị y chiếu đạp bản chuyển động thứ sổ toán xuất tha thập ma thời hầu hội điệu hạ lai, na đáo thời hầu, tha tựu hội thân thủ hoán liên điều liễu. Tha hoàn hữu cá mao bệnh, tựu thị bả mã khắc bôi dụng thiết liên thuyên tại noãn khí quản thượng, phòng chỉ biệt nhân thâu tẩu[73].

Bỉ đắc · hi nhĩ đốnTại 《 mỹ quốc bách niên sổ học sử 》 nhất thư đích văn chương 《 bố lai thiết lợi viên đích hồi ức 》 trung, đề đáo tự kỷ hòa đồ linh cộng sự đích kinh lịch[74]:

Ngộ kiến chân chính đích thiên tài thị nhất chủng ngận hãn kiến đích thể nghiệm. Ngã môn giá ta sinh hoạt tại học thuật thế giới đích nhân, đô ngận thục tất bị tài hoa hoành dật đích đồng sự thể hồ quán đỉnh đích thể nghiệm. Ngã môn khả dĩ hân thưởng tha môn đích tưởng pháp, nhất bàn dã năng lý giải tha môn đích tưởng pháp tòng hà nhi lai. Ngã môn thậm chí kinh thường dĩ vi tự kỷ dã năng đề xuất giá dạng đích khái niệm, đản sinh giá dạng đích tưởng pháp. Đãn thị, hòa thiên tài đầu não bính chàng đích thể nghiệm thị hoàn toàn bất đồng đích, tựu tượng nhất cá nhân ý thức đáo tự kỷ trạm tại thiên tài đích diện tiền, đối phương hựu hữu trứ thâm độ hòa độc sang tính phi thường cao đích mẫn cảm tính, hội biến đắc nhạ dị hòa hưng phấn, nhi ngải luân · đồ linh tựu thị na dạng đích thiên tài. Nhi tượng ngã nhất dạng, nhân vi đệ nhị thứ thế giới đại chiến đích quỷ dị khẩn trương hưng phấn đắc đáo kinh nhân thả ý tưởng bất đáo đích cơ hội, hòa đồ linh tố đồng sự hòa bằng hữu đích nhân môn, vĩnh viễn bất hội vong ký na đoạn kinh lịch, vĩnh viễn bất hội đâu thất tha cấp ngã môn đái lai đích thâm hậu ảnh hưởng.

Hi nhĩ đốn tạiCông cộng quảng bá điện thị công tưNova kỷ lục phiến 《 giải mã nạp túy bí mật 》 (Decoding Nazi Secrets) dã đề đáo loại tự đích tưởng pháp[75].

Tại bố lai thiết lợi viên công tác kỳ gian, thân viTrường bàoKiện tương đích đồ linh kinh thường bào 40 anh lí ( 64 công lí ) đích lộ khứ luân đôn khai hội[76],Bào bộ thủy bình đạt đáo thế giới cấp mã lạp tùng tiêu chuẩn[77][78]Đồ linh tham gia 1948 niên anh quốc áo vận đại biểu đội thí huấn, đãn nhân vi thụ thương thối xuất. Tha đích mã lạp tùng thí huấn thành tích chỉ bỉ bằng tá 2 tiểu thời 35 phân chung hoạch đắc ngân bài đích anh quốc tuyển thủ thác mã tư · lý tra đức ( Thomas Richards ) mạn liễu 11 phân chung. Đồ linh thị ốc nhĩ đốn cạnh kỹ câu nhạc bộ ( Walton Athletic Club ) đích tối giai bào thủ, giá cá sự thật thị tha tại siêu việt đại bộ đội độc tự bôn bào thời phát hiện đích[79][80][81].

Bị vấn đáo vi thập ma giá ma nỗ lực địa luyện bào bộ, tha thuyết:

Ngã đích công tác ngận khẩn trương, chỉ hữu tại nỗ lực bào bộ đích thời hầu tài năng vong điệu, giá thị ngã thích phóng áp lực đích duy nhất phương thức[82].

Do vu nhất taPhản sự thật lịch sử(Anh ngữ:counterfactual history)Đích vấn đề, Ultra tình báo bộ môn tại nhị chiến kỳ gian phát huy đích xác thiết tác dụng ngận nan cổ kế[83].Đãn thị, quan phương chiến tranh lịch sử học giaCáp lí · hân tư lợi(Anh ngữ:Harry Hinsley)Cổ kế giá hạng nghiên cứu tương âu châu đích chiến sự súc đoản liễu lưỡng niên đa, chửng cứu liễu 1400 vạn nhân[84].

Chiến tranh kết thúc thời, bố lai thiết lợi viên đích viên công đô thu đáo nhất phân bị vong lục, đề tỉnh tha môn 《 quan phương bảo mật pháp 》 đích hiệu lực tịnh bất hội tùy trứ chiến tranh kết thúc nhi thất hiệu, nhi thị nhất trực trì tục hạ khứ[68].Chính nhân vi như thử, đồ linh 1946 niên nhân chiến thời đích công tác hoạch quốc vươngKiều trị lục thếBan phátĐại anh đế quốc huân chươngHậu, kỳ nghiên cứu thành quả nhưng bị bảo mật hứa đa niên[85][86].

Giải mã khí “Tạc đạn”[Biên tập]

Chủ điều mục:Bombe

Tại đáo đạtBố lai thiết lợi viênĐích kỉ chu nội[67],Đồ linh ưu hóa ba lan giải mã khí “Tạc đạn(Anh ngữ:bomba (cryptography))”,Thành công gia tốc phá giải nạp túy đức quốc đíchÂn ni cách mã mật mã cơ,Tòng nhi thiết kế xuất tự kỷ đích đồng danh cơ điện trang trí “Tạc đạn(Anh ngữ:bombe)”,Bất quá ba lan đích giải mã khí danh thị ba lan ngữ đích tạc đạn bomba, nhi đồ linh tắc thị dĩ pháp ngữ tương tha đích giải mã khí mệnh danh vi bombe. Tiếp thụ liễu sổ giaGordon Welchman(Anh ngữ:Gordon Welchman)Đích kiến nghị nhi tố xuất tu chính chi hậu, đồ linh đích “Tạc đạn” thành vi liễu trùng kích ân ni cách mã mật mã cơ gia mật tư tấn tối trọng yếu đích thủ đoạn chi nhất, dã thành vi tối chủ yếu đích sở hữu tự động hóa công cụ.[87]

A complete and working replica of abombe(Anh ngữ:bombe)now atThe National Museum of Computing(Anh ngữ:The National Museum of Computing)on Bletchley Park

The bombe searched for possible correct settings used for an Enigma message (i.e., rotor order, rotor settings and plugboard settings) using a suitablecrib:a fragment of probableplaintext.For each possible setting of the rotors (which had on the order of 1019states, or 1022states for the four-rotor U-boat variant),[88]the bombe performed a chain of logical deductions based on the crib, implementedelectromechanically.[89]

The bombe detected when a contradiction had occurred and ruled out that setting, moving on to the next. Most of the possible settings would cause contradictions and be discarded, leaving only a few to be investigated in detail. A contradiction would occur when an enciphered letter would be turned back into the same plaintext letter, which was impossible with the Enigma. The first bombe was installed on 18 March 1940.[90]

By late 1941, Turing and his fellow cryptanalysts Gordon Welchman,Hugh AlexanderandStuart Milner-Barry(Anh ngữ:Stuart Milner-Barry)were frustrated. Building on thework of the Poles(Anh ngữ:Biuro Szyfrów#Gift to allies),they had set up a good working system for decrypting Enigma signals, but their limited staff and bombes meant they could not translate all the signals. In the summer, they had considerable success, and shipping losses had fallen to under 100,000 tons a month; however, they badly needed more resources to keep abreast of German adjustments. They had tried to get more people and fund more bombes through the proper channels, but had failed.[91]

On 28 October they wrote directly toWinston Churchillexplaining their difficulties, with Turing as the first named. They emphasised how small their need was compared with the vast expenditure of men and money by the forces and compared with the level of assistance they could offer to the forces.[91]AsAndrew Hodges(Anh ngữ:Andrew Hodges),biographer of Turing, later wrote, "This letter had an electric effect."[92]Churchill wrote a memo toGeneral Ismay,which read: "ACTION THIS DAY. Make sure they have all they want on extreme priority and report to me that this has been done." On 18 November, the chief of the secret service reported that every possible measure was being taken.[92]The cryptographers at Bletchley Park did not know of the Prime Minister's response, but as Milner-Barry recalled, "All that we did notice was that almost from that day the rough ways began miraculously to be made smooth."[93]More than two hundred bombes were in operation by the end of the war.[94]

Statue of Turing byStephen Kettle(Anh ngữ:Stephen Kettle)at Bletchley Park, commissioned bySidney Frank(Anh ngữ:Sidney Frank),built from half a million pieces of Welsh slate.[95]

8 hào doanh phòng dữ hải quân ân ni cách mã cơ[Biên tập]

Đồ linh quyết định giải quyết đức quốc hải quân mê đoàn giá nhất khốn nan vấn đề, "Nhân vi một hữu nhân tại tố giá phương diện đích công tác, ngã khả dĩ tự kỷ lai tố."”.[96]1939 niên 12 nguyệt, đồ linh giải quyết liễu hải quânChỉ kỳ hệ thốngĐích cơ bổn bộ phân, tha bỉ kỳ tha bộ môn sử dụng đích chỉ kỳ hệ thống canh phục tạp.[96][97]

Đồng nhất thiên vãn thượng, tha hoàn cấu tư liễuBanburismus(Anh ngữ:Banburismus)Đích tưởng pháp, giá thị nhất chủng thuận tự thống kế kỹ thuật (Ốc đức · á bá lạp hãnHậu lai xưng chi vi thuận tự phân tích ), dĩ hiệp trợ phá giải hải quân anh cách mã, "Tẫn quản ngã bất xác định tha tại thật tiễn trung thị phủ khả hành, sự thật thượng, trực đáo hữu ta nhật tử chân đích phá giải liễu tài xác định.[96]Vi thử, tha phát minh liễu nhất chủng hành lượng chứng cư trọng yếu tính đích tiêu chuẩn, tha xưng chi viCấm lệnh ( đan vị )(Anh ngữ:Ban (unit)).Cấm lệnhKhả dĩ bài trừÂn ni cách mã cơ chuyển tử(Anh ngữ:Enigma rotor details)Đích mỗ ta tự liệt, đại đại giảm thiếu liễu tại tạc đạn thượng trắc thí thiết trí sở nhu đích thời gian.[98]Hậu lai, giá chủng dụng phân ban ( cấm lệnh đích thập phân chi nhất ) tích luy túc cú đích chứng cư trọng lượng đích thuận tự quá trình bị dụng ô lạc luân tư mật mã đích gia mật phân tích.[99]

1942 niên 11 nguyệt, đồ linh tiền vãng mỹ quốc[100],Tại hoa thịnh đốn dữ mỹ quốc hải quân đích mật mã học gia nhất khởi nghiên cứu hải quân đích anh ni mã hòa oanh tạc cơ đích cấu tạo; tha hoàn tham quan liễu tha môn tạiNga hợi nga châuĐại đốnĐích điện não thật nghiệm thất.

Đồ linh đối mỹ quốc oanh tạc cơ thiết kế toán bất thượng hữu hưng thú:

Mỹ quốc đích oanh tạc cơ kế hoa thị yếu sinh sản 336 giá oanh tạc cơ, mỗi cá luân tử đô hữu nhất cá. Ngã tằng kinh đối giá nhất phương án sở ẩn hàm đích tạc đạn nhân tiểu ốc trình tự đích khái niệm ám tự phát tiếu, đãn nhận vi chỉ xuất ngã môn bất hội chân chính dĩ giá chủng phương thức sử dụng tha môn, tịnh một hữu thập ma đặc biệt đích mục đích. Tha môn đích trắc thí ( hoán hướng khí ) ngận nan bị nhận vi thị hoàn thành phẩm, nhân vi tha môn một hữu dụng điện tử chỉ động khí lai trắc thí phản đạn. Tự hồ một hữu nhân bị cáo tri rods or offiziers or banburismus, trừ phi hữu ý cải tiến.[101]

Tại giá thứ lữ hành trung, tha hoàn tạiBối nhĩ thật nghiệm thấtHiệp trợ khai phátAn toàn ngữ âm thiết bị(Anh ngữ:Secure voice)[102]Tha ô 1943 niên 3 nguyệt phản hồi bố lai thiết lợi trang viên. Tại tha ly khai kỳ gian,Hugh AlexanderChính thức đam nhậm liễu 8 hào tiểu ốc đích phụ trách nhân, tẫn quản á lịch sơn đại tại nhất đoạn thời gian nội nhất trực thị sự thật thượng đích phụ trách nhân ( đồ linh đối cai bộ môn đích nhật thường vận tác hưng thú bất đại ). Đồ linh thành vi bố lai thiết lợi trang viên mật mã phân tích đích nhất bàn cố vấn.[103]

Á lịch sơn đại tại đàm đáo đồ linh đích cống hiến thời tả đạo.:

Nhậm hà nhân đô bất ứng cai hoài nghi, đồ linh đích công tác thị Hut 8 thành công đích tối đại nhân tố. Tại tảo kỳ, tha thị duy nhất nhận vi giá cá vấn đề trị đắc giải quyết đích mật mã học gia, tha bất cận chủ yếu phụ trách tiểu ốc nội đích chủ yếu lý luận công tác, nhi thả tha hoàn dữ vi nhĩ kỳ mạn hòa cơ ân phân hưởng liễu phát minh tạc đạn đích chủ yếu công lao. Yếu thuyết thùy thị "Tuyệt đối bất khả khuyết thiếu đích" tổng thị ngận khốn nan đích, đãn như quả thuyết thùy thị đệ bát tiểu ốc bất khả khuyết thiếu đích, na tựu thị đồ linh. Đương kinh nghiệm hòa lệ hành công sự hậu lai sử nhất thiết khán khởi lai đô ngận dung dịch thời, tiên khu giả đích công tác tổng thị khuynh hướng ô bị di vong, nhi ngã môn đệ 8 tiểu ốc đích hứa đa nhân nhận vi, đồ linh đích cống hiến chi đại tòng vị bị ngoại bộ thế giới sung phân nhận thức.[104]

Đồ linh phương pháp[Biên tập]

1942 niên 7 nguyệt, đồ linh thiết kế liễu nhất chủng bị xưng viTuringery(Anh ngữ:Turingery)( hoặc khai ngoạn tiếu thuyết thịTuringismus)[105]Đích kỹ thuật, dụng vu đối phó đức quốc nhân tân đíchBí mật tác gia( đức ngữ:Geheimschreiber) cơ khí sản sinh đíchLạc luân tư mật mãMật mã tín tức. Giá thị tại bố lai thiết lợi trang viên đích nhất cáteleprinterrotor cipher attachmentĐích mật mã phụ kiện, đại hào vi Tunny. Turingery thị nhất chủngwheel-breakingĐích phương pháp i.e., a procedure for working out the cam settings of Tunny's wheels.[106]Tha hoàn tương Tunny đoàn đội giới thiệu cấp liễuTommy Flowers(Anh ngữ:Tommy Flowers)Tức thị tại Max Newman đích chỉ đạo hạ,Max Newman(Anh ngữ:Max Newman),Kiến tạoCự nhân kế toán cơĐích học giả,Cự nhân kế toán cơThị thế giới thượng đệ nhất đài khả biên trình đích sổ tự điện tử kế toán cơ, tha thủ đại liễu chi tiền canh giản đan đích cơ khí ( theHeath Robinson(Anh ngữ:Heath Robinson (codebreaking machine))), kỳ trác việt đích tốc độ sử thống kế giải mật kỹ thuật năng cú hữu hiệu địa ứng dụng vu tín tức.[107]Hữu ta nhân thác ngộ địa nhận vi đồ linh thịCự nhân kế toán cơKế toán cơ thiết kế trung đích quan kiện nhân vật. Đồ linh lí hòa ban bá lí tư đích thống kế phương pháp vô nghi vi lạc luân tư mật mã đích mật mã phân tích đề cung liễu tư lộ,cryptanalysis of the Lorenz cipher(Anh ngữ:cryptanalysis of the Lorenz cipher),[108][109]Đãn tha một hữu trực tiếp tham dữ Colossus đích khai phát.[110]

Đại lợi lạp[Biên tập]

Following his work atBell Labsin the US,[111]Turing pursued the idea of electronic enciphering of speech in the telephone system. In the latter part of the war, he moved to work for the Secret Service's Radio Security Service (laterHMGCC(Anh ngữ:Her Majesty's Government Communications Centre)) atHanslope Park(Anh ngữ:Hanslope Park).At the park, he further developed his knowledge of electronics with the assistance of engineer Donald Bayley. Together they undertook the design and construction of a portablesecure voice(Anh ngữ:secure voice)communications machine codenamedDelilah.[112]The machine was intended for different applications, but it lacked the capability for use with long-distance radio transmissions. In any case, Delilah was completed too late to be used during the war. Though the system worked fully, with Turing demonstrating it to officials by encrypting and decrypting a recording of aWinston Churchillspeech, Delilah was not adopted for use.[113]Turing also consulted with Bell Labs on the development ofSIGSALY,a secure voice system that was used in the later years of the war.

Sồ hình kế toán cơ dữ đồ linh trắc thí[Biên tập]

Plaque, 78 High Street,Hampton(Anh ngữ:Hampton, London)

Tại 1945 hòa 1947 niên gian, đồ linh tạiHán phổ đốn ( luân đôn )Cư trụ,[114]Kỳ thời tha tạiAnh quốc quốc gia vật lý thật nghiệm thấtNghiên cứuTự động kế toán cơ(Automatic Computing Engine) đích thiết kế. Tha tại 1946 niên 2 nguyệt 19 nhật phát biểu liễu nhất phiến luận văn, tha thịTồn trữ trình tự kế toán cơĐích đệ nhất cá tế tiết đích thiết kế.[115]Phùng · nặc y mạnBất hoàn chỉnh đích “EDVAC báo cáo thư đích đệ nhất phân thảo án”Bỉ đồ linh đích luận văn tảo, đãn tha đích tế tiết thiếu ngận đa, tịnh thả, căn cư NPL sổ học bộ chủ quảnJohn R. Womersley(Anh ngữ:John R. Womersley),Tha “Bao hàm nhất ta đồ linh tự kỷ đích tưởng pháp”.[116]

Tuy nhiên ACE thị nhất cá khả hành đích thiết kế, đãn thị vi nhiễu bố lai thiết lợi viên chiến thời công tác đíchOfficial Secrets Act(Anh ngữ:Official Secrets Act 1939)Sử đắc đồ linh bất khả năng giải thích tha phân tích bao quát nhân loại thao tác giả đích kế toán cơ an trang đích cơ sở..[117]Giá đạo trí liễu hạng mục khai thủy đích diên trì, tha đích huyễn tưởng phá diệt liễu. Tại 1947 niên mạt, tha phản hồi liễu kiếm kiều, độ quá liễu nhất cá hưu giả niên. Tại thử kỳ gian, tha sang tác liễu nhất bộ quan vu trí năng cơ giới đích khai sang tính công tác, tha tại đồ linh đích hữu sinh chi niên lí một hữu xuất bản.[118]Đương tha tại kiếm kiều thời, một hữu tha đích tình huống hạ kiến tạo liễuPilot ACE.Tha tại 1950 niên 5 nguyệt 10 nhật vận hành liễu đệ nhất cá trình tự, thế giới các địa đích hứa đa hậu lai đích kế toán cơ đô quy công vu tha, bao quátEnglish Electric DEUCE(Anh ngữ:English Electric DEUCE)Hòa mỹ quốc đíchBendix G-15(Anh ngữ:Bendix G-15).Đồ linh đích ACE đích hoàn chỉnh bản bổn trực đáo tha khứ thế dã một hữu bị kiến tạo.[119]

Căn cư Genscher, Düsseldorf phát biểu đích đức quốc kế toán cơ tiên khu giả,Mã khắc tư · phổ lãng khắc vật lý học nghiên cứu sởĐíchHeinz Billing(Anh ngữ:Heinz Billing)Hồi ức lục, đồ linh hòaKhang lạp đức · sở trạchTằng kinh hữu quá nhất thứ kiến diện.[120]Tha tại 1947 niênCa đình cănPhát sinh. Thẩm vấn thải dụng tọa đàm hội đích hình thức. Tham dữ giả thị lai tự anh cách lan đích Womersley, Turing, Porter hòa nhất ta đức quốc nghiên cứu nhân viên, như Zuse, Walther hòa Billing ( canh đa tường tế tín tức thỉnh tham kiến Herbert Bruderer,Konrad Zuse und die Schweiz).

1948 niên, đồ linh bị nhậm mệnh viMạn triệt tư đặc duy đa lợi á đại họcSổ học hệ(Anh ngữ:School of Mathematics, University of Manchester)reader(Anh ngữ:Reader (academic rank)).Nhất niên hậu, tha thành vi liễu kế toán cơ khí thật nghiệm thất phó chủ nhậm, tha tại kỳ nghiên cứu tối tảo đíchPhùng · nặc y mạn kết cấuKế toán cơ chi nhất,Mạn thiết tư đặc 1 hìnhĐích nhuyễn kiện. Đồ linh soạn tả liễu giá đài cơ khí đích đệ nhất bản trình tự viên thủ sách, tịnh bị Ferranti sính vi tha môn thương nghiệp hóa cơ khí Ferranti Mark 1 khai phát đích cố vấn. Trực đáo tha khứ thế, Ferranti nhưng nhiên kế tục hướng tha chi phó tư tuân phí..[121]Tại giá đoạn thời gian, tha kế tục tố canh gia trừu tượng đích sổ học công tác,[122]Tại “Computing Machinery and Intelligence(Anh ngữ:Computing Machinery and Intelligence)”(Mind(Anh ngữ:Mind (journal)),1950 niên 10 nguyệt ) trung, đồ linh giải quyết liễuNhân công trí năngĐích vấn đề, tịnh đề xuất liễu nhất cá hậu lai bị xưng viĐồ linh trắc thíĐích thật nghiệm, thí đồ vi xưng vi “Trí năng” đích cơ khí định nghĩa nhất cá tiêu chuẩn. Tưởng pháp thị nhất đài kế toán cơ khả dĩ bị nhận vi “Tư khảo”, như quả nhất cá nhân loại thẩm vấn giả bất năng thông quá đàm thoại tương kỳ dữ nhất cá nhân loại phân khai.[123]Luận văn trung, đồ linh kiến nghị dữ kỳ kiến lập nhất cá mô nghĩ thành niên nhân ý thức đích trình tự, bất như tiên kiến lập nhất cá mô nghĩ hài đồng tư tưởng đích trình tự, nhiên hậu nhượng tha tiếp thụ giáo dục. Nhất cá đồ linh trắc thí đíchPhản hướngHình thức tại nhân đặc võng thượng bị quảng phiếm địa sử dụng;Nghiệm chứng mãTrắc thí thị vi liễu xác định dụng hộ thị nhân loại hoàn thị cơ khí nhân.

Tại 1948 niên, đồ linh dữ tha đích tiền bổn khoa đồng sựD.G. Champernowne(Anh ngữ:D.G. Champernowne)Công tác, khai thủy vi nhất cá thượng bất tồn tại đích điện não biên tả nhất cáQuốc tế tượng kỳTrình tự. Đáo liễu 1950 niên, trình tự dĩ kinh hoàn thành, tịnh bị xưng viTurochamp.[124]Tại 1952 niên, tha thường thí tạiFerranti Mark 1(Anh ngữ:Ferranti Mark 1)Thượng thật hiện tha, đãn thị kế toán cơ do vu khuyết phạp túc cú công suất, vô pháp vận hành trình tự. Thế đại địa, đồ linh thông quá tại kỳ bàn thượng chấp hành toán pháp đích chỉ lệnh, mỗi thứ di động đại ước bán tiểu thời, “Vận hành” liễu trình tự. Giá tràng kỳ cục bị ký lục hạ lai.[125]Căn cưGia lí · cơ mạc duy kỳ · tạp tư mạt la phu,Đồ linh đích trình tự “Hạ liễu nhất bàn hữu biện thức độ đích quốc tế tượng kỳ.”[126]Trình tự thâu cấp liễu đồ linh đích đồng sựAlick Glennie(Anh ngữ:Alick Glennie),Tuy nhiên thuyết tha cân Champernowne đích thê tử Isabel doanh liễu nhất cục.[127]

Tha đích đồ linh trắc thí đối quan vu nhân công trí năng đích biện luận tố xuất liễu trọng yếu đích, điển hình đích, thứ kích đích hòa trì cửu đích cống hiến, giá tràng biện luận tại bán cá đa thế kỷ hậu nhưng tại kế tục.[128]

Đồ linh ban đồ dữ sổ lý sinh vật học[Biên tập]

1951 niên, đồ linh 39 tuế, tha chuyển hướngSổ lý sinh vật học,Chung ô tại 1952 niên 1 nguyệt, phát biểu danh thiên 《Hình thái phát sinh đích hóa học cơ sở(Anh ngữ:The Chemical Basis of Morphogenesis)》. Đồ linh hữu chí nghiên cứuHình thái phát sinh,Tức sinh vật thể đích hình thái, đồ án như hà sản sinh. Tha đề xuất, nhất cáPhản ứng - khoách tán hệ thống(Anh ngữ:reaction–diffusion system),Tức nhược càn chủng hóa học vật chất nhất biên hỗ tương phản ứng, nhất biên khoách tán nhi hình thành đích hệ thống, khả dĩ giải thích “Hình thái phát sinh đích chủ yếu hiện tượng” ("the main phenomena of morphogenesis").[129]Tha tham dụngThiên vi phân phương trình tổ,Vi hữu thôi hóa đích hóa học phản ứng kiến mô. Lệ như, nhược mỗ hóa học phản ứng nhu yếu thôi hóa tề giáp tài phát sinh, đãn cai phản ứng bổn thân diệc sản sinh thôi hóa tề giáp, tắc xưng cai phản ứngTự thôi hóa,Thị cáChính hồi quỹHệ thống, khả dĩ dụng phi tuyến tính vi phân phương trình miêu thuật. Đồ linh phát hiện, nhược phản ứng bất cận sản sinh thôi hóa tề giáp, hoàn đồng thời sản sinh ức chế tề ất, ức tề giáp đích sản sinh, nhi lưỡng giả dĩ bất đồng đích tốc suất tại dung khí trung khoách tán, tắc khả dĩ hữu mỗ ta khu vực do giáp chiêm chủ đạo, lánh nhất ta khu vực do ất chủ đạo, tòng nhi sản sinh đồ án. Nhược yếu chuẩn xác mô nghĩ thử hiện tượng, nhu yếu cường đại đích điện não, đãn tại 1951 niên bất dịch thủ dụng, sở dĩ đồ linh cận năng khảo lự phương trình đích tuyến tính cận tự, dĩ chỉ bút giải xuất. Kỳ kế toán cấp xuất chính xác đích định tính kết luận, lệ như thôi đoạn xuất do mỗ chủng quân quân hỗn hợp vật khai thủy, khả dĩ xuất kỳ địa sản sinh cố định gian cự đích hồng điểm. Nga quốc sinh hóa học giaBào lí tư · biệt lạc ô tác phu(Anh ngữ:Boris Pavlovich Belousov)Tằng đắc xuất loại tự đích thật nghiệm kết quả, đãn vị năng phát biểu luận văn, nhân vi đương thời đích thành kiến nhận vi, nhậm hà thử chủng hiện tượng tất nhiên vi phảnNhiệt lực học đệ nhị định luật.Biệt thị vị tằng tri đạo đồ linh tại 《Tự nhiên khoa học hội báo》 phát biểu liễu luận văn.[130]:126

Tuy nhiên đồ linh phát biểu luận văn đích thời gian, thượng tảo ô học giới minh bạchDNAKết cấu hòa công dụng đích thời gian, đãn đồ linh đối hình thái phát sinh đích nghiên cứu, chí 21 thế kỷ nhưng cụ ý nghĩa, tại sổ lý sinh vật lĩnh vực bị thị vi cụ khai sang tính.[131]Tác vi cai luận văn đích tảo kỳ ứng dụng, chiêm mỗ sĩ · mạc thụy giải thích liễu đại tiểu miêu khoa động vật đích mao như hà hình thành ban điểm dữ điều văn.[132]:80[133][130]:134Hậu tục nghiên cứu chỉ xuất, sinh vật chi sở dĩ trường xuất “Vũ mao, mao nang, phế đích phân chi kết cấu”, thậm chí vi hà hữu “Tương tâm tạng trí ô tả hung đích tả hữu bất đối xưng tính”, giai khả do đồ linh đích luận văn bộ phân giải thích.[134]2012 niên, xá tư đẳng nhân phát hiện, di trừ thử đíchĐồng nguyên dị hình cơ nhân,Hội tăng gia chỉ đầu đích sổ mục, nhi bất cải biến chi thể đích chỉnh thể đại tiểu, thôi luận cai chủng cơ nhân khống chế chỉ đầu sinh trường đích cơ chế, thị tạ do điều giáo mỗ cá đồ linh ban đồ đích ba trường ( tức tiền đoạn cơ chế trung, đồ án đích gian cự ).[135]Thử hậu đồ linh đích luận văn, yếu đãi 1992 niên 《 đồ linh văn tập 》 (Collected Works of A. M. Turing) xuất bản, tài kiến chư thị diện.[136]

Cá nhân sinh hoạt[Biên tập]

Đính hôn[Biên tập]

1941 niên, đồ linh hướng Hut 8 đích đồng sự, sổ học gia hòa mật mã phân tích sưJoan Clarke(Anh ngữ:Joan Clarke)Cầu hôn, nhiên nhi tha môn đích đính hôn ngận đoản tạm. Tại hướng vị hôn thê thừa nhận liễu tự kỷ đích đồng tính luyến thân phân hậu, đồ linh quyết định bất tái kế tục giá đoạn hôn nhân, cư báo đạo kỳ vị hôn thê đối giá nhất tiêu tức “Thái nhiên tự nhược”.[137]

Ổi tiết tội[Biên tập]

1952 niên 1 nguyệt, 39 tuế đích đồ linh dữ 19 tuế vô nghiệp nam tử a nặc đức · mục lôi ( Arnold Murray ) tương luyến. Tại thượng nhất niên thánh đản tiết tiền tịch, đồ linh tẩu tại mạn triệt tư đặc đíchNgưu tân lộ(Anh ngữ:Wilmslow Road),TạiPhú hào điện ảnh viện(Anh ngữ:Dancehouse)Môn ngoại ngộ đáo mục lôi, toại thỉnh tha cộng tiến ngọ xan. 1 nguyệt 23 nhật, đồ linh gia tao thiết, mục lôi thuyết tự kỷ hòa đạo thiết phạm thị thục nhân, đồ linh tắc hướng cảnh phương báo cáo án kiện. Điều tra kỳ gian, đồ linh thừa nhận tự kỷ ái thượng mục lôi. Nhiên nhi đồng tính luyến đương thời tại anh quốc chúc vu hình sự phạm tội[138],Lưỡng nhân tối chung án chiếu 《1885 niên hình pháp tu chính án(Anh ngữ:Criminal Law Amendment Act 1885)》 đệ 11 điều bị khống “Nghiêm trọng ổi tiết tội(Anh ngữ:gross indecency)”[139].Án kiệnDự thẩm(Anh ngữ:committal procedure)Vu đồng niên 2 nguyệt 27 nhật cử hành, kỳ gian đồ linh luật sư “Bảo lưu biện hộ quyền lợi”, tức một hữu tựu tương quan chỉ khống đề xuất chứng cư hoặc tiến hành biện hộ.

Hậu lai tại ca ca cập biện hộ luật sư đích thuyết phục hạ, đồ linh tuyển trạch nhận tội[140].Án kiện tối chung dĩ “Nữ vươngTố đồ linh cập mục lôi án” đích danh nghĩa vu 1952 niên 3 nguyệt 31 nhật chính thức khai thẩm[141].Đồ linh tuyển trạch nhận tội, khả dĩ tại phục hình cập hoãn hình chi gian tố xuất tuyển trạch, nhi hoãn hình đích điều kiện thị đồng ý tiến hànhKích tốĐích trị liệu, dĩ hàng đêTính trùng động.Đồ linh tuyển trạch chú xạ đương thời khiếu tố kỳ thư phân ( dã tựu thị hiện tại đíchKỷ hy thư phân) đích hợp thànhThư tính kích tố,Thân thể hội tại chi hậu nhất niên sản sinh thư tính phản ứng, bao quát xuất hiệnBột khởi công năng chướng ngại,Nhũ phòng tổ chức phát dục[142].Giá chủng cảm thụ trực tiếp hòa đồ linh đích dự trắc tương vẫn hợp: “Hào vô nghi vấn ngã hội biến thành nhất cá hoàn toàn bất đồng đích nam nhân, hoàn một hữu ngộ đáo quá đích na chủng[143][144].”Dữ thử đồng thời, mục lôi hoạch đắc hữu điều kiện giả thích[145].

Bị phán hình hậu, đồ linh tòng sự an toàn công tác đích tư cách bị triệt tiêu, vô pháp tại anh quốcTín hào tình báoCơ cấuChính phủ thông tín tổng bộĐam nhậm mật mã học cố vấn, đãn tha khả dĩ kế tục tòng sự học thuật công tác. Trừ thử chi ngoại, đồ linh dã vô pháp tiến nhập mỹ quốc, đãn khả dĩ tự do tiền vãng kỳ tha âu châu quốc gia[146].

Tử vong[Biên tập]

A blue plaque on the house at 43 Adlington Road,Wilmslowwhere Turing lived and died[147]

On 8 June 1954, at his house at 43 Adlington Road,Wilmslow,[147]Turing's housekeeper found him dead. He had died the previous day at the age of 41.Cyanide poisoningwas established as the cause of death.[148]When his body was discovered, an apple lay half-eaten beside his bed, and although the apple was not tested for cyanide,[149]it was speculated that this was the means by which Turing had consumed a fatal dose. Aninquest(Anh ngữ:Inquests in England and Wales)determined that he had committed suicide. Andrew Hodges and another biographer,David Leavitt(Anh ngữ:David Leavitt),have both speculated that Turing was re-enacting a scene from theWalt DisneyfilmSnow White and the Seven Dwarfs(1937), his favourite fairy tale. Both men noted that (in Leavitt's words) he took "an especially keen pleasure in the scene where the Wicked Queen immerses her apple in the poisonous brew".[150]Turing's remains were cremated atWoking Crematorium(Anh ngữ:Woking Crematorium)on 12 June 1954,[151]and his ashes were scattered in the gardens of the crematorium, just as his father's had been.[152]

PhilosopherJack Copeland(Anh ngữ:Jack Copeland)has questioned various aspects of the coroner's historical verdict. He suggested an alternative explanation for the cause of Turing's death: the accidental inhalation of cyanide fumes from an apparatus used toelectroplategold onto spoons. Thepotassium cyanidewas used todissolve the gold.Turing had such an apparatus set up in his tiny spare room. Copeland noted that the autopsy findings were more consistent with inhalation than with ingestion of the poison. Turing also habitually ate an apple before going to bed, and it was not unusual for the apple to be discarded half-eaten.[15]Furthermore, Turing had reportedly borne his legal setbacks and hormone treatment (which had been discontinued a year previously) "with good humour" and had shown no sign of despondency prior to his death. He even set down a list of tasks that he intended to complete upon returning to his office after the holiday weekend.[15]Turing's mother believed that the ingestion was accidental, resulting from her son's careless storage of laboratory chemicals.[16]Biographer Andrew Hodges theorised that Turing arranged the delivery of the equipment to deliberately allow his motherplausible deniabilitywith regard to any suicide claims.[17]

Turing's OBE currently held inSherborne School(Anh ngữ:Sherborne School)archives

It has been suggested that Turing's belief infortune-telling(Anh ngữ:fortune-telling)may have caused his depressed mood.[152]As a youth, Turing had been told by a fortune-teller that he would be a genius. In mid-May 1954, shortly before his death, Turing again decided to consult a fortune-teller during a day-trip toSt Annes-on-Seawith the Greenbaum family.[152]According to the Greenbaums' daughter, Barbara:[153]

But it was a lovely sunny day and Alan was in a cheerful mood and off we went... Then he thought it would be a good idea to go to thePleasure Beach at Blackpool(Anh ngữ:Blackpool Pleasure Beach).We found a fortune-teller's tent[,] and Alan said he'd like to go in[,] so we waited around for him to come back... And this sunny, cheerful visage had shrunk into a pale, shaking, horror-stricken face. Something had happened. We don't know what the fortune-teller said[,] but he obviously was deeply unhappy. I think that was probably the last time we saw him before we heard of his suicide.

Chính phủ đạo khiểm dữ xá miễn[Biên tập]

In August 2009, British programmerJohn Graham-Cumming(Anh ngữ:John Graham-Cumming)started a petition urging the British government to apologise for Turing's prosecution as a homosexual.[154][155]The petition received more than 30,000 signatures.[156][157]The Prime Minister,Gordon Brown,acknowledged the petition, releasing a statement on 10 September 2009 apologising and describing the treatment of Turing as "appalling":[156][158]

Thousands of people have come together to demand justice for Alan Turing and recognition of the appalling way he was treated. While Turing was dealt with under the law of the time and we can't put the clock back, his treatment was of course utterly unfair and I am pleased to have the chance to say how deeply sorry I and we all are for what happened to him... So on behalf of the British government, and all those who live freely thanks to Alan's work I am very proud to say: we're sorry, you deserved so much better.[156][159]

In December 2011, William Jones and his Member of Parliament,John Leech(Anh ngữ:John Leech (politician)),created ane-petition(Anh ngữ:e-petition)[160]requesting that the British governmentpardonTuring for his conviction of "gross indecency":[161]

We ask the HM Government to grant a pardon to Alan Turing for the conviction of "gross indecency". In 1952, he was convicted of "gross indecency" with another man and was forced to undergo so-called "organo-therapy" —chemical castration. Two years later, he killed himself with cyanide, aged just 41. Alan Turing was driven to a terrible despair and early death by the nation he'd done so much to save. This remains a shame on the British government and British history. A pardon can go some way to healing this damage. It may act as an apology to many of the other gay men, not as well-known as Alan Turing, who were subjected to these laws.[160]

The petition gathered over 37,000 signatures,[160][162]and was submitted to Parliament by the Manchester MPJohn Leech(Anh ngữ:John Leech (politician))but the request was discouraged by Justice MinisterLord McNally(Anh ngữ:Tom McNally, Baron McNally#Political career),who said:[163]

A posthumous pardon was not considered appropriate as Alan Turing was properly convicted of what at the time was a criminal offence. He would have known that his offence was against the law and that he would be prosecuted. It is tragic that Alan Turing was convicted of an offence that now seems both cruel and absurd—particularly poignant given his outstanding contribution to the war effort. However, the law at the time required a prosecution and, as such, long-standing policy has been to accept that such convictions took place and, rather than trying to alter the historical context and to put right what cannot be put right, ensure instead that we never again return to those times.[164]

John Leech(Anh ngữ:John Leech (politician)),the MP forManchester Withington(2005–15), submitted several bills to Parliament[165]and led a high-profile campaign to secure the pardon. Leech made the case in the House of Commons that Turing's contribution to the war made him a national hero and that it was "ultimately just embarrassing" that the conviction still stood.[166]Leech continued to take the bill through Parliament and campaigned for several years, gaining the public support of numerous leading scientists, includingStephen Hawking.[167][168]At the British premiere of a film based on Turing's life,The Imitation Game,the producers thanked Leech for bringing the topic to public attention and securing Turing's pardon.[169]Leech is now regularly described as the "architect" of Turing's pardon and subsequently the Alan Turing Law which went on to secure pardons for 75,000 other men and women convicted of similar crimes.[170][171][172][173][174][175][176][177][178][179][180]

On 26 July 2012, a bill was introduced in theHouse of Lordsto grant a statutory pardon to Turing for offences under section 11 of the Criminal Law Amendment Act 1885, of which he was convicted on 31 March 1952.[181]Late in the year in a letter toThe Daily Telegraph,the physicist Stephen Hawking and 10 other signatories including theAstronomer RoyalLord Rees,President of the Royal SocietySirPaul Nurse,Lady Trumpington(Anh ngữ:Jean Barker, Baroness Trumpington)(who worked for Turing during the war) andLord Sharkey(Anh ngữ:John Sharkey, Baron Sharkey)(the bill's sponsor) called on Prime MinisterDavid Cameronto act on the pardon request.[182]The government indicated it would support the bill,[183][184][185]and it passed its third reading in the House of Lords in October.[186]

At the bill's second reading in theHouse of Commonson 29 November 2013, Conservative MPChristopher Chopeobjected to the bill, delaying its passage. The bill was due to return to the House of Commons on 28 February 2014,[187]but before the bill could be debated in the House of Commons,[188]the government elected to proceed under theroyal prerogative of mercy(Anh ngữ:royal prerogative of mercy).On 24 December 2013,Queen Elizabeth IIsigned a pardon for Turing's conviction for "gross indecency", with immediate effect.[189]Announcing the pardon, Lord ChancellorChris Graylingsaid Turing deserved to be "remembered and recognised for his fantastic contribution to the war effort" and not for his later criminal conviction.[162][190]The Queen officially pronounced Turing pardoned in August 2014.[191]The Queen's action is only the fourth royal pardon granted since the conclusion of the Second World War.[192]Pardons are normally granted only when the person is technically innocent, and a request has been made by the family or other interested party; neither condition was met in regard to Turing's conviction.[193]

In September 2016, the government announced its intention to expand this retroactive exoneration to other men convicted of similar historical indecency offences, in what was described as an "Alan Turing law".[194][195]TheAlan Turing lawis now an informal term for the law in the United Kingdom, contained in thePolicing and Crime Act 2017(Anh ngữ:Policing and Crime Act 2017),which serves as anamnesty law(Anh ngữ:amnesty law)to retroactively pardon men who were cautioned or convicted under historical legislation that outlawed homosexual acts. The law applies in England and Wales.[196]

Ảnh hưởng[Biên tập]

Tham kiến:Dĩ ngải luân · đồ linh mệnh danh đích sự vật ( anh )HòaNgải luân · đồ linh đích thân hậu ảnh hướng ( anh )

Tưởng hạng dữ vinh dự[Biên tập]

2008 niên thời mạn triệt tư đặc đại học đíchNgải luân đồ linh đại lâu(Anh ngữ:Alan Turing Building)

Đồ linh tại 1946 niên bị thụ dưĐại anh đế quốc huân chươngQuan tá huân chương[86],Hậu tại 1951 niên đương tuyển viHoàng gia học hội viện sĩ[8]. Mạn triệt tư đặcTác vi đồ linh tự công tác trực chí ly thế sở cư trụ đích thành thị, dụng liễu các chủng phương thức lai kỷ niệm tha. 1994 niên, mạn triệt tư đặc trung đíchNhất đoạn hoàn lộ(Anh ngữ:A6010 road)Dĩ kỳ danh tự mệnh danh, giá điều lộ sở hành kinh đích kiều thác khoan hậu diệc dĩ tha vi danh. Tại 2001 niên 6 nguyệt 23 nhật,Đồ linh điêu tượng(Anh ngữ:Alan Turing Memorial)Tại mạn triệt tư đặc đại học hòaVận hà nhaiPhụ cận đích công viên lạc thành, giá vị “Kế toán cơ khoa học chi phụ” tọa tại công viên trung tâm vị trí đích nhất trương trường y thượng, thủ trung hoàn nã trứ nhất cá tượng trưng kỳ tự sát thời sử dụng đích bình quả, thân hậu đích trường y chú hữu cư tín vi “Kế toán cơ khoa học khai sang giả” anh văn kinhÂn ni cách mã mật mã cơGia mật hậu đích tự dạng: “IEKYF ROMSI ADXUO KVKZC GUBJ”[d][197].

Ngải luân · đồ linh điêu tượng
Vị ô mạn triệt tư đặc đích đồ linh kỷ niệm điêu tượng minh bài

Điêu tượng cước hạ đích bài biển thượng tả trứ “Kế toán cơ khoa học chi phụ, sổ học gia, la tập học gia, chiến thời mật mã phá dịch giả, thiên kiến đích thụ hại giả”. Dĩ cậpBá đặc lan · la tốĐích danh ngôn: “Sổ học, chính xác khán đãi thời, bất cận cụ hữu chân lý, hoàn cụ hữu chí cao đích mỹ — nhất chủng lãnh nhi nghiêm tuấn đích mỹ, nhất chủng như điêu tố nhất bàn ngật lập bất diêu đích mỹ.” Giá vị điêu tố gia tương tha tự kỷ đích cựuAmstrad(Anh ngữ:Amstrad)Kế toán cơ mai tại liễu cơ tọa hạ, dĩ thử hướng “Sở hữu hiện đại kế toán cơ đích giáo phụ” trí kính[198].

1999 niên, 《Thời đại tạp chí》 đề danh đồ linh viThời đại 100 nhân: Bổn thế kỷ tối trọng yếu đích nhân vật,Tịnh bình giới đạo: “Thời chí kim nhật, hiện tại mỗi cá nhân xao kích kiện bàn, đả khai điện tử biểu cách hoặc văn tự xử lý trình tự, đô nhưng tại sử dụng sở vị đích đồ linh cơ.”[9] 2012 niên 6 nguyệt 23 nhật, đồ linh đản thần nhất bách chu niên chi tế, nhất khối lam sắc bài biển tại quốc vương học viện yết mạc, hiện tại an trang tại cai học viện vị ô King's Parade đích khải ân tư đại lâu [199][200].

2021 niên 3 nguyệt 25 nhật, anh cách lan ngân hành công bố liễu tân bản 50 anh bàng chỉ tệ đích thiết kế, bối diện ấn hữu đồ linh đích tiêu tượng, tịnh tại đồ linh đản thần 6 nguyệt 23 nhật chính thức phát hành. Đồ linh vu 2019 niên kinh quá công khai đề danh bị tuyển vi tân tiêu tượng nhân tuyển [201].

Bách niên đản thần[Biên tập]

Chủ điều mục:Ngải luân · đồ linh niên ( anh )

Vi kỷ niệm đồ linh đản thần 100 chu niên, đồ linh bách niên kỷ niệm ti tuân ủy viên hội (TCAC) hiệp điều liễuNgải luân đồ linh niên(Anh ngữ:Alan Turing Year),Giá thị nhất hạng vi kỳ nhất niên đích toàn cầu hoạt động kế hoa, chỉ tại kỷ niệm đồ linh đích sinh bình hòa thành tựu. TCAC doS. Barry Cooper(Anh ngữ:S. Barry Cooper)Đam nhậm chủ tịch, đồ linh đích chất tử ước hàn · đức mạc đặc · đồ linh tước sĩ đam nhậm danh dự chủ tịch, hợp tác giả bao quát mạn triệt tư đặc đại học đích giáo chức viên công dĩ cập lai tự kiếm kiều đại học hòaBố lai thiết lợi công viênĐích nhân sĩ.

Cương điêu tố tranh nghị[Biên tập]

2020 niên 5 nguyệt, cưGay Star News(Anh ngữ:Gay Star News)Báo đạo, vi kỷ niệm đồ linh, anh quốc điêu tố giaAntony Gormley(Anh ngữ:Antony Gormley)Thiết kế liễu nhất tọa 12 anh xích ( 3.7 mễ ) đích cương chế điêu tố. Antony Gormley đề án bả điêu tố kiến tạo tạiKiếm kiều đại học quốc vương học viện,ĐãnAnh cách lan lịch sử di sản bảo hộ cụcXưng nhất tọa 19 khối cương bản tổ thành đích trừu tượng điêu tố “… Dữ học viện hiện hữu đích đặc chinh bất phù. Giá dạng đối vu cảnh quan hòaBảo hộ kiến trúc,Dĩ cập đối bảo hộ khu đích khoách triển đô hội tạo thành nhất ta bất na ma cụ thật chất tính đích tổn hại.”[202]

Chú thích[Biên tập]

  1. ^Tử nhân tài quyết định vi tự sát, đãn tồn tại tranh nghị, kiến bổn vănTử vongChương tiết.
  2. ^“Đồ linh” (Turing) dã dịch tác đồ lâm hoặc đỗ lâm. Anh ngữ độc âm vi/ˈtjʊərɪŋ/.
  3. ^Nương gia tính tư thác ni (Stoney).
  4. ^Kỳ hàm nghĩa tồn tại tranh nghị, nhân vi Computer nhất từ trung đích u tại cai tự phù xuyến trung đồng dạng thị U. Nhiên nhi tự mẫu tại ân ni cách mã đích gia mật trung bất hội xuất hiện nhưng vi nguyên tự mẫu đích tình huống.

Tham khảo tư liêu[Biên tập]

  1. ^1.01.1DoGoogle học thuật sưu tácTác dẫn đíchNgải luân · đồ linhXuất bản vật.
  2. ^2.02.1Ngải luân · đồ linhTạiSổ học phổ hệ kế họaĐích tư liêu.
  3. ^Gandy, Robin Oliver.On axiomatic systems in mathematics and theories in physics(PhD luận văn ). University of Cambridge. 1953[2017-12-09].doi:10.17863/CAM.16125.EThOSuk.bl.ethos.590164.( nguyên thủy nội dungTồn đươngVu 2017-12-09 ).可免费查阅
  4. ^4.04.1Kiều nạp sâm ·P· bào văn.The Impact of Alan Turing: Formal Methods and Beyond. Kiều nạp sâm ·P· bào văn;Lưu chí minh;Trương tự lập ( biên ).Engineering Trustworthy Software Systems. SETSS 2018(PDF).Kế toán cơ khoa học giảng nghĩa(Anh ngữ:Lecture Notes in Computer Science)11430.Cham:Springer.2019: 202–235.ISBN978-3-030-17600-6.S2CID 121295850.doi:10.1007/978-3-030-17601-3_5.( nguyên thủy nội dungTồn đương(PDF)Vu 2022-10-09 )( anh ngữ ).
  5. ^Ivor Grattan-Guinness, Chapter 40,Turing's mentor, Max Newman.InCopeland, B. Jack; Bowen, Jonathan P.; Wilson, Robin; Sprevak, Mark. The Turing Guide. Oxford University Press. 2017.ISBN978-0-19-874782-6.
  6. ^Who was Alan Turing?.The British Library.[2019-07-29].(Nguyên thủy nội dungTồn đương vu 2019-07-23 ).
  7. ^7.07.17.2Anon.Turing, Alan Mathison需要付费订阅.Anh quốc danh nhân lục.ukwhoswho.comNgưu tân đại học xuất bản xãTại tuyến bản ( bố lư mỗ tư bá lí xuất bản công tư kỳ hạ A & C Black). 2017.doi:10.1093/ww/9780199540884.013.U243891.Nhu yếu đính duyệt hoặcAnh quốc công cộng đồ thư quán hội viên tư cách
  8. ^8.08.1Newman, M.H.A.Alan Mathison Turing. 1912–1954.Biographical Memoirs of Fellows of the Royal Society(Anh ngữ:Biographical Memoirs of Fellows of the Royal Society).1955,1:253–263.JSTOR 769256.S2CID 711366.doi:10.1098/rsbm.1955.0019 可免费查阅.
  9. ^9.09.1Gray, Paul.Alan Turing – Time 100 People of the Century.Time. 1999-03-29[2011-01-10].(Nguyên thủy nội dungTồn đương vu 2011-01-19 )( anh ngữ ).Providing a blueprint for the electronic digital computer. The fact remains that everyone who taps at a keyboard, opening a spreadsheet or a word-processing program, is working on an incarnation of a Turing machine.
  10. ^Sipser 2006,Đệ 137 hiệt
  11. ^Beavers 2013,Đệ 481 hiệt
  12. ^Copeland, Jack.Alan Turing: The codebreaker who saved 'millions of lives'.BBC News Technology. 2012-06-18[2014-10-26].( nguyên thủy nội dungTồn đươngVu 2014-10-11 ).
  13. ^A number of sources state that Winston Churchill said that Turing made the single biggest contribution to Allied victory in the war against Nazi Germany. However, bothThe Churchill Centre(Anh ngữ:The Churchill Centre)and Turing's biographerAndrew Hodges(Anh ngữ:Andrew Hodges)have stated they know of no documentary evidence to support this claim, nor of the date or context in which Churchill supposedly said it, and the Churchill Centre lists it among their Churchill 'Myths', seeSchilling, Jonathan.Churchill Said Turing Made the Single Biggest Contribution to Allied Victory.The Churchill Centre: Myths. 2015-01-08[2015-01-09].( nguyên thủy nội dungTồn đươngVu 2015-02-17 ).andHodges, Andrew.Part 4: The Relay Race.Update toAlan Turing: The Enigma(Anh ngữ:Alan Turing: The Enigma).[2015-01-09].( nguyên thủy nội dungTồn đươngVu 2015-01-20 ).ABBC Newsprofile piece that repeated the Churchill claim has subsequently been amended to say there is no evidence for it. SeeSpencer, Clare.Profile: Alan Turing.BBC News. 2009-09-11[2015-02-17].( nguyên thủy nội dungTồn đươngVu 2017-12-13 ).Update 13 February 2015Official war historianHarry Hinsley(Anh ngữ:Harry Hinsley)estimated that this work shortened the war in Europe by more than two years but added the caveat that this did not account for theuse of the atomic bomband other eventualities.Hinsley, Harry,The Influence of ULTRA in the Second World War,1996 [1993]Transcript of a lecture given on Tuesday 19 October 1993 at Cambridge University
  14. ^Olinick, M. (2021). Simply Turing. United States: Simply Charly, ch. 15.
  15. ^15.015.115.2Pease, Roland.Alan Turing: Inquest's suicide verdict 'not supportable'.BBC News.2012-06-23[2012-06-23].( nguyên thủy nội dungTồn đươngVu 2012-06-23 ).We have... been recreating the narrative of Turing's life, and we have recreated him as an unhappy young man who committed suicide. But the evidence is not there.
  16. ^16.016.1TURING, Ethel Sara (1881–1976, mother of Alan Turing). Series of 11 autograph letters to Robin Gandy, Guilford, 28 July 1954 – 11 June 1971 (most before 1959), altogether 29 pages, 8vo (2 letters dated 17 May and 26 May 1955 incomplete, lacking continuation leaves, occasional light soiling).christies.com.[2019-02-06].( nguyên thủy nội dungTồn đươngVu 2019-02-07 ).
  17. ^17.017.1Hodges 1983,Đệ 488, 489 hiệt
  18. ^18.018.1Hodges 1983,Đệ 5 hiệt
  19. ^The Alan Turing Internet Scrapbook.Alan Turing: The Enigma(Anh ngữ:Alan Turing: The Enigma).[2012-01-02].( nguyên thủy nội dungTồn đươngVu 2012-10-14 ).
  20. ^Phil Maguire, "An Irishman's Diary", p. 5.The Irish Times,23 June 2012.
  21. ^London Blue Plaques.English Heritage.[2007-02-10].( nguyên thủy nội dungTồn đươngVu 2009-09-03 ).
  22. ^The Alan Turing Internet Scrapbook.[2006-09-26].( nguyên thủy nội dungTồn đươngVu 2011-07-20 ).
  23. ^The Scientific Tourist In London: #17 Alan Turing's Birth PlaceHỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2013-09-21.,Nature.London Blog
  24. ^Plaque #381 on Open Plaques.
  25. ^Sir John Dermot TuringHỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2017-10-18. on the Bletchley Park website.
  26. ^Hodges 1983,Đệ 6 hiệt
  27. ^Plaque unveiled at Turing's home in St Leonards.Hastings & St. Leonards Observer(Anh ngữ:Hastings & St. Leonards Observer).2012-06-29[2017-07-03].(Nguyên thủy nội dungTồn đương vu 2017-09-12 ).
  28. ^St Leonards plaque marks Alan Turing's early years.BBC News.2012-06-25[2017-07-03].( nguyên thủy nội dungTồn đươngVu 2017-12-03 ).
  29. ^Jones, G. James.Alan Turing – Towards a Digital Mind: Part 1.System Toolbox. 2001-12-11[2007-07-27].(Nguyên thủy nội dungTồn đương vu 2007-08-03 ).
  30. ^Guildford Dragon NEWS.The Guildford Dragon. 2012-11-29[2013-10-31].( nguyên thủy nội dungTồn đươngVu 2013-10-19 ).
  31. ^Cawthorne, Nigel.Alan Turing: the enigma man.London. 2014: 18.ISBN978-1-78404-535-7.OCLC 890938716.
  32. ^Alan Mathison.Alan Turing Archive – Sherborne School (ARCHON CODE: GB1949)(PDF).Sherborne School, Dorset. April 2016[2017-02-05].( nguyên thủy nội dungTồn đương(PDF)Vu 2016-12-26 ).
  33. ^Alan Turing OBE, PhD, FRS (1912–1954).The Old Shirburnian Society. 2016-09-01[2020-10-10]( anh quốc anh ngữ ).
  34. ^Hofstadter, Douglas R. Metamagical Themas: Questing for the Essence of Mind and Pattern. Basic Books. 1985:484.ISBN978-0-465-04566-2.OCLC 230812136.
  35. ^Hodges 1983,Đệ 26 hiệt
  36. ^Hodges 1983,Đệ 34 hiệt
  37. ^The Shirburnian
  38. ^Caryl, Christian.Poor Imitation of Alan Turing.New York Review of Books.2014-12-19[2015-01-09].( nguyên thủy nội dungTồn đươngVu 2015-01-07 ).Tham sổ|newspaper=Dữ mô bản{{cite web}}Bất thất phối ( kiến nghị cải dụng{{cite news}}Hoặc|website=) (Bang trợ)
  39. ^Rachel Hassall,'The Sherborne Formula: The Making of Alan Turing'Hỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2014-04-15. 'Vivat!' 2012/13
  40. ^Teuscher, Christof( biên ). Alan Turing: Life and Legacy of a Great Thinker.Springer-Verlag.2004.ISBN978-3-540-20020-8.OCLC 53434737.
  41. ^Hodges 1983,Đệ 61 hiệt
  42. ^Hodges, Andrew.Alan Turing: The Enigma需要免费注册.Princeton University Press. 2012:87.ISBN978-0-691-15564-7.
  43. ^Hodges, Andrew.Alan Turing: The Enigma需要免费注册.Princeton University Press. 2012:90.ISBN978-0-691-15564-7.
  44. ^Paul Gray,Alan TuringHỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2011-01-19. Time Magazine's Most Important People of the Century, p. 2
  45. ^Hodges 1983,Đệ 82–83 hiệt
  46. ^The Old Shirburnian Society
  47. ^See Section 3 of John Aldrich, "England and Continental Probability in the Inter-War Years", Journal Electronique d'Histoire des Probabilités et de la Statistique, vol. 5/2Decembre 2009Hỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2018-04-21. Journal Electronique d'Histoire des Probabilités et de la Statistique
  48. ^Hodges 1983,Đệ 88, 94 hiệt
  49. ^Turing 1937
  50. ^B. Jack Copeland; Carl J. Posy; Oron Shagrir.Computability: Turing, Gödel, Church, and Beyond.MIT Press. 2013: 211.ISBN978-0-262-01899-9.
  51. ^Avi Wigderson. Mathematics and Computation. Princeton University Press. 2019: 15.ISBN978-0-691-18913-0.
  52. ^Church 1936
  53. ^Grime, James.What Did Turing Do for Us?.NRICH(Anh ngữ:NRICH).University of Cambridge.February 2012[2016-02-28].( nguyên thủy nội dungTồn đươngVu 2016-03-04 ).
  54. ^"von Neumann... firmly emphasised to me, and to others I am sure, that the fundamental conception is owing to Turing—insofar as not anticipated by Babbage, Lovelace and others." Letter byStanley Frankel(Anh ngữ:Stanley Frankel)toBrian Randell(Anh ngữ:Brian Randell),1972, quoted inJack Copeland(Anh ngữ:Jack Copeland)(2004)The Essential Turing,p. 22.
  55. ^Hodges 1983,Đệ 138 hiệt
  56. ^Turing, A.M.Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society. 1939,s2–45:161–228.doi:10.1112/plms/s2-45.1.161.hdl:21.11116/0000-0001-91CE-3 可免费查阅.
  57. ^Turing, Alan.Systems of Logic Based on Ordinals (PhD luận văn ). Princeton University. 1938.doi:10.1112/plms/s2-45.1.161.hdl:21.11116/0000-0001-91CE-3 可免费查阅.ProQuest301792588.
  58. ^Turing, A.M.Systems of Logic Based on Ordinals(PDF).1938[2012-02-04].(Nguyên thủy nội dung(PDF)Tồn đương vu 2012-10-23 ).
  59. ^John Von Neumann: The Scientific Genius Who Pioneered the Modern Computer, Game Theory, Nuclear Deterrence, and Much More,Norman MacRae, 1999, American Mathematical Society, Chapter 8
  60. ^Hodges 1983,Đệ 152 hiệt
  61. ^Cora Diamond(Anh ngữ:Cora Diamond)(ed.),Wittgenstein's Lectures on the Foundations of Mathematics,University of Chicago Press, 1976
  62. ^Hodges 1983,Đệ 153–154 hiệt
  63. ^Briggs, Asa.Britain's Greatest Codebreaker (TV broadcast).UK Channel 4.2011-11-21.
  64. ^Copeland, Jack.Colossus and the Dawning of the Computer Age. Smith, Michael; Erskine, Ralph ( biên ). Action This Day. Bantam. 2001: 352.ISBN978-0-593-04910-5.
  65. ^Copeland 2004a,Đệ 217 hiệt
  66. ^Clark, Liat.Turing's achievements: codebreaking, AI and the birth of computer science (Wired UK).Wired. 2012-06-18[2013-10-31].( nguyên thủy nội dungTồn đươngVu 2013-11-02 ).
  67. ^67.067.1Copeland, 2006 p. 378.
  68. ^68.068.1Collins, Jeremy.Alan Turing and the Hidden Heroes of Bletchley Park: A Conversation with Sir John Dermot Turing.nationalww2museum.org. New Orleans: The National WWII Museum. 2020-06-24[2021-08-24].
  69. ^Turing, Alan.The Applications of Probability to Cryptography.c. 1941[2015-03-25].The National Archives (United Kingdom): HW 25/37. ( nguyên thủy nội dungTồn đươngVu 2015-04-07 ).
  70. ^Turing, Alan.Paper on Statistics of Repetitions.c. 1941[2015-03-25].The National Archives (United Kingdom): HW 25/38. ( nguyên thủy nội dungTồn đươngVu 2015-04-08 ).
  71. ^Vallance, Chris.Alan Turing papers on code breaking released by GCHQ.BBC News. 2012-04-19[2012-04-20].( nguyên thủy nội dungTồn đươngVu 2012-10-04 ).
  72. ^Hodges 1983,Đệ 208 hiệt
  73. ^Lewin 1978,Đệ 57 hiệt
  74. ^Hilton, Peter.A Century of Mathematics in America, Part 1, Reminiscences of Bletchley Park(PDF).( nguyên thủy nội dungTồn đương(PDF)Vu 2019-08-29 ).
  75. ^Hilton, Peter.NOVA | Transcripts | Decoding Nazi Secrets | PBS.( nguyên thủy nội dungTồn đươngVu 2019-08-29 ).
  76. ^Brown, Anthony Cave.Bodyguard of Lies: The Extraordinary True Story Behind D-Day. The Lyons Press. 1975.ISBN978-1-59921-383-5.
  77. ^Graham-Cumming, John.An Olympic honour for Alan Turing.The Guardian (London). 2010-03-10[2016-12-10].( nguyên thủy nội dungTồn đươngVu 2016-12-01 ).
  78. ^Butcher, Pat.In Praise of Great Men.Globe Runner. 2009-09-14[2012-06-23].( nguyên thủy nội dungTồn đươngVu 2013-08-18 ).
  79. ^Hodges, Andrew.Alan Turing: a short biography.Alan Turing: The Enigma.[2014-06-12].( nguyên thủy nội dungTồn đươngVu 2013-09-14 ).
  80. ^Graham-Cumming, John.Alan Turing: a short biography.The Guardian. 2010-03-10[2014-06-12].( nguyên thủy nội dungTồn đươngVu 2014-11-08 ).
  81. ^Butcher, Pat.Turing as a runner.The MacTutor History of Mathematics archive. December 1999[2014-06-12].( nguyên thủy nội dungTồn đươngVu 2014-11-13 ).
  82. ^Kottke, Jason.Turing was an excellent runner.kottke.org.
  83. ^See for exampleRichelson, Jeffery T.A Century of Spies: Intelligence in the Twentieth Century. New York: Oxford University Press. 1997: 296.andHartcup, Guy.The Effect of Science on the Second World War. Basingstoke, Hampshire: Macmillan Press. 2000: 96–99.
  84. ^Hinsley, Harry,The Influence of ULTRA in the Second World War,1996 [1993]Transcript of a lecture given on Tuesday 19 October 1993 at Cambridge University
  85. ^Alan Turing: Colleagues share their memories.BBC News. 2012-06-23[2018-06-21].( nguyên thủy nội dungTồn đươngVu 2018-07-07 ).
  86. ^86.086.1This month in history: Alan Turing and the Enigma code.thegazette.co.uk.[2019-02-06].( nguyên thủy nội dungTồn đươngVu 2019-06-26 ).
  87. ^Welchman, Gordon,The Hut Six story: Breaking the Enigma codes, Cleobury Mortimer, England: M&M Baldwin: 81, 1997 [1982],ISBN978-0-947712-34-1
  88. ^Jack Good in "The Men Who Cracked Enigma", 2003: with his caveat: "if my memory is correct".
  89. ^The Turing-Welchman Bombe.The National Museum of Computing.[2021-03-18].
  90. ^Oakley 2006,Đệ 40/03B hiệt
  91. ^91.091.1Hodges 1983,Đệ 218 hiệt
  92. ^92.092.1Hodges 1983,Đệ 221 hiệt
  93. ^Copeland,The Essential Turing,pp. 336–337Hỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2015-02-18..
  94. ^Copeland, Jack;Proudfoot, Diane.Alan Turing, Codebreaker and Computer Pioneer.alanturing.net. May 2004[2007-07-27].( nguyên thủy nội dungTồn đươngVu 2007-07-09 ).
  95. ^Bletchley Park Unveils Statue Commemorating Alan Turing.[2007-06-30].( nguyên thủy nội dungTồn đươngVu 2007-06-30 ).
  96. ^96.096.196.2Mahon 1945,Đệ 14 hiệt
  97. ^Leavitt 2007,Đệ 184–186 hiệt
  98. ^Gladwin, Lee.Alan Turing, Enigma, and the Breaking of German Machine Ciphers in World War II(PDF).Prologue Magazine. Fall 1997,. Fall 1997: 202–217[2019-04-13].( nguyên thủy nội dungTồn đương(PDF)Vu 2019-06-26 ) – thông quá National Archives.
  99. ^Good, Jack;Michie, Donald;Timms, Geoffrey,General Report on Tunny: With Emphasis on Statistical Methods,Part 3 Organisation: 38 Wheel-breaking from Key, Page 293, 1945[2019-04-13],UK Public Record Office HW 25/4 and HW 25/5, ( nguyên thủy nội dungTồn đươngVu 2019-04-21 )
  100. ^Hodges 1983,Đệ 242–245 hiệt
  101. ^Turing, Alan M. Visit to National Cash Register Corporation of Dayton, Ohio. Cryptologia. 2001,25(1): 1–10.S2CID 14207094.doi:10.1080/0161-110191889734.
  102. ^Hodges 1983,Đệ 245–253 hiệt
  103. ^Marshall Legacy Series: Codebreaking – Events.marshallfoundation.org.[2019-04-07].( nguyên thủy nội dungTồn đươngVu 2019-04-07 ).
  104. ^Alexander & circa 1945,Đệ 42 hiệt
  105. ^Copeland 2006,Đệ 380 hiệt
  106. ^Copeland 2006,Đệ 381 hiệt
  107. ^Copeland 2006,Đệ 72 hiệt
  108. ^Gannon 2007,Đệ 230 hiệt
  109. ^Hilton 2006,Đệ 197–199 hiệt
  110. ^Copeland 2006,Đệ 382, 383 hiệt
  111. ^Hodges 1983,Đệ 245–250 hiệt
  112. ^Hodges 1983,Đệ 273 hiệt
  113. ^Hodges 1983,Đệ 346 hiệt
  114. ^Plaque #1619 on Open Plaques.
  115. ^Copeland 2006,Đệ 108 hiệt
  116. ^Randell, Brian.A History of Computing in the Twentieth Century: Colossus(PDF).1980[2012-01-27].( nguyên thủy nội dungTồn đương(PDF)Vu 2012-01-27 ).citingWomersley, J.R.'ACE' Machine Project. Executive Committee, National Physical Laboratory, Teddington, Middlesex. 1946-02-13.
  117. ^Hodges, Andrew.Alan Turing: The Enigma. Princeton University Press. 2014:416.ISBN978-0-691-16472-4.
  118. ^SeeCopeland 2004b,Đệ 410–432 hiệt
  119. ^Turing at NPL.[2015-07-03].( nguyên thủy nội dungTồn đươngVu 2015-07-05 ).
  120. ^Bruderer, Herbert.Did Alan Turing interrogate Konrad Zuse in Göttingen in 1947?(PDF).[2013-02-07].( nguyên thủy nội dungTồn đương(PDF)Vu 2013-05-21 ).
  121. ^Swinton, Jonathan.Alan Turing's Manchester.Manchester: Infang Publishing. 2019[2019-03-18].ISBN978-0-9931789-2-4.( nguyên thủy nội dungTồn đươngVu 2019-02-17 ).
  122. ^Turing, A.M. Rounding-Off Errors in Matrix Processes. The Quarterly Journal of Mechanics and Applied Mathematics. 1948,1:287–308.doi:10.1093/qjmam/1.1.287.hdl:10338.dmlcz/103139.
  123. ^Harnad, Stevan(Anh ngữ:Stevan Harnad)(2008)The Annotation Game: On Turing (1950) on Computing, Machinery and IntelligenceHỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2017-10-18.. In: Epstein, Robert & Peters, Grace (Eds.)Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer.Springer
  124. ^Clark, Liat.Turing's achievements: codebreaking, AI and the birth of computer science.Wired.[2013-11-11].( nguyên thủy nội dungTồn đươngVu 2013-11-02 ).
  125. ^Alan Turing vs Alick Glennie (1952) "Turing Test"Hỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2006-02-19. Chessgames.com
  126. ^Kasparov, Garry, Smart machines will free us all,The Wall Street Journal,15–16 April 2017, p. c3
  127. ^O'Connor, J.J.; Robertson, E.F.David Gawen Champernowne.MacTutor History of Mathematics archive, School of Mathematics and Statistics, University of St Andrews, Scotland.[2018-05-22].( nguyên thủy nội dungTồn đươngVu 2017-10-19 ).
  128. ^Pinar Saygin, A.; Cicekli, I.; Akman, V. Turing Test: 50 Years Later. Minds and Machines. 2000,10(4): 463–518.S2CID 990084.doi:10.1023/A:1011288000451.hdl:11693/24987 可免费查阅.
  129. ^Turing, Alan M.The Chemical Basis of Morphogenesis. Philosophical Transactions of the Royal Society of London B. 1952-08-14,237(641): 37–72.Bibcode:1952RSPTB.237...37T.S2CID 120437796.doi:10.1098/rstb.1952.0012.
  130. ^130.0130.1Gribbin, John. Deep Simplicity. Random House. 2004.
  131. ^Turing's Last, Lost work.[2011-11-28].(Nguyên thủy nội dungTồn đương vu 2003-08-23 ).
  132. ^Murray, James. How the leopard gets its spots. Scientific American. 1988-03,258(3): 80–87.JSTOR 24989019.
  133. ^Murray, James D. 6. Reaction Kinetics. Mathematical Biology. I: An Introduction. Springer Verlag. 2002.doi:10.1007/b98868.
  134. ^Vogel, G. Turing Pattern Fingered for Digit Formation. Science. 2012,338(6113): 1406.Bibcode:2012Sci...338.1406V.PMID 23239707.doi:10.1126/science.338.6113.1406.feathers, hair follicles, the branching pattern of lungs, and even the left-right asymmetry that puts the heart on the left side of the chest.
  135. ^Sheth, R.; Marcon, L.; Bastida, M.F.; Junco, M.; Quintana, L.; Dahn, R.; Kmita, M.; Sharpe, J.; Ros, M.A.Hox Genes Regulate Digit Patterning by Controlling the Wavelength of a Turing-Type Mechanism.Science. 2012,338(6113): 1476–1480.Bibcode:2012Sci...338.1476S.PMC 4486416 可免费查阅.PMID 23239739.doi:10.1126/science.1226804.
  136. ^Andrew Hodges.The Alan Turing Bibliography.turing.org.uk: morphogenesis.[2015-07-27].( nguyên thủy nội dungTồn đươngVu 2015-09-05 ).
  137. ^Leavitt 2007,Đệ 176–178 hiệt
  138. ^Hodges 1983,Đệ 458 hiệt
  139. ^Leavitt 2007,Đệ 268 hiệt
  140. ^Hodges, Andrew.Alan Turing: The Enigma需要免费注册.Princeton University Press. 2012:463.ISBN978-0-691-15564-7.
  141. ^Hodges, Andrew.Alan Turing: The Enigma需要免费注册.Princeton University Press. 2012:471.ISBN978-0-691-15564-7.
  142. ^Hodges, Andrew. Alan Turing: The Enigma The Centenary Edition. Princeton University. 2012.
  143. ^Turing, Alan.Letters of Note: Yours in distress, Alan.1952[2012-12-16].(Nguyên thủy nội dungTồn đương vu 2013-01-20 ).
  144. ^Hodges, Andrew.Alan Turing: The Enigma需要免费注册.Princeton University Press. 2012: xxviii.ISBN978-0-691-15564-7.
  145. ^Hodges 1983,Đệ 473 hiệt
  146. ^Copeland 2006,Đệ 143 hiệt
  147. ^147.0147.1Anon.Turing's House: Copper Folly, 43 Adlington Road, Wilmslow, Cheshire, SK9 2BJ(PDF).savills.com. 2021. (Nguyên thủy nội dung(PDF)Tồn đương vu 2021-07-03 ).
  148. ^Alan Turing. Biography, Facts, & Education.Encyclopædia Britannica.[2017-10-11].( nguyên thủy nội dungTồn đươngVu 2017-10-11 ).
  149. ^Hodges 1983,Đệ 488 hiệt
  150. ^Leavitt 2007,Đệ 140 hiệt andHodges 1983,Đệ 149, 489 hiệt
  151. ^Hodges 1983,Đệ 529 hiệt
  152. ^152.0152.1152.2Hodges, Andrew.Alan Turing: The Enigma.Random House. 2012[2019-01-16].ISBN978-1-4481-3781-7.( nguyên thủy nội dungTồn đươngVu 2019-01-17 ).
  153. ^Vincent Dowd.What was Alan Turing really like?.BBC. 2014-06-06[2019-01-16].( nguyên thủy nội dungTồn đươngVu 2019-01-17 ).
  154. ^Thousands call for Turing apology.BBC News. 2009-08-31[2009-08-31].( nguyên thủy nội dungTồn đươngVu 2009-08-31 ).
  155. ^Petition seeks apology for Enigma code-breaker Turing.CNN. 2009-09-01[2009-09-01].( nguyên thủy nội dungTồn đươngVu 2009-10-05 ).
  156. ^156.0156.1156.2Davies, Caroline.PM's apology to codebreaker Alan Turing: we were inhumane.The Guardian (UK). 2009-09-11[2016-12-10].( nguyên thủy nội dungTồn đươngVu 2017-02-04 ).
  157. ^The petition was only open to UK citizens.
  158. ^PM apology after Turing petition.BBC News. 2009-09-11[2009-09-11].( nguyên thủy nội dungTồn đươngVu 2012-05-27 ).
  159. ^Full text of the Prime Minister's apologyHỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2012-11-09..
  160. ^160.0160.1160.2Grant a pardon to Alan Turing.2011-12-06. (Nguyên thủy nội dungTồn đương vu 2012-01-10 ).
  161. ^Petition to pardon computer pioneer Alan Turing started.BBC News. 2011-12-06[2018-06-21].( nguyên thủy nội dungTồn đươngVu 2018-06-19 ).
  162. ^162.0162.1Wright, Oliver.Alan Turing gets his royal pardon for 'gross indecency' – 61 years after he poisoned himself.The Independent (London). 2013-12-23[2017-08-21].( nguyên thủy nội dungTồn đươngVu 2013-12-24 ).
  163. ^Wainwright, Martin.Government rejects a pardon for computer genius Alan Turing.The Guardian. 2012-02-07[2016-12-10].( nguyên thủy nội dungTồn đươngVu 2017-02-04 ).
  164. ^hansard.Parliament of the United Kingdom. 2012-02-02[2017-08-29].( nguyên thủy nội dungTồn đươngVu 2017-07-06 ).
  165. ^Stevenson, Alex.Better late than never, Alan Turing is finally pardoned.politics.co.uk. 2013-12-24[2016-09-25].( nguyên thủy nội dungTồn đươngVu 2016-08-16 ).
  166. ^Fitzgerald, Todd.Alan Turing's court convictions go on display for the first time.manchestereveningnews.co.uk. 2016-09-24[2016-09-25].( nguyên thủy nội dungTồn đươngVu 2016-09-25 ).
  167. ^Britton, Paul.Alan Turing pardoned by The Queen for his 'unjust and discriminatory' conviction for homosexuality.Manchester Evening News. 2013-12-24[2018-06-24].( nguyên thủy nội dungTồn đươngVu 2018-06-24 ).
  168. ^MP calls for pardon for computer pioneer Alan Turing.BBC News. 2012-02-01[2016-09-25].( nguyên thủy nội dungTồn đươngVu 2016-07-02 ).
  169. ^My proudest day as a Liberal Democrat.Liberal Democrat Voice.[2018-06-24].( nguyên thủy nội dungTồn đươngVu 2018-06-24 ).
  170. ^Manchester computer pioneer Alan Turing announced as face of new £50 note.2019-07-15[2019-07-19].( nguyên thủy nội dungTồn đươngVu 2019-07-19 ).
  171. ^Alan Turing announced as face of new £50 banknote.2019-07-15[2019-07-19].( nguyên thủy nội dungTồn đươngVu 2019-07-16 ).
  172. ^John Leech secures historic deal with Government on 'Alan Turing Law'.outnewsglobal.com. 2016-10-20.
  173. ^Barlow, Nigel.Turing on £50 note will be painful reminder of what we lost.2018-11-03.
  174. ^Alan Turing announced as face of new £50 banknote.2019-07-15.
  175. ^Elliott, Larry; Halliday, Josh ( biên ).Alan Turing to feature on new £50 banknote.2019-07-15 – thông quá www.theguardian.com.
  176. ^This is who is on the new £50 note.www.thegayuk.com. 2019-07-15.
  177. ^Bloom, Dan.Tory refuses to apologise for 'killing bad law' pardoning thousands of gay men.mirror. 2016-10-23.
  178. ^Alan Turing's 'fearless approach to problems and intellectual curiosity' praised.Dunfermline Press.
  179. ^The Alan Turing Law finally pardons thousands of unfairly convicted gay and bisexual men.University of Manchester. 2017-01-31.
  180. ^Bank of England honours Alan Turing on £50 note.QNews. 2019-07-15.
  181. ^Bill.Parliament of the United Kingdom. 2012-07-26[2013-10-31].( nguyên thủy nội dungTồn đươngVu 2013-11-02 ).
  182. ^Pearse, Damian,"Alan Turing should be pardoned, argue Stephen Hawking and top scientists"Hỗ liên võng đương án quánĐíchTồn đương,Tồn đương nhật kỳ 2017-02-04.,The Guardian,13 December 2012. Retrieved 15 December 2012.
  183. ^Watt, Nicholas.Enigma codebreaker Alan Turing to be given posthumous pardon.The Guardian (London). 2013-07-19[2016-12-10].( nguyên thủy nội dungTồn đươngVu 2017-01-04 ).
  184. ^Worth, Dan.Alan Turing pardon sails through House of Lords.V3. 2013-10-30[2013-12-24].( nguyên thủy nội dungTồn đươngVu 2013-12-24 ).
  185. ^Alan Turing (Statutory Pardon) Bill.[2013-07-20].( nguyên thủy nội dungTồn đươngVu 2013-07-05 ).
  186. ^Roberts, Scott.Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill.Pink News. 2013-12-02[2013-12-24].( nguyên thủy nội dungTồn đươngVu 2013-12-25 ).
  187. ^Roberts, Scott.Lib Dem MP John Leech disappointed at delay to Alan Turing pardon bill.PinkNews. 2013-12-02[2018-06-20].( nguyên thủy nội dungTồn đươngVu 2018-06-12 ).
  188. ^Alan Turing (Statutory Pardon) Bill.[2013-12-24].( nguyên thủy nội dungTồn đươngVu 2013-11-02 ).
  189. ^Swinford, Steven.Alan Turing granted Royal pardon by the Queen.The Daily Telegraph. 2013-12-23[2018-04-05].(Nguyên thủy nội dungTồn đương vu 2018-05-02 ).
  190. ^Royal pardon for codebreaker Alan Turing.BBC News. 2013-12-24[2013-12-24].( nguyên thủy nội dungTồn đươngVu 2013-12-24 ).
  191. ^With Queen's Decree, Alan Turing Is Now Officially Pardoned.Advocate.com. 2014-08-22[2014-11-01].( nguyên thủy nội dungTồn đươngVu 2014-11-01 ).
  192. ^Pardoned: Alan Turing, Computing patriarch.TimeMagazine, vol. 183, no. 1, 13 January 2014, p. 14. Retrieved 6 January 2014.
  193. ^Davies, Caroline. Codebreaker Turing is given posthumous royal pardon. The Guardian (London). 2013-12-24: 1, 6.
  194. ^Government 'committed' to Alan Turing gay pardon law.BBC News. 2016-09-22[2016-09-22].( nguyên thủy nội dungTồn đươngVu 2016-09-22 ).
  195. ^Cowburn, Ashley.Theresa May committed to introducing the 'Alan Turing Law'.The Independent. 2016-09-21[2016-09-22].( nguyên thủy nội dungTồn đươngVu 2016-09-22 ).
  196. ^Participation, Expert.Policing and Crime Act 2017.Government of the United Kingdom.[2019-02-06].( nguyên thủy nội dungTồn đươngVu 2019-03-05 ).
  197. ^What does the code on the Alan Turing Memorial actually say?.Random Hacks. 2010-09-23[2018-06-28].( nguyên thủy nội dungTồn đươngVu 2018-06-28 ).
  198. ^Computer buried in tribute to genius.Manchester Evening News. 2007-02-17[2014-12-07].( nguyên thủy nội dungTồn đươngVu 2013-11-04 )( anh ngữ ).
  199. ^Blue plaque to commemorate Alan Turing.King's College, Cambridge.[2018-12-08].(Nguyên thủy nội dungTồn đương vu 2018-12-07 )( anh ngữ ).
  200. ^Turing plaque fixed in place.Kiếm kiều đại học quốc vương học viện.[2018-12-08].(Nguyên thủy nội dungTồn đương vu 2018-12-09 )( anh ngữ ).
  201. ^Pylas, Pan.WWII codebreaker Alan Turing honored on new UK bank note.AP News.Associated Press.2021-03-25[2021-03-25]( anh ngữ ).
  202. ^Reid-Smith, Tris.Heritage watchdog objects to statue of gay hero Alan Turing at Kings College Cambridge.Gay Star News. 2020-05-01[2020-05-08].

Lai nguyên[Biên tập]

Diên thân duyệt độc[Biên tập]

Văn chương[Biên tập]

Trứ tác[Biên tập]

Ngoại bộ liên tiếp[Biên tập]

Duy cơ cộng hưởng tư nguyênThượng đích tương quan đa môi thể tư nguyên:Ngải luân · đồ linh
Duy cơ ngữ lụcThượng đíchNgải luân · đồ linh ngữ lục
Kế toán cơ(Anh ngữ:Timeline of computing)
Nhuyễn kiện
Khai nguyên nhuyễn kiện(Anh ngữ:Timeline of open-source software)
Biên trình ngữ ngôn(Anh ngữ:Timeline of programming languages)
Siêu văn tự kỹ thuật thời gian tuyến
Tác nghiệp hệ thống lịch sử niên biểu
Hư nghĩ hóa phát triển(Anh ngữ:Timeline of virtualization development)
Tri danh bệnh độc cập nhuyễn trùng đích lịch sử niên biểu
Kế toán cơ khoa học
Hỗ liên võng
Kế toán cơ lĩnh vực trung đích nam tính
Kế toán cơ lĩnh vực trung đích nữ tính



Thủ tự “https://zh.wikipedia.org/w/index.php?title=Draft: Ngải luân · đồ linh &oldid=82164503”