Recently, while I was looking for more sources of crossing sequence in computational complexity theory, I came across the article "Is Randomness 'Native' to Computer Scientist?" written by M. Ferbus-Zanda & S. Griogorieff. The writing style immediately caught my attention, since it's quite uncommon to me. Indeed, the whole article is written as a discussion between Quisani (Q), a fictitious student who asks questions, and the authors (A).
After a quick search, it seems that Yuri Gurevich was the first to introduce Quisani (as its virtual student). And interestingly, lots of Gurevich's coworkers (I guess?) adopt this style. Here are some instances :
- Semantics-to-syntax analyses of algorithms, Yuri Gurevich
- Logic on words, Jean-Eric Pin
- Why are Modal Logics so Robustly Decidable?, Erich Grädel
I found this dialogue style very easy to follow, pleasant to read and sometimes even funny. In my opinion, this is a nice alternative to the usual format. But obviously it doesn't fit every author.
Here are some extracts:
(extract from Algorithms vs. Machines, Andreas Blass & Yuri Gurevich)
1 Prelude Quisani: I have a question about the ASM thesis, the claim that every algorithm can be expressed, on its natural level of abstraction, by an abstract state machine (ASM). Do you still believe this thesis? Authors: Yes. In fact, there has been some recent progress , extending the proof from the sequential algorithms covered in  to parallel algorithms. To be precise, we deal with parallel algorithms that operate in sequential time and have bounded sequentiality within each step. [...]
1 Shelah's Zero-One Law Quisani: What are you doing, guys? Author: We are proving a zero-one law which is due to Shelah. Q: Didn't Shelah prove the law? A: Oh yes, he proved it all right, and even wrote it down . Q: So what is the problem? Can't you read his proof? A: Reading Shelah's proofs may be research in its own right. His great mathematical talent is not matched by his talent of exposition. Q: I suspect that you don't limit yourself to reproving Shelah's theorem. A: We have proved some related results . Q: Tell me about this zero-one law which is exciting enough to divert your attention from abstract state machines. [...]
6 Random Finite Strings and Their Applications
6.1 Random Versus How Much Random
Q: Let's go back to the question: "what is a random string?"
A: This is the interesting question, but this will not be the one we shall answer. We shall modestly consider the question: "To what extent is $x$ random?"
We know that $K(x) \le |x| + O(1)$. It is tempting to declare a string $x$ random if $K(x) \ge |x| - O(1)$. But what does it really mean? The $O(1)$ hides a constant. Let's explicit it.
Definition 15. [$c$-incompressible string] [...]
Q: Are there many $c$-incompressible strings?
A: Kolmogorov noticed that they are quite numerous.
Theorem 16. [...]
Q: Wow! It's getting late. A: Hope you are not exhausted. Q: I really enjoyed talking with you on such a topic.
(extract from Logic on words, Jean-Eric Pin)
Q: I am a bit tired, and I need to assimilate all what you said. What would you suggest me to read? A: There are several survey papers you could read [24, 26, 32, 29, 38, 48]. Then you can compulse the references given in these papers to go further on. Q: Before I go, why did you get interested into logic? A: [...] Q: I see what you mean. It’s a good conclusion for our conversation. Thank you.
My questions are the following:
- Are there any authors (possibly in other fields) using a similar style or other alternatives?
- Any anecdotes of Quisani's born?
I would also want to know how the TCS community receive such writing style. Comments are welcomed.
A similar question is "Casual tours around proofs" which discuss "casual tour" style vs. "Definition-Theorem-Proof (DTP) format".