With surreals I might have transfinite quantities that can reliably compare every which way despite both members being beyond a finite bound. For “tame” entities all kinds of nice properties are easy to get/prove. The game of “how wild my entities can get while retaining a certain property” is a very different game. “These properties are impossible to get even for super-wild things” is even harder.
Mazur seems (atleast based on the wikipedia article) not to be a proof of certain things, so that warrants special interest whether the applicability conditions are met or not.
With surreals I might have transfinite quantities that can reliably compare every which way despite both members being beyond a finite bound. For “tame” entities all kinds of nice properties are easy to get/prove. The game of “how wild my entities can get while retaining a certain property” is a very different game. “These properties are impossible to get even for super-wild things” is even harder.
Mazur seems (atleast based on the wikipedia article) not to be a proof of certain things, so that warrants special interest whether the applicability conditions are met or not.