> >

According to "The Mathematical Experience", by Davis and Hersh, page 334,

> > 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)

"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 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)

"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 |

+--------------------------------------------------------+