Re: [isabelle] Infinity - infinity = infinity



Hi Larry,

>As a rule, people should use non-standard analysis rather
>than the extended naturals or reals.

Even more so: Conway's surreal numbers!
(No, I'm not serious.)

Freek




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.