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
I’ve revised my study plan. See my reading. I’ve postponed (at least) the most difficult items. I was finding them too difficult. Logic will be a lower priority. My new years resolution was to try to sleep more. I have been. It seems to take me longer to wake up… Continue reading
I’m reading Rawl’s A Theory of Justice. It along with Hare’s The Language of Morals and Freedom and Reason has convinced me a correct account of subjunctive conditionals is needed for a correct theory of ethics. (And I think this requires a correct account of modal logic.)
If we assume there are a countable number of signs, and any sentence contains a finite number of signs, then there must be an uncountable number of truths of mathematics that cannot be represented, let alone be proved. This is because there are an uncountable number of real numbers. It… Continue reading