Alan Kay và Marvin Minsky: Khoa học máy tính đã có "ngữ pháp" rồi. Cần "văn"

Alan Kay và Marvin Minsky: Khoa học máy tính đã có "ngữ pháp" rồi. Cần "văn"

Đầu tiên từ trái sang là Marvin Minsky, thứ hai từ trái sang là Alan Kay, sau đó là John Perry Barlow và Gloria Minsky.

Câu hỏi: Bạn giải thích thế nào về ý tưởng của Marvin Minsky rằng “Khoa học máy tính đã có ngữ pháp. Thứ cô ấy cần là văn học.”?

Alan Kay: Khía cạnh thú vị nhất của bản ghi âm blog của Ken (bao gồm cả các bình luận) là không có tài liệu tham khảo lịch sử nào về ý tưởng này có thể được tìm thấy ở bất cứ đâu. Trên thực tế, hơn 50 năm trước, vào những năm 60, người ta đã nói rất nhiều về vấn đề này và như tôi nhớ lại, đã có một số bài báo.

Lần đầu tiên tôi nghe về ý tưởng này là từ Bob Barton, vào năm 1967 ở trường cao học, khi ông nói với tôi rằng ý tưởng này là một phần động lực của Donald Knuth khi ông viết Nghệ thuật lập trình, các chương trong đó đã được lưu hành. Một trong những câu hỏi chính của Bob khi đó là về "ngôn ngữ lập trình được thiết kế để con người cũng như máy móc có thể đọc được". Và đó chính là động lực chính cho các bộ phận thiết kế của COBOL vào đầu những năm 60. Và, có lẽ quan trọng hơn trong bối cảnh chủ đề của chúng ta, ý tưởng này được thấy trong ngôn ngữ tương tác được thiết kế rất sớm và khá đẹp JOSS (chủ yếu là Cliff Shaw).

Như Frank Smith đã nhận xét, văn học bắt đầu bằng những ý tưởng đáng thảo luận và viết ra; nó thường tạo ra một phần các biểu diễn và mở rộng các ngôn ngữ và biểu mẫu hiện có; nó dẫn đến những ý tưởng mới về đọc và viết; và cuối cùng là những ý tưởng mới không nằm trong động cơ ban đầu.

Một phần của ý tưởng “văn học hóa” là đọc, viết và tham khảo các bài viết khác có thể bạn quan tâm. Ví dụ, bài giảng về Giải thưởng Turing của Marvin Minsky bắt đầu bằng: “Vấn đề của Khoa học Máy tính ngày nay là mối quan tâm ám ảnh về hình thức hơn là nội dung.”.

Ý của ông là điều quan trọng nhất trong điện toán là ý nghĩa cũng như cách nó có thể được xem và biểu diễn, trái ngược với một trong những chủ đề lớn của thập niên 60 về cách phân tích lập trình và ngôn ngữ tự nhiên. Đối với anh ấy, điều thú vị nhất về luận án của sinh viên Thạc sĩ Terry Winograd có thể là mặc dù nó không đúng lắm về mặt ngữ pháp tiếng Anh (nó rất tốt), nhưng nó có thể hiểu được những gì đã nói và có thể biện minh cho những gì đã được nói. cho biết bằng cách sử dụng giá trị này. (Đây là sự phản ánh lại những gì Ken báo cáo trên blog của Marvin).

Một cách nhìn song song về “việc học ngôn ngữ phổ biến”. Có thể làm được nhiều việc mà không cần thay đổi ngôn ngữ hoặc thậm chí thêm từ điển. Điều này tương tự như việc sử dụng các ký hiệu và cú pháp toán học để viết một công thức rất dễ dàng. Đây một phần là những gì Marvin đang hướng tới. Thật buồn cười là máy Turing trong cuốn sách Computation: Finite and Infinite Machines (một trong những cuốn sách yêu thích của tôi) của Marvin lại là một máy tính khá điển hình với hai lệnh (cộng 1 để đăng ký và trừ 1 từ thanh ghi và phân nhánh sang lệnh mới nếu thanh ghi nhỏ hơn 0 - có nhiều lựa chọn.)

Đó là một ngôn ngữ lập trình phổ biến, nhưng hãy lưu ý những cạm bẫy. Một giải pháp hợp lý cho vấn đề "học tập phổ quát" cũng sẽ phải có một số khả năng diễn đạt nhất định và có thể cần nhiều thời gian hơn để học.

Sự quan tâm của Don đối với cái gọi là "lập trình đọc viết" đã dẫn đến việc tạo ra một hệ thống tác giả (trước đây gọi là WEB) cho phép Don giải thích chính chương trình đang được viết và bao gồm nhiều tính năng cho phép các phần của chương trình được thực hiện. chiết xuất cho nghiên cứu của con người. Ý tưởng là tài liệu WEB là một chương trình và trình biên dịch có thể trích xuất các phần đã biên dịch và thực thi được từ nó.

Một sự đổi mới ban đầu khác là ý tưởng về phương tiện truyền thông động, một ý tưởng phổ biến vào cuối những năm 60 và đối với nhiều người trong chúng ta, đây là một phần quan trọng của điện toán PC tương tác. Một trong những động cơ cho ý tưởng này là có một cái gì đó giống như "Nguyên tắc Newton" trong đó "toán học" là động và có thể chạy và gắn liền với đồ họa, v.v. Đây là một phần động cơ thúc đẩy ý tưởng Dynabook vào năm 1968. Một trong những thuật ngữ bắt đầu được sử dụng khi đó là “bài luận tích cực”, trong đó các kiểu viết và lập luận mà người ta mong đợi trong một bài luận được nâng cao nhờ chương trình tương tác là một trong nhiều loại phương tiện dành cho một loại tài liệu mới.

