Search All of the Math Forum:

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

Topic: The ambiguity of 0^0 on N
Replies: 106   Last Post: Sep 29, 2013 10:06 AM

 Messages: [ Previous | Next ]
 Rotwang Posts: 1,685 From: Swansea Registered: 7/26/06
Re: The ambiguity of 0^0 on N
Posted: Sep 19, 2013 8:30 AM

On 19/09/2013 06:41, Dan Christensen wrote:
> On Wednesday, September 18, 2013 8:33:15 PM UTC-4, Rotwang wrote:
>

>>
>> The problem is that Dan has things backwards; rather than picking a
>>
>> definition and determining what properties it satisfies, he's picked a
>>
>> few properties satisfied by the usual definition, noticed that those
>>
>> properties aren't sufficient to derive the usual definition, and is now
>>
>> insisting that we should therefore abandon the usual definition unless
>>
>> someone can show that the other possible definition that satisfies those
>>
>> properties gives rise to a contradiction. This makes no sense.

>
> Some elements of what you call the "usual definition" are redundant. They can actually be derived from other elements. (See my proof.)

What I call the usual definition is this: ^ is the unique function with
domain NxN that satisfies, for all n, m in N,

n^0 = 1
n^(m + 1) = n*n^m

Please show me which elements of that are redundant.

Date Subject Author
9/18/13 Dan Christensen
9/18/13 Peter Percival
9/18/13 Dan Christensen
9/18/13 Peter Percival
9/18/13 Virgil
9/18/13 Dan Christensen
9/18/13 Rotwang
9/18/13 Rock Brentwood
9/18/13 Rotwang
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Dan Christensen
9/20/13 fom
9/19/13 Virgil
9/19/13 Virgil
9/19/13 Rotwang
9/18/13 Virgil
9/18/13 fom
9/18/13 Rotwang
9/28/13 Shmuel (Seymour J.) Metz
9/29/13 Marshall
9/19/13 Dan Christensen
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 Michael F. Stemper
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Dan Christensen
9/20/13 fom
9/20/13 Dan Christensen
9/20/13 fom
9/19/13 fom
9/19/13 fom
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 Rotwang
9/19/13 Dan Christensen
9/19/13 Helmut Richter
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 fom
9/19/13 fom
9/19/13 JT
9/19/13 JT
9/19/13 Michael F. Stemper
9/19/13 JT
9/19/13 JT
9/19/13 JT
9/19/13 Helmut Richter
9/28/13 Shmuel (Seymour J.) Metz
9/19/13 fom
9/19/13 Peter Percival
9/19/13 Dan Christensen
9/19/13 Peter Percival
9/19/13 Karl-Olav Nyberg
9/19/13 fom
9/19/13 fom
9/19/13 Rotwang
9/19/13 Dan Christensen
9/19/13 fom
9/25/13 Rotwang
9/26/13 Dan Christensen
9/27/13 Brian Q. Hutchings
9/19/13 fom
9/18/13 Rock Brentwood
9/19/13 Dan Christensen
9/19/13 Dan Christensen
9/19/13 Rotwang
9/19/13 Dan Christensen
9/19/13 fom
9/20/13 Dan Christensen
9/20/13 fom
9/20/13 Dan Christensen
9/20/13 Peter Percival
9/20/13 Peter Percival
9/20/13 Dan Christensen
9/20/13 Virgil
9/20/13 Peter Percival
9/20/13 fom
9/20/13 Michael F. Stemper
9/20/13 LudovicoVan
9/21/13 Michael F. Stemper
9/21/13 LudovicoVan
9/21/13 Richard Tobin
9/20/13 Peter Percival
9/20/13 Peter Percival
9/21/13 Dan Christensen
9/19/13 Karl-Olav Nyberg