05/06/2016, 06:30 PM

Hello everyone, I am happy to announce I think I have a constructive proof of our beloved semi-operators. Namely, the extension of hyper-operators to complex numbers.

In such a sense I'll reiterate what is already known, and what I've found.

Taking

then by initially having

and recursively defining

where

then

therein defining tetration, pentation, hexation, septation,... etc These functions have monotone growth on the real positive line and are bounded for

Now, I've taken the following two variable function

and I've shown

is a well defined function for . Where in further, trivially

and much less trivially

which when written in hyper-operator notation

The function

for

and is monotonely growing in

I am finalizing the paper now, I am just fixing a few wordings and typos and polishing it up. The interesting thing, which I find curious and funny, is that no living computer on this god given earth has a chance of calculating this function, it is most definitely one of the most processor heavy functions ever. Sadly this means calculating or graphing the function is next to impossible. Meaning we dont get to look at the pretty picture these semi operators define.

This also means there's no numerical evidence to support the conclusion. Furthermore we cannot even check the result with numerical evidence. I'm hoping there's a better way to define this function--an alternative expression--however I've had no luck so far.

I'll post the paper up most likely in two weeks. I just thought I'd post a little hurrah before so.

In such a sense I'll reiterate what is already known, and what I've found.

Taking

then by initially having

and recursively defining

where

then

therein defining tetration, pentation, hexation, septation,... etc These functions have monotone growth on the real positive line and are bounded for

Now, I've taken the following two variable function

and I've shown

is a well defined function for . Where in further, trivially

and much less trivially

which when written in hyper-operator notation

The function

for

and is monotonely growing in

I am finalizing the paper now, I am just fixing a few wordings and typos and polishing it up. The interesting thing, which I find curious and funny, is that no living computer on this god given earth has a chance of calculating this function, it is most definitely one of the most processor heavy functions ever. Sadly this means calculating or graphing the function is next to impossible. Meaning we dont get to look at the pretty picture these semi operators define.

This also means there's no numerical evidence to support the conclusion. Furthermore we cannot even check the result with numerical evidence. I'm hoping there's a better way to define this function--an alternative expression--however I've had no luck so far.

I'll post the paper up most likely in two weeks. I just thought I'd post a little hurrah before so.