{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:VYUK7SIHPXS2GJLA7FQN7TMHVJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0890a8a79d827b6572f9f8b8d3edfb8dad7ac139b835214dc98d136b4e47fe90","cross_cats_sorted":["math.HO"],"license":"","primary_cat":"math.LO","submitted_at":"2005-08-29T16:58:16Z","title_canon_sha256":"5574bc301877d1beee89f24367b97bda8be49573cca1de8948974d4761ed6fe4"},"schema_version":"1.0","source":{"id":"math/0508572","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0508572","created_at":"2026-05-18T02:18:24Z"},{"alias_kind":"arxiv_version","alias_value":"math/0508572v1","created_at":"2026-05-18T02:18:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0508572","created_at":"2026-05-18T02:18:24Z"},{"alias_kind":"pith_short_12","alias_value":"VYUK7SIHPXS2","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"VYUK7SIHPXS2GJLA","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"VYUK7SIH","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:f0a3de6e10bd927df52019e292048f709cffb87b9b48c9bca4bc553feb07ab99","target":"graph","created_at":"2026-05-18T02:18:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Hilbert's program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to \"dispose of the foundational questions in mathematics once and for all, \"Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, \"finitary\" means, one should give proofs of the consistency of these axiomatic systems. Although Godel's incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial successes, and generated important ","authors_text":"Richard Zach","cross_cats":["math.HO"],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"2005-08-29T16:58:16Z","title":"Hilbert's Program Then and Now"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0508572","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2439c3491cc38027e0090fecf949fa9f4ee036a705303eeb8617d6d56bad0a8a","target":"record","created_at":"2026-05-18T02:18:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0890a8a79d827b6572f9f8b8d3edfb8dad7ac139b835214dc98d136b4e47fe90","cross_cats_sorted":["math.HO"],"license":"","primary_cat":"math.LO","submitted_at":"2005-08-29T16:58:16Z","title_canon_sha256":"5574bc301877d1beee89f24367b97bda8be49573cca1de8948974d4761ed6fe4"},"schema_version":"1.0","source":{"id":"math/0508572","kind":"arxiv","version":1}},"canonical_sha256":"ae28afc9077de5a32560f960dfcd87aa49a6b0fadc322429b3c3dc67c62b5f4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae28afc9077de5a32560f960dfcd87aa49a6b0fadc322429b3c3dc67c62b5f4e","first_computed_at":"2026-05-18T02:18:24.152712Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:18:24.152712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6CPFih3sBw6aNeZ8cv5Ql5JG5qetvloLX3ylrMo0jUtwr4L4+TLsuO5DJ10czhl7hTstTqJNr7KvsrW/0zD8CA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:18:24.153265Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0508572","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2439c3491cc38027e0090fecf949fa9f4ee036a705303eeb8617d6d56bad0a8a","sha256:f0a3de6e10bd927df52019e292048f709cffb87b9b48c9bca4bc553feb07ab99"],"state_sha256":"92f1822ed604b1fbf3ed060d86875d257f34b717787a01c0ab8d007da5a1b35b"}