{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2005:WGGBDLQVDZ2SNSXSBV6XCSGB7B","short_pith_number":"pith:WGGBDLQV","schema_version":"1.0","canonical_sha256":"b18c11ae151e7526caf20d7d7148c1f8543c2e0926d1a98788cc1a103f27e8df","source":{"kind":"arxiv","id":"math/0502321","version":3},"attestation_state":"computed","paper":{"title":"Undecidable proposition in PA and Diophantine equation","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"T. Mei","submitted_at":"2005-02-15T17:16:59Z","abstract_excerpt":"Based on the MRDP theorem concerning the Hilbert tenth problem, there is a corresponding Diophantine equation called proof equation for every formula of the First-order Peano Arithmetic (PA). A formula is provable in PA, if and only if the corresponding proof equation has solution. Based on proof equation, some famous sentences, e.g., the Godel sentence, the Rosser sentence and the Henkin sentence, can be expressed by the form of Diophantine equation. It is proved that for every axiom and theorem in the PA, we can construct actually a corresponding Diophantine equation, for which we know that "},"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/0502321","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2005-02-15T17:16:59Z","cross_cats_sorted":[],"title_canon_sha256":"d022616f19f9634a12b8dd3dd4a3d955800edf55d57378179cab78b31a499d04","abstract_canon_sha256":"63e02c06e36a33f16c7df601f1580d40c0ef6b942599f633344d27be223c61be"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:08:35.760647Z","signature_b64":"QSZQq4GVJxUCQri58dc30KiC6Ik4DxPIDJZYbe7H9ioO2eTyQN1ApGnAYb4l38+rsIEG1nayDTASMIipAaY2Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b18c11ae151e7526caf20d7d7148c1f8543c2e0926d1a98788cc1a103f27e8df","last_reissued_at":"2026-05-18T04:08:35.760050Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:08:35.760050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidable proposition in PA and Diophantine equation","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"T. Mei","submitted_at":"2005-02-15T17:16:59Z","abstract_excerpt":"Based on the MRDP theorem concerning the Hilbert tenth problem, there is a corresponding Diophantine equation called proof equation for every formula of the First-order Peano Arithmetic (PA). A formula is provable in PA, if and only if the corresponding proof equation has solution. Based on proof equation, some famous sentences, e.g., the Godel sentence, the Rosser sentence and the Henkin sentence, can be expressed by the form of Diophantine equation. It is proved that for every axiom and theorem in the PA, we can construct actually a corresponding Diophantine equation, for which we know that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0502321","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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/0502321","created_at":"2026-05-18T04:08:35.760149+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0502321v3","created_at":"2026-05-18T04:08:35.760149+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0502321","created_at":"2026-05-18T04:08:35.760149+00:00"},{"alias_kind":"pith_short_12","alias_value":"WGGBDLQVDZ2S","created_at":"2026-05-18T12:25:53.939244+00:00"},{"alias_kind":"pith_short_16","alias_value":"WGGBDLQVDZ2SNSXS","created_at":"2026-05-18T12:25:53.939244+00:00"},{"alias_kind":"pith_short_8","alias_value":"WGGBDLQV","created_at":"2026-05-18T12:25:53.939244+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/WGGBDLQVDZ2SNSXSBV6XCSGB7B","json":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B.json","graph_json":"https://pith.science/api/pith-number/WGGBDLQVDZ2SNSXSBV6XCSGB7B/graph.json","events_json":"https://pith.science/api/pith-number/WGGBDLQVDZ2SNSXSBV6XCSGB7B/events.json","paper":"https://pith.science/paper/WGGBDLQV"},"agent_actions":{"view_html":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B","download_json":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B.json","view_paper":"https://pith.science/paper/WGGBDLQV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0502321&json=true","fetch_graph":"https://pith.science/api/pith-number/WGGBDLQVDZ2SNSXSBV6XCSGB7B/graph.json","fetch_events":"https://pith.science/api/pith-number/WGGBDLQVDZ2SNSXSBV6XCSGB7B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B/action/storage_attestation","attest_author":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B/action/author_attestation","sign_citation":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B/action/citation_signature","submit_replication":"https://pith.science/pith/WGGBDLQVDZ2SNSXSBV6XCSGB7B/action/replication_record"}},"created_at":"2026-05-18T04:08:35.760149+00:00","updated_at":"2026-05-18T04:08:35.760149+00:00"}