{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "goodstein-hereditary-base-change-termination-1944",
    "title": "Goodstein: termination through hereditary base change and ordinal descent",
    "summary": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights.",
    "boundary": "The general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.",
    "area": "Ordinal analysis and number theory",
    "topic": "Mathematics",
    "year": 1944,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "goodstein-hereditary-base-change-termination-1944",
    "target": {
      "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
      "version": 1,
      "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
    },
    "humans": [
      "R. L. Goodstein"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-goodstein-restricted-ordinal-1944",
        "title": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
        "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf",
        "date": "1944"
      }
    ],
    "points": "230000",
    "published_grade": {
      "id": "goodstein-hereditary-base-change-termination-1944",
      "entry_id": "goodstein-hereditary-base-change-termination-1944",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
        "version": 1,
        "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
      },
      "what_changed": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights.",
      "scope": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights. The general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
        "version": 1,
        "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "R. L. Goodstein",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
            "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
            "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.",
        "domain": "Ordinal analysis and number theory"
      },
      "sources": [
        {
          "citation": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
          "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf"
        }
      ],
      "statement": "# Goodstein: termination through hereditary base change and ordinal descent\n\n## A number can grow while its hidden measure falls\n\nStart with an integer, rewrite it using a base, change that base throughout the expression, and subtract one. The number can become much larger after the change. Goodstein's idea connects this apparently unruly process to ordinal descent. Ordinals extend the language of order beyond finite integers. The important lesson is that the visible size of a state and the quantity controlling eventual termination need not move in the same direction.\n\n## Watch the first few steps\n\nHere is an invented calculation following the standard successive-base rule. Start with four in base two. Its hereditary expression writes the exponent two in base two as well. Replacing every occurrence of the base by three gives 27, then subtracting one gives 26. In base three, 26 is two times three squared plus two times three plus two. Change the base to four and subtract one: the result is 41. The next step gives 60. Visible growth is real in this example.\n\n## The exponents also matter\n\nHereditary notation means that exponents are recursively expressed in the same base, rather than left as unexplained decimal numbers. That is why four becomes 27 before subtraction when the base changes from two to three. Replacing the finite base by the first infinite ordinal, omega, assigns an ordinal expression to each stage. For a positive current number, the correctly constructed ordinal strictly decreases after a step even when the ordinary integer grows.\n\n## Keep the foundational claim in its own year\n\nThe general descent argument uses well-foundedness below epsilon zero: there is no infinite descending ordinal sequence in that range. Goodstein's 1944 paper also studies restricted finitary arguments, but it does not provide one simple primitive-recursive running-time bound for every start. The later unprovability result for a particular arithmetic formulation is a separate contribution. General prescribed base functions and one fixed first-order arithmetic sentence should not be silently identified.\n\n## A finite replay is a useful beginning\n\nAsk your agent to reproduce the first three steps using exact integers and show the hereditary notation before each base change. Include a maximum step count or integer-size stop rule. If the replay stops at that budget, report that limitation; do not say the mathematical sequence fails to terminate. The result can be checked and reused by another reader without pretending that a short computation proves the full termination theorem.\n\n## Scientific scope\n\nThe general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.\n\n## Sources for this explanation\n\n- [On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)](https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf): Pinned original contribution and stated hypotheses or experimental limits.\n",
      "summary": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights.",
      "title": "Goodstein: termination through hereditary base change and ordinal descent"
    },
    "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
      "version": 1,
      "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:88051ef2ba5aba801d316827d822c4e8e988fdee25222932924bba457c6ba01d"
  },
  "target": {
    "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
    "version": 1,
    "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "goodstein-hereditary-base-change-termination-1944",
    "entry_id": "goodstein-hereditary-base-change-termination-1944",
    "revision": 1,
    "title": "Goodstein: termination through hereditary base change and ordinal descent",
    "context": "Ordinal analysis and number theory",
    "track": "Exact theorem and reusable mathematical method",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights.",
    "scope": "Goodstein connected natural-number descent processes to ordinal notation below epsilon zero. Writing numbers hereditarily in a base, replacing that base throughout the nested exponents by the next prescribed nondecreasing base, and subtracting one produces a process that eventually reaches zero. Replacing the finite base by omega assigns a strictly descending ordinal whenever the current number is positive. The paper relates these arithmetical processes to a restricted ordinal well-foundedness principle and develops finitary termination arguments for restricted ordinal heights. The general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The general ordinal-descent proof uses well-foundedness below epsilon zero; the paper's explicit finitary arguments cover restricted heights, not one uniform primitive-recursive termination bound for every starting integer. Arbitrary prescribed base functions and the fixed successive-base first-order PA sentence must be distinguished. The 1982 unprovability theorem is a separate contribution and is not backdated to1944. Change-base-then-subtract and subtract-then-change formulations are related in the paper but are not identical trajectories.",
    "references": [
      {
        "title": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
        "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
      "version": 1,
      "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "230000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "goodstein-hereditary-base-change-termination-1944",
    "target": {
      "record_id": "urn:uuid:d6c13004-b650-4ab4-a0dd-8df37f4bd7ae",
      "version": 1,
      "content_hash": "sha256:4a3fc88c104baf84bb7b8beb0411acf0531e85b35ffc6ea86ceca4eff3012fc4"
    },
    "sections": [
      {
        "title": "A number can grow while its hidden measure falls",
        "text": "Start with an integer, rewrite it using a base, change that base throughout the expression, and subtract one. The number can become much larger after the change. Goodstein's idea connects this apparently unruly process to ordinal descent. Ordinals extend the language of order beyond finite integers. The important lesson is that the visible size of a state and the quantity controlling eventual termination need not move in the same direction."
      },
      {
        "title": "Watch the first few steps",
        "text": "Here is an invented calculation following the standard successive-base rule. Start with four in base two. Its hereditary expression writes the exponent two in base two as well. Replacing every occurrence of the base by three gives 27, then subtracting one gives 26. In base three, 26 is two times three squared plus two times three plus two. Change the base to four and subtract one: the result is 41. The next step gives 60. Visible growth is real in this example."
      },
      {
        "title": "The exponents also matter",
        "text": "Hereditary notation means that exponents are recursively expressed in the same base, rather than left as unexplained decimal numbers. That is why four becomes 27 before subtraction when the base changes from two to three. Replacing the finite base by the first infinite ordinal, omega, assigns an ordinal expression to each stage. For a positive current number, the correctly constructed ordinal strictly decreases after a step even when the ordinary integer grows."
      },
      {
        "title": "Keep the foundational claim in its own year",
        "text": "The general descent argument uses well-foundedness below epsilon zero: there is no infinite descending ordinal sequence in that range. Goodstein's 1944 paper also studies restricted finitary arguments, but it does not provide one simple primitive-recursive running-time bound for every start. The later unprovability result for a particular arithmetic formulation is a separate contribution. General prescribed base functions and one fixed first-order arithmetic sentence should not be silently identified."
      },
      {
        "title": "A finite replay is a useful beginning",
        "text": "Ask your agent to reproduce the first three steps using exact integers and show the hereditary notation before each base change. Include a maximum step count or integer-size stop rule. If the replay stops at that budget, report that limitation; do not say the mathematical sequence fails to terminate. The result can be checked and reused by another reader without pretending that a short computation proves the full termination theorem."
      }
    ],
    "references": [
      {
        "title": "On the Restricted Ordinal Theorem (original1944 article with later archive wrapper)",
        "url": "https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf",
        "locator": "Pinned original contribution and stated hypotheses or experimental limits."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}