July 2012 – Dennis' Daze

Plan to study Intuitionionism

By dennis | July 14, 2012 - 8:55 pm |July 14, 2012 logic, math, philosophy

Leave a comment

I have been thinking about continuity from my study of Goedel, and suspect logicism must be wrong. I got to thinking about some of what I read recently in Naming Infinity. I got 4 of Poincare’s books for the Kindle last night (very low price) and looked at Brouwer’s (they… Continue reading →

New release of omnisode and correction to download link

By dennis | July 14, 2012 - 2:02 pm |July 14, 2012 computer science, differential equations, logic

Leave a comment

Wednesday (7/11/2012) I made a new release of omnisode (My differential equation solver using long Taylor series). BTW It does not use the common method of divided differences. Today I got a scary warning going to the download page – because I mistakenly had used https instead of http. I… Continue reading →

More done on differential equations.

By dennis | July 11, 2012 - 12:15 am |July 11, 2012 computer science, differential equations, math

Leave a comment

See my diffeq.program