I’ve been working hard on my differential equation program. Most of the problems (locating poles) resulted from various sorts of Maple bugs I didn’t know were possible. I don’t mean bugs in Maple itself, but rather sorts of things you can do wrong in Maple – and the sorts of… Continue reading
I fixed a couple things – hard debugging. Basic functions OK now, except I suspect more work will be needed on log and arctan. Also locating poles is not working yet. It was debugging it that led to these other bugs, so now I am in a position to attack… 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 back at it. I miss programming. I’ve narrowed down where the problem is in locating singularities.
I’m reading Perter Singer’s Practical Ethics. He makes a strong connection (which I do not accept) between ethics and pleasure vs. suffering. Thus I am (so far) unconvinced by his arguments.
I heard someone on the radio a few days ago say that you should focus your attention on one thing at a time. I thought first of my differential equation project. I have made some progress on it, but I am having difficulties, and I cannot do much beyond the… Continue reading
The basic solution part is working. I am having trouble with locating singularities – though I have had that part working in the past. (I rewrote a great deal of the program – to improve its design – is the reason for the trouble.) I find it hard to work… 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.)
I’ve been working some, the last few weeks, on my program and making some progress.
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