+- 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: Axiomizing different methods (/showthread.php?tid=1647)
Axiomizing different methods - Daniel - 09/29/2022
Geometry is a nice example of what can be done with different systems of axioms. Can the different tetration methods be reduced to their axioms or systems of axioms?
A preliminary list of complex tetration's "Schroeder" requirements
- Banach fixed-point theorem
- Analytic functions
- \[f^0(z)=z; f^a(f^b(z))=f^{a+b}(z)\]