Viewing profile — tkosan

“Fundamental Mathematics” fourth edition by Wade and Taylor is the best book I am aware of for learning mathematics from scratch.

I am the main developer of the MathPiper CAS ( http://mathpiper.org ), and I forked it from the Yacas CAS in 2008. MathPiper is a rewriting system that is similar in design to Math…

I am in the process of writing a step-by-step elementary algebra equation solver that solves these problems like a human does. One thing I have learned from this experience is a go…

Doug Lenat (who started the Cyc project) says Cyc is the "last man standing" of the large logic-based AI projects. So I don't think any open-source projects that are similar to it …

Cyc is used in the MathCraft application, which is currently in beta: http://www.cyc.com/mathcraft/ I don't think Google, Bing, Wolfram Alpha, or Siri can be used for applications …

I spend 1-2 hours each day learning Cyc, and each day I see it do something new. For example, I just asked Cyc "Where did the 2012 Summer Olympics take place?" and this was its res…

I have had access to the research version of Cyc ( http://www.cyc.com/ ) for over a year, and its capabilities are breathtaking. If aigrant.org had a subcommunity of people who wer…

Use the Teensyduino software: https://www.pjrc.com/teensy/teensyduino.html

I am the main developer of the MathPiper computer algebra system ( http://mathpiper.org ). I found that a great way to improve one's understanding of math is to learn how a compute…

How well do you understand the kind of elementary algebra equation solving that is taught in high school? If you don't understand it well enough to write a program that can solve e…

I am the main developer of the MathPiper open source computer algebra system ( http://mathpiper.org ). An effective kind of programming language to learn that will help you learn m…

I am the main developer of the MathPiper computer algebra system. When students ask "when will I use algebra?" it is a symptom of a deeper problem, which is what they are being tau…

I think new education systems that are based on software will eventually replace most teacher-based education systems. Not only do teachers not scale, most of them don't understand…

The book “A Logical Approach to Discrete Math” by David Gries is excellent for learning math on a theoretical level, and for understanding proofs. I have found that writing softwar…

No currently used step-by-step equation software I am aware of shows all of the steps (inferences) that are needed to solve an equation, and why it took those steps. For example, I…

Is Maple able to show the steps a human would typically take to solve a given elementary algebra equation?

Lesson 6 at the following website explains the fundamentals of how the solver works: http://patternmatics.org/temp_1/mathfuture/ The other lessons explain some of the concepts used…

This video shows what I have working so far: https://www.youtube.com/watch?v=cy6bwNBkAK0

I am an average programmer who used to have trouble understanding how math worked. According to Donald Knuth, science is knowledge that is understood so well that it can be taught …

I think teaching fundamental mathematics to programmers using ITS (Intelligent Tutoring System) technology is a very promising idea. For example, an ITS that is capable of doing st…

Douglas Lenat recently gave the following talk at CMU about how Cyc works and its current capabilities: https://www.youtube.com/watch?v=4mv0nCS2mik

In 1993 my wife and I had a son, and we decided to homeschool him. I took responsibility for my son’s mathematics education. I started by collecting hundreds of used math books (an…

I am the lead developer of the open source MathPiper computer algebra system: http://mathpiper.org Does solving equations using the following manual step-by-step elementary algebra…

I started learning how to program in Prolog a few years ago. I found Prolog to be very difficult to understand, mostly because I did not understand what symbolic logic was. I then …

Steve Yegge has a blog post titled "Math For Programmers" which discusses this topic. Here is an excerpt from the post: "1. Math is a lot easier to pick up after you know how to pr…