{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:OYWK7VPZMEWWDZGYY6YAOLBZDZ","short_pith_number":"pith:OYWK7VPZ","schema_version":"1.0","canonical_sha256":"762cafd5f9612d61e4d8c7b0072c391e5cbc5092ef98773844e4ba8a030e6899","source":{"kind":"arxiv","id":"1303.0875","version":1},"attestation_state":"computed","paper":{"title":"LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"q-bio.NC","authors_text":"Mariano Sigman, Santiago Figueira, Sergio Romano","submitted_at":"2013-03-04T21:51:55Z","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"},"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":"1303.0875","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"q-bio.NC","submitted_at":"2013-03-04T21:51:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d0c18bd873909d5ecf873f5e22ba9c5b57d332d6481b53845d1510893b2e60de","abstract_canon_sha256":"a79758ae84c6cec1b000d86e35705eceddf9a28d4fd69b11ce4d14ab94dedb07"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:53.554306Z","signature_b64":"y1rEXs38bYVsGgE2TVqtYKuRRL0i09ya0ppBqlvaMnNqP824SSx/vSUM38v8Ekdgiqnb16k4EqL+89yzzRDKCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"762cafd5f9612d61e4d8c7b0072c391e5cbc5092ef98773844e4ba8a030e6899","last_reissued_at":"2026-05-18T03:31:53.553855Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:53.553855Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"q-bio.NC","authors_text":"Mariano Sigman, Santiago Figueira, Sergio Romano","submitted_at":"2013-03-04T21:51:55Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0875","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1303.0875","created_at":"2026-05-18T03:31:53.553923+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.0875v1","created_at":"2026-05-18T03:31:53.553923+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0875","created_at":"2026-05-18T03:31:53.553923+00:00"},{"alias_kind":"pith_short_12","alias_value":"OYWK7VPZMEWW","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_16","alias_value":"OYWK7VPZMEWWDZGY","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_8","alias_value":"OYWK7VPZ","created_at":"2026-05-18T12:27:54.935989+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/OYWK7VPZMEWWDZGYY6YAOLBZDZ","json":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ.json","graph_json":"https://pith.science/api/pith-number/OYWK7VPZMEWWDZGYY6YAOLBZDZ/graph.json","events_json":"https://pith.science/api/pith-number/OYWK7VPZMEWWDZGYY6YAOLBZDZ/events.json","paper":"https://pith.science/paper/OYWK7VPZ"},"agent_actions":{"view_html":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ","download_json":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ.json","view_paper":"https://pith.science/paper/OYWK7VPZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.0875&json=true","fetch_graph":"https://pith.science/api/pith-number/OYWK7VPZMEWWDZGYY6YAOLBZDZ/graph.json","fetch_events":"https://pith.science/api/pith-number/OYWK7VPZMEWWDZGYY6YAOLBZDZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ/action/storage_attestation","attest_author":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ/action/author_attestation","sign_citation":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ/action/citation_signature","submit_replication":"https://pith.science/pith/OYWK7VPZMEWWDZGYY6YAOLBZDZ/action/replication_record"}},"created_at":"2026-05-18T03:31:53.553923+00:00","updated_at":"2026-05-18T03:31:53.553923+00:00"}