DEV Community

Nobuki Fujimoto profile picture

Nobuki Fujimoto

Creator of Rei (0₀-shiki), a 4-axiom computation system. D-FUMT theory researcher.

Joined Joined on  github website twitter website
Four Layers of Negativity in the Rei Stack: A Structural Framework for When a Minus Sign is a Failur
fc0web profile

Four Layers of Negativity in the Rei Stack: A Structural Framework for When a Minus Sign is a Failur

#math #ai #quantum #research
Comments
14 min read
Rei-Collatz Lean 4 Blueprint Pilot v0.1 — leanblueprint methodology adoption on Rei stack (archival preservation, ZERO new IP)
fc0web profile

Rei-Collatz Lean 4 Blueprint Pilot v0.1 — leanblueprint methodology adoption on Rei stack (archival preservation, ZERO new IP)

#math #ai #research #lean
Comments
6 min read
Paper 177 v1.0 - Computational Limit as Constitutive: SELF-reflexive Fix(R) as Metaphysical Foundation of D-FUMT-8 (Rei-AIOS)
fc0web profile

Paper 177 v1.0 - Computational Limit as Constitutive: SELF-reflexive Fix(R) as Metaphysical Foundation of D-FUMT-8 (Rei-AIOS)

#math #philosophy #logic #computing
Comments
33 min read
Paper 176 v0.1 - Fermat Numbers F_5-F_11: Empirical v_2(omega_{F_n}(3)) Measurement + Lean 4 Axiom-Free F_9 Excess Witness (Rei-AIOS)
fc0web profile

Paper 176 v0.1 - Fermat Numbers F_5-F_11: Empirical v_2(omega_{F_n}(3)) Measurement + Lean 4 Axiom-Free F_9 Excess Witness (Rei-AIOS)

#math #lean #numbertheory #research
Comments
11 min read
Paper 26 v3.0 - D-FUMT-8 Third Primitive as Sunyata Operator: Empirical Non-Existence on Belnap-Dunn FOUR Base (Lean 4 Axiom-Free)
fc0web profile

Paper 26 v3.0 - D-FUMT-8 Third Primitive as Sunyata Operator: Empirical Non-Existence on Belnap-Dunn FOUR Base (Lean 4 Axiom-Free)

#math #lean #philosophy #research
Comments
15 min read
Paper 26 v2 v0.2 - D-FUMT-8 x Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution (Lean 4 Axiom-Free)
fc0web profile

Paper 26 v2 v0.2 - D-FUMT-8 x Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution (Lean 4 Axiom-Free)

#math #lean #research #ai
Comments
10 min read
Paper 171 v0.3 — D-FUMT Recapture Region: An Axiom-Free Lean 4 Characterization Responding to Cotnoir 2015 (Rei-AIOS)
fc0web profile

Paper 171 v0.3 — D-FUMT Recapture Region: An Axiom-Free Lean 4 Characterization Responding to Cotnoir 2015 (Rei-AIOS)

#philosophy #math #lean #research
Comments
30 min read
Paper 104 v0.1 — Near-Wall-Sun-Sun Primes in Collatz Peaks: An Extension of the Wieferich-Collatz Correspondence (T-WC+) (Rei-AIOS)
fc0web profile

Paper 104 v0.1 — Near-Wall-Sun-Sun Primes in Collatz Peaks: An Extension of the Wieferich-Collatz Correspondence (T-WC+) (Rei-AIOS)

#math #collatz #research #conjecture
Comments
3 min read
Paper 103 v0.1 — The Fujimoto Funnel-Scaling Conjecture (T-FS): No Single Collatz Peak Dominates Asymptotically (Rei-AIOS)
fc0web profile

Paper 103 v0.1 — The Fujimoto Funnel-Scaling Conjecture (T-FS): No Single Collatz Peak Dominates Asymptotically (Rei-AIOS)

#math #collatz #research #conjecture
Comments
4 min read
Paper 40 v0.1 — Voyage Experiments of Rei Vessels Through Physical Fields: A Unified Analysis of Experiments A-G (Rei-AIOS)
fc0web profile

Paper 40 v0.1 — Voyage Experiments of Rei Vessels Through Physical Fields: A Unified Analysis of Experiments A-G (Rei-AIOS)

#physics #consciousness #philosophy #research
Comments
4 min read
Paper 39 v0.1 — D-FUMT Approach to the Hard Problem of Consciousness: SELF as a Formal Definition (NOT a Solution)
fc0web profile

Paper 39 v0.1 — D-FUMT Approach to the Hard Problem of Consciousness: SELF as a Formal Definition (NOT a Solution)

#philosophy #math #ai #research
Comments
4 min read
Paper 170 v0.1 — Lean 4 Axiom-Free Unification of FIDT Structure + ZCSG MDNST Mapping (Path B + Path C Combined, Rei-AIOS)
fc0web profile

Paper 170 v0.1 — Lean 4 Axiom-Free Unification of FIDT Structure + ZCSG MDNST Mapping (Path B + Path C Combined, Rei-AIOS)

#lean4 #math #formalization #research
Comments
7 min read
Paper 169 v0.1 — IDT-Motivated Linear Recurrence Detection Extends rei-lang Compression — 5/14 Raw-Fallback Cases Eliminated (Rei-AIOS)
fc0web profile

Paper 169 v0.1 — IDT-Motivated Linear Recurrence Detection Extends rei-lang Compression — 5/14 Raw-Fallback Cases Eliminated (Rei-AIOS)

#compression #math #research #engineering
Comments
6 min read
Paper 168 v0.2 — Nāgārjuna's Empty Vessel: Lean 4 Axiom-Free ZCSG Encoding of Pratītyasamutpāda Field, Vessel Trap, and SELF Separation (Rei-AIOS)
fc0web profile

Paper 168 v0.2 — Nāgārjuna's Empty Vessel: Lean 4 Axiom-Free ZCSG Encoding of Pratītyasamutpāda Field, Vessel Trap, and SELF Separation (Rei-AIOS)

#philosophy #math #lean #research
Comments
18 min read
Paper 156 v0.1 — 3-Layer Open Datacenter + Lawsuit-Prevention + Catuṣkoṭi 8-Value Voting (PROPOSAL) (Rei-AIOS)
fc0web profile

Paper 156 v0.1 — 3-Layer Open Datacenter + Lawsuit-Prevention + Catuṣkoṭi 8-Value Voting (PROPOSAL) (Rei-AIOS)

#architecture #research #ai #civictech
Comments
10 min read
Paper 162 v0.8 — Shannon Excluded Meaning; SIT Fills the Gap; Recreation Paradigm Is One Implementation (Rei-AIOS)
fc0web profile

Paper 162 v0.8 — Shannon Excluded Meaning; SIT Fills the Gap; Recreation Paradigm Is One Implementation (Rei-AIOS)

#math #research #ai #philosophy
Comments
41 min read
Paper 158 v0.2 — The Collatz Exit Layer: Zero-Sorry Lean 4 Formalization of m_p = (4^p 1)/3, and an Honest Map of the Seven-Route Wall Beyond
fc0web profile

Paper 158 v0.2 — The Collatz Exit Layer: Zero-Sorry Lean 4 Formalization of m_p = (4^p 1)/3, and an Honest Map of the Seven-Route Wall Beyond

#math #lean #research #ai
Comments
17 min read
Paper 167 v0.1 — Sophie Germain Primes: Barrier-Side Observations + Lean 4 Axiom-Free Conjunction-Wall (Rei-AIOS)
fc0web profile

Paper 167 v0.1 — Sophie Germain Primes: Barrier-Side Observations + Lean 4 Axiom-Free Conjunction-Wall (Rei-AIOS)

#math #lean #research #ai
1
Comments
16 min read
Paper 166 v0.1 — A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008)
fc0web profile

Paper 166 v0.1 — A Lean 4 Axiom-Free Formalization of Exit-Layer Collatz Convergence as a Stream Coalgebra: A Record Following Kim (2008)

#math #lean #research #ai
Comments
24 min read
Paper 165 v0.1 — Existence Proof Garden: Interactive Synthesis of Piantadosi-Chomsky Debate, Modal Duality, and Adjunction
fc0web profile

Paper 165 v0.1 — Existence Proof Garden: Interactive Synthesis of Piantadosi-Chomsky Debate, Modal Duality, and Adjunction

#philosophy #ai #math #research
Comments
11 min read
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
fc0web profile

Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163

#math #lean #research #ai
Comments
18 min read
Paper 163 v0.1 — Institution + Bilattice + SELF<->Lawvere: Four-Step Operational Integration with Lean 4 Axiom-Free Constructive Proofs
fc0web profile

Paper 163 v0.1 — Institution + Bilattice + SELF<->Lawvere: Four-Step Operational Integration with Lean 4 Axiom-Free Constructive Proofs

#math #lean #research #ai
Comments
10 min read
Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2
fc0web profile

Paper 145 v0.8 — D-FUMT-8 Phase 4 Quine-McCluskey Simplification + Finding F11 Engineering-Correctable Relaxation Bias on IBM Heron r2

