Books and research on change, order, mathematics, physics and computation.
Northwestern Polytechnical University · ORCID · Email
The book · Research portal · Papers · Research discussions
The Practice of Seeking Truth from Facts
How do order, life, consciousness, society and meaning emerge from a world in constant change? My book develops the philosophical and methodological perspective of this work, drawing on physics, biology, neuroscience, complexity science, and Eastern and Western philosophy. It follows the relations between different levels of organization and asks how knowledge and action remain grounded in facts and processes.
Book description and 31-chapter contents · English preview: title page, note to the reader and contents
My research programme follows a common generating source into mathematical objects, physical response and finite certified computation. The central question is what a construction produces, and which information must remain available when the result is observed at finite resolution.
- Generated arithmetic and histories. Native arithmetic on a correlation spectrum, finite expression fibres, conditional readout and history-assembly dynamics. Retained history differences can affect subsequent value response.
- Prime decomposition and operators. Prime irreducibility, cotangent directions, quantitative Hodge projection, occupation traces and signed Gaussian scale response.
- Gauge structure and Yang-Mills spectral gaps. Generated gauge-matter response, the nonlinear curvature action, the complete original-field Hessian and its attained positive spectral bottom.
- Gravity and cosmic structure. Source-resolved long-range exchange, coarse-graining with memory and finite-window cosmological dynamics.
- Certified computation and complexity. Generated function classes, rational trajectory records, residual certificates, polynomial bit-cost theorems and the uniform-generation connection to P vs NP.
| Resource | Contents |
|---|---|
| Book-and-Articles | Book description and preview, nine research papers, subject introductions, and individual archival DOIs |
| Lean proof library | Lean 4/mathlib formalization, theorem mappings and axiom audits |
| Coarse-Graining Genesis Framework | V5 calculations, common-source dependencies, interval certificates and observational comparisons |
The research portal provides five thematic reading routes and searchable paper records. Each work has its own citation record. The software concept DOIs are 10.5281/zenodo.23254521 for Lean and 10.5281/zenodo.22067005 for V5.