John Backus – Film – Video – Architecture

Source- http://www.columbia.edu/cu/computinghistory/backus.html

Người tiên phong trong ngôn ngữ lập trình máy tính, Phòng thí nghiệm IBM Watson tại Đại học Columbia, 1950-52

Ảnh trái: từ Jean Ford Brennan, “Phòng thí nghiệm IBM Watson tại Đại học Columbia: Lịch sử”, IBM, Armonk NY (1971). Chú thích ghi: “John Backus người lãnh đạo nhóm phát triển FORTRAN (1954-57) là một trong những lập trình viên SSEC đầu tiên .” Sau khi phục vụ trong Quân đội Hoa Kỳ trong Thế chiến II, Backus đã nhận bằng Cử nhân toán học tại Trường Đại học Tổng hợp Columbia năm 1949 và ông cũng đã nhận được bằng Thạc sĩ Toán học Columbia vào năm 1950. Ông làm việc tại Phòng thí nghiệm IBM Watson tại Đại học Columbia từ năm 1950 đến 1952 và tiếp tục lãnh đạo Nhóm nghiên cứu lập trình của IBM và được vinh danh là thành viên IBM năm 1963. Bên cạnh FORTRAN, Backus cũng đã phát triển BNF (Backus Normal Form hoặc Backus Naur Form, một ứng dụng của ngữ pháp tạo sinh của Noam Chomsky cho các ngôn ngữ máy tính hình thức), ngôn ngữ được sử dụng để mô tả hình thức ngôn ngữ máy tính và ông là tác giả chính của Báo cáo sửa đổi Algol 60. Ông đã nghỉ hưu năm 1991. Trích dẫn giải thưởng ACM Turing:

Vì những đóng góp sâu sắc, ảnh hưởng lớn và lâu dài cho việc thiết kế các hệ thống lập trình cấp cao thực tế, đáng chú ý là qua công trình của ông trên FORTRAN và xuất bản chính thức các quy trình chính thức cho đặc tả ngôn ngữ lập trình.

John Backus qua đời tại nhà riêng ở Ashland, Oregon, ngày 17 tháng 3 năm 2007.

Vào năm 2004, tôi có trao đổi thư với anh ấy như sau, sau một lời giới thiệu:

____________________________
Ngày: Thứ Tư, ngày 31 tháng 3 năm 2004 12:06:14 EST

Từ: Frank da Cruz <fdc@columbia.edu>

Tới: John Backus jbackus1@xxxxx.xxx

Chủ đề: Lịch sử điện toán của Đại học Columbia

Chào John, thật vui khi liên lạc với anh. Kể từ khi tôi đến làm việc tại nơi mà chúng ta vẫn gọi là Phòng thí nghiệm Watson, anh đúng là một người hùng.

Lần đầu tiên tôi bắt gặp máy tính và Fortran vào năm 1965 trong Quân đội, và đã đến Columbia vào năm 1966 (khi IBM vẫn còn ở đây, trong chính tòa nhà tôi đang ngồi, nhưng lúc đó tôi không biết về nó). Vào thời đó, Phòng thí nghiệm Watson vẫn còn rải rác các bảng cắm, bộ bài và dây nhỏ. Tôi vẫn còn cái bàn những năm 1940 của ai đó và một đống sách hướng dẫn EAM (kinh nghiệm “lập trình” đầu tiên của tôi là trên chiếc 407).

Paul [McJones] đã chỉ ra vấn đề web của tôi trong lịch sử điện toán Columbia:

http://www.columbia.edu/acis/history/

mà có thể được theo dõi thông qua các liên kết vô tận đến các trang phụ về con người, thiết bị và sự kiện, cùng với một số sách và báo trực tuyến. Tôi bắt đầu thực hiện điều này khi phát hiện ra mình đã trở thành (gần như) người đàn ông lớn tuổi nhất ở đây và là nguồn hoài niệm yêu thích của mọi người.

