✨John Backus

John Backus

John Warner Backus (3 tháng 12 năm 1924 - 17 tháng 3 năm 2007) là một nhà khoa học máy tính người Mỹ. Ông đã chỉ đạo nhóm phát minh và triển khai FORTRAN, ngôn ngữ lập trình cấp cao đầu tiên được sử dụng rộng rãi và là người phát minh ra Dạng Backus – Naur (BNF), một một thủ tục ký hiệu được sử dụng rộng rãi để mô tả văn phạm của các ngôn ngữ lập trình, tập lệnh và các giao thức truyền thông. Ông cũng là nhà nghiên cứu hàng đầu về lập trình chức năng.

Những năm đầu đời

John Backus chào đời ngày 3 tháng 12 năm 1924 tại Philadelphia và lớn lên ở gần Wilmington, Delaware. Backus học tại The Hill School ở Pottstown, Pennsylvania. Cậu tỏ ra là người có năng khiếu và ham học hỏi, yêu thích hàn cơ khí và hóa học. Tuy vậy Backus không phải là một học sinh siêng năng, có thành tích học tập không đáng tự hào lắm và phải tham gia các khóa học hè để theo kịp các bạn.

Con đường học vấn của ông cũng không khả quan hơn khi ông vào Đại học Virginia. Tại đây ông phải vật lộn với các khóa học của mình và bị đuổi sau một năm vì kém chuyên cần.

Sau đó, ông nhập ngũ vào Quân đội Hoa Kỳ trong Chiến tranh Thế giới thứ hai, và cuối cùng được giữ cấp bậc hạ sĩ, được chỉ huy một khẩu đội phòng không đóng tại Fort Stewart, Georgia. Sau khi nhận được điểm cao trong những cuộc kiểm tra năng khiếu, ông được gửi đi đào tạo tại một khóa học kỹ sư chuyên gia đặc biệt ở Đại học Pittsburgh, Pennsylvania. Sau đó, anh chuyển sang chương trình đào tạo chuẩn bị y học tại Đại học Haverford. Trong thời gian thực tập tại bệnh viện, anh được chẩn đoán mắc khối u xương sọ, khối u được loại bỏ thành công và thay vào đó là một chiếc đĩa. Sau đó, anh chuyển đến trường Y khoa Flower and Fifth Avenue để học y, nhưng không thấy hứng thú và bỏ dở giữa chừng. Ông tiếp tục phải trải qua cuộc phẫu thuật thứ hai để thay thế tấm kim loại trong đầu bằng một thiết kế của riêng mình, và nhận được giấy giải ngũ danh dự từ Quân đội Hoa Kỳ vào năm 1946.

Ngôn ngữ Fortran

Sau khi rời quân ngũ, Backus tiếp tục theo học tại Đại học Columbia ở New York, theo đuổi niềm đam mê toán học và nhận bằng thạc sỹ vào năm 1950. Cũng vào năm 1950, ông gia nhập IBM. Trong ba năm đầu tiên, ông làm việc trên một loại máy tính có tên gọi là SSEC, dự án lớn đầu tiên của ông là viết một chương trình để tính toán các vị trí của Mặt trăng.

Sau đó không lâu chương trình này nhanh chóng được công bố. Đặc điểm độc đáo nhất của Fortran là khả năng tạo ra những chương trình tốt bằng 90% những chương trình được viết bởi một nhà lập trình. Backus đã hăng hái tích cực và chỉ định lập một nhóm gồm mười lập trình viên trong khoảng thời gian sáu tháng. Mục tiêu thiết kế một hệ thống chuyển đổi để tạo ra những chương trình hiệu quả thực sự đã trở thành một thách thức lớn. Lúc mà hệ thống được công bố vào tháng 4 năm 1957, sáu tháng đã trở thành ba năm..

Những ngôn ngữ lập trình mà ông làm việc để phục cho việc nghiên cứu này là FP và sau người kế nhiệm của nó, FL. FP ít được triển khai trong thực tế, và chủ yếu được sử dụng cho mục đích giáo dục. Trong khi FL là một dự án nội bộ của IBM và mã nguồn không được công khai.

Giải thưởng và vinh danh

  • Giải thưởng W. W. McDowell (1967)
  • Giải thưởng Turing (1977)
  • Thành viên của American Academy of Arts and Sciences (1985)
  • Tiến sĩ danh dự của Université Henri-Poincaré (1989)
👁️ 1 | 🔗 | 💖 | ✨ | 🌍 | ⌚
John Warner Backus (3 tháng 12 năm 1924 - 17 tháng 3 năm 2007) là một nhà khoa học máy tính người Mỹ. Ông đã chỉ đạo nhóm phát minh và triển khai FORTRAN, ngôn
**ALGOL** (viết tắt từ **ALGO**rithmic **L**anguage) là một họ các ngôn ngữ lập trình máy tính bắt buộc được phát triển vào năm 1958. ALGOL ảnh hưởng lớn đến nhiều ngôn ngữ khác và là
Trong ngành khoa học máy tính, **các phương pháp hình thức** là các kỹ thuật toán học cho việc đặc tả, phát triển và kiểm định các hệ thống phần mềm và phần cứng. Cách
thumb|**[[Phép tính lambda** là một hệ thống hình thức để định nghĩa hàm, ứng dụng hàm và đệ quy được Alonzo Church đề xuất vào những năm 193x.]] **Lý thuyết ngôn ngữ lập trình** (thường
**Avram Noam Chomsky** (sinh ngày 7 tháng 12 năm 1928) là một giáo sư và trí thức công chúng người Mỹ, nổi danh nhờ các nghiên cứu về ngôn ngữ học, phê bình xã hội
Ngày **17 tháng 3** là ngày thứ 76 (77 trong năm nhuận) trong lịch Gregory. Còn 289 ngày trong năm. ## Sự kiện *455 – Một ngày sau khi vụ ám sát hoàng đế Valentinianus
phải|nhỏ|402x402px|[[Mã nguồn của một chương trình máy tính đơn giản được viết bằng ngôn ngữ lập trình C. Khi được biên dịch và chạy, nó sẽ cho kết quả "Hello, world!".]] **Ngôn ngữ lập trình**
phải|Biểu đồ hoạt động của một trình biên dịch lý tưởng. **Trình biên dịch** () hay **phần mềm biên dịch** là một chương trình máy tính làm công việc dịch một chuỗi các câu lệnh
**6830 Johnbackus** (1991 JB1) là một tiểu hành tinh vành đai chính được phát hiện ngày 5 tháng 5 năm 1991 bởi S. Otomo và O. Muramatsu ở Kiyosato. Tên của nó được đặt để
Đây là danh sách các ngôn ngữ lập trình đáng chú ý, được nhóm theo loại. Vì không có sơ đồ phân loại bao quát cho các ngôn ngữ lập trình, nên trong nhiều trường
**Huân chương Khoa học Quốc gia** của Hoa Kỳ là một danh dự do Tổng thống Hoa Kỳ trao tặng cho các cá nhân là công dân Hoa Kỳ hoặc đã định cư lâu năm
**Huy chương vàng của Hội Thiên văn học Hoàng gia** là phần thưởng cao nhất của Hội Thiên văn Hoàng gia. ## Lịch sử Huy chương này được lập ra từ năm 1824. Trong các
_Cuốn [[The Compendious Book on Calculation by Completion and Balancing_]] Từ _toán học_ có nghĩa là "khoa học, tri thức hoặc học tập". Ngày nay, thuật ngữ "toán học" chỉ một bộ phận cụ thể
Ngày **5 tháng 3** là ngày thứ 64 (65 trong năm nhuận) trong lịch Gregory. Còn 301 ngày trong năm. ## Sự kiện * 1496 – Quốc vương Anh ban giấy ủy quyền cho Giovanni