| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
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. Arnold Neumaier