Talk:Set of Integers Bounded Above has Greatest Element

From ProofWiki
Jump to navigation Jump to search

Confusing page

I do not understand why this page makes a distinction without a difference.

If a set of integers is bounded above by an integer $x$, then it is bounded above by the real number $x$.

If a set of integers is bounded above by a real number $x$, then it is bounded above by the integer $\ceiling{x}$.

What is the point of having the separate definitions? I think it should be merged into one page (we can of course keep the different proofs). KarlFrei (talk) 02:37, 5 October 2018 (EDT)

Don't know. The contributor who perpetrated this nonsense made many deep-reaching structural and philosophical changes to a wide swathe of $\mathsf{Pr} \infty \mathsf{fWiki}$ without really following through his ideas, leaving us no choice but to block him and tidy up after him. I believe he may have had a strategy, but I never really learned what it was; as he was so much cleverer than everyone else, he did not need to justify his actions because he knew better than the rest of us.
I'd rather you left this sort of thing well alone for now, and concentrate on adding new stuff, leaving the long-time admins to continue the task of rationalising and refactoring as we go. We have had a lot of experience of enthusiastic new arrivals with bright ideas about how the site should be restructured -- but all too often it has ended in muddle and chaos because the true structure of $\mathsf{Pr} \infty \mathsf{fWiki}$ is imperfectly understood, and as a result it has got damaged, requiring lots more work to fix it again. --prime mover (talk) 02:48, 5 October 2018 (EDT)