The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: AN ERROR IN PEANO ARITHMETIC! x X [ s Y ] [ + X Z ] <- x X Y Z
Replies: 3   Last Post: Nov 5, 2013 10:21 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,495
Registered: 5/20/10
Re: AN ERROR IN PEANO ARITHMETIC! x X [ s Y ] [ + X Z ] <- x X

Posted: Nov 5, 2013 10:21 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Tuesday, November 5, 2013 2:24:21 PM UTC-8, Ben Bacarisse wrote:
> writes:
> That's too general, in my opinion. You need a funny representation that
> makes the question rather debatable -- one could argue that the
> representation has done most of the work of the addition.

OK, if FSMs could do Logs then maybe you'd have a reasonable objection.

Formally it's just a derivation, the impossible proof by contradiction is
after the representation is decided, AFAIK.

But it's a strong result, formally you cannot even say ADDITION and
and the proof holds bona fide!


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.