3 ms·
There was some point in my education where I was taking three classes, each with their own definition of phi. It drove me nuts. Coq notation, lisp-style notati
by krakensden 13y ago
There was some point in my education where I was taking three classes, each with their own definition of phi. It drove me nuts.
Coq notation, lisp-style notation, even python-style notation- anything would be better.
- drivers99 13y agoI remember taking three classes: informal logic (philosophy) which ended up talking about formal logic anyway, electrical engineering, and a math class. It make the logic class really easy, already knowing it from EE. They all had different notation for 'implies', 'not', 'and', 'or', etc. You could argue that the computer languages have a 4th notation, but I won't.