Re:The Dragon Hatchling: The missing link between the transf...
by dxtrous on Wednesday October 22, 2025 @03:23PM
(#45673922)
> Claims/Observations end with a QED-symbol
Author comment: as a fairly common convention, QED immediately after a particular statement means that the statement should be considered proven. Depending on the text, this may either be because the statement (Observation) is self-explanatory, or, the discussion in the text leading up to the statement is sufficient, or, whenever the final statement of a Theorem follows as a direct corollary of Lemmas previously proven in the text.
Re:The Dragon Hatchling: The missing link between the transf...
by fxwin on Wednesday October 22, 2025 @05:02PM
(#45675101)
I could agree with that, but the example on p29 (Claim 6) ends with QED, but only then the proof follows. I realize I'm nitpicking form here, but still
Author comment: as a fairly common convention, QED immediately after a particular statement means that the statement should be considered proven. Depending on the text, this may either be because the statement (Observation) is self-explanatory, or, the discussion in the text leading up to the statement is sufficient, or, whenever the final statement of a Theorem follows as a direct corollary of Lemmas previously proven in the text.