Tuy nhiên, khi tôi bắt đầu viết, tôi trở nên thích thú với thời đại Eckert và Phòng thí nghiệm Watson hơn bất cứ điều gì tôi nhớ. Đặc biệt là khi tôi bắt đầu nhận được các cuộc gọi và email từ các cựu chiến binh của những năm đó, bao gồm Herb Grosch, Eric Hankam, Ellie Krawitz, Ken Schreiner, và Seymour Koenig, tất cả những người mà bạn có thể nhớ (và có thể tiếp cận dễ nhất qua email), cũng như nhiều người khác từ những năm sau khi anh rời đi. Eric vẫn sống trong cùng một căn hộ, ngay góc phố. Ellie đang ở Đại học New York. Herb ở Đại học Toronto.

Nơi này có một lịch sử, một điều chưa được biết đến nhiều ở Columbia, không bao giờ bận tâm đến phần còn lại của thế giới. Thật trùng hợp, Columbia đang có Lễ kỷ niệm 250 năm trong năm nay và tôi đã trở thành nhà sử học máy tính thực tế trong dịp này, từ từ nhưng chắc chắn sẽ đưa tài liệu vào trang web C250:

http://www.columbia.edu/c250/

ví dụ. Hollerith (và sắp tới là Eckert) với tư cách là “Những người Columbia đi trước thời đại”, cũng như trong tập kỷ niệm (“Stand Columbia”).

Nếu bạn xem qua các trang lịch sử điện toán, bạn sẽ thấy tôi đã cố gắng xác định một số lượng đầu tiên (một số trong số chúng có thể gây tranh cãi) có thể được yêu cầu bởi Columbia và / hoặc Phòng thí nghiệm Watson tại Columbia, như tính toán khoa học tự động đầu tiên , cuộc họp thành lập ACM và (điều này nằm trong dự đoán của anh) SSEC, trong đó có một trường phái cho rằng đây là máy tính kiến trúc von-Neumann thực sự đầu tiên (trong đó nó có khả năng lưu trữ chương trình hướng dẫn vận hành và trộn dữ liệu và dữ liệu trong cùng một bộ dự trữ, mặc dù đó không phải là chế độ hoạt động bình thường của nó và mặc dù bộ nhớ trong của nó rất nhỏ):

http://www.columbia.edu/acis/history/ssec.html

Thì, tôi không muốn thư này quá dài, vì vậy tôi sẽ dừng lại bằng cách nói rằng tôi sẽ rất vui khi được nghe tin từ anh và kết hợp (tất nhiên có công nhận) bất cứ điều gì bạn muốn thêm vào, như cũng như bất kỳ sửa chữa. Tôi có một bản phác thảo tiểu sử nhỏ ở đây:

http://www.columbia.edu/acis/history/backus.html

và rất muốn thêm vào, cụ thể là trong mọi vấn đề liên quan đến Phòng thí nghiệm Watson hoặc Columbia. (Có một chủ đề hiện tại trên nhóm tin tức Alt.Folklore.Computing về nơi cài đặt Fortran đầu tiên. Tôi tự hỏi liệu anh có giữ liên lạc với Phòng thí nghiệm Watson sau khi anh rời đi và gửi cho họ các phiên bản đầu tiên cho 650 hoặc NORC của họ không.)

Ngoài ra nếu anh có bất kỳ hồi ức nào về Wallace Eckert, tôi có thể thêm chúng vào hồ sơ của anh ấy:

http://www.columbia.edu/acis/history/eckert.html

trước khi công bố C250 với nó.

Cảm ơn!

– Frank

Frank da Cruz

Dự án Kermit

Đại học Columbia

612 West 115th Street
New York NY 10025-7799

Hoa Kỳ

____________________________
Ngày: CN, 11 tháng 7 năm 2004 15:00:37 -0400 (EDT)

Từ: Frank da Cruz <fdc@columbia.edu>

Tới: “John Backus” <jbackus1@xxxxxxx.xxx>

