|
|
|
|
Programmer and mathematician talking with each other
|
|
1 points
by gizi
3755 days ago
|
|
|
Programmer: Your mathematical verbiage in that shitty Russell-Whitehead notation is ambiguous. It cannot be verified by a machine. How do we know that it is not just a pile of bullshit? Mathematician: That will be confirmed by another mathematician. Programmer: How do we know that this other mathematician is not lying? Mathematician: That will be ascertained by yet another mathematician. Programmer: Theory of deception says that your Russell-Whitehead notation is gradually but surely turning you into a colluding gang of liars and impostors. In other words, none of you cannot be trusted. May I ask you: You do not really desire to solve the problem, do you? Mathematician: True. We like things to be this way. There is simply no problem, and that is why all of us strive to find a job at the NSA. As I told you already, the problem that you are talking about, is just an illusion. |
|
|
https://en.wikipedia.org/wiki/Glossary_of_Principia_Mathemat...