Re: [fonc] Universal language and system programming

2013-04-22 Thread Chris Warburton
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:

Re: [fonc] Universal language and system programming

2013-04-22 Thread John Carlson
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

[fonc] Universal language and system programming

2013-04-20 Thread John Carlson
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: I think it's better to work from examples,