cc: “Tiến sĩ Herbert R.J. Grosch” <hgrosch@xxxxxxx.xxx>

Chủ đề: Lịch sử điện toán Columbia (một lần nữa)

Xin chào John, Herb [Grosch] khuyến khích tôi thử liên lạc lại với anh. Tôi không có nhiều thứ để thêm vào tin nhắn đầu tiên của mình, ngoại trừ việc tôi đã thực hiện một số lượng khai quật khá lớn kể từ đó và, như Herb đã nói, có một số tài liệu mới về Đài quan sát hải quân phát tín hiệu thời gian của Eckert:

http://www.columbia.edu/acis/history/navalobservatory.html
http://www.columbia.edu/acis/history/almanac.html
http://www.columbia.edu/acis/history/tableprinter.html

Mặc dù những thứ này không liên quan gì đến Columbia, ngoài kết nối Eckert, tôi thấy những năm Chiến tranh thật hấp dẫn, có lẽ vì cả bố mẹ tôi đều ở trong Chiến tranh nên tôi lớn lên cùng với nó. Tôi thậm chí còn có một thư viện nhỏ về Air Almanacs trên kệ sách của mình!

Tôi vừa xem qua tài liệu Backus trên Web và nhận thấy một số điểm tương đồng:

Anh đã học Đại học Virginia, nhưng đã bỏ sớm và gia nhập Quân đội. Tôi cũng vậy (tôi không biết UVA như thế nào khi anh ở đó nhưng vào đầu những năm 1960, tất cả điều mọi người đã làm là tự uống say).
Anh đã được huấn luyện kỹ thuật trong Quân đội; tôi cũng vậy (đó là nơi tôi học cách bấm phím, nối dây, v.v. và lần đầu tiên nhìn thấy Fortran và * di động * IBM 1410, nơi nó được sử dụng để lập trình “hệ thống thông tin chỉ huy và kiểm soát” đầu tiên – tôi không biết điều đó tốt hay xấu nhưng đó là lịch sử).
Anh đã đến Columbia sau khi rời Quân đội – tôi cũng vậy (Nghiên cứu tổng quát), về những gì còn lại của GI Bill.
Anh đã nhận bằng Cử nhân và Thạc sĩ tại Columbia? (Tôi cũng vậy) Một số khóa học tôi học ở EE (chúng tôi chưa có bộ phận Khoa Học Máy Tính) là những khóa học tương tự có nguồn gốc từ Herb Grosch và Wallace Eckert (ví dụ: Phương pháp số), sau đó vẫn được dạy bởi Phòng thí nghiệm Watsonbers.

Giống như anh (?) Tôi có một sự nghiệp hoàn toàn bất ngờ trong điện toán và đây là tôi 35 năm sau. Nhân tiện, Eric Hankam có trải nghiệm Quân đội tương tự với anh – anh ấy đã dành toàn bộ thời gian của mình ở trường! Tôi có cuốn tự truyện của anh ấy ở đây:

http://www.columbia.edu/acis/history/hankam.html

Dù sao, tôi rất biết ơn về bất cứ điều gì anh có thể muốn đóng góp bằng trí nhớ, chỉnh sửa hoặc hình ảnh về thời gian của anh ở Columbia, hoặc bất cứ điều gì liên quan đến nó. Tiểu sử Backus nhỏ của tôi:

http://www.columbia.edu/acis/history/backus.html

vẫn còn khá sơ sài và tôi chắc chắn rằng danh sách xuất bản đã hoàn thành rồi (nhân tiện, chúng tôi có một bản thảo trong thư viện Sách hiếm của chúng tôi có tên là “Cách tiếp cận trừu tượng cho định lý bốn màu và theo lý thuyết về bản đồ” có phải là của anh không ?)

Tôi đoán dự án chính của anh tại Phòng thí nghiệm Watson là SSEC. Đây là những gì tôi có:

http://www.columbia.edu/acis/history/ssec.html

Tôi kết luận với một phần có tên “SSEC có phải là máy tính được lưu trữ chương trình đầu tiên không?” . Tôi muốn nhận được ý kiến của anh về phần đó. Nhân tiện, có một kho tàng kỷ vật SSEC rộng lớn tại Đại học North Carolina State:

http://www.lib.ncsu.edu/archives/collections/pdf/brooke_mc268.pdf

nhưng có vẻ cách tiếp cận duy nhất là gặp trực tiếp.

Cảm ơn!

– Frank

____________________________
Từ: “john backus” <jbackus1@xxxxxxx.xxx>
Tới: “‘Frank da Cruz'” <fdc@columbia.edu>
Cc: “‘Dr. Herbert R.J. Grosch'” <hgrosch@xxxxxxx.xxx>
Chủ đề: RE: Lịch sử điện toán Columbia (một lần nữa)

Ngày: Chủ nhật, 11 tháng 7, 2004 14:26:03 -0700

Xin chào Frank

Tôi xin lỗi vì đã không trả lời email trước đó của anh, nhưng tôi đã nhận được nó vào ngày vợ tôi qua đời và mọi thứ đã rơi vào tình trạng hỗn loạn kể từ đó. Tôi vẫn đang rất bận chỉnh sửa và xuất bản cuốn sách chưa hoàn thành mà cô ấy đã làm trong bảy năm qua.

Tôi mới chỉ khám phá một ít trong số lượng tài liệu khổng lồ mà anh giới thiệu trực tuyến, nhưng những gì tôi thấy thật là hấp dẫn. Thật đáng kinh ngạc khi anh đã nắm bắt được rất nhiều chi tiết nhỏ. Tôi có thể dành cả đời để vào các liên kết hấp dẫn mà anh cung cấp.

Thật đáng kinh ngạc khi những con đường ban đầu của chúng ta giống nhau. Và điều đó cũng đúng khi tôi cũng ở đó, rằng tất cả mọi người ở UVA đều uống cho đến khi ngớ ngẩn. Tôi hy vọng anh đã không bỏ học như tôi! “Sự nghiệp” của tôi tại Columbia cũng được tài trợ bởi dự luật GI. Tôi đã học chuyên ngành toán.

Tôi đã dành rất ít thời gian tại Phòng thí nghiệm Watson. Nhưng chủ yếu tôi nhớ thời gian làm việc với SSEC. (mặc dù tôi nghĩ rằng hơi quá khi coi nó là máy tính ” lưu trữ chương trình ” đầu tiên – mặc dù một trong những chương trình tôi đã làm sử dụng một số ô lưu trữ được chuẩn bị đặc biệt làm nguồn của một hướng dẫn sau khi một số dữ liệu được lưu trữ trong đó.) Hy vọng tôi đã giúp đỡ được.

Có quá nhiều điều để nói, và rất ít thời gian, có lẽ sẽ dễ dàng hơn nếu chúng ta nói chuyện điện thoại. Thời gian nào có thể gọi được?

— John

____________________________
Ngày: Thứ hai, 12 tháng 6 năm 2004 12:44:27 EDT
Từ: Frank da Cruz <fdc@columbia.edu>
Tới: “john backus” <jbackus1@pacbell.net>
Cc: “‘Dr. Herbert R.J. Grosch'” <hgrosch@hotmail.com>
Chủ đề: RE: Lịch sử điện toán Columbia (một lần nữa)

Tôi xin lỗi vì đã không trả lời email trước đó của anh, nhưng tôi đã nhận được nó vào ngày vợ tôi qua đời và mọi thứ đã rơi vào tình trạng hỗn loạn kể từ đó.

Đó là điều tồi tệ nhất tôi có thể tưởng tượng, tôi rất xin lỗi. Bên cạnh đó, hoài niệm máy tính là không quan trọng.

