John Carlson yottz...@gmail.com writes:
If there truly is a universal language, is it a systems language? A logic
language can describe hardware. What about things like pointers? Have
they come up with self-referential logic?
On Apr 20, 2013 11:18 PM, John Carlson yottz...@gmail.com wrote:
Casey,
I agree with your sentiments here.
Just a lurker.
I have learned a lot.
I was motivated to attempt writing a compiler in OMETA for a pet project of
mine.
It has all been very interesting and very enjoyable. Even the trolls were
interesting and funny at times.
Waiting for the final
I have this idea that impredicative systems create little universes that
exist separate from the larger universe, including recursive universes,
impenetrable universes et al. But then that leads me to self-enveloping
universes.
This moment contains all moments -- CS Lewis
On Apr 22, 2013 4:33
On Fri, Apr 19, 2013 at 1:51 PM, Casey Ransberger
casey.obrie...@gmail.com wrote:
I wanted to send this message out after the final status report, but since
that's indefinitely delayed (keep going!) I'm just going to do it now.
Easy question: has keeping this dialogue open been useful to the