Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301494469> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4301494469 abstract "Since the definition of the Busy Beaver function by Rado in 1962, an interesting open question has been the smallest value of n for which BB(n) is independent of ZFC set theory. Is this n approximately 10, or closer to 1,000,000, or is it even larger? In this paper, we show that it is at most 7,910 by presenting an explicit description of a 7,910-state Turing machine Z with 1 tape and a 2-symbol alphabet that cannot be proved to run forever in ZFC (even though it presumably does), assuming ZFC is consistent. The machine is based on the work of Harvey Friedman on independent statements involving order-invariant graphs. In doing so, we give the first known upper bound on the highest provable Busy Beaver number in ZFC. To create Z, we develop and use a higher-level language, Laconic, which is much more convenient than direct state manipulation. We also use Laconic to design two Turing machines, G and R, that halt if and only if there are counterexamples to Goldbach's Conjecture and the Riemann Hypothesis, respectively." @default.
- W4301494469 created "2022-10-05" @default.
- W4301494469 creator A5020769134 @default.
- W4301494469 creator A5045137858 @default.
- W4301494469 date "2016-05-13" @default.
- W4301494469 modified "2023-09-30" @default.
- W4301494469 title "A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory" @default.
- W4301494469 doi "https://doi.org/10.48550/arxiv.1605.04343" @default.
- W4301494469 hasPublicationYear "2016" @default.
- W4301494469 type Work @default.
- W4301494469 citedByCount "0" @default.
- W4301494469 crossrefType "posted-content" @default.
- W4301494469 hasAuthorship W4301494469A5020769134 @default.
- W4301494469 hasAuthorship W4301494469A5045137858 @default.
- W4301494469 hasBestOaLocation W43014944691 @default.
- W4301494469 hasConcept C112876837 @default.
- W4301494469 hasConcept C11413529 @default.
- W4301494469 hasConcept C114614502 @default.
- W4301494469 hasConcept C118615104 @default.
- W4301494469 hasConcept C131671149 @default.
- W4301494469 hasConcept C138885662 @default.
- W4301494469 hasConcept C143732363 @default.
- W4301494469 hasConcept C162838799 @default.
- W4301494469 hasConcept C179061269 @default.
- W4301494469 hasConcept C2780990831 @default.
- W4301494469 hasConcept C29248071 @default.
- W4301494469 hasConcept C33923547 @default.
- W4301494469 hasConcept C41008148 @default.
- W4301494469 hasConcept C41895202 @default.
- W4301494469 hasConcept C45374587 @default.
- W4301494469 hasConcept C48415503 @default.
- W4301494469 hasConceptScore W4301494469C112876837 @default.
- W4301494469 hasConceptScore W4301494469C11413529 @default.
- W4301494469 hasConceptScore W4301494469C114614502 @default.
- W4301494469 hasConceptScore W4301494469C118615104 @default.
- W4301494469 hasConceptScore W4301494469C131671149 @default.
- W4301494469 hasConceptScore W4301494469C138885662 @default.
- W4301494469 hasConceptScore W4301494469C143732363 @default.
- W4301494469 hasConceptScore W4301494469C162838799 @default.
- W4301494469 hasConceptScore W4301494469C179061269 @default.
- W4301494469 hasConceptScore W4301494469C2780990831 @default.
- W4301494469 hasConceptScore W4301494469C29248071 @default.
- W4301494469 hasConceptScore W4301494469C33923547 @default.
- W4301494469 hasConceptScore W4301494469C41008148 @default.
- W4301494469 hasConceptScore W4301494469C41895202 @default.
- W4301494469 hasConceptScore W4301494469C45374587 @default.
- W4301494469 hasConceptScore W4301494469C48415503 @default.
- W4301494469 hasLocation W43014944691 @default.
- W4301494469 hasLocation W43014944692 @default.
- W4301494469 hasLocation W43014944693 @default.
- W4301494469 hasOpenAccess W4301494469 @default.
- W4301494469 hasPrimaryLocation W43014944691 @default.
- W4301494469 hasRelatedWork W1978271909 @default.
- W4301494469 hasRelatedWork W2136777362 @default.
- W4301494469 hasRelatedWork W2177981693 @default.
- W4301494469 hasRelatedWork W2189193453 @default.
- W4301494469 hasRelatedWork W2345781622 @default.
- W4301494469 hasRelatedWork W2403127738 @default.
- W4301494469 hasRelatedWork W2607375585 @default.
- W4301494469 hasRelatedWork W2912355105 @default.
- W4301494469 hasRelatedWork W4301494469 @default.
- W4301494469 hasRelatedWork W87572417 @default.
- W4301494469 isParatext "false" @default.
- W4301494469 isRetracted "false" @default.
- W4301494469 workType "article" @default.