Wer ist der Gesetzgeber von Paxos?

15

Leslie Lamport nennt in dem wegweisenden Artikel über verteilte Systeme The Part Time Parliament (das Paxos-Protokoll) fiktive Gesetzgeber, die am Paxon-Parlamentsprotokoll beteiligt sind.

Nach diesem Schreiben stellt er fest, dass:

Ich gab den griechischen Gesetzgebern die Namen von Informatikern, die auf diesem Gebiet tätig waren, transkribiert mit Guibas 'Hilfe in einen falschen griechischen Dialekt.

Hat jemand irgendwelche Informationen über die Wissenschaftler, nach denen die Gesetzgeber benannt sind? Eine Liste der Gesetzgeber in der Zeitung und der entsprechenden Informatiker wäre die ideale Antwort.

Ich denke, der erste in der Zeitung erwähnte Gesetzgeber, "Λινχ∂", ist nach Nancy Lynch benannt, da er als "Linch" ausgesprochen werden könnte. Auch "Λεωνίδας Γκίμπας" aus der Bibliographie ist Leo Guibas . Ich bin völlig verloren, wer die anderen sind.

Jon Bringhurst
quelle
Bitte beachten Sie, dass ich diese Frage ursprünglich in stackoverflow gepostet habe, da es sich um eine "enthusiastische" Frage zu handeln scheint (es ist wirklich keine Wissenschaft beteiligt), aber sie wurde mit engen Abstimmungen überflutet und es wurde vorgeschlagen, hierher zu ziehen. Also habe ich den ursprünglichen Beitrag gelöscht und diesen erstellt.
Jon Bringhurst
4
Hinweis: siehe Bibliographie Eine gute Antwort auf diese Frage würde nicht nur die Entsprechung angeben, sondern auch erklären, warum jeder Name für jede Rolle ausgewählt wurde (ich denke, es gibt aktuelle Anspielungen für einige von ihnen).
Gilles 'SO- hör auf böse zu sein'
@ Gilles Danke für den Hinweis! Ich arbeite immer noch an der Zeitung und habe die Bibliographie noch nicht bemerkt.
Jon Bringhurst
5
@ JonBringhurst: Geschichte der Informatik (auch solche Anekdoten) ist Teil der Informatik und hier eindeutig thematisch (IMHO).
Freitag,

Antworten:

6

Dies ist eine fundierte Vermutung der transliterierten Namen, die ich in der Paxos-Zeitung finden konnte. Die meisten davon sind Personen, die in den Referenzen der Zeitung erwähnt werden.

  • Λ˘ινχ∂: Lynch, N. - Gesetzgeber
  • Antwort: Fischer, MJ - Gesetzgeber
  • Tωυεγ: Toueg, S. - Gesetzgeber
  • Ωκι: Oki, BM - Gesetzgeber
  • ∆ωλεφ: Dolev, D. - Landwirt
  • Σκεεν: Skeen, MD - Merchant
  • Artikel: Stockmeyer, L. - Gesetzgeber
  • Στρωνγ: (Strong / Strang?) - Gesetzgeber
  • ∆φωρκ: Dwork, C. - Präsident
  • Beruf: Dijkstra, EW - Cheese Inspector
  • Γωυδα: (Gouda) - Käseprüfer
  • Stichworte: Francez, N. - Weinprobe
  • Πνυeλ --ι: Pnueli, A. - Weinprobe
  • Antwort: Schneider, FB - Citizen
  • Fotos: (Griechenland) - Bürger
  • Λαµπσων: Lampson, B. - General
  • :Ισκωφ: Liskov, BH - Händler
  • Antwort: Parnas, D. - Elder statesman
  • Beispiel: Gray, CG - Priester
  • Beschreibung: Lindsey, BG - Priest
GEL
quelle
@YuvalFilmus, vielleicht solltest du die Liste bearbeiten, um sie zu vervollständigen / Fehler zu beheben
vonbrand
1
Tolle Liste! Ein paar Verbesserungen: Ich glaube, "Tωυεγ" ist wahrscheinlich Sam Toueg, nicht Tovey. Nicht sicher, wen Sie mit "CH Lindsey" meinen, vielleicht ist Bruce G Lindsay ein wahrscheinlicherer Kandidat. "Preist" sollte "Priester" geschrieben werden.
Martin Kleppmann