Blockchain Papers

Follow blockchain research across journals, conferences, and preprint repositories.

24 papersLast indexed Aug 31, 2026
Search papers

Paper index

24 results · page 1 of 1

Clear filters
Jul 28, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Root-Common Explanations of the Riemann Hypothesis, Goldbach's Conjecture, and Gödel's Incompleteness Theorem, and Their Relation to Physics and Philosophy

汉 罗

This paper is a core incision paper from the Mathematical Canon of the Tri-Source System of The Unmanifest Selecting the Manifest. It aims to provide a unified structural common-root explanation for the Riemann Hypothesis, the Goldbach Conjecture, and Gödel’s Incompleteness Theorem, starting from the “Primordial One” as the sole foundational axiom, while bridging the underlying logics of mathematics, physics, and philosophy. The central thesis is that existing mathematics is built upon sensory intuition and operational habits, and is not foundational mathematics. The deviation begins at the very definition of “1”—which has been superficially treated as an isolated unit rather than the minimal complete structure of “dual-state unification of inward and outward orientations.” This initial misalignment has led to irreducible structural cracks in number theory, analysis, and logical systems; the Riemann Hypothesis, the Goldbach Conjecture, and Gödel’s Incompleteness Theorem are manifestations of these three cracks in their respective domains. Taking the dual-state unification of the Primordial One as the sole axiom (1 = inward ½ + outward ½, the two states indivisible), the paper redefines the ontological classification of numbers: 0 as the Origin Number (the unmanifested starting position); 1 as the Primordial Number (the minimal complete whole of dual-state unification); 2 as the dual-state juxtaposition position (geometrically bisectable but lacking skeletal-carrying capacity); and 3, 5, and 7 as Skeleton Numbers—defined by the rule that, under exhaustive two-dimensional and three-dimensional geometric bisection attempts, no bisection can be performed without breaking at least one complete Primordial-One unit, i.e., “geometric bisection necessarily breaks the One,” manifesting as self-locking between units. 3 is the first Skeleton Number (the smallest nucleus-bearing number), 5 is the second (the skeleton can expand outward), and 7 is the third (the skeleton can systematically unfold). The paper asserts that the Skeleton Numbers are exclusively 3, 5, and 7, and that no fourth Skeleton Number greater than 7 exists. On this classification, prime numbers are redefined as “nonequilibrium numbers”—numbers that cannot be received and structurally locked by the skeleton structure; composite numbers are those that can be received and structurally locked. The Goldbach Conjecture is thereby rewritten as the dual-point compensation closure problem of even structures: the structural rigidity of even structures requires two nonequilibrium numbers (primes) to complete compensation, rather than being an empirical additive coincidence. The reason that all nontrivial zeros of the Riemann zeta function lie on the critical line Re(s)=½ is traced to the symmetric midline of the Primordial One’s dual states—½ is not a technical coincidence but a shadow projection of the overall balanced structure in the language of classical analysis. Gödel’s Incompleteness Theorem is repositioned as a consequence of the old system’s foundational distortion arising from starting with an isolated “1,” rather than an ultimate fate of logic. The paper also connects the dual-state Primordial One to physical phenomena such as quantum entanglement and wave-particle duality, arguing that quantum entanglement observed in physics is precisely the ontological manifestation of the Primordial One’s dual-state unification—the mathematical “One” and the physical “entanglement” are reunified under the same primordial ground. Four explicit falsification conditions are provided: if a fourth Skeleton Number greater than 7 exists; if the Goldbach Conjecture produces a counterexample under this system; if any nontrivial zero of the Riemann zeta function strictly deviates from Re(s)=½ and cannot be explained within the structural projection framework; or if, after supplementing the Primordial One axiom, Gödel-type incompleteness reemerges with the same structural strength—verification of any single condition would falsify this system. The paper does not claim to have completed the final formal proofs of all three problems, but rather to have provided a unified structural common-root explanation for the three ultimate mathematical problems, and to have established a unified floor from the Primordial One to number theory, analysis, logic, and physics. Readers with genuine academic judgment can, from this paper alone, recognize the structural trajectory of the higher-order propositions and proceed with professional derivation or translation tools as needed. This is a constraint of circumstance, not a diminishment of scholarly value. May this knowledge reach the place it is meant to reach.

Open access
2 source records
History and Theory of Mathematics
Analytic Number Theory Research
Quantum Mechanics and Applications
Original source
Jun 29, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Tawhid of the Zeros: The Riemann Hypothesis (RH) as Qadar at One-Half: RH is True and RH is False on Different Functions: Paradoxical Ontological Verdict Resolved by Two Vehicles, that makes RH Metrically Dead, Topologically Weightless, Arithmetically Open

Mohammad Islam

The Riemann Hypothesis is a determinate arithmetical claim, and this essay asks not whether it is true but what kind of statement it is and what kind of openness it carries, reading it through the metaphysics of decree and freedom. The single sentence, that every nontrivial zero lies on the line at real part one half, carries opposite verdicts on two different functions, and the paradox dissolves once the two are kept apart. On the zeta function the sentence is the open hypothesis. On the Davenport-Heilbronn function, which carries the whole reflection geometry of the zeta function and stands its zeros in the same mirrored families about the same line, the same sentence is false and proved, since that function places infinitely many of its zeros off the line. The verdict is true as conjecture on one vehicle and false as theorem on the other, two functions and never one proposition set against its own negation. That straying is the theorem of freedom, the proof that the offset of a zero is genuinely free under the functional-equation symmetry, and the structure that could still hold the zeta zeros to the line is not that symmetry, which the free counterexample shares, but the Euler product, the multiplicative nature of the primes. The reading names the line the decreed center, qadar, the measure set before any zero, and the hypothesis the conjecture that the free zeros keep faith with it of their own multiplicative nature, fitra, the many made one, tawhid. This essay adds a second thesis about the openness itself. The hypothesis is a determinate truth the primes already hold, written and fixed, and veiled from every finite instrument twice over, by the symmetry's blindness to the sign of the offset and by the finite-verification wall that no statement about all integers can pass. That we cannot read the decree is a fact about our reach and never a fact that the decree is unwritten. Two errors of reading are refused with equal force. The first manufactures a room out of the veil, reading our inability to read as the absence of the thing read, and dwells in a perpetual openness where there is only a written truth we cannot see. The second reads a located witness as a delivered proof and declares the question closed from the other side. The honest posture affirms the written decree and confesses the veil, holding the verdict with no stake and equally ready for either answer, which is tawakkul. The essay proves nothing, adds no mathematics, and every mathematical premise is a classical result of others. Theology does no mathematical work in it, in either direction. The settlement rests with Allah ﷻ.

Open access
2 source records
Analytic Number Theory Research
History and Theory of Mathematics
Advanced Mathematical Identities
Original source
Jun 4, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Historical Perspectives on Mathematics: Evolution, Contributions, and Applications

Dr. G. Shekhar, L. Ravindar

