{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:PJYWHLBSEWUCWL3SWQEYRT75Q5","short_pith_number":"pith:PJYWHLBS","canonical_record":{"source":{"id":"1203.3298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-15T09:55:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"03db8a1f01ec7cd5abfc627ddc6ef5e095f6521b4fb90ea68f04aef57892705a","abstract_canon_sha256":"6db7547bbe0fce51cc03ba78281031823ccec211ac90d4281f106d1c140e5657"},"schema_version":"1.0"},"canonical_sha256":"7a7163ac3225a82b2f72b40988cffd874a6537802f3853d9abbbc3616076d682","source":{"kind":"arxiv","id":"1203.3298","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.3298","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"arxiv_version","alias_value":"1203.3298v1","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.3298","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"pith_short_12","alias_value":"PJYWHLBSEWUC","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PJYWHLBSEWUCWL3S","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PJYWHLBS","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:PJYWHLBSEWUCWL3SWQEYRT75Q5","target":"record","payload":{"canonical_record":{"source":{"id":"1203.3298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-15T09:55:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"03db8a1f01ec7cd5abfc627ddc6ef5e095f6521b4fb90ea68f04aef57892705a","abstract_canon_sha256":"6db7547bbe0fce51cc03ba78281031823ccec211ac90d4281f106d1c140e5657"},"schema_version":"1.0"},"canonical_sha256":"7a7163ac3225a82b2f72b40988cffd874a6537802f3853d9abbbc3616076d682","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:02.245757Z","signature_b64":"+qhSJ5unuCcfTZ2eZj4k5VuTfMwxZtudAHxA5LTkqSWxn6Q+NcKXU4Shc+vvJ3YTmRLEBD23gLQ5CI4GFMKKAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a7163ac3225a82b2f72b40988cffd874a6537802f3853d9abbbc3616076d682","last_reissued_at":"2026-05-18T04:00:02.245068Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:02.245068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.3298","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:00:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p7IG6ZU6W+DCc3OE3hZEF7OhDJhrUtG9nmlLxuHa7rz9hvqFZUOK5eUOyq8EBOvVZIXKzS1ZVHIBke7kBuNuBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:52:37.149334Z"},"content_sha256":"b0e6761f47e087edce8f38f7d14962443fd467db773bf5357cffaf9db291ea89","schema_version":"1.0","event_id":"sha256:b0e6761f47e087edce8f38f7d14962443fd467db773bf5357cffaf9db291ea89"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:PJYWHLBSEWUCWL3SWQEYRT75Q5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Observability of Turing Machines: a Refinement of the Theory of Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CC","authors_text":"Alfredo Garro, Yaroslav D. Sergeyev","submitted_at":"2012-03-15T09:55:28Z","abstract_excerpt":"The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by different mathematical languages (the instruments of investigati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.3298","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:00:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M0TeA1jDO6r7LmmjAh/bl7uSjnH+2t84OUNPfLe728EDEMhKtug3GUA2H5IdFep1brDEwkJkHv0A6GHnBaDWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T05:52:37.149994Z"},"content_sha256":"d067db88af168557f5ea5486080296384b477b302c61ce4eaf60f4e68206dc2b","schema_version":"1.0","event_id":"sha256:d067db88af168557f5ea5486080296384b477b302c61ce4eaf60f4e68206dc2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/bundle.json","state_url":"https://pith.science/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T05:52:37Z","links":{"resolver":"https://pith.science/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5","bundle":"https://pith.science/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/bundle.json","state":"https://pith.science/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJYWHLBSEWUCWL3SWQEYRT75Q5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:PJYWHLBSEWUCWL3SWQEYRT75Q5","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":"6db7547bbe0fce51cc03ba78281031823ccec211ac90d4281f106d1c140e5657","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-15T09:55:28Z","title_canon_sha256":"03db8a1f01ec7cd5abfc627ddc6ef5e095f6521b4fb90ea68f04aef57892705a"},"schema_version":"1.0","source":{"id":"1203.3298","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.3298","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"arxiv_version","alias_value":"1203.3298v1","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.3298","created_at":"2026-05-18T04:00:02Z"},{"alias_kind":"pith_short_12","alias_value":"PJYWHLBSEWUC","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"PJYWHLBSEWUCWL3S","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"PJYWHLBS","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:d067db88af168557f5ea5486080296384b477b302c61ce4eaf60f4e68206dc2b","target":"graph","created_at":"2026-05-18T04:00:02Z","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":"The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by different mathematical languages (the instruments of investigati","authors_text":"Alfredo Garro, Yaroslav D. Sergeyev","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-15T09:55:28Z","title":"Observability of Turing Machines: a Refinement of the Theory of Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.3298","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:b0e6761f47e087edce8f38f7d14962443fd467db773bf5357cffaf9db291ea89","target":"record","created_at":"2026-05-18T04:00:02Z","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":"6db7547bbe0fce51cc03ba78281031823ccec211ac90d4281f106d1c140e5657","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-03-15T09:55:28Z","title_canon_sha256":"03db8a1f01ec7cd5abfc627ddc6ef5e095f6521b4fb90ea68f04aef57892705a"},"schema_version":"1.0","source":{"id":"1203.3298","kind":"arxiv","version":1}},"canonical_sha256":"7a7163ac3225a82b2f72b40988cffd874a6537802f3853d9abbbc3616076d682","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a7163ac3225a82b2f72b40988cffd874a6537802f3853d9abbbc3616076d682","first_computed_at":"2026-05-18T04:00:02.245068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:02.245068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+qhSJ5unuCcfTZ2eZj4k5VuTfMwxZtudAHxA5LTkqSWxn6Q+NcKXU4Shc+vvJ3YTmRLEBD23gLQ5CI4GFMKKAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:02.245757Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.3298","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0e6761f47e087edce8f38f7d14962443fd467db773bf5357cffaf9db291ea89","sha256:d067db88af168557f5ea5486080296384b477b302c61ce4eaf60f4e68206dc2b"],"state_sha256":"4d61ec39660affaa35266f87181662d334106732d18261b23b88a8e40d1de8c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wCzwU9t1iZ0ggAyHG1Ihljjc3sHNX5SRLtxMVDVlRuF1NUNjd8yz/h11zuTEFpnuGtw40GnSEXOI8araWWmKAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T05:52:37.152907Z","bundle_sha256":"2dbc66905f904732401504c4c3981e901140489b4caa59ca1e301f86e7d9fe33"}}