Tôi vẫn đang rất bận chỉnh sửa và xuất bản cuốn sách chưa hoàn thành mà cô ấy đã làm trong bảy năm qua.

Điều đó chắc hẳn rất khó khăn. Tôi có thể hỏi nó là về cái gì không?

Cảm ơn, đó là làm vì say mê – Tôi thú nhận một số nỗi nhớ về những ngày mà máy tính được các nhà khoa học thiết kế và sử dụng để giải quyết các vấn đề nghiêm trọng, so với ngày nay, khi chúng chủ yếu là các thiết bị giải trí và mua sắm tại nhà.

Điều tôi thích nhất ở công việc này là cách nó thu hút những người ở đây từ lâu. Trang web hiện lên trên trang tìm kiếm web, hoặc ai đó nói với họ về nó, sau đó họ viết thư cho tôi và đây là cách nó phát triển. Thêm vào đó, tôi rất vui khi liên lạc với các đồng nghiệp cũ (tất nhiên là có sự cho phép của họ!)

Tôi nhìn thấy chữ viết trên tường và rời đi trước khi điều đó xảy ra – “bạn không thể sa thải tôi, tôi bỏ việc!” 🙂

“Sự nghiệp” của tôi tại Columbia cũng được tài trợ bởi dự luật GI. Tôi đã học chuyên ngành toán.

Dự luật GI là một điều tuyệt vời. Không có nó, tôi không biết cha mẹ mình sẽ làm gì sau Chiến tranh. Tôi học chuyên ngành Xã hội học, về tất cả mọi thứ, và sớm phát hiện ra sẽ không có ai trả tiền cho bạn để cứu thế giới, cuối cùng tôi (sau khi lái xe taxi và các công việc kỳ quặc khác) làm việc tại Khoa Vật lý và Trường Kỹ thuật Columbia, nơi một số giáo sư giúp đỡ tôi và giao cho tôi việc lập trình – tất nhiên là ở Fortran! – trên các máy tính mini đầu tiên của họ, và khuyến khích tôi tham gia các khóa học sau đại học. Cuối cùng, tôi đã nhận được bằng tốt nghiệp miễn học phí, được tuyển vào Trung tâm Máy tính và đã làm việc ở đây kể từ đó, đưa cả hai đứa con của tôi đến Columbia để được miễn học phí, vì vậy tôi không thể phàn nàn.

Vâng, tôi biết là nó hơi quá 🙂

Có quá nhiều điều để nói, và rất ít thời gian, có lẽ sẽ dễ dàng hơn nếu chúng ta nói chuyện điện thoại. Thời gian nào có thể gọi được?

Bất cứ lúc nào trong khoảng từ 9:00 sáng đến 1:00 chiều hoặc 2:00 chiều và 6:00 tối, giờ miền đông, ngoại trừ chiều thứ năm này tôi sẽ đi gặp nha sĩ.

1 xxx xxx-xxxx

Cảm ơn đã phản hồi tôi!

– Frank

(Tôi đã không nhận được tin từ anh ấy sau đó.)

Vào năm 2017, Eleanor Kolchin (trước đây là Krawitz), người đã ở Phòng thí nghiệm Watson vào những năm 1940 và 50, nhận xét, “Tôi biết [John] Backus. Anh ấy làm về phát triển Fortran … Tôi nhắm mắt lại và tôi có thể thấy anh ấy. Chúng tôi [trong Phòng thí nghiệm Watson] là [một số] người đầu tiên sử dụng Fortran. Mỗi giáng sinh, chúng tôi đều có một bữa tiệc, và vì không có nhiều người ở 612 W 116th Street và chúng tôi luôn có một ‘túi đựng đồ’ … tất cả chúng tôi đều biết nhau. Thỉnh thoảng tôi cũng làm việc tại SSEC, chúng tôi đang tính toán quỹ đạo của các hành tinh bên ngoài … một tính toán đang diễn ra tại SSEC, và tôi đã kiểm tra máy tính tại Phòng thí nghiệm Watson của chúng tôi. Tôi yêu cầu được phép tiếp tục làm việc tại Phòng thí nghiệm Watson, bởi vì tôi đã lấy bằng thạc sĩ tại Columbia rồi. (Email, ngày 7 tháng 4 năm 2017)