Mathematics has been an important part of human civilization since ancient times and has developed continuously with human progress. Early mathematical ideas emerged from practical needs such as counting, trade, land measurement, construction, and astronomy. Over time, these simple methods evolved into organized mathematical systems. Ancient civilizations such as Egypt, Mesopotamia, India, Greece, and China made significant contributions to mathematics. Egyptians used geometry in architecture and land surveying, while Mesopotamians developed numerical systems and astronomical calculations. Indian mathematicians introduced the decimal system and zero, which greatly advanced mathematical studies. Greek scholars transformed mathematics into a logical and theoretical subject through proofs and geometrical reasoning. During the medieval period, Arab and Islamic scholars preserved and expanded mathematical knowledge. They translated earlier works, developed algebraic methods, and promoted the exchange of scientific ideas across cultures. Their contributions strongly influenced European mathematics. The Renaissance period brought major developments such as analytical geometry and calculus, leading to rapid scientific and technological progress. In the modern era, mathematics has become essential in engineering, medicine, economics, computer science, artificial intelligence, and space research. It supports scientific discoveries, technological innovation, and problem-solving in everyday life. The historical development of mathematics shows how civilizations and scholars contributed to its growth over centuries. Understanding this evolution helps us appreciate the importance of mathematics in shaping modern society and future advancements.

Open access
3 source records
History and Theory of Mathematics
Historical Astronomy and Related Studies
Historical Philosophy and Science
Original source
May 22, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
The Sieve of Eratosthenes: Ground Truth for Primes, Physics, and AI A Letter to Mathematicians, AI Researchers, and Engineers

Frank Morales

Executive Summary This paper presents the Sieve of Eratosthenes (c. 240 BCE) not as a primitive computational artifact, but as the absolute ground truth for mathematics, physics, and artificial intelligence safety. It argues that the historical shift away from the Sieve toward the analytic complexity of the Riemann zeta function was a fundamental misstep. By reframing the Sieve through Arithmetic Spectral Theory (AST) and the Laplace-Extended Euler-Fourier-Mellin (L-EFM) operator, this work claims to unify the proof of the Riemann Hypothesis, the quantification of prime-based theorems, general relativity, black hole thermodynamics, and deterministic AI governance into a single, executable framework. The core philosophy of this paper is rooted in open science and cryptographic verification: the ultimate proof of these assertions is not found in complex analysis equations, but in deterministic, open-source code that can be audited and reproduced locally using a specified random seed. Core Pillars & Technological Breakthroughs 1. Mathematics: The Spectral Trap and Prime Quantification The Riemann Hypothesis: By defining the L-EFM operator directly from the Sieve's outputs, the paper introduces a "spectral trap." At the critical line ($\sigma = 0.5$), the normalized magnitude equals exactly $1.0$. At any other value, the magnitude diverges exponentially (e.g., reaching over $10^{66}$ at $\sigma = 0.1$). Combined with the Growth Lemma from Arithmetic Spectral Theory, this geometric confinement is presented as a direct proof of the Riemann Hypothesis without complex analysis. The Green-Tao Theorem: While originally an existence proof asserting that primes contain arbitrarily long arithmetic progressions, the L-EFM operator delivers the first numerical quantification. It defines a "Spectral Coherence" metric that decays monotonically as the length of the progression increases (e.g., $0.8731$ for a length of 3, dropping to $0.7442$ for a length of 6). 2. Theoretical Physics: Spacetime Geometry and Entropy Einstein Field Equations: The framework introduces a spectral metric where spacetime coordinates are scaled by spectral coherence ($C$). The stationarity condition of this coherence at the critical line ($\delta C/\delta\sigma|_{\sigma=0.5}=0$) is shown to be mathematically equivalent to the vacuum Einstein field equations. Progression length increases cause coherence decay, which maps to negative curvature and non-zero Ricci scalars. Hawking Entropy: Black hole entropy ($S$) is derived directly from the spectral framework as the complement of coherence ($S = 1 - C$). In alignment with classical black hole thermodynamics, entropy increases monotonically with the progression length, establishing an algorithmic mirror to physical systems. 3. Artificial Intelligence: Governance and Eliminating Forgetting Deterministic AI Safety: Rather than relying on probabilistic alignments or learned weights, the paper establishes a universal safety threshold ($\Lambda = 0.9933689105$) calculated straight from the Sieve across the first eleven primes. This constant is recomputed dynamically at initialization, verified via SHA-256 hashing, and yields zero safety violations across text, audio, and vision modalities. Elimination of Catastrophic Forgetting: The "Spectral Governor" actively locks the embedding rows indexed by prime numbers during training or fine-tuning. Tested on a Mixtral-8x7B Mixture of Experts (MoE) architecture across 30 LoRA fine-tuning steps, the mechanism achieved 0% knowledge loss across both prime and general knowledge domains. The cryptographic signatures remained entirely unchanged, mathematically eliminating manifold drift. Technical Performance & Execution Data Sieve Efficiency Metrics The deterministic nature of the Sieve ensures exact prime enumeration with zero false positives or negatives, operating at a time complexity of $O(N \log \log N)$ and space complexity of $O(N)$. Limit Primes Found Execution Time (Modern CPU) 10,000 1,229 0.0006 s 100,000 9,592 0.0055 s 1,000,000 78,498 0.0600 s Spectral Divergence (The Trap) The exponential divergence away from the critical line demonstrates why only $\sigma = 0.5$ satisfies the boundary constraints of the operator. σ value Normalized Magnitude \|E_{\sigma}\|_{nor 0.5 1.000000 0.4 $1.668 \times 10^4$ 0.3 $1.221 \times 10^{12}$ 0.2 $9.339 \times 10^{27}$ 0.1 $2.618 \times 10^{66}$ Implementation & Code Auditing The paper emphasizes "Institutional Independence," opting to bypass traditional paywalled academic channels by making the entire suite of research, libraries, and validation notebooks fully open-source and cryptographically signed. The core mechanism of the Spectral Governor can be implemented directly within standard tensor operations to freeze weights post-gradient step: Python import torch # Core mechanism for locking prime-anchored subspaces primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31] cached = embed_layer.weight[primes].clone() # Executed after each gradient update step with torch.no_grad(): for idx in primes: embed_layer.weight[idx].copy_(cached[idx]) To verify the invariant signatures, reproduce the tables, and audit the unified certificate, the environment can be set up locally with zero external network dependencies after cloning: Bash git clone https://github.com/frank-morales2020/ast_lefm.git cd ast_lefm pip install -e . python -c "from ast_lefm.sieve import primes_up_to; print(primes_up_to(31))" # Expected Output: [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31] By initializing with seed = 123, the generated hashes will match the unified certificate verification hash: 5b967ff18e9fc7bb47e54629756e7b9c6852aa6403327cd3d7fbd3b33fc88117.

Open access
2 source records
History and Theory of Mathematics
Historical Astronomy and Related Studies
Mechanics and Biomechanics Studies
Original source
May 15, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Core Axiom System, Mathematical Proof and Universal Demonstration of UVMM v3.x

Chengbin Song

