{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OYWK7VPZMEWWDZGYY6YAOLBZDZ","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":"a79758ae84c6cec1b000d86e35705eceddf9a28d4fd69b11ce4d14ab94dedb07","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"q-bio.NC","submitted_at":"2013-03-04T21:51:55Z","title_canon_sha256":"d0c18bd873909d5ecf873f5e22ba9c5b57d332d6481b53845d1510893b2e60de"},"schema_version":"1.0","source":{"id":"1303.0875","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0875","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0875v1","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0875","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"pith_short_12","alias_value":"OYWK7VPZMEWW","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OYWK7VPZMEWWDZGY","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OYWK7VPZ","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:0931bfb17f778798a6ea884d529653d53ced4d899fe5a302626b85225143aa1e","target":"graph","created_at":"2026-05-18T03:31:53Z","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":"In this paper, we present a theoretical effort to connect the theory of program size to psychology by implementing a concrete language of thought with Turing-computable Kolmogorov complexity (LT^2C^2) satisfying the following requirements: 1) to be simple enough so that the complexity of any given finite binary sequence can be computed, 2) to be based on tangible operations of human reasoning (printing, repeating,...), 3) to be sufficiently powerful to generate all possible sequences but not too powerful as to identify regularities which would be invisible to humans. We first formalize LT^2C^2","authors_text":"Mariano Sigman, Santiago Figueira, Sergio Romano","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"q-bio.NC","submitted_at":"2013-03-04T21:51:55Z","title":"LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0875","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:fc48f83fc7e4eecb09b8a8e2c7dc9988b150c4cc2be2a117b88ea0f2390fa10e","target":"record","created_at":"2026-05-18T03:31:53Z","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":"a79758ae84c6cec1b000d86e35705eceddf9a28d4fd69b11ce4d14ab94dedb07","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"q-bio.NC","submitted_at":"2013-03-04T21:51:55Z","title_canon_sha256":"d0c18bd873909d5ecf873f5e22ba9c5b57d332d6481b53845d1510893b2e60de"},"schema_version":"1.0","source":{"id":"1303.0875","kind":"arxiv","version":1}},"canonical_sha256":"762cafd5f9612d61e4d8c7b0072c391e5cbc5092ef98773844e4ba8a030e6899","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"762cafd5f9612d61e4d8c7b0072c391e5cbc5092ef98773844e4ba8a030e6899","first_computed_at":"2026-05-18T03:31:53.553855Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:53.553855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y1rEXs38bYVsGgE2TVqtYKuRRL0i09ya0ppBqlvaMnNqP824SSx/vSUM38v8Ekdgiqnb16k4EqL+89yzzRDKCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:53.554306Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.0875","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc48f83fc7e4eecb09b8a8e2c7dc9988b150c4cc2be2a117b88ea0f2390fa10e","sha256:0931bfb17f778798a6ea884d529653d53ced4d899fe5a302626b85225143aa1e"],"state_sha256":"285e512375ff8030a9a73d56f689e9904df3a082738a9de9ffd0c1fad3a2734a"}