About: TREE sequence

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: TREE sequence Sponge Permalink

An Entity of Type : dbkwik:resource/4aznwUI91u-_lcyx_rD8kQ==, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

The TREE sequence is a fast-growing function arising out of graph theory, devised by mathematical logician Harvey Friedman. Friedman showed that the function eventually dominates all recursive functions provably total in the system \( ext{ACA}_0\)+\(\Pi_2^1\)-\( ext{BI}\). The smallest nontrivial member of the sequence is the famously large TREE(3), notable because it is a number that appears in serious mathematics that is larger than Graham's number.

Attributes	Values
rdf:type	function
rdfs:label	TREE sequence
rdfs:comment	The TREE sequence is a fast-growing function arising out of graph theory, devised by mathematical logician Harvey Friedman. Friedman showed that the function eventually dominates all recursive functions provably total in the system \( ext{ACA}_0\)+\(\Pi_2^1\)-\( ext{BI}\). The smallest nontrivial member of the sequence is the famously large TREE(3), notable because it is a number that appears in serious mathematics that is larger than Graham's number.
dcterms:subject	Functions Higher array notation level Theorems Combinatorics
dbkwik:googology/p...iPageUsesTemplate	dbkwik:resource/6jJxc72T8ljy4GoTDBvHyA== dbkwik:resource/7cBS1V3uWaVowycFZIqhOg== dbkwik:resource/yT3JrwLDjx1EXiHBG5CO8g== dbkwik:resource/Gb0rTLXd1W5p7Uohi2WiDA==
Author	Harvey Friedman
Year	2006(xsd:integer)
growthrate	Eventual domination
abstract	The TREE sequence is a fast-growing function arising out of graph theory, devised by mathematical logician Harvey Friedman. Friedman showed that the function eventually dominates all recursive functions provably total in the system \( ext{ACA}_0\)+\(\Pi_2^1\)-\( ext{BI}\). The smallest nontrivial member of the sequence is the famously large TREE(3), notable because it is a number that appears in serious mathematics that is larger than Graham's number.
is wikipage disambiguates of	Tree

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