3 ms·
A lambda calculus of two variables requires the law of the excluded middle, or it won’t work. The alphabet of the calculus has to be distinguishable and unambi
by BadThink6655321 7y ago
A lambda calculus of two variables requires the law of the excluded middle, or it won’t work. The alphabet of the calculus has to be distinguishable and unambiguous.
- voxl 7y agoThe law of the excluded middle is about the truth status of any proposition. The fact that the alphabet of the language has to have a decidable equality does not mean the law of the excluded middle is true for any theory built from the lambda calculus. (Or true in general)