tkosan

10 ms·

1.
by tkosan 7y ago
“Fundamental Mathematics” fourth edition by Wade and Taylor is the best book I am aware of for learning mathematics from scratch.
2.
by tkosan 8y ago
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 Mathematica. Most CASs don't solve elementary alg
3.
by tkosan 8y ago
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 good way for a person to discover how much they don't kno
4.
by tkosan 8y ago
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 exist. If aigrant.org was able to provide acc
5.
by tkosan 9y ago
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 like this.
6.
by tkosan 9y ago
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 response: %cycl,microtheory="InferencePSC&qu
7.
by tkosan 9y ago
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 were working on Cyc-related side-projects, I wou
8.
by tkosan 9y ago
Use the Teensyduino software: https://www.pjrc.com/teensy/teensyduino.html
9.
by tkosan 9y ago
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 computer algebra system works. I would be happy to t
10.
by tkosan 10y ago
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 easier elementary algebra equations, then learning how t
11.
by tkosan 10y ago
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 math is a programming language that is part of a co
12.
by tkosan 10y ago
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 taught is not algebra. Almost no math teachers know h
13.
by tkosan 10y ago
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 subjects they are teaching at a deep enough level
14.
by tkosan 10y ago
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 software that automatically solves elementary algebra equations usi
15.
by tkosan 10y ago
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 just had cymath solve 8 x - 2 = -9 + 7 x. The solution it p
16.
by tkosan 10y ago
Is Maple able to show the steps a human would typically take to solve a given elementary algebra equation?
17.
by tkosan 10y ago
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 in lesson 6.
18.
by tkosan 10y ago
This video shows what I have working so far: https://www.youtube.com/watch?v=cy6bwNBkAK0
19.
Ask HN: I am building a step-by-step equation solver to learn how math works
9 points by tkosan 10y ago|12 comments
20.
by tkosan 10y ago
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 step-by-step elementary algebra equation solving would be able
21.
by tkosan 11y ago
Douglas Lenat recently gave the following talk at CMU about how Cyc works and its current capabilities: https://www.youtube.com/watch?v=4mv0nCS2mik
22.
by tkosan 11y ago
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 (and some new ones), and then I identified the best of them to
23.
by tkosan 11y ago
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 equation solver interest you?: https:/&#x
24.
by tkosan 12y ago
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 purchased a significant number of books on symbolic logic an
25.
by tkosan 16y ago
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 program. In fact, if you're a halfway decent programmer, you'
26.
by tkosan 18y ago
For those people who do not receive the calculator and are on a tight budget, you might want to try MathRider (<a href=" http://mathrider.org "> http://mathrider.org</a&#62 ;)
27.
by tkosan 18y ago
You might try the "Professor and Pat" programmer newbies books: http://professorandpat.org I have had students as young as 10 make it through the programming newbies series of books on this site with a little help.