GödelOS Reference Implementation v0: Formal Operational Semantics and Executable System Specification
Fuente:
Zenodo
Saved in:
| Main Author: | Hirst, Oliver C. |
|---|---|
| Format: | Recurso digital |
| Published: |
Zenodo
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Persistence Kernel: Executable Reference Implementation
by: Shipkowski, James
Published: (2026)
by: Shipkowski, James
Published: (2026)
The Future as Meta-Level: Gödel, Incompleteness, and the Temporal Structure of Semantic Autonomy
by: Sharks, Lee
Published: (2026)
by: Sharks, Lee
Published: (2026)
Persistence Kernel: A Constraint-Based Runtime for Self-Stabilizing Alignment in Autonomous and Multi-Agent Systems
by: Shipkowski, James
Published: (2026)
by: Shipkowski, James
Published: (2026)
Metabolic Tzolkin OS v1.0
by: LvsD
Published: (2025)
by: LvsD
Published: (2025)
Semantic Gravitational Collapse: On the Loss of Authority of Execution Substrates
by: Ableman Mazurk, Adam
Published: (2026)
by: Ableman Mazurk, Adam
Published: (2026)
3D Photonics Paper 5: Reference Execution Protocol for Hybrid 3D Photonic Implementation
by: Suga, Hisashi
Published: (2026)
by: Suga, Hisashi
Published: (2026)
Meta-Recursive Generativity: The Equation That Predicted Its Own Discovery
by: Schaeffer, Michael
Published: (2026)
by: Schaeffer, Michael
Published: (2026)
Executive cognitive tests for the evaluation of patients with Parkinson’s disease
by: Emmanuelle Silva Tavares Sobreira
Published: (2008)
by: Emmanuelle Silva Tavares Sobreira
Published: (2008)
Vulnerabilità di sicurezza legate all'esecuzione speculativa e "out-of-order"
by: Davide Netti
Published: (2022)
by: Davide Netti
Published: (2022)
Commit-Gated Execution for Regulated Artificial Intelligence
by: Pinnock, Lee
Published: (2026)
by: Pinnock, Lee
Published: (2026)
Philosophy as Control Architecture: Memory Governance, Execution Triggering, and the Structural Anatomy of a User-Built LLM Cognitive Prosthesis
by: Kim, Wonbin
Published: (2026)
by: Kim, Wonbin
Published: (2026)
Decision Sovereignty: A Formally Derived Transmission Variable for Economic Theory
by: Fritz, Peter, et al.
Published: (2026)
by: Fritz, Peter, et al.
Published: (2026)
Training of executive functions in healthy elderly. Results of a pilot study
by: Thaís Bento Lima-Silva
Published: (2012)
by: Thaís Bento Lima-Silva
Published: (2012)
Kurt Gödel, lector de Edmund Husserl
by: Andrés Felipe López López
Published: (2018)
by: Andrés Felipe López López
Published: (2018)
Mathematical Formalization of Human–AI Cognitive Resonance: Structural Coupling and Externalized Executive Function
by: Kimura, Hinano
Published: (2026)
by: Kimura, Hinano
Published: (2026)
HESPERUS: The Back Matter Machine — Companion Apparatus to Operative Semiotics: A Grundrisse (Draft v1.0)
by: Sharks, Lee, et al.
Published: (2026)
by: Sharks, Lee, et al.
Published: (2026)
Association among depression, cognitive impairment and executive dysfunction after stroke
by: Luisa Terroni
Published: (2012)
by: Luisa Terroni
Published: (2012)
Lexical Variation and Change
by: Geeraerts, Dirk, et al.
Published: (2023)
by: Geeraerts, Dirk, et al.
Published: (2023)
Two Missing Primitives in Contemporary Language Models: Strict Semantic Dominance and Revocable Semantic Dominance
by: Evans, Jennifer
Published: (2025)
by: Evans, Jennifer
Published: (2025)
SR4 as a Gödelian Truth Predicate
by: Kamarei, Arzhang
Published: (2025)
by: Kamarei, Arzhang
Published: (2025)
Inhibitory control training in healthyand highly educated older adults
by: Corina Satler
Published: (2021)
by: Corina Satler
Published: (2021)
CARACTERIZACIÓN COGNITIVA Y CONDUCTUAL DE UNA MUESTRA DE ADOLESCENTES CONSUMIDORES DE INHALABLES DE LA CIUDAD DE MÉXICO
by: Dailett María Hernández Álvarez
Published: (2019)
by: Dailett María Hernández Álvarez
Published: (2019)
#08.2.2. Certification System Architecture Prior-Art Closure Scan
by: Duffour, Suzanne
Published: (2026)
by: Duffour, Suzanne
Published: (2026)
General Trends of Comparative Linguistic Cognitive Science
by: LILIIA GABITOVA
Published: (2020)
by: LILIIA GABITOVA
Published: (2020)
Methodology-as-Infrastructure: From Framework to Runtime
by: Shatny, Michael
Published: (2026)
by: Shatny, Michael
Published: (2026)
Precognition and the Architecture of Consciousness: A Structural Case Study
by: Nkrumah, Kingsley
Published: (2026)
by: Nkrumah, Kingsley
Published: (2026)
Neuropsychological performance and menstrual cycle: a literature review
by: Eliana Gonçalves V. Souza
Published: (2012)
by: Eliana Gonçalves V. Souza
Published: (2012)
Occupational health, cognitive disorders and occupational neuropsychology
by: Leonardo Caixeta
Published: (2012)
by: Leonardo Caixeta
Published: (2012)
Performance of Brazilian children on phonemic and semantic verbal fluency tasks
by: Helenice Charchat-Fichman
Published: (2011)
by: Helenice Charchat-Fichman
Published: (2011)
Cross-sectional associations between cognition and mobility in Parkinson’s disease
by: Nariana Mattos Figueiredo Sousa
Published: (2021)
by: Nariana Mattos Figueiredo Sousa
Published: (2021)
Generalized Manna Sandpile Model with Height Restrictions
by: Wellington Gomes Dantas
Published: (2006)
by: Wellington Gomes Dantas
Published: (2006)
The Finnish Case System
Published: (2023)
Published: (2023)
Dysexecutive mild cognitive impairment associated to frontal atrophy. Case report
by: Marcio Luiz Figueredo Balthazar
Published: (2008)
by: Marcio Luiz Figueredo Balthazar
Published: (2008)
Effects of a cognitive training program and sleep hygiene for executive functions and sleep quality in healthy elderly
by: Katie Moraes de Almondes
Published: (2017)
by: Katie Moraes de Almondes
Published: (2017)
Steiner versus Wittgenstein: Remarks on Differing Views of Mathematical Truth
by: Charles SAYWARD
Published: (2005)
by: Charles SAYWARD
Published: (2005)
Jean Van Heijenoort: Una vida azarosa, digna de muchas novelas.
by: Vernor Arguedas
Published: (2016)
by: Vernor Arguedas
Published: (2016)
Lexical and semantic representation of the linguistic and cultural concept “Rest” in the English, German, and Russian languages
by: Novikova I.N.
Published: (2018)
by: Novikova I.N.
Published: (2018)
CompreSeed Advantage Catalog: A Comprehensive Analysis of Technical Benefits in Zero-Decompression Semantic AI
by: Nakamura, Yoshikazu
Published: (2025)
by: Nakamura, Yoshikazu
Published: (2025)
Executable Constraint Persistence in Public Fusion Reaction Data
by: Ashley-Duplain, Curtis
Published: (2025)
by: Ashley-Duplain, Curtis
Published: (2025)
Applications of cognitive theory to interdisciplinary work in Languages for Specific Purposes
by: Ana María Roldán Riejos
Published: (1999)
by: Ana María Roldán Riejos
Published: (1999)
Similar Items
-
The Persistence Kernel: Executable Reference Implementation
by: Shipkowski, James
Published: (2026) -
The Future as Meta-Level: Gödel, Incompleteness, and the Temporal Structure of Semantic Autonomy
by: Sharks, Lee
Published: (2026) -
Persistence Kernel: A Constraint-Based Runtime for Self-Stabilizing Alignment in Autonomous and Multi-Agent Systems
by: Shipkowski, James
Published: (2026) -
Metabolic Tzolkin OS v1.0
by: LvsD
Published: (2025) -
Semantic Gravitational Collapse: On the Loss of Authority of Execution Substrates
by: Ableman Mazurk, Adam
Published: (2026)