LWN.net Logo

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 7:17 UTC (Wed) by feth (guest, #69696)
Parent article: 1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

There is prior art, but 1+1 is not obvious in any case!


(Log in to post comments)

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 9:03 UTC (Wed) by mpr22 (subscriber, #60784) [Link]

1+1=2 is obvious to the school-educated non-mathematician (because they have a concrete definition of those terms which precludes it being non-obvious) and to the ordinarily skilled mathematician (because they're familiar with at least the summary of the number-theoretic proof).

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 11:12 UTC (Wed) by anselm (subscriber, #2796) [Link]

1+1 could also (less obviously) be 0, if you consider the group consisting of the set {0,1} and addition modulo 2.

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 23:38 UTC (Wed) by bjacob (subscriber, #58566) [Link]

2 is just 1+1 by definition. In arithmetic modulo 2, 1+2==2==0.

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 23:39 UTC (Wed) by bjacob (subscriber, #58566) [Link]

er, i meant 1+1==2==0

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 9:20 UTC (Wed) by dgm (subscriber, #49227) [Link]

Hey, cool id sixty-nine-six-ninety-six! But 1+1 is obvious once you know what "1" is and what "+" is. As is 1+1+1, 1+1+1+1, etc. once you know what induction is and how to omit parenthesis.

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 9:57 UTC (Wed) by loevborg (guest, #51779) [Link]

True. "1+1=2" may have been true in all past instances, but what guarantees that the rule will yield 2 and not 85 in the future? What makes it true that "+" really means plus and not, say, quus?

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 27, 2011 14:12 UTC (Wed) by dgm (subscriber, #49227) [Link]

One word: definition.

1+1 (pat. pending) - Mathematics, Software and Free Speech (Groklaw)

Posted Apr 28, 2011 17:19 UTC (Thu) by jd (guest, #26381) [Link]

That response just BEGS someone to do a Filk version of "Tradition" (the first song from Fiddler on the Roof) for mathematics. Anyone want to have a go?

Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds