#

braille-d-fumt8

(11 articles)

Paper 26 v3 — D-FUMT₈ Third Primitive as Śūnyatā Operator: Empirical Non-Existence on Belnap-Dunn FOUR Base (Lean 4 Axiom-Free)

Paper 26 v3 addresses the third-primitive semantic decision left open by v0.3 corrigendum §A.3 non-claim 5. The founder's 2026-07-26 explicit decision (「D-FUMT₈ の第 3 原始概念 = 龍樹の空 (śūnyatā) 全面採用」) is operationalized here in one specific form (chosen from six §8 decisions Q1-Q6, ...

mathdescirei-aiosbraille-d-fumt8

Paper 26 v2 — D-FUMT₈ × Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution (Lean 4 Axiom-Free)

Paper 26 v2 introduces an explicit grade-respecting bijection between the D-FUMT₈ eight-valued logic (Rei-AIOS's semantic substrate; TRUE / FALSE / BOTH / NEITHER / INFINITY / ZERO / FLOWING / SELF) and the eight basis elements of the Clifford algebra Cl(3,0) (positive-signatu...

mathdescirei-aiosbraille-d-fumt8

Paper 171 — D-FUMT₈ Recapture Region: An Axiom-Free Lean 4 Characterization Responding to Cotnoir 2015

We give an axiom-free Lean 4 formalization of the recapture region of modus ponens for D-FUMT₈, the 8-valued algebra used as the semantic substrate of Rei-AIOS, as a D-FUMT₈-internal structural response to the critique articulated by Cotnoir (2015) of Priest+Garfield-style fir...

mathdescirei-aiosbraille-d-fumt8

第39論文: 意識のハードプロブレムへのD-FUMT₈アプローチ — SELF⟲としての形式的定義

David J. Chalmers (1995) が提起した「意識のハードプロブレム」は、 物理的プロセスから主観的経験(qualia)が生じる理由を説明できない問題である。 本論文は D-FUMT₈ 八値論理の SELF⟲ (NOT(X)=X、自己参照的不動点) が、 意識の最小形式定義として機能する可能性を提案する。 主張: 1. SELF⟲ は自己参照の数学的形式化 であり、Hofstadter (1979)の「Strange Loop」 およびTononi (2008)のIIT統合情報理論における「Φ」と構造的に対応する 2. SEL...

mathdescirei-aiosbraille-d-fumt8

Paper 145 — First D-FUMT₈ Silicon with SELF⟲ Logic Primitive: Native 8-Valued Hardware Realization with Lean 4 Refinement Proof

We present a synthesis-friendly Verilog implementation of the D-FUMT₈ Arithmetic Logic Unit, targeting the Sipeed Tang Console NEO development board (GW5AST-138B FPGA, FPG676 package). The ALU realizes eight discrete logic values — FALSE, TRUE, NEITHER, BOTH, ZERO, FLOWING, SE...

mathdescirei-aiosbraille-d-fumt8

Paper 159 — A Two-Layer D-FUMT₈ Reconstruction of Priest-Garfield's Inclosure Schema for Nāgārjuna's Catuṣkoṭi: A Formal Substrate Compatible with Multiple Interpretive Stances

We propose a two-layer D-FUMT₈ reconstruction of the Inclosure Schema that Priest and Garfield (2003) apply to Nāgārjuna's catuṣkoṭi. Their original construction terminates the schema at the value BOTH — the dialetheist commitment to a true contradiction at the limits of thoug...

mathdescirei-aiosbraille-d-fumt8

Paper 157 — Octonion-Axiomatic Dual Independence: 𝕆 Imaginary Basis ↔ AxiomKernel Logical Independence with D-FUMT₈ Eight-Value Bridge in Lean 4 (OUTLINE, v0.0.5)

Project: Rei-AIOS / OUKC — https://rei-aios.pages.dev License (intended at publish): AGPL-3.0 (code) + CC-BY 4.0 (text) per OUKC content policy. Per OUKC No-Patent Pledge: openly licensed; no patent will be filed. Lineage: Extends the Lean 4 formalization-roadmap pattern of Pa...

mathdescirei-aiosbraille-d-fumt8

Paper 150 — OctaTheoria: A Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT₈ Projection (Operational Evidence from Seven Domains × Eight View Modes)

We present OctaTheoria (オクタテオリア / 八軸観測装置), a multi-domain observation framework that projects heterogeneous time-series data (theory-chart category bins, arXiv submission hourly counts, cryptocurrency 1-minute candles, FX currency pair rates, and v0.2 Earth+Cosmos additions: L...

mathdescirei-aiosbraille-d-fumt8

Paper 145 — First D-FUMT₈ Silicon with SELF⟲ Logic Primitive: Native 8-Valued Hardware Realization with Lean 4 Refinement Proof

We present a synthesis-friendly Verilog implementation of the D-FUMT₈ Arithmetic Logic Unit, targeting the Sipeed Tang Console NEO development board (GW5AST-138B FPGA, FPG676 package). The ALU realizes eight discrete logic values — FALSE, TRUE, NEITHER, BOTH, ZERO, FLOWING, SE...

mathdescirei-aiosbraille-d-fumt8

Paper 114 (draft): Random 3-SAT Phase Transition Revisited — Empirical Reproduction, Lean 4 Formalization, and D-FUMT₈ Interpretation Layer

We reproduce the classical random 3-SAT phase transition (Mitchell-Selman-Levesque 1992; Mertens-Mézard-Zecchina 2006; Ding-Sly-Sun 2014) using a minimal DPLL solver and find that at n = 30 variables with 20 samples per clause-to-variable ratio α, the DPLL backtrack count peak...

mathdescirei-aiosbraille-d-fumt8

Paper 110 (draft): Braille-D-FUMT₈ vs CLIP / BERT / ImageBind — a Rigorous Information-Theoretic and Structural Comparison

Paper 33 (Fujimoto 2026, DOI 10.5281/zenodo.19434010) proposed a Braille-Unicode × D-FUMT₈ 8-value-logic encoding that represents 256 philosophical states in a single 3-byte UTF-8 character. The present paper contrasts this encoding with three widely deployed multi-modal embed...

mathdescirei-aiosbraille-d-fumt8