| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Arnold Neumaier wrote:
Nate Hayes wrote:For those that may be interested, attached is the current draft of the position paper John referred to.Nate Hayes wrote: > we propose an > alternative, including by Proposition 1 (Motion 18) to make the distinction > between 1/0 and 1/Empty with decorations D_1 and D_0, But your scheme fails to make a distinction between 1+1/0 and 1+1/Empty, so your decorations for this distinction cannot be relied upon in a longer calculation.
My scheme reports that both 1+1/0 and 1+1/Empty are ill-formed, as it should be:
1/0 is undefined, and 1+undefined is ill-formed (as is 1/Empty). Nate Hayes