Friedman's circle theorem is a theorem due to Harvey Friedman that leads to a fast-growing function \( ext{Circle}(n)\) that eventually dominates all recursive functions provably total in Peano arithmetic.
| Graph IRI | Count |
|---|---|
| http://dbkwik.webdatacommons.org | 7 |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
