Really same programs. – Set of program to solve systems of ordinary differential equations using long Taylor series. Just a ruby program to replace the shell script used in Linux. No change to algorithm. Test result table is at: (from Linux) Test Table The main omnisode page is: main omnisode… Continue reading
I am done for now on my diffeq program. But I need to be doing some programming. I think I will be going back to the prolog programming I was doing a few years ago on philosophy.
My differential equation program is stable. I am probably done with it for a while. I want to do other study now.
Even though there is a non-denumerable number of real numbers, there is only a denumerable number of them we can represent in a finitary logic. The real numbers which we can represent can be set to a one to one correspondence to the rational numbers, or even just the natural… Continue reading