+- Tetration Forum (https://tetrationforum.org)
+-- Forum: Tetration and Related Topics (https://tetrationforum.org/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://tetrationforum.org/forumdisplay.php?fid=3)
+--- Thread: [brainstorming] partial evaluation (/showthread.php?tid=67)
[brainstorming] partial evaluation - Gottfried - 10/04/2007
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