Gödel Without (Too Many) Tears

Smith, P. (2022). Gödel Without (Too Many) Tears.

Type

Unclassified

Intellectual base

Unclassified

Year

2022

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Ω-complete theory
  • … formula, external universal quantifier over natural numbers, all instance proofs, universal conclusion and distinctions from omega-consistency and semantic completeness are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:2495dbe0f742 · see in the full table