← All parts of this equation

Equation 12 · Part 13 · Codex in 2035: Scenarios for Software Teams, Verification, and Machine-Written Code

superscript

P(Δ)={(rj,aj,mj,hj,sj,ej)}j=1n,P(\Delta)=\{(r_j,a_j,m_j,h_j,s_j,e_j)\}_{j=1}^{n},
superscript

What this part means

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Its job in the formula

A raised mark can be a power or an index. Its position and the surrounding notation determine which.

The passage around this formula

A more useful provenance record attaches roles to transformations: P(Δ)={(rj,aj,mj,hj,sj,ej)}j=1nP(\Delta)=\{(r_j,a_j,m_j,h_j,s_j,e_j)\}_{j=1}^{n}. where each event records role r , actor a , model m , harness h , input state s , and evidence e . “Machine-originated” can then mean that an agent produced the first substantive implementation; “machine-verified” can mean automated evaluators generated the acceptance evidence; neither removes the human or institution that authorized deployment.

Read this part in the article →

Learn the underlying idea

An exponent tells how a base is used in multiplication. In x³, x is the base and 3 is the exponent: x³ = x × x × x.

Open the illustrated exponents: repeated multiplication and powers guide →

The article lists its research sources here.