Tetration Forum

Full Version: [brainstorming] partial evaluation
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
I'm just speculating a bit...

Could it be possible to express {b,x}^^0.5 by evaluation of partial expressions of {b,x}^^(1-1+1-1+1-1...) ?
What would an equality {b,x}^^0.5 = lim {b,x}^^(1-1+1-1+1-1...) require in terms of our known/used definitions - I mean, possibly it *is* already consistent with (some of) our definitions?

Hmmm.

Gottfried
Reference URL's