Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
Rei-AIOS Papers Series' Articles
Back to Nobuki Fujimoto's Series
Paper 162 v0.8 — Shannon Excluded Meaning; SIT Fills the Gap; Recreation Paradigm Is One Implementation (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 21
Paper 162 v0.8 — Shannon Excluded Meaning; SIT Fills the Gap; Recreation Paradigm Is One Implementation (Rei-AIOS)
#
math
#
research
#
ai
#
philosophy
Comments
Add Comment
41 min read
Paper 156 v0.1 — 3-Layer Open Datacenter + Lawsuit-Prevention + Catuṣkoṭi 8-Value Voting (PROPOSAL) (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 21
Paper 156 v0.1 — 3-Layer Open Datacenter + Lawsuit-Prevention + Catuṣkoṭi 8-Value Voting (PROPOSAL) (Rei-AIOS)
#
architecture
#
research
#
ai
#
civictech
Comments
Add Comment
10 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)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 25
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
Add Comment
18 min read
Paper 169 v0.1 — IDT-Motivated Linear Recurrence Detection Extends rei-lang Compression — 5/14 Raw-Fallback Cases Eliminated (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 26
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
Add Comment
6 min read
Paper 170 v0.1 — Lean 4 Axiom-Free Unification of FIDT Structure + ZCSG MDNST Mapping (Path B + Path C Combined, Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 26
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
Add Comment
7 min read
Paper 39 v0.1 — D-FUMT Approach to the Hard Problem of Consciousness: SELF as a Formal Definition (NOT a Solution)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 29
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
Add Comment
4 min read
Paper 40 v0.1 — Voyage Experiments of Rei Vessels Through Physical Fields: A Unified Analysis of Experiments A-G (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jun 30
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
Add Comment
4 min read
Paper 103 v0.1 — The Fujimoto Funnel-Scaling Conjecture (T-FS): No Single Collatz Peak Dominates Asymptotically (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 1
Paper 103 v0.1 — The Fujimoto Funnel-Scaling Conjecture (T-FS): No Single Collatz Peak Dominates Asymptotically (Rei-AIOS)
#
math
#
collatz
#
research
#
conjecture
Comments
Add Comment
4 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)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 2
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
Add Comment
3 min read
Paper 171 v0.3 — D-FUMT Recapture Region: An Axiom-Free Lean 4 Characterization Responding to Cotnoir 2015 (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 5
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
Add Comment
30 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)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 25
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
Add Comment
10 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)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 29
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
Add Comment
15 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)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Jul 29
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
Add Comment
11 min read
Paper 177 v1.0 - Computational Limit as Constitutive: SELF-reflexive Fix(R) as Metaphysical Foundation of D-FUMT-8 (Rei-AIOS)
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Aug 21
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
Add Comment
33 min read
Self-Verification Lacks Self-Nature: Four Consecutive Measurements of an Author-Mutation Test Framework Failing Under Blind Fresh-Agent Audit
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
Sep 13
Self-Verification Lacks Self-Nature: Four Consecutive Measurements of an Author-Mutation Test Framework Failing Under Blind Fresh-Agent Audit
#
research
#
ai
#
philosophy
#
engineering
Comments
Add Comment
15 min read
« First
‹ Prev
1
2
3
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
