About: Supertet   Sponge Permalink

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

The supertet is equal to {4,4,4,4} in BEAF.. It can also be written 4{{{{4}}}}4, or 4 & 4, using the array of operator. The term was coined by Jonathan Bowers. It is decently close to a well-known combinatorial constant, Harvey Friedman's n(4). Supertet can be computed in 3-bracket operator notation using the following process: Supertet is comparable to \(f_{\omega^2}(4)\) in the fast-growing hierarchy.

AttributesValues
rdfs:label
  • Supertet
rdfs:comment
  • The supertet is equal to {4,4,4,4} in BEAF.. It can also be written 4{{{{4}}}}4, or 4 & 4, using the array of operator. The term was coined by Jonathan Bowers. It is decently close to a well-known combinatorial constant, Harvey Friedman's n(4). Supertet can be computed in 3-bracket operator notation using the following process: Supertet is comparable to \(f_{\omega^2}(4)\) in the fast-growing hierarchy.
dcterms:subject
dbkwik:googology/p...iPageUsesTemplate
abstract
  • The supertet is equal to {4,4,4,4} in BEAF.. It can also be written 4{{{{4}}}}4, or 4 & 4, using the array of operator. The term was coined by Jonathan Bowers. It is decently close to a well-known combinatorial constant, Harvey Friedman's n(4). Supertet can be computed in 3-bracket operator notation using the following process: * \(t_1 = 4\) * \(t_2 = 4 \lbrace4\lbrace4\lbrace4brace^{3}brace^{3}brace^{3} 4\) * \(t_3 = 4 \lbrace4\lbrace4\cdots\lbrace4brace^{3}4brace^{3}\cdotsbrace^{3}4 \) with \(t_2\) 4's from the center out. * \(t_4 = 4 \lbrace4\lbrace4\cdots\lbrace4brace^{3}4brace^{3}\cdotsbrace^{3}4 \) with \(t_3\) 4's from the center out. * etc. * Supertet is \(t_{t_{t_{\cdots1}}}\), where \(t_{t_{t_{\cdots1}}}\), where \(t_{t_{t_{t_1}}} t's\). Supertet is comparable to \(f_{\omega^2}(4)\) in the fast-growing hierarchy.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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