09/24/2007, 10:29 PM

I think one of Markus Mueller's most interesting discussions is that of his arrows in and of themselves, not exactly how he defines them, though. He defines them with implicit exponentiation, whereas Knuth's arrows use implicit multiplication, a major problem between the two systems. But I think using Mueller's arrow, so much about iteration is much easier to express:

Using (Knuth) instead of (Mueller) we can still use the notation for both higher and lower hyper-operation hierarchies, as well as iteration itself. The iteration of a function has been written in various ways in this forum making yet another notation we could use. The only advantage of this would consistency, which we could get from using any notation if we used it a lot.

Andrew Robbins

Using (Knuth) instead of (Mueller) we can still use the notation for both higher and lower hyper-operation hierarchies, as well as iteration itself. The iteration of a function has been written in various ways in this forum making yet another notation we could use. The only advantage of this would consistency, which we could get from using any notation if we used it a lot.

Andrew Robbins