Manuscript X-A-ST@1 · X-A-ST.tex · section · d9ccbde1

What is encoded

A finite Enter interface for supplied evaluations › What is encoded · lines 1899–1926

Back to manuscript

Fix a finite catalogue of smooth configurations, tests, and prescription labels. For each catalogue entry and coefficient order , the classical number

is mathematically defined by the preceding construction. An installed table stores finitely many rational approximations, intervals, or exact values that have been supplied independently.

Neither existence of these numbers nor a finite lookup circuit is an algorithm for acquiring arbitrary smooth fields. No universal finite encoding of real numbers or smooth configurations is assumed.

The catalogue is nonempty without any numerical execution: take , , or , , and a fixed test with integral one. The exact coefficient triples are respectively and . These are evaluations of the classical functional, not measurements on a continuum quantum field.

Displayed formulas in this passage

  • unlabeled · line 1905