21 Jan
2016
21 Jan
'16
12:41 p.m.
On 21/01/2016 02:41, Marc LeBrun wrote:
I agree, we can get ourselves quite tangly in the twilit borderlands between natural and formal language.
Do all unicorns have 1 horn (by definition) or 0 (by nonexistence)?
The number of horns equals both 1 * the number of unicorns and 0 * the number of unicorns. So perhaps we needn't decide. -- g