Re: Can you clarify? Re: Do I have a second? Re: Motion to stop work on the standard
Am 01.12.2013, 17:57 Uhr, schrieb John Pryce <j.d.pryce@xxxxxxxxxx>:
I found is paper very innovative and interesting.
So did I. Unfortunately it seemed to me on first reading that (any
nontrivial realisation of) it was incompatible with P1788 since early in
the project's history.
This is the point. I saw and see from the beginning a severe problem with
infinity,
and imho it is still there. This is the reason I thought about a
theoretical foundation
to solve the issue.
I also see some new and different interesting features, but I have the
fear that it may be too new.
A user would not notice a difference to 'ordinary' IA.
It is a theory allowing to deal with infinity in a clean way.
Regards,
Siegfried
--
=====================================================
Prof. Dr. Siegfried M. Rump
Institute for Reliable Computing
Hamburg University of Technology
Schwarzenbergstr. 95
21071 Hamburg
Germany
phone +49 40 42878 3027
fax +49 40 42878 2489
http://www.ti3.tuhh.de
and
Visiting Professor at Waseda University
Faculty of Science and Engineering
3-4-1 Okubo, Shinjuku-ku
Tokyo 169-8555
Japan
phone/fax in Japan +81 3 5286 3330