Ấn phẩm được chọn:

Backus, John W., “The IBM 701 Speedcoding System”, IBM, New York (10 Sep 1953), 4pp.
Backus, John W., “The IBM Speedcoding System”, The Journal of the Association for Computing Machinery, Vol.1 No.1 (Jan 1954), pp.4-6.
Backus, John W., and Harlan Herrick, “IBM 701 Speedcoding and Other Automatic Programming Systems”, Symposium on Automatic Programming for Digital Computers, Office of Technical Services, US Dept of Commerce, Washington DC (May 1954), pp.106-113.
Specifications for the IBM Mathematical FORmula TRANslating System, FORTRAN, IBM Applied Science Division, New York (10 Nov 1954), 43pp.
Amdahl, G.M, and J.W. Backus, The System Design of the IBM Type 704, IBM Engineering Laboratory, Poughkeepsie NY (1955), 11pp.
Backus, J.W., et al., The FORTRAN Automatic Coding System, Proceedings of the Western Joint Computing Conference 1957, pp.188-198.
Backus, J.W., The Syntax and Semantics of the Proposed International Algebraic Language of Zürich ACM-GAMM Conference, Proceedings of the International Conference on Information Processing, UNESCO, 1959, pp.125-132.
J.W. Backus, et al., and P. Naur (ed.), Revised Report on the Algorithmic Language ALGOL 60, CACM, Vol. 6, p. 1; The Computer Journal, Vol. 9, p. 349; Num. Math., Vol. 4, p. 420. (1963)
J.W. Backus, “The History of Fortran I, II, and III”, Annals of the History of Computing, Vol.1 No.1 (July-September 1979).

Tài liệu tham khảo:

Brennan, Jean Ford, The IBM Watson Laboratory at Columbia University – A History, IBM (1971)
Shasha, Dennis, and Cathy Lazere, Out of Their Minds: the lives and discoveries of 15 great computer scientists, Copernicus / Springer-Verlag, New York (1995), ISBN: 0-387-97992-1.
Papers of John W. Backus 1954-1994, US Library of Congress, 2,540 items.

Tài liệu tham khảo Fortran và Algol:

“Preliminary Report, Programming Research Group, Applied Science Division, International Busines Machines Corporation, November 10, 1954, Specifications for The IBM Mathematical FORmula TRANslating System, FORTRAN”, in Carr. John W. and Norman R. Scott, editors, Notes: Special Summer Conference on Digital Computers and Data Processors, University of Michigan, College of Engineering (Summer 1955).
IBM 704 Fortran Programmer’s Reference Manual (15 Oct 1956).
IBM 704 Fortran Programmer’s Primer (1957).
IEEE Annals of the History of Computing, Special Issue, “FORTRAN’s Twenty-Fifth Anniversary”, vol.6 No.1 (January 1984).
Ekman, Torgil, and Carl-Erik Fröberg, Introduction to Algol Programming (Lärobok i ALGOL), Studentlitteratur, Lund, Sweden (1964) and Oxford University Press, London (1967).

Liên kết (kiểm tra lần cuối ngày 1 tháng 7 năm 2018):

John Backus Oral History Interview, Computer History Museum, September 5, 2005 (transcript).
John Backus Oral History Interview, Computer History Museum, September 5, 2005 (video).
ACM Turing Award citation and biography, ACM website (accessed 1 July 2018).
The IBM SSEC
Revised Report on the Algorithmic Language Algol 60 by J.W. Backus, P. Naur, et al.
Backus Normal Form vs. Backus Naur Form (Kelly Morrison)

Cáo phó:

New York Times, Business Section, March 20, 2007.

John Backus