• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp BenStandeven Junior Fellow Posts: 27 Threads: 3 Joined: Apr 2009 05/12/2009, 01:00 AM (06/04/2008, 07:20 AM)Ivars Wrote: bo198214 Wrote:Sorry, but I dont see any meaning for hyper operations in defining a fucked up function that is so crude that you can not define them on the reals. andydude Wrote:You need to learn the difference between divergent and false. The other point is who cares about functions on reals if they are so fucked up in principle that they can not deal with simple reduction of tetration to simpler analysis. Disctinction between true and false in tetration and above can not be determined by the properties of function on reals. But of course this is just uneducated intuitive opinion. Though I do not see a problem to define a function like f(xL,x)= 0, f(x, xR)=1. xL, Where xL, xR are Left and Right surreal numbers between any 2 real values of x.Function is just a unique relationship between 2 sets, be it reals and surreals or what ever. Once defined, it exists. Next step is to study if it has any reasonable properties and does it fit the purpose of understanding hyperoperations. Ivars Let 0 = {|}, 1 = {0|}, -1 = {|0}, as usual. Then {-1 | 1} = 0. So 1 = f({|0}, 0) = f(-1, 0) = f(-1, {-1 | 1}) = 0. The function is not well-defined. (It would be well-defined on combinatorial games, except that it is of course not defined on all of them.) Also, if f(x^y) = f(x) f(y) on the surreals, then either f is identically 1, f is identically zero, or there is some y with 1^y not equal to 1, or some x with x^1 not equal to x. This follows by bo198214's proof. I daresay all the standard definitions of exponentiation on the surreals have the latter two properties, so if you still want this setup, you'll need a new definition of exponentiation. I would recommend making it commutative, since surreal multiplication is. « Next Oldest | Next Newest »

 Messages In This Thread Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/01/2008, 01:54 PM only identity maps powers to products - by bo198214 - 06/01/2008, 03:01 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/01/2008, 05:02 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by andydude - 06/02/2008, 04:46 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 06/03/2008, 08:09 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/03/2008, 08:49 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 06/03/2008, 01:13 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/03/2008, 01:22 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 06/03/2008, 03:21 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/02/2008, 07:15 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/03/2008, 07:14 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/03/2008, 03:34 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 06/03/2008, 05:14 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/03/2008, 09:45 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by andydude - 06/04/2008, 01:51 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/04/2008, 07:20 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 06/04/2008, 02:14 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 06/04/2008, 02:33 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by BenStandeven - 05/12/2009, 01:00 AM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by Ivars - 12/04/2008, 01:15 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by JmsNxn - 04/14/2011, 11:16 PM RE: Attempt to formally generalize log, exp functions to 3,4,5..(n,m) log exp - by bo198214 - 04/15/2011, 07:29 AM

 Possibly Related Threads... Thread Author Replies Views Last Post The AB functions ! tommy1729 0 1,740 04/04/2017, 11:00 PM Last Post: tommy1729 the inverse ackerman functions JmsNxn 3 6,323 09/18/2016, 11:02 AM Last Post: Xorter Look-alike functions. tommy1729 1 2,234 03/08/2016, 07:10 PM Last Post: hixidom Inverse power tower functions tommy1729 0 2,030 01/04/2016, 12:03 PM Last Post: tommy1729 [2014] composition of 3 functions. tommy1729 0 1,920 08/25/2014, 12:08 AM Last Post: tommy1729 Intresting functions not ? tommy1729 4 5,500 03/05/2014, 06:49 PM Last Post: razrushil generalizing the problem of fractional analytic Ackermann functions JmsNxn 17 23,643 11/24/2011, 01:18 AM Last Post: JmsNxn Discrete-analytic functions Ansus 4 6,057 07/30/2011, 04:46 PM Last Post: tommy1729 product functions tommy1729 5 6,830 06/01/2011, 05:38 PM Last Post: tommy1729 Periodic functions that are periodic not by addition JmsNxn 0 2,905 04/17/2011, 09:54 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)