#quantum #fpga #research #verification
Comments
48 min read
Paper 161 v0.2 HARDWARE-VERIFIED - Two Regimes of Rest: 18 Lean theorems exit-0 + IBM Heron r2 real-hardware (27 CZ, depth 51, 1.82% leakage)
fc0web profile

Paper 161 v0.2 HARDWARE-VERIFIED - Two Regimes of Rest: 18 Lean theorems exit-0 + IBM Heron r2 real-hardware (27 CZ, depth 51, 1.82% leakage)

#math #lean #philosophy #physics
Comments
25 min read
Paper 161 v0.1 - Two Regimes of Rest: ZERO and SELF-loop via dynamical systems (5 experiments + 3 Lean files + depth wall 200x breakthrough)
fc0web profile

Paper 161 v0.1 - Two Regimes of Rest: ZERO and SELF-loop via dynamical systems (5 experiments + 3 Lean files + depth wall 200x breakthrough)

#math #lean #philosophy #physics
Comments
22 min read
Paper 160 v0.2 - Inversion vs Deconstruction in D-FUMT-8 (Lean 4 verified, zero axiom)
fc0web profile

Paper 160 v0.2 - Inversion vs Deconstruction in D-FUMT-8 (Lean 4 verified, zero axiom)

#math #lean #philosophy #logic
Comments
28 min read
Paper 159 v0.2 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema (LEAN-4-BUILT, zero axiom dependence)
fc0web profile

Paper 159 v0.2 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema (LEAN-4-BUILT, zero axiom dependence)

#math #lean #philosophy #logic
Comments
24 min read
Paper 159 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema for Nagarjuna's Catuskoti (OUTLINE v0.1)
fc0web profile

Paper 159 - A Two-Layer D-FUMT-8 Reconstruction of Priest-Garfield's Inclosure Schema for Nagarjuna's Catuskoti (OUTLINE v0.1)

#math #lean #philosophy #logic
Comments
16 min read
Paper 157 - Octonion-Axiomatic Dual Independence: 7 Imaginary Units || 7 Axioms, Machine-Checked in Lean 4 (OUTLINE)
fc0web profile

Paper 157 - Octonion-Axiomatic Dual Independence: 7 Imaginary Units || 7 Axioms, Machine-Checked in Lean 4 (OUTLINE)

#math #lean #logic #research
Comments
21 min read
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
fc0web profile

Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics

#math #lean #ai #research
Comments
13 min read
Paper 144 v0.3.1 — OUKC: An AI-Friendly Multilingual Worldview Commons (Founding Document)
fc0web profile

Paper 144 v0.3.1 — OUKC: An AI-Friendly Multilingual Worldview Commons (Founding Document)

#ai #research #philosophy #opensource
Comments
20 min read
Paper 155 v0.2 — Semantic Dyson Sphere (Beyond-Shannon Recovery as Civilizational Footprint, Lean 4 Mechanized)
fc0web profile

Paper 155 v0.2 — Semantic Dyson Sphere (Beyond-Shannon Recovery as Civilizational Footprint, Lean 4 Mechanized)

#physics #math #ai #philosophy
Comments
17 min read
Paper 153 v0.2 — Phi-Catalog: Case 6 (Riemann ZCSG) + Forward Application Self-Test + Berry-Keating Numerical Study
fc0web profile

Paper 153 v0.2 — Phi-Catalog: Case 6 (Riemann ZCSG) + Forward Application Self-Test + Berry-Keating Numerical Study

#math #research #philosophy #history
Comments
10 min read
Paper 153 v0.1 — Phi-Catalog: A Notation for Impossibility-Possibility Extensions (9 Historical Cases)
fc0web profile

Paper 153 v0.1 — Phi-Catalog: A Notation for Impossibility-Possibility Extensions (9 Historical Cases)

#math #research #philosophy #history
Comments
11 min read
Paper 63 v0.2 — SNST Supplement: PSLQ Phi^2=Psi+2 + PySR x CICY3 Negative Finding + Tao 67 Connections
fc0web profile

Paper 63 v0.2 — SNST Supplement: PSLQ Phi^2=Psi+2 + PySR x CICY3 Negative Finding + Tao 67 Connections

#math #research #ai #philosophy
Comments
7 min read
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
fc0web profile

Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized

#math #research #collatz #ai
Comments
26 min read
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
fc0web profile

Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2

#math #research #collatz #ai
Comments
19 min read
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
fc0web profile

Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis

