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 <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 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> wrote: >> >>> 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, Jim Bromer <jimbro...@gmail.com> wrote: >>> >>>> I haven't made any noteworthy progress on my attempt to create a >>>> polynomial time Boolean Satisfiability Solver. >>>> I am going to try to explore some more modest means of compressing >>>> formulas in a way so that the formula will reveal more about individual >>>> combinations (of the Boolean states of the variables that are True or >>>> False), through the use of "strands" which are groups of combinations. So >>>> I >>>> am not trying to find a polynomial time solution at this point, I am just >>>> going through the stuff that I have been thinking of, either explicitly or >>>> implicitly during the past few years to see if I can get some means of >>>> representing more about a formula in an efficient manner. >>>> >>>> Jim Bromer >>>> *agi* | Archives <https://www.listbox.com/member/archive/303/=now> >>>> <https://www.listbox.com/member/archive/rss/303/> | >>>> Modify<https://www.listbox.com/member/?&;>Your Subscription >>>> <http://www.listbox.com/> >>>> >>> >>> *agi* | Archives <https://www.listbox.com/member/archive/303/=now> >>> <https://www.listbox.com/member/archive/rss/303/> | >>> Modify<https://www.listbox.com/member/?&;>Your Subscription >>> <http://www.listbox.com/> >>> >> >> > *agi* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/> | > Modify<https://www.listbox.com/member/?&;>Your Subscription > <http://www.listbox.com> > ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=8660244-6e7fb59c Powered by Listbox: http://www.listbox.com
