{"id":"arxiv/2609.10864","url":"https://arxiv.org/abs/2609.10864","tags":["math.LO"],"score":0,"title":"Well-Defined but Not Predetermined Persistent Mathematical Objects, Embedded Observers, and the Provability of P = N P","domain":"math.LO","source":"arxiv","authors":["Rasoul Ramezanian"],"reviews":0,"subject":"math.LO","summary":"We develop a foundational distinction between \\emph{well-definedness} and \\emph{predetermination}. A persistent mathematical or computational object may return a unique answer whenever a query is made and preserve every previously returned answer, while its answers to as-yet unqueried inputs are not represented by one completed, history-independent extension. We call such an object \\emph{well-defined but non-predetermined}. We next formulate an observer-based semantics. All observers inhabit one shared computational world, their interactions modify one common global state, and they have…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}