Một số ví dụ rất hay đã được chính Ted Cuyler tạo ra trong Hypercard vào cuối những năm 80 và đầu những năm 90. Hypercard không được định cấu hình trực tiếp cho việc này - tập lệnh không phải là đối tượng phương tiện cho thẻ nhưng bạn có thể thực hiện một số công việc và khiến tập lệnh hiển thị trên thẻ và làm cho chúng có tính tương tác. Một ví dụ đặc biệt mang tính khiêu khích là "Weasel", đây là một bài luận tích cực giải thích một phần cuốn sách Thợ đồng hồ mù của Richard Dawkins, cho phép người đọc thử nghiệm một khuôn khổ sử dụng một loại quy trình nhân giống để tìm các câu mục tiêu.

Cần lưu ý rằng mặc dù Hypercard gần như phù hợp hoàn hảo với Internet mới nổi—và việc nó được áp dụng rộng rãi vào đầu những năm 90—nhưng những người tạo ra Internet đã chọn không chấp nhận nó hoặc những ý tưởng lớn hơn trước đó của Engelbart. Và Apple, nơi có rất nhiều người ARPA/Parc trong nhóm nghiên cứu của mình, đã từ chối lắng nghe họ về tầm quan trọng của Internet và Hypercard sẽ tuyệt vời như thế nào khi bắt đầu một hệ thống đọc-ghi đối xứng. Apple đã từ chối tạo ra một trình duyệt vào thời điểm mà một trình duyệt thực sự tốt sẽ là một bước phát triển đáng kể và có thể đã đóng một vai trò to lớn trong việc trở thành "bộ mặt công chúng" của Internet.

Nếu tiến về phía trước một vài năm, chúng ta sẽ phát hiện ra sự vô lý tuyệt đối - thậm chí gần như tục tĩu - của một trình duyệt web không có hệ thống phát triển thực sự (hãy nghĩ xem việc phát triển wiki ngu ngốc đến mức nào được cho là thậm chí còn hoạt động) và như một trong nhiều ví dụ đơn giản, một bài viết trên Wikipedia như LOGO, hoạt động trên máy tính nhưng không cho phép người đọc bài viết thử lập trình LOGO từ bài viết. Điều này có nghĩa là những gì quan trọng đối với máy tính sẽ bị chặn đối với người dùng để bảo vệ các cách triển khai khác nhau của phương tiện cũ.

Cần lưu ý rằng Wikipedia đã và đang là thể loại chính để suy nghĩ, phát minh, triển khai và viết "nền văn học về điện toán" cần thiết (và điều này chắc chắn liên quan đến cả việc đọc và viết ở nhiều dạng đa phương tiện, bao gồm cả lập trình).

Điều đáng suy nghĩ hơn nữa là tôi không thể viết chương trình ở đây trong câu trả lời Quora này - vào năm 2017! - điều này sẽ giúp cho thấy chính xác điều tôi đang cố gắng giải thích, bất chấp sức mạnh máy tính khổng lồ làm nền tảng cho ý tưởng yếu kém này về phương tiện tương tác. Câu hỏi quan trọng là “chuyện gì đã xảy ra?” hoàn toàn bị bỏ qua ở đây.

Để hiểu được vấn đề, đây là hệ thống năm 1978 mà chúng tôi đã phục hồi một phần cách đây vài năm để tưởng nhớ Ted Nelson và một phần để giải trí.

(Mời xem tại đây lúc 2:15)


Toàn bộ hệ thống là một nỗ lực ban đầu đối với những gì tôi đang nói đến hơn 40 năm trước.

Một ví dụ điển hình có thể được nhìn thấy ở phút 9:06.


Ngoài "đối tượng động", một trong những điều cần cân nhắc chính ở đây là "lượt xem" - phương tiện hiển thị trên trang - có thể được xử lý thống nhất và độc lập với nội dung của chúng (chúng tôi gọi chúng là "mô hình"). Mọi thứ đều là một "cửa sổ" (một số có đường viền rõ ràng và một số không hiển thị đường viền của chúng). Tất cả chúng được biên soạn trên trang dự án. Một thông tin chi tiết khác là vì bạn phải soạn và kết hợp một số thứ nên hãy đảm bảo mọi thứ đều có thể kết hợp và tổng hợp được.

Tôi nghĩ rằng những người dùng không tinh vi có thể được tha thứ vì không thể chỉ trích những thiết kế xấu. Nhưng những lập trình viên tạo ra phương tiện tương tác cho người dùng và những người không quan tâm tìm hiểu về phương tiện truyền thông và thiết kế, đặc biệt là từ lịch sử lĩnh vực của họ, không nên bỏ qua nó một cách dễ dàng và không nên được khen thưởng vì đã làm như vậy. họ “yếu hơn”.

Cuối cùng, một lĩnh vực không có văn học đích thực gần như tương đương với việc lĩnh vực đó không phải là lĩnh vực. Văn học là cách để bảo tồn những tư tưởng lớn trong một thể loại mới, trong tư duy hiện tại và tương lai về lĩnh vực đó. Tất nhiên, điều này không có mặt trong các tính toán ở bất kỳ mức độ hữu ích nào. Giống như văn hóa đại chúng, máy tính vẫn quan tâm nhất đến những gì có thể làm được mà không cần đào tạo chuyên sâu và việc thực hiện quan trọng hơn hậu quả của kết quả. Văn học là một trong những phương tiện mà bạn có thể chuyển từ cái đơn giản và trực tiếp sang cái lớn hơn và quan trọng hơn.

Chung tôi cân no!

Giới thiệu về Trường học GoTo

Alan Kay và Marvin Minsky: Khoa học máy tính đã có "ngữ pháp" rồi. Cần "văn"

Nguồn: www.habr.com

Thêm một lời nhận xét