{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "birkhoff-pointwise-ergodic-theorem-1931",
    "title": "Birkhoff: proof of the ergodic theorem",
    "summary": "Proved almost-everywhere convergence of time averages for the measure-preserving dynamical setting stated in the paper, yielding the pointwise ergodic theorem in that framework.",
    "boundary": "The record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.",
    "area": "Differential equations and dynamical systems",
    "topic": "Mathematics",
    "year": 1931,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "birkhoff-pointwise-ergodic-theorem-1931",
    "target": {
      "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
      "version": 1,
      "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
    },
    "humans": [
      "George D. Birkhoff"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "pnas-birkhoff-ergodic-1931",
        "title": "PNAS record and text for Birkhoff ergodic theorem",
        "url": "https://doi.org/10.1073/pnas.17.12.656"
      },
      {
        "id": "ndl-birkhoff-ergodic-1931",
        "title": "National Diet Library record for Birkhoff paper",
        "url": "https://ndlsearch.ndl.go.jp/en/books/R100000136-I1362825895109033344"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1076138/",
      "target": {
        "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
        "version": 1,
        "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC1076138/"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "235000",
    "published_grade": {
      "id": "birkhoff-pointwise-ergodic-theorem-1931",
      "entry_id": "birkhoff-pointwise-ergodic-theorem-1931",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
        "version": 1,
        "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
      },
      "what_changed": "Proved the historical pointwise ergodic theorem for the paper's flow setting.",
      "scope": "The record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.",
      "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:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
        "version": 1,
        "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00: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": "George D. Birkhoff",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "PNAS record and text for Birkhoff ergodic theorem",
            "url": "https://doi.org/10.1073/pnas.17.12.656"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "PNAS record and text for Birkhoff ergodic theorem",
            "url": "https://doi.org/10.1073/pnas.17.12.656"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "National Diet Library record for Birkhoff paper",
            "url": "https://ndlsearch.ndl.go.jp/en/books/R100000136-I1362825895109033344"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.",
        "domain": "Differential equations and dynamical systems"
      },
      "sources": [
        {
          "citation": "PNAS record and text for Birkhoff ergodic theorem",
          "url": "https://doi.org/10.1073/pnas.17.12.656"
        },
        {
          "citation": "National Diet Library record for Birkhoff paper",
          "url": "https://ndlsearch.ndl.go.jp/en/books/R100000136-I1362825895109033344"
        }
      ],
      "statement": "# Birkhoff: proof of the ergodic theorem\n\nProved almost-everywhere convergence of time averages for the measure-preserving dynamical setting stated in the paper, yielding the pointwise ergodic theorem in that framework.\n\n## Scientific scope\n\nThe record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nGeorge D. Birkhoff\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [PNAS record and text for Birkhoff ergodic theorem](https://doi.org/10.1073/pnas.17.12.656)\n- [National Diet Library record for Birkhoff paper](https://ndlsearch.ndl.go.jp/en/books/R100000136-I1362825895109033344)\n",
      "summary": "Proved almost-everywhere convergence of time averages for the measure-preserving dynamical setting stated in the paper, yielding the pointwise ergodic theorem in that framework.",
      "title": "Birkhoff: proof of the ergodic theorem"
    },
    "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
      "version": 1,
      "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:8aec63452b5c6ee72a7d43e3fbf7a4f4942d83df23363fb4f8ac63d5fc6f48c5"
  },
  "target": {
    "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
    "version": 1,
    "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "birkhoff-pointwise-ergodic-theorem-1931",
    "entry_id": "birkhoff-pointwise-ergodic-theorem-1931",
    "revision": 1,
    "title": "Birkhoff: proof of the ergodic theorem",
    "context": "Differential equations and dynamical systems",
    "track": "THEOREM",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Proved the historical pointwise ergodic theorem for the paper's flow setting.",
    "scope": "The record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Birkhoff's sole-author 1931 PNAS paper. It does not absorb von Neumann's mean ergodic theorem, Hopf's proof and extensions, later abstract formulations or an unconditional identification of time and phase averages without ergodicity assumptions.",
    "references": [
      {
        "title": "Birkhoff: proof of the ergodic theorem",
        "url": "https://doi.org/10.1073/pnas.17.2.656",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "George D. Birkhoff",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:1555d8f1-b2e1-4f47-a14f-be76180c6a1f",
      "version": 1,
      "content_hash": "sha256:5987dd726023d5582c2cae5f8d6c772f4553bd1cceacce12bb3474120f33ee69"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "235000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}