Angela Pretorius comments on Prisoners’ Dilemma with Costs to Modeling

Angela Pretorius 20 Jul 2020 20:41 UTC
1 point
In the definition FB(X)↔□(X(FB)) , what does FB(X) mean and what does X(FB) mean?
- Gurkenglas 20 Jul 2020 21:31 UTC
  3 points
  Parent
  FB(X) is whether FairBot cooperates when called with the source code of X. X(FB) is whether X cooperates when it is called with the source code of FairBot.