Progress Learning LaTeX
Studied some today. Seems not as difficult as I expected.
Studied some today. Seems not as difficult as I expected.
I have installed MiKTeX – seems to work – need to learn a lot.
I have been thinking a lot. I am considering (and inclined toward) the view that we must restrict ourselves to a first-order language. As I recall, Quine believed this. I think it destroys most of math. But science can, I think, get along with just rational numbers. It is possible… Continue reading
I have already used prolog in my philosophy. I have started preparing to use Xlisp and OPS5. I found a more current version of Xlisp than I had and compiled it & it seemed OK. (I also have a version of common lisp). I hope to get OPS5 working with… Continue reading
BR was mentioned on episode 19 season 4 of Cheers. I remember him mentioned on an episode of Quincy as well.
I find myself in agreement with Schneider – on substance but not terminology. I use “algorithm” to mean a step by step procedure to solve a specific problem in a finite number of steps. And computation to mean solving something by an algorithm. It is apparent Schneider is using the… Continue reading