Answer by albert visser for Bourbaki's epsilon-calculus notation
The notation using links was invented by Charles Saunders Peirce with his existential diagrams in 1883. It was reinvented by Willard van Orman Quine in his book Mathematical Logic in 1940. (Quine did...
View ArticleAnswer by Pierre Lescanne for Bourbaki's epsilon-calculus notation
I would like just to mention about "what the linkages back to the tau mean, what the boxes mean", that this notation has been revisited by Nicolaas Govert de Bruijn in the framework of the...
View ArticleAnswer by Andreas Blass for Bourbaki's epsilon-calculus notation
Let me address the part of the question about "what the linkages back to the tau mean, what the boxes mean." The usual notation for using Hilbert's epsilon symbol is that one writes $(\varepsilon...
View ArticleAnswer by T.. for Bourbaki's epsilon-calculus notation
Matthias' polemics are funny at points but also misleading in several respects: ZFC also has enormous length and depth of deductions for trivial material. According to Norman Megill's metamath page,...
View ArticleAnswer by Joel David Hamkins for Bourbaki's epsilon-calculus notation
You must read the charming essay lampooning this notation, while also giving a thorough logical analysis of it, by Adrian Mathias.Adrian Mathias, A Term of Length 4,523,659,424,929, Synthese 133 (2002)...
View ArticleBourbaki's epsilon-calculus notation
Bourbaki used a very very strange notation for the epsilon-calculus consisting of $\tau$s and $\blacksquare$. In fact, that box should not be filled in, but for some reason, I can't produce a \Box....
View Article