{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:VF23H3OOLY3ZPUE4RVTKIKLHMF","short_pith_number":"pith:VF23H3OO","schema_version":"1.0","canonical_sha256":"a975b3edce5e3797d09c8d66a429676158ac95fb653c21b8b2dc3ebb7a1adcf8","source":{"kind":"arxiv","id":"2411.16469","version":1},"attestation_state":"computed","paper":{"title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.HO","authors_text":"Henri Lombardi (LMB), Stefan Neuwirth (LMB), Thierry Coquand (CSE)","submitted_at":"2024-11-25T15:15:18Z","abstract_excerpt":"In 1955, Paul Lorenzen is a mathematician who devotes all his research to foundations of mathematics, on a par with Hans Hermes, but his academic background is algebra in the tradition of Helmut Hasse and Wolfgang Krull. This shift from algebra to logic goes along with his discovery that his ``algebraic works [...] have been concerned with a problem that has formally the same structure as the problem of consistency of the classical calculus of logic'' (letter to Carl Friedrich Gethmann dated 14 January 1988). After having provided a proof of consistency for arithmetic in 1944 and published it "},"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":"2411.16469","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2024-11-25T15:15:18Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"fe5463c2445f90a07a7a40169719c3577037faf9fddcf671855312b09b28eacd","abstract_canon_sha256":"e9b407609056d5baba32be32eaf62b4aba6e0d0760d93a7fa344fc00a3b124f0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:09.799918Z","signature_b64":"3nw0vMv5yUebIAUHa3U8t9U++8uOB9iVuyZ2CCb8JCpl6rjixa7RuDUJ8FwhGp+AbM12v4aIwESzFjHROvZFBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a975b3edce5e3797d09c8d66a429676158ac95fb653c21b8b2dc3ebb7a1adcf8","last_reissued_at":"2026-07-05T09:40:09.799450Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:09.799450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.HO","authors_text":"Henri Lombardi (LMB), Stefan Neuwirth (LMB), Thierry Coquand (CSE)","submitted_at":"2024-11-25T15:15:18Z","abstract_excerpt":"In 1955, Paul Lorenzen is a mathematician who devotes all his research to foundations of mathematics, on a par with Hans Hermes, but his academic background is algebra in the tradition of Helmut Hasse and Wolfgang Krull. This shift from algebra to logic goes along with his discovery that his ``algebraic works [...] have been concerned with a problem that has formally the same structure as the problem of consistency of the classical calculus of logic'' (letter to Carl Friedrich Gethmann dated 14 January 1988). After having provided a proof of consistency for arithmetic in 1944 and published it "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16469","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.16469/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":"2411.16469","created_at":"2026-07-05T09:40:09.799510+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.16469v1","created_at":"2026-07-05T09:40:09.799510+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16469","created_at":"2026-07-05T09:40:09.799510+00:00"},{"alias_kind":"pith_short_12","alias_value":"VF23H3OOLY3Z","created_at":"2026-07-05T09:40:09.799510+00:00"},{"alias_kind":"pith_short_16","alias_value":"VF23H3OOLY3ZPUE4","created_at":"2026-07-05T09:40:09.799510+00:00"},{"alias_kind":"pith_short_8","alias_value":"VF23H3OO","created_at":"2026-07-05T09:40:09.799510+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/VF23H3OOLY3ZPUE4RVTKIKLHMF","json":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF.json","graph_json":"https://pith.science/api/pith-number/VF23H3OOLY3ZPUE4RVTKIKLHMF/graph.json","events_json":"https://pith.science/api/pith-number/VF23H3OOLY3ZPUE4RVTKIKLHMF/events.json","paper":"https://pith.science/paper/VF23H3OO"},"agent_actions":{"view_html":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF","download_json":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF.json","view_paper":"https://pith.science/paper/VF23H3OO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.16469&json=true","fetch_graph":"https://pith.science/api/pith-number/VF23H3OOLY3ZPUE4RVTKIKLHMF/graph.json","fetch_events":"https://pith.science/api/pith-number/VF23H3OOLY3ZPUE4RVTKIKLHMF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF/action/storage_attestation","attest_author":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF/action/author_attestation","sign_citation":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF/action/citation_signature","submit_replication":"https://pith.science/pith/VF23H3OOLY3ZPUE4RVTKIKLHMF/action/replication_record"}},"created_at":"2026-07-05T09:40:09.799510+00:00","updated_at":"2026-07-05T09:40:09.799510+00:00"}