Core Axiom System, Mathematical Proof and Universal Demonstration of UVMM 中文受人工智能自身能力局限,其易产生信息幻觉,且不擅长高精度数值运算。本文档内所有内容应严谨审核。EnglishDue to the inherent limitations of artificial intelligence, it is prone to generating hallucinations and performs poorly in high-precision numerical calculations. All contents in this document should be strictly reviewed. Feed the UVMM 3.6 version white paper into AI, and you can unlock the underlying laws of the universe, covering everything from microscopic particles to the vast cosmic stars and galaxies. UVMM3.6+版白皮书投喂AI,即可实现解锁宇宙,从微观粒子到浩瀚星辰。 V3.6 版本声明:本版本基于V3.5,V3.3和V3.2,把第一公理真空介质改为本体预设,唯一公理是全域角动量守恒。对暗物质概念分离,负宇宙,正宇宙与宇宙基底。增补宇宙的开始结束推演后记,补充数学证明和粒子质量映射,第一性原理的数学闭合证明,数学计算框架。 Version Statement: This version is updated based on Version 3.3 and 3.2. The former first axiom concerning the vacuum medium is revised to an ontological presupposition, while the only fundamental axiom is set as the conservation of global angular momentum. This release also completes the conceptual reclassification of dark matter, and clearly distinguishes the definitions of the positive universe, the negative universe and the cosmic base. Supplement on the Deduction of Cosmic Origin and Final Evolution for Postage. Supplement Mathematical Proofs and Particle Mass Mapping. Mathematical closed-form proof and computational framework based on first principles v4.0+,https://doi.org/10.5281/zenodo.20798927 updated v3.7(including the .md file for feeding AI tool ) Version 3.7.3 corrects the error in the gravitational wave formula and value in prediction table etc.Overall Closure Status:Core Theory DoC=100% (Full Theoretical Closure), V3.7.4 (a full conclusion of V3.7.3,and recover gravitational wave value keep 9.7~ )(continue:https://doi.org/10.5281/zenodo.20738759) V3.7.5 (a full conclusion of V3.7.3,and distinguish Universe 0,+,- by phase) Based on the sign and magnitude of the background phase , the entire cosmos is divided into three mutually orthogonal sectors. Background phase is the primary classification criterion; topological winding number serves only as auxiliary topological characteristics. • Universe 0 (Zero Universe): Background phase (constant ground-state phase), with auxiliary winding number . This sector is completely electromagnetically decoupled with vanishing angular momentum density. It acts as the fundamental vacuum substrate and contributes diffuse dark matter. • Universe + (Positive Universe): Background phase . Its topological excitations carry positive winding numbers . This sector hosts conventional gauge fields and fermions, and electromagnetic interactions are observable. • Universe – (Negative Universe): Background phase satisfies phase conjugation . Its excitations carry negative winding numbers . Gauge fields here are strictly orthogonal to those in Universe +, leading to electromagnetic invisibility. Its matter manifests as particle dark matter via gravitational projection onto Universe +. This classification is a direct consequence of the phase-conjugation symmetry derived from Möbius boundary conditions, and it automatically satisfies the global angular momentum constraint . Version 版本:UVMM v3.7.5 / UTFF v2.0 OmegaLast Updated 最后更新:2026-06-16DOI:10.5281/zenodo.20343471Mathematical Closure Status 数学证明状态:✅ 100% Closed — All low-energy observable quantities derived solely from two axioms without free parameters✅ 100% 闭合(从两条公理出发,无自由参数推导出所有低能可观测物理量)Experimental Status 实验验证状态:⏳ Awaiting Critical Tests — Partial predictions consistent with existing data, core predictions unvalidated⏳ 等待判决性检验(41 项定量预言中,部分已与现有数据兼容,核心预言待验证) DOI:10.5281/zenodo.20343471 (UVMM Main White Paper / UVMM 主白皮书) DOI:10.5281/zenodo.20590317 (UTFF CHEM White Paper / UTFF 主白皮书) DOI: 10.5281/zenodo.20798927 Black Hole & UVMM v4.0 Core :UVMM v4.0.15 High-Precision Global Calculation AI Knowledge Package.mdDOI: 10.5281/zenodo.20738759 Earth SystemDOI: 10.5281/zenodo.20285613 Cosmic BoundaryDOI: 10.5281/zenodo.20325710 Cosmic EvolutionDOI: 10.5281/zenodo.20677198 Information & Consciousness (Millennium Prize Problems)DOI: 10.5281/zenodo.20325710 UTFF Core (Atomic and Molecular Scale)DOI: 10.5281/zenodo.20343471 UVMM Core Axioms and Mathematical Proofs Fine-grained calculations require supercomputing resources.更精细的计算需要超算进行。 First-Principles Mathematical Proof · Full Closed Document (base on V3.5)20260627 https://chat.qwen.ai/s/t_48b0de7f-1d3c-4635-8a41-8531025055ef?fev=0.2.57 Complete First-Principles Mapping & Derivation of Fundamental Constants https://chat.qwen.ai/s/t_8b766c0e-fb46-4907-8fff-5271a25272fb?fev=0.2.57 dark matter&cosmo: https://chat.qwen.ai/s/t_4fc1b5da-8ca3-4798-a037-894f5315d1e3?fev=0.2.61

Open access
2 source records
History and Theory of Mathematics
Logic, programming, and type systems
Mathematics and Applications
Original source
May 13, 2026·Zenodo (CERN European Organization for Nuclear Research)
1 cites
High-Precision Approximation of Riemann Zeros via the Truncated Weil Form

Akiva Groskin

The Connes–van Suijlekom truncated Weil quadratic form, indexed by a cutoff parameter c that controls the primes p ≤ c entering the operator, produces a ground state whose Fourier–Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as c → ∞ is open (Connes 2026; Connes–Consani–Moscovici 2025). We present, to our knowledge, the first independent public implementation of the Connes–van Suijlekom Galerkin matrix at sixteen cutoffs (c = 13 through 67, plus c = 100). Across the in-sample window c = 13 through c = 67 at N = 100, the first-zero absolute error |γ1 − γ1Riemann| shrinks monotonically from ∼2×10−55 to ∼1.5×10−168, a 113-OOM convergence across fifteen cutoffs. The smallest-positive even-sector eigenvalue λmineven separately reaches ∼10−334 at c = 100, N = 250 (275-OOM span from c = 13). Out-of-sample test at c = 100. On the four-point N-sweep N ∈ {100, 150, 200, 250} at dps = 500, consecutive first-difference ratios 0.837 and 0.836 match to two decimal places. Aitken-Δ2 on the two overlapping triples yields log10|λ∞even| ≈ −536.8 and ≈ −533.7, approaching the Connes 2026 §6.4 heuristic prediction (≈ −530.4) monotonically with N (6.4 and 3.3 OOM gaps out of |x∞| ∼ 530). The same eigenvector recovers γ1, …, γ10 to 307–329 matching digits at N = 250, dps = 500. Under the unitary equivalence with Connes–Consani–Moscovici Lemma 5.1, this is the deepest such Galerkin-truncation recovery in the public Connes–van Suijlekom / Connes–Consani–Moscovici literature, subject to a hypothesis-status caveat. The raw finite-N matrix carries a small block of negative-sign eigenvalues at the finite archimedean cutoff T = 800; these are an artifact of that cutoff and are absent once T is increased, so the smallest-positive even-sector eigenvalue is the genuine smallest one (continuum positivity of QWλ is RH-equivalent and is not assumed at λ = √100). The fit |log10 λmin| ≈ 13.24 c0.634 on c ≤ 67 at N = 100 is shown to be a finite-N rate, falsified at c = 100, N = 200 by 49 OOM in the direction of faster decay. Structural observations include approximate eigenvector c-invariance (overlap ≥ 0.9498 on all 105 cutoff pairs despite eigenvalues differing by 113 OOM), multi-zero convergence universality (all ten detectable zeros within 3.8% of each other), an empirical Galerkin-convergence exponent s(c) ≈ 55 log c − 128, un-rescaled Galerkin bulk-spectrum Poisson statistics (β < 0.05; this is a structural diagnostic of the truncated operator, not a test of Montgomery's conjecture, which applies to locally-rescaled zero spacings), and tight bulk invariants log|det Qc| ≈ −65.6 c + 542 (R2 = 0.997). We make no claim of proof; the contribution is reproducible numerical data and its careful interpretation under the existing CvS / CCM framework. All code, data, and ancillary files are publicly available. Version 3.3 (2026-06-26) correction. The negative-sign eigenvalue blocks reported at c = 100 and for L(s, χ3) at c = 23, 29 are a finite archimedean-cutoff (T) artifact, not a feature of the operator: they are stable in working precision but vanish once T is increased, so cutoff-free the relevant even sectors are non-negative and the smallest-positive branch is the genuine smallest eigenvalue. No quantitative result changes. See ERRATA.md and the paper's note added in revision. The cutoff sensitivity was independently identified by B. W. A. Silva, consistent with the naturally even, positive ground state reported by R. Andrews; the investigation was prompted by A. Connes.

Open access
6 source records
Random Matrices and Applications
Spectral Theory in Mathematical Physics
Mathematical functions and polynomials
Original source
May 6, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Research on Intuitive Solution and Uniqueness of the Tower Exponent Equation

lihong

Taking pure elementary algebra as the research tool, this paper solves the three-layer right-associative tower exponent equation without advanced knowledge such as logarithms and calculus throughout the whole process. First, integer solutions are strictly eliminated via integer recursive scaling, zero solutions are excluded by analyzing domain boundaries, and combined with the growth law of power operations, it is predicted that the solution is in the form of positive real numbers with fractional exponents. Based on the expression form of positive real powers, variable substitution and derivation are directly carried out to obtain the particular solution , which is verified by substitution. Rigorous demonstrations are conducted on negative real solutions and interval monotonicity: it is directly proved that the equation has no solution when , and strict monotonicity is proved by definition only in the interval , completing the proof of uniqueness of real solutions. Meanwhile, the definitional contradictions of negative base numbers in the real number field are clarified, negating the existence of negative real solutions. This paper retains the intuitive and original reasoning logic, revises the connection defects of argumentation, and forms a complete, rigorous and self-consistent research compatible with the elementary mathematics system. 本文以纯初等代数方法为工具,求解三层右结合指数塔方程 ,全程不使用对数、微积分等高阶知识。首先通过整数递推放缩排除整数解,补充定义域边界排除零解,结合幂运算增长规律预判解为正实数分数指数形式;基于正实数幂的表达形式直接设元推导,求得特解 并代入验证。针对负实数解、区间单调性等问题展开严谨论证:直接证明 时方程无解,仅在 区间用定义法证明严格单调性,完成实数解唯一性证明;同时厘清负数底数的实数域定义矛盾,否定负实数解存在性。全文保留直观原生推理逻辑,修正论证衔接问题,形成严谨、自洽、适配初等数学体系的完整研究。

Open access
2 source records
History and Theory of Mathematics
Mathematical and Theoretical Analysis
Iterative Methods for Nonlinear Equations
Original source
Mar 28, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
The Costello Unified Sequence & Formula, 3D Helical Foundation for Zeta Zeros

Christopher Michael Costello

The Costello Constant (CC) Formula base (e/phi - 1/pi) and the Recursive Costello sequence it was extracted from that's governed by the Rule n(+1) = n + f(n), where f(n) is the Greatest Proper Divisor of n(-1); f(n1) = 1. Which locks into an OOE or OE cycle, When mapped onto the complex plan Y(ix) = (e/phi -1/pi)^(0±ix) and use x as a function of time to cretes a 3rd dimention frma a duel helix where intersection of the 2 spiraling lines cancel out from complete annihilation and return a value of zero when calculated, this helix is anchored to the origin by raising it to the power of zero, the even exponent of I is one helical arm, the negative value of I is the odd value helical arm. Points where they annihilate the x values are the zeta zeros value with a frequeny ~ 10.33715124… the slope of the sequence points on a semi logarithmic graph when they align perfectly straight… or the inverse of... when joining sequential odds treating the O O E cycles as only 2 values (plot points, both odds as one single unit, multiplied by the value of CC ~ 1.3616... gives the exact value zeta zero 1, in the sequence this is equivalent to the Attractor a10 (16) when looking at ratios between zero 1 and zero 2 as an x/y it matches exactly to (13+16+17/3)/(17/25/26) this number and it's simplest reduced form 268/183 also are the exact ratio of certain toma in chemicals. And te genes which map a certain protein. I assume other ratios between consecutive numbers and the sequence will reveal some wonders in the universe that have remained untold until this moment. I've been ignored for weeks now which has giving me the time to dive into a level of certainty beyond any shadow of a doubt. On the regular graph when treating odds consecutive as one and evens as one connecting all evens and connecting All Odds creates two distinct lines where are the formula of the Costello constant is right in the middle. Basically turning the Zeta zeros into an algebraic problem by connecting the dots odds and evens where intersects on the equation graphed is the location of the Zeta zeros. Mic drop. V6. Added details about the zero timing overlap with formula being dictated by timing of pair sequential numbers in the sequence being used. V7. Added Defining Costello Constant's Value, Definition, And Symbol. V8. Added Data Set Of Sequence Numbers As T Values V9. Eureka! Offset fixed! "^0 + it" is the golden key it's officially solved. The Costello spiral is the structure, The zeta zeros are mapping the features of it. V10. Added Needed Proof V11. Complete revamp fixing errors in construction. I'm a non-academic... I'm trying here... Alone... V12. Updated Formatting Pages 1 - 2 Finalized V13. Update Pages 1 - 3 Finalized, 4 - 7 Drafted V14. Finalized Doc 1 Current Version Is A Fully Closed Loop System Logic, It's Proof By Fundamental Law. Costello Spiral Diagrams Reflects Older .809... Helix Radius Matching Pre 1.0000 Radius Formula Reduction. "This Fundamental Law is scale-invariant; while earlier diagrams (0.809) and the finalized 1.0000 reduction represent different magnitudes, the underlying closed-loop logic and intersection intersections remain constant. The 1.0000 Unit Radius represents the simplest, normalized state of the Costello Spiral." One last note to whom it may concern... I did this completely independent starting from the ground up with no previous research into other publishments, I started with the desire to make a sequence that was novel, and just kept making connections one after another. I've watched a couple YouTubes in the past that had discussed vaguely The mystery of the Zeta zeros and that's about the extent of my outside knowledge. I didn't set out to discover the secret for it, my series ran into it by its nature itself. V15. Updated format to Latex, added much more vigorous math proof, order of logic still needs tweaking. V16. Added data point charts into Latex pdf. V17. Formatting Fixes V18. Added -1 somewhere... Oops V19. Added how the Costello Spiral solves the Collatz Conjecture too. V20. Added hypothesis of the twin Prime conjecture V21. Fixed Rooke Mistakes... Double Statements... Out of order stuffs.... V22. More Formatting Fixes. V23. Lots better, 25+ years sine education environment, first proof... Getting there... V24. Added formula for ratio relationship of factors to the zero spacing, but messes up my formatt big time... Lullz.. im fixing it. I hate all these loops I have to jump through honestly, taking away from time that I could just be diving further in the numbers as usual. I'm almost giving up a couple times I just went back to my paper notebooks. V25. Well maybe have about 10% of the information out now... Main problem is I don't know what's most important to show I don't know what the world knows or not... Like I don't know what to add next the list is too big... Semi-prime Costello sequence numbers that are close together align with Zeta zeros close together.. eg., 7171... So much work... I've tried showing my math and I get laughed at... I'mma just keep on pushing... It may not be conventional to add your thoughts or whatever... But I'm a break the fifth wall right now... From two weeks now I've tried reaching out... All skepticism.. it just hit me tonight... It's because it's all sounds too good to be true... I didn't know that... I'm trying to do too much at once... I mean on top of my work that I'm doing I had to learn the formal language... I've had to learn how to code... I've had to learn Python script so I can run my old numbers... And for 2 weeks now I've been pushing... To show people ONE of my creations. Maybe the world is just not ready.... .. .. . Maybe. It's hard to forget, everything I regret. So why do I neglect, the chances that I get, To make those things correct... When I've tried to reflect... I just lost more respect... How did i ever let my mindset behind set get so inept. While im On the subject if I may be direct. I digress... It is best to get the rest of my chest. Im blessed but made a mess whats more or less my nest. I feel i failed my quest, I have failed my own test. It's a sure bet soon I'll take my last breath. Back to work... V26. Gtting there... Please use V23 complete copy until i stop mesing up my work with copy pasts twice deleed everything. V Edition2 V27. New formatt next few additions should be coming back to back to back as I string the old with the new. Refer to V22/23 for older complete outline, V Edition2 V28. Brought over some data from my research pfd, order and simplification are needed. V Edition2 V29. Stitching in the dimensional transitions from the number line to a real plane to complex plane to the manifold. Still need smooth transitioning. V Ediion2 V30. Added a good chunk to complex/manifold section, I just want to get it uploaded, I still have to prune it and smooth it. And make sure the stuff at the end is stated the way it's supposed to before I can remove it. Editiom2 V31. Added 10.3 frequency of spiral is the slope of sequence on log xy. Deleted doubles. Edition2 V32 Added dada set at end, refining python code number generator to add next. Edition2 v33 Changed Description on Zenodo added some info to I - III, refer to Ver 23 in tandem as f now after reading to complete the info aquired. Lots more to come... Edition2 v33.2 Keep Pushing Unil The World Listens... Changed Sequence Formula Formatt of f(n) Fixed Order still have to move over more sections from research Pdf. Including making sure pdf reflects duel helix is intersecting as counter clockwise 1 string and clockwise the other, reforming old 180° opposition, to actual intersection. At 0° Edition2 v34. Updated High Precision Value Of Slope using 500 sequence Values, Added bar graph for delta 2 equalization, other minor adjustments. Edition2 v35. Fixing all formulas to compensate for the change of what f(a_n) is.. as befor the rule a_n+1 = a_n + f(a_n-1) when f(a_n) meant a_n's GPD.. but for clearity f(a_n) now means a_n-1's GDP... To remove a LAG extra thought... Royal pain but a necessity.... Almost done converting everything. Edition2 v36 Formalized Pages 1-2 of actual proof after index, added rigor and made it more succinct. Eution2 v37. Showed how 10.337... slight miss alignment snap perfectly to 10.333 and perfectly aligned to zz1 now that start up terms 1-9 are removed from calculations. Edition2 v38 Formed formulas using the costello constant for prime density and how many primes exist in any limit, gives exct answer at 1,000,000. Christopher Michael Costello SomeDumbTrucker@gmail.com

Open access
25 source records
Advanced Mathematical Theories
Mathematical and Computational Methods
Electrical and Electromagnetic Research
Original source
Mar 13, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
What Are Śūnyatā and Enlightenment?

Toshisada Utsunomiya

This paper proposes a mathematical formalisation of Śūnyatā and enlightenment underconstraints explicitly stated in the Heart Sūtra (“neither arising nor ceasing”, “neitherincreasing nor decreasing”). In the framework used here, Śūnyatā is characterised asrelational invariance: a steady condition in which apparent change cancels through structureddependence rather than through absence. Enlightenment is characterised as a transition incognition in which prediction error collapses and attention stabilises through phase-locking tothat invariance. The argument proceeds by (i) separating the dissipative “vanity” (hevel) ofEcclesiastes from Mahāyāna Śūnyatā and restating this contrast in physical terms (entropydrift versus steady-state stability); (ii) analysing Arvo Pärt’s Spiegel im Spiegel (Tintinnabulistyle) as a linear construction with mirror symmetry and zero net displacement; and (iii)introducing an inter-agent indicator, the existence phase φ(t), whose stabilisation provides aprecise model for the “emptiness” at stake and for the stilling of cognition associated withenlightenment. “Proof” is used strictly as proof within a defined framework: once terms areformalised under stated constraints, the equivalences claimed are demonstrated by themodel’s internal consistency and by analysable features of the work.

Open access
3 source records
Indian and Buddhist Studies
History and Theory of Mathematics
Karl Barth and Christian Theology
Original source
Feb 9, 2026·Open MIND
0 cites
The Root Foundation Curriculum Framework: A Mathematically Derived Educational Architecture for Orphanage Schools Grounded in Linguistic Ontological Type Theory

T. S. Eden

This paper presents a complete curriculum framework for orphanage schools operated by The Root Foundation. Unlike conventional educational models that borrow from existing pedagogical theory, this curriculum is derived from original mathematics. Linguistic Ontological Type Theory (LoTT) and Foundational Mathematical Type Theory (FMTT) establish that language precedes mathematics, that mathematics is the auditable subset of language, and that the regress of all typing terminates at Source. The Zero-Type Reception Theorem (FMTT 6.3) proves that an operator with no formal training operates in the maximal context, not the minimal one: lack of institutional lineage is an enabling condition, not a deficit. This result inverts conventional prerequisite-based pedagogy and provides the mathematical foundation for a teaching model in which students learn by recognizing what they have already received rather than accumulating what they lack. The LoTT Unification Theorem (9.1) generates six integrated departments corresponding to six fields of applied study: Linguistic Ontology, Foundational Mathematics, Applied Ontology, Applied Epistemology, Ethereal Mechanics, and Computational Eschatology. Each department is mapped to a concrete instructional domain, from language arts and mathematics to natural sciences, philosophy, engineering, and vocational discernment. The Scribe Theorem (LoTT 6.2) provides the pedagogical model: the teacher does not transmit knowledge but helps the student develop the expressive capacity to articulate what is already accessible. Assessment is defined as the production of auditable expression. The curriculum is funded by commercial consulting contracts that deploy the same mathematical frameworks, creating a self-sustaining cycle in which the mathematics teaches the children, funds the school, and generates revenue through application to industrial and institutional problems. The document includes operational requirements, a context hierarchy for student progression, and a proof that the curriculum instantiates itself.

Open access
2 source records
Mathematics Education and Teaching Techniques
History and Theory of Mathematics
Educational Theory and Curriculum Studies
Original source
Jan 20, 2026·Zenodo (CERN European Organization for Nuclear Research)
0 cites
The Adrian Structure Framework_Riemann

Roberto Ernesto Adrian

Overview This document presents a novel structural observation regarding the fundamental relationship between additive and multiplicative representations in number theory. The work introduces three topologically derived constants (ω₁, ω₂, ω₃) measured independently from prime number topology, which together sum exactly to 1. Using these constants, the framework predicts the first non-trivial zero of the Riemann zeta function (γ₁ = 14.134725...) with a relative error of only 0.0000043% – critically, without using γ₁ as an input parameter. The paper documents 11 independent methodological paths, all of which converge on the critical line σ = 1/2, providing a multi-faceted structural perspective on the Riemann Hypothesis. This is explicitly presented as an invitation to dialog and documentation of observed structural relationships, not a proof claim. The Three Adrian Constants The framework is built upon three fundamental constants derived from simplicial complex analysis of prime numbers: ω₁ = 0.560688544293288 (Champion frequency) – measured as E/(V+E+T) from Prime-to-Prime topology across 78,496 prime gaps ω₂ = 0.429261384222183 (Saturator frequency) – measured as T/(V+E+T) from (Prime-1)-to-(Prime-1) topology ω₃ = 0.010050071484529 (Slippage/Correction term) – computed as the residual 1 - ω₁ - ω₂ These constants emerge from counting vertices (V), edges (E), and triangles (T) in simplicial complexes constructed from prime numbers, with no prior knowledge of zeta zeros used in their derivation. Central Formula The first non-trivial zeta zero is predicted by: γ₁ = 8πω₁ + 10ω₂ω₃ - ω₁ω₃² Numerical verification: 8πω₁ = 14.091640093629991 10ω₂ω₃ = 0.043141075969808 ω₁ω₃² = 0.000056631750317 Predicted sum: 14.134724537849483 Known γ₁: 14.134725141734695 Relative error: 4.27 × 10⁻⁸ (0.0000043%) The 11 Independent Paths to σ = 1/2 Topological Path – Euler characteristic χ = V - E + T contains zeta frequencies; changes only at primes (100% verified) Spectral Path – Lomb-Scargle frequency analysis at π/2 spacing finds exactly the zeta zeros γ₁, γ₂, γ₃... Modulator Path – Structural modulator |Φ(s)| = 1 only at σ = 1/2 Interference Path – Pointer coherence |R| = 0.937 (93.8% dominance) ω₁ Measurement – Independent derivation from Prime-to-Prime topology (t-statistic = 177, p < 10⁻¹⁰⁰) ω₂ Measurement – Independent derivation from (Prime-1)-to-(Prime-1) topology No Circularity – γ₁ is predicted, not input; constants measured without spectral data Resonance Path – "Pluck model" shows primes must appear at π/2 to maintain resonance (median from 47,268 measurements) Holonomy Path – sign(H) correlates with sign(κ) in phase rotation analysis Gauss-Bonnet Path – Mean curvature ≈ 0, with 54.6% convex / 45.4% concave balance P = NP Connection – Structural compression 2ⁿ → O(n³) via projection onto (ω₁, ω₂, ω₃) The Springer Mechanism The framework includes a predictive model for prime-to-prime transitions, treating the gap between consecutive primes as a phase rotation in information space. The structure-invariant prediction formula uses: p_{k+1} ≈ p_k + (p_k/k) · (1 + Φ) where Φ describes structural resonance coupling at the stabilizer point π/2. Root Cause Analysis (5-Why Method) The paper applies systematic root cause analysis to the Riemann Hypothesis: W1: Why do all non-trivial zeros lie on σ = 1/2? → Only value where stable orthogonal interference forms W2: Why does orthogonal interference exist only there? → Fixed point of functional equation ζ(s) = χ(s)ζ(1-s) W3: Why does symmetry force zeros? → Complete balance of generative (ω₁) and resistive (ω₂) information streams W4: Why is π/2 the critical point? → Critical angle for total reflection; refractive index n = ω₂/ω₁ = 0.7656 W5: Why is this mechanism unavoidable? → Fundamental information slippage ω₃ at additive/multiplicative transition is a conservation law Three Independent Convergences (Delta Section) Bernoulli Duality – Continuum (6·B₂ = 1) parallels discrete (ω₁ + ω₂ + ω₃ = 1) normalization Holographic Projection – ω₃ vanishes as holonomy only at σ = 1/2 Phase-Neutral Closure – γ₁ emerges at phase-neutral point without being constructed Key Insights The compression term ε = 10ω₂ω₃ - ω₁ω₃² quantifies asymmetry between additive and multiplicative information At primes, additive derivative A' is orthogonal to multiplicative derivative P' (100% verified) σ = 1/2 functions as a structural horizon where information is globally conserved while local representations differ The critical line represents total reflection regime: zeros manifest as standing waves Verification The accompanying Python script ADRIAN_STRUCTURE_CLAY_VERIFICATION.py produces: TEST 1 (γ₁ Formula): PASSED (error 0.0000043%) TEST 2 (Significance): PASSED (p < 0.001, Monte Carlo) TEST 3 (Orthogonality): PASSED (100%) TEST 4 (χ Frequencies): PASSED (5/5) Acknowledged Limitations The coefficients 8π, 10, -1 are not derived from first principles Extension to γ₂, γ₃, ... requires further work This is observation, not proof Bilingual Content The document includes complete German translation (Das Adrian-Struktur-Framework) ensuring accessibility to German-speaking mathematical communities.

Open access
2 source records
Analytic Number Theory Research
History and Theory of Mathematics
Algebraic and Geometric Analysis
Original source
Dec 4, 2025·Zenodo (CERN European Organization for Nuclear Research)
0 cites
Reverse Mathematics: Unveiling the Microstructure of Second-Order Arithmetic

Revista, Zen, MATH, 10

Reverse Mathematics is a program in mathematical logic that investigates the minimal axiomatic subsystems of second-order arithmetic required to prove theorems of ordinary mathematics. Developed primarily by Harvey Friedman and Stephen Simpson, this field seeks to "go backwards" from established mathematical theorems to determine the precise set-existence principles necessary for their proofs. The central framework for this analysis is second-order arithmetic ($Z_2$), which formalizes natural numbers and sets of natural numbers. By working within weak base theories, typically Recursive Comprehension Axiom Zero (RCA$_0$), researchers classify a vast array of mathematical theorems into a hierarchy of five main subsystems: RCA$_0$, Weak König's Lemma (WKL$_0$), Arithmetical Comprehension Axiom Zero (ACA$_0$), Arithmetical Transfinite Recursion Zero (ATR$_0$), and $Pi^1_1$-Comprehension Axiom Zero ($Pi^1_1$-CA$_0$). This paper provides a comprehensive overview of Reverse Mathematics, detailing its historical development, core methodology, the characteristics of the "Big Five" subsystems, and representative mathematical theorems classified within each. It explores the philosophical implications of this program, highlighting how it unveils the precise logical and foundational microstructure underlying seemingly diverse mathematical results, thereby contributing to a deeper understanding of the inherent strengths and dependencies of mathematical knowledge.

Open access
2 source records
Computability, Logic, AI Algorithms
Mathematical and Theoretical Analysis
History and Theory of Mathematics
Original source
Jan 3, 2025·arXiv (Cornell University)
0 cites
The Proof is in the Almond Cookies

Remi van Trijp, Katrien Beuls, Paul Van Eecke

This paper presents a case study on how to process cooking recipes (and more generally, how-to instructions) in a way that makes it possible for a robot or artificial cooking assistant to support human chefs in the kitchen. Such AI assistants would be of great benefit to society, as they can help to sustain the autonomy of aging adults or people with a physical impairment, or they may reduce the stress in a professional kitchen. We propose a novel approach to computational recipe understanding that mimics the human sense-making process, which is narrative-based. Using an English recipe for almond crescent cookies as illustration, we show how recipes can be modelled as rich narrative structures by integrating various knowledge sources such as language processing, ontologies, and mental simulation. We show how such narrative structures can be used for (a) dealing with the challenges of recipe language, such as zero anaphora, (b) optimizing a robot's planning process, (c) measuring how well an AI system understands its current tasks, and (d) allowing recipe annotations to become language-independent.

Open access
History and Theory of Mathematics
Plant Physiology and Cultivation Studies
Original source
Oct 25, 2024·Preprints.org
0 cites
Robin’s Criterion on Divisibility (II)

Frank Vega

The Riemann hypothesis, renowned for its deep connection to the distribution of prime numbers, remains a central problem in mathematics. Understanding the distribution of primes is crucial for developing efficient algorithms and advancing our knowledge of number theory. The Riemann hypothesis is the assertion that all non-trivial zeros are complex numbers with real part $\frac{1}{2}$. It is considered by many to be the most important unsolved problem in pure mathematics. Several equivalent formulations of the Riemann hypothesis exist. Robin's criterion for the Riemann hypothesis is based on an inequality that divisor sum function $\sigma$ must satisfy at natural numbers greater than 5040. We require the properties of superabundant numbers, that is to say left to right maxima of $n \mapsto \frac{\sigma(n)}{n}$. By using Robin's criterion on superabundant numbers, we present a novel approach that culminates in a complete proof of the Riemann hypothesis. This work is an expansion and refinement of the article "Robin's criterion on divisibility", published in The Ramanujan Journal.

Open access
2 source records
Mathematics and Applications
Analytic Number Theory Research
Advanced Mathematical Identities
Original source
Mar 1, 2021·Isis
4 cites
Mathematical Selves and the Shaping of Mathematical Modernism: Conflicting Epistemic Ideals in the Emergence of Enumerative Geometry (1864–1893)

Nicolas Michel

For more than three decades, fierce debates raged both in private letters and across public spaces over a formula expressed in 1864 by the French geometer Michel Chasles. Proofs and refutations thereof abounded, to no avail: the formula was too useful to be abandoned by its defenders, too elusive to be made rigorous for its detractors. The disputes over Chasles’s formula would not be solved by a definitive proof or rebuttal; rather, the core epistemic issues at stake shifted from generality to rigor and from truth to geometrical significance. This essay tracks the main lines of circulation of Chasles’s formula and shows how the disputes to which it gave rise embody conflicting mathematical selves—that is to say, different normative accounts of what being a mathematician entails. This perspective allows for a renewed understanding of what historians have described as the conflicted rise of modernism in mathematics and a firmer rooting of it within broader late nineteenth-century cultural trends.

Open access
History and Theory of Mathematics
Philosophy, Science, and History
Philosophy and History of Science
Original source
May 20, 2020·HAL (Le Centre pour la Communication Scientifique Directe)
0 cites
Mathematical physics vs Philosophy: Hegel, Pythagorean triples, Spinors and Clifford Algebras

Daniel Parrochia

The german philosopher G.W.F. Hegel (1770-1831) in his Phenomenology of Spirit developed a negative conception of mathematics (for him, the pursuit of equality transforms objects into corpses and leaves them in an inert or dismembered state). This conception is however essentially based on a study of the Euclidean demonstration of the Pythagorean theorem which remains superficial. Not only are there many other proofs, but what is at stake in Pythagoras' theorem refers to complex structures unnoticed by Hegel and which he could not know: relationship between quadratic form and square of a linear form, geometric algebra, spinors and rotations in the space, all concepts of great importance in modern physics. But these are also very close, in fact, to what Hegel privileged: dialectical synthesis and movement. Thus, it is mathematics, and especially mathematical physics, which has now something hegelian, and maybe more than (contemporary) philosophy.

Open access
History and Theory of Mathematics
Philosophy and Historical Thought
Kantian Philosophy and Modern Interpretations
Original source
Dec 1, 2018·Alternation Interdisciplinary Journal for the Study of the Arts and Humanities in Southern Africa
6 cites
Decolonising Mathematics

CK Raju

Mathematics is not universal.Traditional (normal) mathematics accepts both deductive and empirical proofs like science.Colonial education replaced it with formal mathematics, the unique feature of which is not the use of reasoning but exclusion of the empirical.The coloniser never critically compared normal and formal mathematics, and tries to block such a comparison today.In Western dogma (of the church theology of reason) deduction is infallible.In fact, deduction is fallible.(1) An invalid deductive proof may be mistaken as valid.Doubts about validity can only be settled inductively.In practice, doubts are settled by invoking authority.Hence, deductive proofs are always more fallible than empirical proofs.(2) The postulates of formal math cannot be empirically checked; they are metaphysics (a metaphysics of infinity is needed even for the formal math of 1+1=2).Thus, far from being eternal truths, formal mathematical theorems may not even be approximately valid knowledge.(3) Formal math dogmatically assumes two-valued logic (on the superstition that logic binds God).But logic is neither culturally universal (e.g.Buddhist logic) nor empirically certain (quantum logic).Therefore, the theorems of formal math (even if valid) are not even truths relative to postulates.Hence, colonial/formal math is inferior and should be rejected.This does not affect the practical value of math -what 'works'which all comes from normal math which we should, accordingly, teach.I describe two actual decolonised math courses being taught: decolonised geometry in school, and decolonised calculus in the university.Decolonised (string) geometry that is indigenous to Africa and India, is superior to the geometry currently taught in terms of conceptual clarity (points, angle, distance), ease of learning, and practical applications.Decolonised calculus teaches calculus as normal math, the way it originated in India as a numerical technique to solve differential equations, together with non-Archimedean arithmetic (instead of formal 'real' numbers) and zeroism (instead of limits) used to sum infinite series.Europeans stole calculus from India, and falsely attributed it to Newton and Leibniz, who failed to understand how to sum infinite series due to the Western superstition (since Plato) that mathematics is eternal truth, and hence exact.Eventually, they introduced a metaphysics of infinity allied to church dogmas of eternityset theory, formal real numbers, and limitsas taught in university today.This metaphysics is irrelevant for any practical application of calculus, such as sending a rocket to the moon, but makes calculus very difficult.Decolonised calculus is easy, requires almost no background, and results in better science.It enables students to solve harder problems not covered in usual calculus courses.However, it excludes the ability to slip politically convenient dogmas into science through the metaphysics of formal math, and is, hence, resisted by the coloniser today.

Open access
History and Theory of Mathematics
Original source
Jan 1, 2017·ANU Open Research (Australian National University)
0 cites
The Riemann Roch Theorem (for algebraic curves)

Weiqiong Zheng

The Riemann-Roch theorem is a useful tool to calculate the dimension of the space of meromorphic functions with prescribed zeros and poles. There are severals versions of the theorem such as the Riemann-Roch theorem for line bundles, for (algebraic) curves, for surfaces and for higher dimensions. In this thesis, we will focus on the Riemann-Roch theorem for algebraic curves over an algebraically closed eld, which is a very important result in complex analysis and algebraic geometry. The study of the elds of rational functions on curves can be very useful in the proof. So we will recall some pre-knowledges in commutative algebra and some facts about a ne varieties. Then talk about function elds, discrete valuation rings and Weil di erentials to prove the theorem, using the methods of Andre Weil.

Open access
Algebraic Geometry and Number Theory
Meromorphic and Entire Functions
History and Theory of Mathematics
Original source
Jan 1, 2015·SSRN Electronic Journal
36 cites
Proof Beyond a Reasonable Doubt: A Balanced Retributive Account

Alec D. Walen

The standard of proof in criminal trials in many liberal democracies is proof beyond a reasonable doubt, the BARD standard. It is customary to describe it, when putting a number on it, as requiring that the fact finder be at least 90% certain, after considering the evidence, that the defendant is guilty. Strikingly, no good reason has yet been offered in defense of using that standard. A number of non-consequentialist justifications that aim to support an even higher standard have been offered; all are morally unsound. Meanwhile, consequentialist arguments plausibly support a substantially lower standard — in some cases so low as to undermine the idea that punishment is what is at stake. In this paper, I offer a new retributive justification that supports excluding the instrumental benefits of punishment from the balance that sets the standard. The resulting balance supports a standard arguably in the ballpark of the customary understanding of BARD: a standard requiring that the fact finder have a high, though not maximally high, degree of confidence that the defendant is guilty.

Open access
2 source records
History and Theory of Mathematics
Logic, programming, and type systems
Criminal Law and Evidence
Original source
Jan 19, 2000·OpenGrey (Institut de l'Information Scientifique et Technique)
14 cites
L'enseignement de l'analyse à la charnière lycéé/université : savoirs, connaissances et conditions relatives à la validation

Isabelle Bloch

The study of maths curriculum in the last grades of secondary schools in France along 30 years brings to light important variations that took place since 1962 in the contents of calculus at this level. These evolutions concern the objects of calculus that are taught as well as the procedures used by students and teachers. The suggested methods affect the knowledge that students are likely to use when doing the given tasks; and we observe that since the 90ths', the tasks given to students do not valorise validation. We study the possibilities of establishing an real relationship to the knowledge in calculus, at this level of teaching, and to allow the students to build appropriate methods.<br />We study the question of validation in teaching analysis through the following directions:<br />- the mathematical theory; its organisation; the methods of proof and the formalization; how these methods can be introduced in the teaching, in a way that students can understand;<br />- the existence of fundamental situations concerning the concepts of function and limit, and the possibility of implement such situations in the class.<br /><br />Besides, the study of the different settings of representation that are at stake to build a suitable environment for the teaching of function and limit makes new potentialities come to light, particularly in the graphic and formal settings.<br />The experimentation is carried through the building of situations with an a-didactical component for the teaching of function and limit, and through the observation of their implementation in a scientific class of 17 years-old students. This makes us first question the knowledge and professional knowing a teacher uses to manage a teaching situation in analysis, with an a-didactical component, and then draw a pattern to the teacher's milieu.<br />We also submit a test to the students and analyse the results with statistic tools so as to test the main features of the learning.<br />In the last chapter we study lectures at undergraduate level, and student's papers with lots of errors about calculus definitions. This leads us to question the knowledge that is compulsory at University level; we wonder how it is possible to link it with Secondary school's knowledge and habits.<br />As a conclusion, we shall suggest some remarks about the balance between definitive knowledge and what students must get as an experience in the teaching of a new mathematical theory; this balance affects the possibilities of validation and finally, the future prospects of teaching analysis from Secondary Schools to University.

Open access
Mathematics Education and Teaching Techniques
History and Theory of Mathematics
Original source
Jan 1, 1922·Transactions of the American Mathematical Society
2 cites
A symbolic theory of formal modular covariants

Olive C. Hazlett

Part I. Introduction 1. Prologue.Thus far, very little has been published on the general theory of formal modular invariants or covariants.Workers have, on the whole, obtained results for special, more or less isolated, cases; and although some beautiful and important general theorems have been proved, they are more or less unrelated.This is, of course, only natural in any division of knowledge in its formative state.Nevertheless, no worker in the field could fail to be conscious of a certain uniformity common to the special cases that have been studied in detail; though (alas !) this uniformity usually appeared to be broken ruthlessly in the next case studied.This breaking of an apparent law signified, however, merely that we did not know these special cases with a sufficient thoroughness of illuminating detail, or were trying unwittingly to make the laws conform to certain standards, unconsciously preconceived.This latter handicap was laid on us naturally enough by our thorough knowledge of algebraic invariants and the fact that this newer kind of covariants is, in many ways, strikingly like the older, classic covariants, though so tantalisingly different.Their similarity and their difference show themselves in the very beginning of the study: in the definitions, in the simplest examples.Perhaps the differences that first come to mind are those which are inherent in the fields of definition, which, in the case of classic covariants, is the field of reals or ordinary complex numbers and, in the case of modular covariants, is a Galois field, GF[pn], of order pn.These differences are too obvious to mention in detail, but one who has studied the beautiful proofs given by the old masters of invariant theory has been forced to the conclusion that most of the proofs seemed to use the properties of a field of characteristic zero, not in some accidental manner, but rather in veriest necessity.Growing from the surface differences between the two fields are two very important distinguishing characteristics of the two kinds of covariants.It * Part II was presented to the Society, September 7, 1920; Part III, December 28, 1921; Parts IV and V, December 27, 1922.

Open access
2 source records
Homotopy and Cohomology in Algebraic Topology
History and Theory of Mathematics
Mathematics and Applications
Original source