fom
Posts:
1,968
Registered:
12/4/12


Re: mathematical infinite as a matter of method
Posted:
May 4, 2013 8:57 PM


On 5/4/2013 7:30 PM, Graham Cooper wrote: > > That Paradigm is not even used with a valid set theory >
I am rather unconcerned with the pretend mathematics that occurs in computation where thousands of real mathematical results are involved prior to the compilation of a "hello world" program.
I wish I knew more about prolog in order to counter your statements appropriately.
But, I do not.
I am curious, however, about the notion of "valid set theory".

