{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2005:7NS3XKU65C7OXTL3WBKNSE75OX","short_pith_number":"pith:7NS3XKU6","schema_version":"1.0","canonical_sha256":"fb65bbaa9ee8beebcd7bb054d913fd75c84474a475def6c64c4bfd07ff54eaec","source":{"kind":"arxiv","id":"math/0506552","version":2},"attestation_state":"computed","paper":{"title":"Epistemology as Information Theory: From Leibniz to Omega","license":"","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"G. J. Chaitin (IBM Research)","submitted_at":"2005-06-27T19:01:36Z","abstract_excerpt":"In 1686 in his Discours de Metaphysique, Leibniz points out that if an arbitrarily complex theory is permitted then the notion of \"theory\" becomes vacuous because there is always a theory. This idea is developed in the modern theory of algorithmic information, which deals with the size of computer programs and provides a new view of Godel's work on incompleteness and Turing's work on uncomputability. Of particular interest is the halting probability Omega, whose bits are irreducible, i.e., maximally unknowable mathematical facts. More generally, these ideas constitute a kind of \"digital philos"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"math/0506552","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.HO","submitted_at":"2005-06-27T19:01:36Z","cross_cats_sorted":[],"title_canon_sha256":"241cd219ee4b6346825ccc7b5c6b029cc3ac46dfc78f4576ef24ac702fa3a510","abstract_canon_sha256":"9203ef2995400868b0051efaf6007d9f1567c2f2a20d4495e9e0b8e5d3d88aee"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:40:11.108179Z","signature_b64":"27h4ufNOgcRSIUv74yZbdI/3O+w9oYNU2s1IGCm81byX4+mW72nDgq4+qqATGfq265Rqn7QRxsGIPRJX2b7qAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb65bbaa9ee8beebcd7bb054d913fd75c84474a475def6c64c4bfd07ff54eaec","last_reissued_at":"2026-07-04T14:40:11.107822Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:40:11.107822Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Epistemology as Information Theory: From Leibniz to Omega","license":"","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"G. J. Chaitin (IBM Research)","submitted_at":"2005-06-27T19:01:36Z","abstract_excerpt":"In 1686 in his Discours de Metaphysique, Leibniz points out that if an arbitrarily complex theory is permitted then the notion of \"theory\" becomes vacuous because there is always a theory. This idea is developed in the modern theory of algorithmic information, which deals with the size of computer programs and provides a new view of Godel's work on incompleteness and Turing's work on uncomputability. Of particular interest is the halting probability Omega, whose bits are irreducible, i.e., maximally unknowable mathematical facts. More generally, these ideas constitute a kind of \"digital philos"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0506552","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/math/0506552/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"math/0506552","created_at":"2026-07-04T14:40:11.107871+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0506552v2","created_at":"2026-07-04T14:40:11.107871+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0506552","created_at":"2026-07-04T14:40:11.107871+00:00"},{"alias_kind":"pith_short_12","alias_value":"7NS3XKU65C7O","created_at":"2026-07-04T14:40:11.107871+00:00"},{"alias_kind":"pith_short_16","alias_value":"7NS3XKU65C7OXTL3","created_at":"2026-07-04T14:40:11.107871+00:00"},{"alias_kind":"pith_short_8","alias_value":"7NS3XKU6","created_at":"2026-07-04T14:40:11.107871+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX","json":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX.json","graph_json":"https://pith.science/api/pith-number/7NS3XKU65C7OXTL3WBKNSE75OX/graph.json","events_json":"https://pith.science/api/pith-number/7NS3XKU65C7OXTL3WBKNSE75OX/events.json","paper":"https://pith.science/paper/7NS3XKU6"},"agent_actions":{"view_html":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX","download_json":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX.json","view_paper":"https://pith.science/paper/7NS3XKU6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0506552&json=true","fetch_graph":"https://pith.science/api/pith-number/7NS3XKU65C7OXTL3WBKNSE75OX/graph.json","fetch_events":"https://pith.science/api/pith-number/7NS3XKU65C7OXTL3WBKNSE75OX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX/action/storage_attestation","attest_author":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX/action/author_attestation","sign_citation":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX/action/citation_signature","submit_replication":"https://pith.science/pith/7NS3XKU65C7OXTL3WBKNSE75OX/action/replication_record"}},"created_at":"2026-07-04T14:40:11.107871+00:00","updated_at":"2026-07-04T14:40:11.107871+00:00"}