About: H function

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: H function Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

H(n) is an extremely fast-growing function devised by Chris Bird with growth rate at the Bachmann-Howard ordinal. Using Bird's Nested Hyper-Nested Array Notation, \(H(n) = \{3,n [1 [1 [1 [ \cdots [1 [1 \backslash_n 1 \backslash_n 2] 2] \cdots ] 2] 2] 2] 2\}\) (with n sets of square brackets). The first few values are shown below:

Attributes	Values
rdfs:label	H function
rdfs:comment	H(n) is an extremely fast-growing function devised by Chris Bird with growth rate at the Bachmann-Howard ordinal. Using Bird's Nested Hyper-Nested Array Notation, \(H(n) = \{3,n [1 [1 [1 [ \cdots [1 [1 \backslash_n 1 \backslash_n 2] 2] \cdots ] 2] 2] 2] 2\}\) (with n sets of square brackets). The first few values are shown below:
dcterms:subject	Functions
dbkwik:googology/p...iPageUsesTemplate	dbkwik:resource/Gb0rTLXd1W5p7Uohi2WiDA==
abstract	H(n) is an extremely fast-growing function devised by Chris Bird with growth rate at the Bachmann-Howard ordinal. Using Bird's Nested Hyper-Nested Array Notation, \(H(n) = \{3,n [1 [1 [1 [ \cdots [1 [1 \backslash_n 1 \backslash_n 2] 2] \cdots ] 2] 2] 2] 2\}\) (with n sets of square brackets). The first few values are shown below: * \(H(1) = \{3,1 [1 \backslash 1 \backslash 2] 2\} = 3\) * \(H(2) = \{3,2 [1 [1 eg 1 eg 2] 2] 2\} = \{3\langle 0 [1 eg 1 eg 2] 2 angle\} = \{3\langle 2 \langle 2 eg 2 angle 2 angle 2\} = \{3\langle 2 \backslash 2 [2]\backslash 2 \backslash 2 angle 3\}\) * \(H(3) = \{3,3 [1 [1 [1 \backslash_3 1 \backslash_3 2] 2] 2] 2\}\) * \(H(4) = \{3,4 [1 [1 [1 [1 \backslash_4 1 \backslash_ 4 2] 2] 2] 2] 2\}\)
is wikipage disambiguates of	H

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software