Các nhà lập pháp của Paxos là ai?

Trong tài liệu hệ thống phân tán bán kết Nghị viện bán thời gian (giao thức Paxos), Leslie Lamport nêu tên các nhà lập pháp hư cấu có liên quan đến giao thức nghị viện Paxon.

Theo bài viết này , ông lưu ý rằng:

Tôi đã đưa cho các nhà lập pháp Hy Lạp tên của các nhà khoa học máy tính làm việc trong lĩnh vực này, phiên âm với sự giúp đỡ của Guibas thành một phương ngữ Hy Lạp không có thật.

Có ai có bất kỳ thông tin về các nhà khoa học mà các nhà lập pháp được đặt tên theo? Một danh sách các nhà lập pháp trong bài báo và các nhà khoa học máy tính tương ứng sẽ là câu trả lời lý tưởng.

Tôi nghĩ rằng các nhà lập pháp đầu tiên được đề cập trong bài báo, "Λινχ∂", được đặt theo tên Nancy Lynch kể từ khi nó có thể được phát âm như "Linch". Ngoài ra, "Λεωίδς" từ thư mục là Leo Guibas . Tôi hoàn toàn lạc lõng với những người khác.

distributed-systems history

— Jon Bringhurst
nguồn

Xin lưu ý, ban đầu tôi đã đăng câu hỏi này lên stackoverflow vì nó có vẻ giống như một câu hỏi "người đam mê" (thực sự không có khoa học nào liên quan), nhưng nó đã tràn ngập những phiếu bầu gần và nó được đề nghị chuyển đến đây. Vì vậy, tôi đã xóa bài viết gốc và tạo bài này.

— Jon Bringhurst

Gợi ý: nhìn vào thư mục. Một câu trả lời tốt cho câu hỏi này sẽ không chỉ nêu lên sự tương ứng mà còn giải thích tại sao mỗi tên được chọn cho mỗi vai trò (tôi nghĩ có những ám chỉ chuyên đề cho một số trong số chúng).

— Gilles 'SO- ngừng trở nên xấu xa'

@Gilles Cảm ơn bạn đã gợi ý! Tôi vẫn đang nghiên cứu bài báo và chưa nhận thấy thư mục nào.

— Jon Bringhurst

@JonBringhurst: Lịch sử khoa học máy tính (thậm chí là giai thoại như thế) là một phần của khoa học máy tính và rõ ràng về chủ đề ở đây (IMHO).

— frafl

Đây là một phỏng đoán có giáo dục về các tên được phiên âm mà tôi có thể tìm thấy trong bài báo Paxos. Hầu hết trong số này là những người được đề cập trong tài liệu tham khảo của bài báo.

Λ˘Λ˘χ∂χ∂ Lyn: Lynch, N. - Nhà lập pháp
ΦΦ: Fischer, MJ - Nhà lập pháp
Tωυεγ: Toueg, S. - Nhà lập pháp
ΩκΩκ: Oki, BM - Nhà lập pháp
: Dolev, D. - Nông dân
ΣκεεΣκεε: Skeen, MD - Thương gia
Στωκ ngay lập tức: Stockmeyer, L. - Nhà lập pháp
Στρω: (Mạnh / Lạ?) - Nhà lập pháp
: Làm việc, C. - Chủ tịch
∆˘: Dijkstra, EW - Thanh tra phô mai
Γωυδα: (Gouda) - Thanh tra phô mai
ΦραΦρ: Francez, N. - Người khai thác rượu
Πυυλ˘: Pnueli, A. - Người thưởng thức rượu
Σ∂: Schneider, FB - Công dân
: (Hy Lạp) - Công dân
Μα NGµσω: Lampson, B. - Chung
ΛΛ: Liskov, BH - Thương gia
Πρςς Par: Parnas, D. - Chính khách cao tuổi
Γρ˘ Gray: Xám, CG - Linh mục
ΛΛσε˘ Lind: Lindsey, BG - Linh mục

— GEL
nguồn

@YuvalFilmus, có lẽ bạn nên chỉnh sửa danh sách để hoàn thành nó / sửa lỗi

— vonbrand

Danh sách tuyệt vời! Một vài điều chỉnh: Tôi tin rằng "Tωυεγ" có lẽ là Sam Toueg, không phải Tovey. Không chắc bạn có ý gì với "CH Lindsey", có lẽ một ứng cử viên có khả năng hơn là Bruce G Lindsay. "Preist" nên được đánh vần là "Linh mục".

— Martin Kleppmann