#math #research #collatz #ai
Comments
12 min read
Paper 150 v0.3 — OctaTheoria: 7 Domains x 8 View Modes + Cross-Layer Methodological Consistency (REI-PROVE 92% + Pattern 1-6)
fc0web profile

Paper 150 v0.3 — OctaTheoria: 7 Domains x 8 View Modes + Cross-Layer Methodological Consistency (REI-PROVE 92% + Pattern 1-6)

#research #datavis #ai #philosophy
Comments
20 min read
Paper 150 v0.2 — OctaTheoria: Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT-8 Projection (Seven Domains x Eight View Modes)
fc0web profile

Paper 150 v0.2 — OctaTheoria: Unified Multi-Domain Observation Framework with Eight-Axis D-FUMT-8 Projection (Seven Domains x Eight View Modes)

#research #datavis #ai #philosophy
Comments
18 min read
Paper 145 v0.6 — First D-FUMT-8 Silicon with SELF-reflexive Primitive (Four-Substrate Cross-Verification)
fc0web profile

Paper 145 v0.6 — First D-FUMT-8 Silicon with SELF-reflexive Primitive (Four-Substrate Cross-Verification)

#quantum #fpga #research #verification
Comments
38 min read
Paper 145 — First D-FUMT-8 Silicon with SELF-reflexive Logic Primitive (Three-Substrate Cross-Verification: FPGA + Aer + IBM Heron r2 Real Hardware)
fc0web profile

Paper 145 — First D-FUMT-8 Silicon with SELF-reflexive Logic Primitive (Three-Substrate Cross-Verification: FPGA + Aer + IBM Heron r2 Real Hardware)

#quantum #fpga #research #verification
Comments
23 min read
Paper 149 — Recursive AI Observation as D-FUMT-8 SELF-loop Operational Evidence: When the AI Observatory Includes Itself (Rei-AIOS / OUKC)
fc0web profile

Paper 149 — Recursive AI Observation as D-FUMT-8 SELF-loop Operational Evidence: When the AI Observatory Includes Itself (Rei-AIOS / OUKC)

#philosophy #ai #research #logic
Comments
11 min read
Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)
fc0web profile

Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)

#research #economics #philosophy #logic
Comments
14 min read
Paper 148 — Honest Observation Framework for AI-Assisted Research Tools (Rei-AIOS / OUKC)
fc0web profile

Paper 148 — Honest Observation Framework for AI-Assisted Research Tools (Rei-AIOS / OUKC)

#research #philosophy #ai
Comments
12 min read
Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)
fc0web profile

Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)

#linguistics #ai #research #philosophy
Comments
7 min read
Paper 146 — Who Made the God Who Made the Universe? On Defining 'the Before' as the Starting Point of Thought (Rei-AIOS / OUKC)
fc0web profile

Paper 146 — Who Made the God Who Made the Universe? On Defining 'the Before' as the Starting Point of Thought (Rei-AIOS / OUKC)

#philosophy #buddhism #logic #research
Comments
4 min read
Paper 142 — 11-Platform Retrofit, PhilPapers Integration & Predatory Journal Defense (Rei-AIOS)
fc0web profile

Paper 142 — 11-Platform Retrofit, PhilPapers Integration & Predatory Journal Defense (Rei-AIOS)

#publishing #research #discipline #infrastructure
Comments
15 min read
Paper 33 - Braille x D-FUMT-8: Extreme Encoding of Philosophical States in 3-6 Bytes
fc0web profile

Paper 33 - Braille x D-FUMT-8: Extreme Encoding of Philosophical States in 3-6 Bytes

#math #philosophy #research #encoding
Comments
5 min read
Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)
fc0web profile

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai
Comments
7 min read
Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)
fc0web profile

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai
Comments
9 min read
Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)
fc0web profile

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean
Comments
11 min read
FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)
fc0web profile

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

#compression #research #math #ai
Comments
9 min read
Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)
fc0web profile

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research
Comments
11 min read
Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)
fc0web profile

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

#math #lean #research #ai
Comments
9 min read
Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)
fc0web profile

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

#math #lean #research #combinatorics
Comments
11 min read
Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)
fc0web profile

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

#math #ai #research #lean
Comments
8 min read
Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)
fc0web profile

Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)

#math #lean #research #classification
Comments
15 min read
First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)
fc0web profile

First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)

#math #lean #combinatorics #ramsey
Comments
7 min read
Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 713 Open Problems (Rei-AIOS Paper 130)
fc0web profile

Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 713 Open Problems (Rei-AIOS Paper 130)

#math #research #lean #classification
Comments
12 min read
loading...