Notations and Opinions
#37
andydude Wrote:Also, GFR uses x$y*a or something like that, which I find confusing.

Hey Andrew! I think that we have a misunderstanding here. Your citation, without ... Wink warnings is also misleading. As a matter of fact, we adopted a special notation, at rank 4, for the representation of large numbers, based on an expression of a number z, such as:

z = b^(b^(b^ ...(b^x)...)), where b^ was supposed to be iterated n times (h?). This gives, for instance (n=3, x<b):

z = b^(b^(b^x)) = x @ (b#3) = b # (3+q), with q = slog_b x.
[in fact: 3+q = slog_b z, then: q = slog_b z -3 = slog_b x].

@ stands here for the "last" exponent appended to the tower height, corresponding to "mantissa" q (q<1). It is only a notation of numbers similar to the floating point scientific notation (always x<b):
z = b*b*b*x = x* (b^3) = b ^ (3+q), with q = log_b x.

So, indeed, I could write:

z = x @ (b#n)

for a "tower" with base b, height n and "tower extension" x. It's not confusing, in this particular application. In case of "integer" h iterations (..!) of a variable x, we could perhaps also write:

z = x @ (b#h) [x "appended" at the "top" of b#h]

But this was not a general notation proposal. It was an ad-hoc tetrational notation for the special purpose that I just mentioned.

And, of course, I agree that h = slog_b z - slog_b x, i.e.:

h = b[4]\ z - b[4]\ x

GFR


Messages In This Thread
Notations and Opinions - by andydude - 01/21/2008, 02:08 AM
RE: Notations and Opinions - by Gottfried - 01/21/2008, 06:48 AM
RE: Notations and Opinions - by GFR - 01/21/2008, 10:23 PM
RE: Notations and Opinions - by andydude - 01/22/2008, 05:04 AM
RE: Notations and Opinions - by Ivars - 01/22/2008, 08:27 AM
RE: Notations and Opinions - by andydude - 01/22/2008, 07:04 PM
RE: Notations and Opinions - by Ivars - 01/22/2008, 09:56 PM
RE: Notations and Opinions - by GFR - 01/22/2008, 10:12 AM
RE: Notations and Opinions - by Ivars - 01/22/2008, 12:57 PM
RE: Notations and Opinions - by GFR - 01/22/2008, 05:47 PM
My Notation - by James Knight - 03/25/2008, 07:58 PM
Notation needed - by bo198214 - 03/26/2008, 02:26 PM
RE: Notations and Opinions - by GFR - 03/30/2008, 12:51 AM
RE: Notations and Opinions - by andydude - 03/30/2008, 05:12 AM
RE: Notations and Opinions - by GFR - 04/04/2008, 01:20 PM
RE: Notations and Opinions - by bo198214 - 04/04/2008, 01:24 PM
RE: Notations and Opinions - by GFR - 04/04/2008, 09:53 PM
RE: Notations and Opinions - by GFR - 04/05/2008, 08:26 AM
RE: Notations and Opinions - by GFR - 04/08/2008, 10:52 AM
RE: Notations and Opinions - by GFR - 04/08/2008, 03:31 PM
RE: Notations and Opinions - by bo198214 - 04/08/2008, 04:22 PM
RE: Notations and Opinions - by GFR - 04/09/2008, 05:10 PM
RE: Notations and Opinions - by andydude - 04/08/2008, 09:04 PM
RE: Notations and Opinions - by bo198214 - 04/09/2008, 11:30 AM
RE: Notations and Opinions - by GFR - 04/10/2008, 09:15 PM



Users browsing this thread: 1 Guest(s)