Yay for Wittgenstein.
I always chuckle at
quote:
6.01 Therefore the general form of an operation /'(n) is [E, N(E)] ' (n) ( = [n, E, N(E)]). This is the most general form of transition from one proposition to another
even though it is much funnier with the original greek notation.