Respostas
The TREE sequence is a fast-growing function arising out of
graph theory
, devised by mathematical logician Harvey Friedman.[1][2] Friedman proved that the function eventually dominates all recursive functions provably total in the system \(\text{ACA}_0+\Pi_2^1-\text{BI}\).[3]
The first significantly large member of the sequence is the famous TREE[3] (sometimes written as TREE(3)), notable because it is a number that appears in serious mathematics that is larger than Graham's number.
Tradução
A sequência TREE é uma função de crescimento rápido decorrente de teoria dos grafos , desenvolvido pelo lógico matemático Harvey Friedman. [1] [2] Friedman provou que a função eventualmente domina todas as funções recursivas comprovadamente totais no sistema \ (\ text {ACA} _0 + \ Pi_2 ^ 1- \ text {BI} \). [3] O primeiro membro significativamente grande da sequência é a famosa ÁRVORE [3] (às vezes escrita como ÁRVORE (3)), notável porque é um número que aparece na matemática séria que é maior do que o número de Graham.