António Porto, Armando B. Matos  Home/Search
Context
Related
Links: ACM | ncc.up.pt/~acm/ack.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ncc.up.pt/~acm/index_1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction and de nitions The \arrow" or \superpower" notation has been introduced by Knuth [1] as a convenient way of expressing very large numbers. It is based on the in nite sequence of operators: +; ; "; We shall see that the arrow notation is closely related to the Ackermann function (see, for instance, [2]. 1.1 The Superpowers Let us begin with the following sequence of integer operators. a n = a + a + + a | {z } n a's a " n = a a a | {z } n a's a ... (Update)
Active bibliography (related documents):
0.5: Large numbers, Knuth's arrow notation, and Ramsey theory - Prömel (1999) (Correct)
Similar documents based on text: More All
0.1: On the Number of Permutations Avoiding a Given Pattern - Alon, Friedgut (1999) (Correct)
0.1: Ackermann Function, or What's So Special about 1969? - Froemke, Grossman (Correct)
0.1: Economic and Political Changes and Import Demand Behavior of .. - Kang-Taeg Lim And (Correct)
BibTeX entry: (Update)
@article{ porto80ackermann,
author = "Porto and Matos",
title = "Ackermann and the Superpowers",
journal = "SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory)",
volume = "12",
year = "1980",
url = "citeseer.ist.psu.edu/porto95ackermann.html" }
Citations (may not include all citations):Documents on the same site (http://www.ncc.up.pt/~acm/index_1.html): More
A Prolog Profiler - Based on a New Matrix Model for the Flow of.. - Matos (Correct)
Monadic Logic Programs and Functional Complexity - Matos (1997) (Correct)
On the number of lines of theorems in the formal system MIU - Matos (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC