Re: [agi] My Boolean Satisfiability Solver

2010-07-21 Thread Ian Parker
But surely a number is a group of binary combinations if we represent the number in binary form, as we always can. The real theorems are those which deal with *numbers*. What you are in essence discussing is no more or less than the *Theory of Numbers.* * * * - Ian Parker * On 21 July 2010 20:17,

Re: [agi] My Boolean Satisfiability Solver

2010-07-21 Thread Jim Bromer
Because a logical system can be applied to a problem, that does not mean that the logical system is the same as the problem. Most notably, the theory of numbers contains definitions that do not belong to logic per se. Jim Bromer On Wed, Jul 21, 2010 at 3:45 PM, Ian Parker ianpark...@gmail.com

Re: [agi] My Boolean Satisfiability Solver

2010-07-21 Thread Jim Bromer
Well, Boolean Logic may be a part of number theory but even then it is still not the same as number theory. On Wed, Jul 21, 2010 at 4:01 PM, Jim Bromer jimbro...@gmail.com wrote: Because a logical system can be applied to a problem, that does not mean that the logical system is the same as the

Re: [agi] My Boolean Satisfiability Solver

2010-07-21 Thread Ian Parker
The Theory of Numbers as its name implies about numbers. Advanced Theory of Number is also about things like Elliptic Functions, Modular functions, Polynomials, Symmetry groups, the Riemann hypothesis. What I am saying is I can express *ANY* numerical problem in binary form. I can use numbers,

Re: [agi] My Boolean Satisfiability Solver

2010-07-21 Thread Ian Parker
If I can express Arithmetic in logical terms it must be. - Ian Parker On 21 July 2010 21:38, Jim Bromer jimbro...@gmail.com wrote: Well, Boolean Logic may be a part of number theory but even then it is still not the same as number theory. On Wed, Jul 21, 2010 at 4:01 PM, Jim Bromer