Browse Groups

• ## Re: [PrimeNumbers] Re: Primes and I

(32)
• NextPrevious
• ... According to The Mathematical Experience , by Davis and Hersh, page 334, Russell and Whitehead ... after 362 pages, the arithmetic proposition 1+1=2 is
Message 1 of 32 , Feb 1, 2002
View Source
> >
> > Russell and Whitehead proved that 1+1=2, using only logic.
>
>1+1=2 by definition. They proved 2+2=4 though
>(technically (1+1)+(1+1)=((1+1)+1)+1)

According to "The Mathematical Experience", by Davis and Hersh, page 334,
"Russell and Whitehead ... after 362 pages, the arithmetic proposition
1+1=2 is established." and they show part of that page which says "From
this proposition it will follow, when arithmetical addition has been
defined, that 1+1=2."

+--------------------------------------------------------+
| Jud McCranie |
| |
| ... algorithms are concepts that have existence apart |
| from any programming language. The word "algorithm" |
| denotes an abstract method of computing some output |
| from some input ... -- Donald Knuth, CACM, 1966 |
+--------------------------------------------------------+
• ... According to The Mathematical Experience , by Davis and Hersh, page 334, Russell and Whitehead ... after 362 pages, the arithmetic proposition 1+1=2 is
Message 32 of 32 , Feb 1, 2002
View Source
> >
> > Russell and Whitehead proved that 1+1=2, using only logic.
>
>1+1=2 by definition. They proved 2+2=4 though
>(technically (1+1)+(1+1)=((1+1)+1)+1)

According to "The Mathematical Experience", by Davis and Hersh, page 334,
"Russell and Whitehead ... after 362 pages, the arithmetic proposition
1+1=2 is established." and they show part of that page which says "From
this proposition it will follow, when arithmetical addition has been
defined, that 1+1=2."

+--------------------------------------------------------+
| Jud McCranie |
| |
| ... algorithms are concepts that have existence apart |
| from any programming language. The word "algorithm" |
| denotes an abstract method of computing some output |
| from some input ... -- Donald Knuth, CACM, 1966 |
+--------------------------------------------------------+
Your message has been successfully submitted and would be delivered to recipients shortly.
• Changes have not been saved
Press OK to abandon changes or Cancel to continue editing
• Your browser is not supported
Kindly note that Groups does not support 7.0 or earlier versions of Internet Explorer. We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox. If you are using IE 9 or later, make sure you turn off Compatibility View.