“Accepted” entries belong to the mathematical catalog. “Rejected” means the extracted span is not a complete mathematical record; it is still preserved here and in its full source. Where an adjacent source passage supplies the complete expression, the recovered replacement is linked.
Download every scan decision ↗
scan-96b74033ad9f9024
@brief Compute weight gradient: ∂L/∂w_ij = δ_j · x_i
Symbolic equation, mathematical parameter or mathematical definition.
scan-8f1ef59056f2ff52
@brief Three-factor learning: Δw = η·x_pre·x_post·R
Arithmetic, vector, recurrence or numerical relationship.
scan-eae5132cfef9b2de
@brief Eligibility trace update: e(t+1) = λ·e(t) + x_pre·x_post
Symbolic equation, mathematical parameter or mathematical definition.
scan-8fbecd4dbfefb958
@brief TD error: δ = r + γV(s') - V(s)
Symbolic equation, mathematical parameter or mathematical definition.
scan-b0f926663549aa9c
@brief Policy gradient: ∇J ≈ Σ(∇log π(a|s)·R)
Symbolic equation, mathematical parameter or mathematical definition.
scan-ee53bcde0ad52372
dΦ/dt = α(Φ_target - Φ) + β∇²Φ + γξ(t)
Symbolic equation, mathematical parameter or mathematical definition.
learning_math · dΦ/dt
This relation defines dΦ/dt in the source section “learning_math · dΦ/dt”. Uses a derivative or gradient to describe a rate of change or a direction of variation. Its…
CONSCIOUSNESS DYNAMICS · dΦ/dt
This relation defines dΦ/dt in the source section “CONSCIOUSNESS DYNAMICS · dΦ/dt”. Uses a derivative or gradient to describe a rate of change or a direction of variation. Its…
scan-1a7c742f4d48ec27
Where: α=decay, β=diffusion, γ=noise, ξ=Wiener process
Symbolic equation, mathematical parameter or mathematical definition.
scan-dd1249c397926ccf
ds² = gᵢⱼ(θ)dθⁱdθʲ (Fisher information metric)
Symbolic equation, mathematical parameter or mathematical definition.
scan-df68026beb34abd6
gᵢⱼ = E[∂log p/∂θⁱ · ∂log p/∂θʲ]
Symbolic equation, mathematical parameter or mathematical definition.
learning_math · gᵢⱼ
This relation defines gᵢⱼ in the source section “learning_math · gᵢⱼ”. Uses a derivative or gradient to describe a rate of change or a direction of variation. Its interpretation…
FISHER INFORMATION METRIC · gᵢⱼ
This relation defines gᵢⱼ in the source section “FISHER INFORMATION METRIC · gᵢⱼ”. Uses a derivative or gradient to describe a rate of change or a direction of variation. Its…
scan-bba272a2e13f3e20
F = E_q[log q(z) - log p(x,z)]
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-5883506c9400bf37
= D_KL(q||p) - log p(x)
Continuation fragment replaced by a complete exact adjacent source-comment span.
scan-2cb39cf83b5d3bf5
ε = x - μ (prediction error)
Symbolic equation, mathematical parameter or mathematical definition.
scan-c1b4a97d790dc16b
μ_new = μ + α·ε (update prediction)
Symbolic equation, mathematical parameter or mathematical definition.
scan-d80a88a194484d9e
ds² = gᵢⱼdθⁱdθʲ
Symbolic equation, mathematical parameter or mathematical definition.
scan-1d1659344b7beaaf
Natural gradient: ∇̃L = G⁻¹∇L
Symbolic equation, mathematical parameter or mathematical definition.
scan-39512a4af35e0468
F = D_KL(q||p) - log p(x|z)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-2bd4bc3a7085d870
KL = 0.5 * (log(σ_p²/σ_q²) + σ_q²/σ_p² + (μ_q - μ_p)²/σ_p² - 1)
Symbolic equation, mathematical parameter or mathematical definition.
scan-e484c7553a6337f3
∂KL/∂μ = (μ - μ_prior) / σ_prior²
Symbolic equation, mathematical parameter or mathematical definition.
scan-e6dce7e92b380396
Hebbian update: ΔW = η·x·y
Arithmetic, vector, recurrence or numerical relationship.
scan-06e955de8c8f3b60
BCM rule: ΔW = η·y·(y - θ)·x where θ is sliding threshold
Symbolic equation, mathematical parameter or mathematical definition.
scan-bba7e2f19fc41fc2
L = -log(exp(sim(z_i, z_j)/τ) / Σ_k exp(sim(z_i, z_k)/τ))
Symbolic equation, mathematical parameter or mathematical definition.
scan-264981e744a229d0
ds² = g_ij dx^i dx^j
Arithmetic, vector, recurrence or numerical relationship.
scan-5abdf9acbd5f13a2
g_ij(θ) = E[∂log p(x|θ)/∂θ_i · ∂log p(x|θ)/∂θ_j]
Symbolic equation, mathematical parameter or mathematical definition.
scan-f46c7e222a7c8b92
d²x^μ/dt² + Γ^μ_νρ (dx^ν/dt)(dx^ρ/dt) = 0
Symbolic equation, mathematical parameter or mathematical definition.
scan-d8f398e4e5c67302
∂g_ij/∂t = -2R_ij
Symbolic equation, mathematical parameter or mathematical definition.
scan-df8fbf6dd0d891d7
H(X) = -Σ p(x) log p(x)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-d20deadfbb0391ee
I(X;Y) = H(X) + H(Y) - H(X,Y)
Arithmetic, vector, recurrence or numerical relationship.
scan-7e6c9b5dbf5aad37
D_KL(P||Q) = Σ P(x) log(P(x)/Q(x))
Expression explicitly applies mathematical functions or optimization operators.
scan-342661e6dade374d
Φ = min_{partition} I(past; future) - Σ I(past_i; future_i)Symbolic equation, mathematical parameter or mathematical definition.
scan-be6742e7f5692da7
dX_t = μ(X_t, t)dt + σ(X_t, t)dW_t
Symbolic equation, mathematical parameter or mathematical definition.
scan-d8abd9f690f517a4
∂p/∂t = -∂(μp)/∂x + ½∂²(σ²p)/∂x²
Symbolic equation, mathematical parameter or mathematical definition.
scan-4cfabd2d922da267
dX_t = θ(μ - X_t)dt + σdW_t
Symbolic equation, mathematical parameter or mathematical definition.
scan-e008b1723211355c
W_p(μ,ν) = (inf_{γ∈Γ(μ,ν)} ∫|x-y|^p dγ)^(1/p)Symbolic equation, mathematical parameter or mathematical definition.
scan-5ed0c7b36f2f610a
W_1(μ,ν) = sup_{Lip(f)≤1} ∫f d(μ-ν)Symbolic equation, mathematical parameter or mathematical definition.
scan-fecc38b1682c61e9
g_ij = E[∂log p/∂θ_i · ∂log p/∂θ_j]
Symbolic equation, mathematical parameter or mathematical definition.
scan-e04bee0995fe600e
Γ_{ijk} = ½(∂g_{ij}/∂x^k + ∂g_{ik}/∂x^j - ∂g_{jk}/∂x^i)Symbolic equation, mathematical parameter or mathematical definition.
scan-70750c5bb0813bc7
a^μ = -Γ^μ_νρ v^ν v^ρ
Symbolic equation, mathematical parameter or mathematical definition.
scan-d828f4e2d06eeb66
R = 2K where K is Gaussian curvature
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-c237da65b333c91b
exp_p(v) ≈ p + v - ½Γ(v,v)
Arithmetic, vector, recurrence or numerical relationship.
scan-7d1e4d38592d2b0a
@brief Shannon entropy H(X) = -Σ p(x) log p(x)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-58be0909466af309
@brief Binary entropy H(p) = -p log p - (1-p) log(1-p)
Expression explicitly applies mathematical functions or optimization operators.
scan-88759d5b39866287
@brief Cross entropy H(P,Q) = -Σ P(x) log Q(x)
Reviewed as a mathematical definition, constraint, parameter, model axiom or numerical worked example. Scientific validity is reviewed separately.
scan-4707a7e4aac7fe4f
@brief KL Divergence D_KL(P||Q) = Σ P(x) log(P(x)/Q(x))
Expression explicitly applies mathematical functions or optimization operators.
scan-4a02416a1f4e3fc6
@brief Mutual information I(X;Y) = H(X) + H(Y) - H(X,Y)
Arithmetic, vector, recurrence or numerical relationship.
scan-ab91e111a68c9904
Φ = I(system) - Σ I(parts)
Symbolic equation, mathematical parameter or mathematical definition.
scan-e5f62edd5db98bf1
@brief Itô SDE step: dX = μdt + σdW
Symbolic equation, mathematical parameter or mathematical definition.
scan-8c2212b1a1748f89
@brief Ornstein-Uhlenbeck step: dX = θ(μ - X)dt + σdW
Symbolic equation, mathematical parameter or mathematical definition.
scan-5aa73ad3c236b14c
@brief Langevin dynamics step: dX = -∇V(X)dt + √(2T)dW
Symbolic equation, mathematical parameter or mathematical definition.
scan-9eab24590d4563f0
W_1(μ,ν) = ∫|F_μ^{-1}(t) - F_ν^{-1}(t)| dtSymbolic equation, mathematical parameter or mathematical definition.
scan-16a01fde255c1fe0
@brief Consciousness gradient: ∂Φ/∂x = (x-1)/((1+|x-1|)²) · sign(x-1)
Symbolic equation, mathematical parameter or mathematical definition.
scan-08279eccc6fe1843
@brief Lyapunov function gradient: ∂V/∂Ω = 2(Ω - Ω*)
Symbolic equation, mathematical parameter or mathematical definition.
scan-a9dbd34f90949eeb
@brief Free energy gradient: ∂F/∂x = 2(x - μ) - T·∂S/∂x
Symbolic equation, mathematical parameter or mathematical definition.
scan-cb50c8bbfb665599
@brief Natural gradient (Fisher-Rao): ∇̃f = G^{-1}∇fSymbolic equation, mathematical parameter or mathematical definition.
scan-019bf55159533e52
@brief Sigmoid with derivative: σ(x), σ'(x) = σ(x)(1-σ(x))
Symbolic equation, mathematical parameter or mathematical definition.
scan-79742f9d48127006
@brief Tanh with derivative: tanh(x), tanh'(x) = 1 - tanh²(x)
Expression explicitly applies mathematical functions or optimization operators.
scan-7d6b18c6a53a9291
@brief Outer product: M = α·u⊗v + M
Symbolic equation, mathematical parameter or mathematical definition.
scan-38248551080199a1
LEVEL 1: NEURON (Single Mind = Single Neuron)
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-a77343cc125f526e
LEVEL 2: NEURAL NETWORK (Mind Farm = Neural Tissue)
Reviewed as descriptive prose, application syntax, control-flow annotation, type/field mapping or an incomplete non-mathematical fragment.
scan-eeb9cdf10ee00071
Nernst Equation: E_ion = (RT/zF) * ln([ion]_out/[ion]_in)
Expression explicitly applies mathematical functions or optimization operators.
scan-3005af2de594cdff
V_m = (RT/F) * ln((P_Na[Na]_o + P_K[K]_o + P_Cl[Cl]_i) / (P_Na[Na]_i + P_K[K]_i + P_Cl[Cl]_o))
Expression explicitly applies mathematical functions or optimization operators.
scan-028064075dc9de62
C_m * dV/dt = I_ext - g_Na*m³*h*(V-E_Na) - g_K*n⁴*(V-E_K) - g_L*(V-E_L)
Arithmetic, vector, recurrence or numerical relationship.
scan-d166761e80f30fbf
α_m(V) = 0.1(V+40)/(1-exp(-(V+40)/10))
Symbolic equation, mathematical parameter or mathematical definition.
scan-c216a8349fbcf588
β_m(V) = 4*exp(-(V+65)/18)
Symbolic equation, mathematical parameter or mathematical definition.
scan-3216980209c9f8f3
α_h(V) = 0.07*exp(-(V+65)/20)
Symbolic equation, mathematical parameter or mathematical definition.
scan-0636e035edbbcf61
β_h(V) = 1/(1+exp(-(V+35)/10))
Symbolic equation, mathematical parameter or mathematical definition.
scan-488202bb80d35bc2
α_n(V) = 0.01(V+55)/(1-exp(-(V+55)/10))
Symbolic equation, mathematical parameter or mathematical definition.
scan-57720778f4b0c9a7
β_n(V) = 0.125*exp(-(V+65)/80)
Symbolic equation, mathematical parameter or mathematical definition.
scan-5549dd10e1888099
I_AMPA = g_AMPA * s * (V - E_AMPA)
Arithmetic, vector, recurrence or numerical relationship.
scan-a056ddefbad98202
ds/dt = -s/τ_AMPA + Σ_j δ(t - t_j)
Symbolic equation, mathematical parameter or mathematical definition.
scan-65313c9037fc5a5e
I_NMDA = g_NMDA * s * B(V) * (V - E_NMDA)
Arithmetic, vector, recurrence or numerical relationship.