Is there a way of describing it that doesn't require a computer science background? What are "traces" in this context? And what is a "finite dynamical process" that introduces infinities, and what is the "objectifying"? I can tell this is grammatical English, but the terminology is opaque.
Trace is something like a list of execution steps of a program, a list of what happens at each step, for all steps. When a program runs indefinitely, it'll be a potentially infinite list (or actually infinite if we know the program won't terminate). Finite dynamical system is something like a program (together with its current state) that is itself finite, and allows to compute data of the same kind (e.g. program + state) for the next step: this transition from the current step to the next step is the dynamic. Infinity appears in this process when we consi...
A monthly thread for posting rationality-related quotes you've seen recently (or had stored in your quotesfile for ages).