Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Proof Ackermann function extended to reals cannot be commutative/associative
#2
I'm a bit confused Confused
You said that the only assumptions were the commutativity of two operations, but you did not use the assumption of the the commutativity of the operation in the proof. (in fact it is not important imo):
you asumptions are:

1-commutativity and associativity of the operator .

2-the existence of a unique right identity element (that is the left id. element too if it is commutative) of the operation .

And these assuptions make you proof valid to show that the only operation with these properties is the addition.
MathStackExchange account:MphLee
Reply


Messages In This Thread
RE: Proof Ackermann function extended to reals cannot be commutative/associative - by MphLee - 06/15/2013, 08:02 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Interesting commutative hyperoperators ? tommy1729 0 288 02/17/2020, 11:07 PM
Last Post: tommy1729
  New mathematical object - hyperanalytic function arybnikov 4 1,272 01/02/2020, 01:38 AM
Last Post: arybnikov
  Is there a function space for tetration? Chenjesu 0 731 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 1,523 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Degamma function Xorter 0 1,187 10/22/2018, 11:29 AM
Last Post: Xorter
  Extended xor to Tetrion space Xorter 10 7,408 08/18/2018, 02:54 AM
Last Post: 11Keith22
  Possible continuous extension of tetration to the reals Dasedes 0 1,550 10/10/2016, 04:57 AM
Last Post: Dasedes
  (almost) proof of TPID 13 fivexthethird 1 2,687 05/06/2016, 04:12 PM
Last Post: JmsNxn
  Should tetration be a multivalued function? marraco 17 19,276 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 4,151 01/10/2016, 06:14 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)