• Lembot_0002@lemm.ee
          link
          fedilink
          arrow-up
          6
          ·
          3 days ago

          I think no, as we don’t have any statements about size of holes, so they might be infinitely small, making it trivial to fill a single pigeon with an infinite amount of holes.

          • Dunstabzugshaubitze@feddit.org
            link
            fedilink
            arrow-up
            5
            ·
            3 days ago

            seems like the problem is not well defined, because it might also be possible to drill a whole pigeon away, given a sufficient number of large enough holes.

            • yetAnotherUser@discuss.tchncs.de
              link
              fedilink
              arrow-up
              4
              ·
              3 days ago

              I disagree. A hole is only a hole when it has an uninterrupted “edge”.

              Drilling “two” holes that touch makes them just one (larger) hole.

              As such, if you were to drill the entire pigeon away you haven’t actually created a single hole. There is no pigeon anymore so there is no hole.

              If we were to only allow drilling valid holes (holes that have an uninterrupted edge) then you cannot ever drill a whole pigeon away.

            • Lembot_0002@lemm.ee
              link
              fedilink
              arrow-up
              4
              ·
              3 days ago

              Nah, all is good. You’re talking about irrelevant characteristics. If you really need to link the problem to the real world, then just imagine infinitely big pigeons and infinitely small holes. See how everything became obvious and trivial?