Wir "wissen", dass nach Steve Cook und nach Nick Pippenger benannt ist. Wenn ich mich nicht irre, hat Steve Cook NC zu Ehren von Nick Pippenger genannt, und mir wurde gesagt, dass auch das Gegenteil der Fall ist. Allerdings konnte ich weder in Steve Cooks Aufsatz über DCFLs noch in Nisans Beweis, dass Beweise für diese letztere Tatsache finden .
Gibt es irgendwelche dokumentierten Beweise für die letztgenannte Behauptung oder liegt dies nur "in der Luft"?
ps Ich frage , weil ich Beispiele von Stiglers Eponymie-Gesetz durchgesehen und mich gefragt habe, was ich "Stigler-Reziprozität" nennen werde: Wo etwas, das von A erfunden wurde, nach B benannt ist und umgekehrt. Ein Beispiel hierfür sind Cartan-Matrizen und Tötungsformen.