Koch snowflake paradox: finite area, but infinite perimeter

What you've found is a fundamental property (or perhaps it would be better to say lack of property) of arc length in two dimensions — or going up one dimension, surface area in three dimensions: it's not 'continuous' with respect to small changes in shape.

You don't even need a Koch snowflake or similar fractal curve to see this; give me any shape — for instance, a circle — and give me an arbitrarily small box that its boundary passes through, and I can give you a shape that looks exactly the same outside the box but that has arbitrarily large arc length. For an example of this, imagine starting with the curve $y=\sin^2(\pi x)$ between $x=0$ and $x=1$. Then the exact arc length of this curve is hard to compute, but we can put a lower bound on it: the curve goes from $y=0$ to $y=1$, then from $y=1$ to $y=0$ again, so it must have total length at least $2$. $(^*)$

But now consider the curve $y=\sin^2(2\pi x)$ between $x=0$ and $x=1$. This is two copies of the sine curve placed next to each other, and its $y$ values take the 'path' mentioned above twice, so it must have total length at least $4$. And more generally, $y=\sin^2(n\pi x)$ has arc length at least $2n$ between $x=0$ and $x=1$. But the curve is always within the rectangle $0\leq x\leq 1\pi$, $0\leq y\leq 1$. So imagine that you tell me you want to get a continuous curve with minimum arc length $\ell$ that fits into a box of size (side length) $d$. Then I know that if I create a curve with arc length $\ell/d$ within a $1\times 1$ box, I can scale it by a factor of $d$ and get a curve of arc length $\ell$ within the $d\times d$ box. But I also know that I can create a curve with arc length at least $\ell/d$ in the $1\times 1$ box by using the curve $y=\sin^2(2\pi\ell x/d)$ (for $0\leq x\leq1$). So I can just "paste" this curve in wherever you tell me; I've only modified things within the $d\times d$ box, but I've made the arclength arbitrarily large.

As for what this has to do with 'painting' the snowflake, consider the thickness of the paint you're using to try and paint the sides of it. If you want your paint layer to have a finite thickness $\tau$, then we're not necessarily talking about the Koch snowflake itself, but just a curve that lies within a distance $\tau$ of it everywhere; since the paint 'hides' anything smaller than $\tau$, we can't tell the difference between the two anyway. But for any $\tau$ there are curves that stay within distance $\tau$ of the snowflake but have finite length! So we only need a finite amount of paint to do the painting here. And as your paint gets thinner and thinner, the length that you need to cover will increase — but that's all right, because your paint will spread farther and farther. In the limit, you're talking about 'painting' the infinite length of the snowflake itself — but now your paint layer is infinitely thin, so it shouldn't be too surprising that you can make it stretch as far as you need to. (This is very much analagous to taking a one-square-unit 'bucket' of 2d paint and noting that you can paint a $1$ unit $\times 1$ unit square with it, or a $2$ unit $\times 1/2$ unit rectangle, or a $1000$ unit $\times 0.001$ unit rectangle, or...)

Meanwhile, I can't do the same thing with area (or in the 3d case, volume); it's clear to see that any modifications that are made within a $d\times d$ box can only change the area of the figure (one way or the other) by at most $d^2$. $(^*)$ So if you tell me that you want to increase the area bounded by your shape by a thousand square units but only give me a $1/10\times 1/10$ unit box to do it in, I can fairly tell you that that's impossible.

Incidnetally, this same lack of continuity for arc length is at play in another very similar 'paradox': The staircase paradox, or why $\pi\ne4$ . The fundamental explanation is the same: the fact that two curves are arbitrarily close to each other along their entire spans tells you nothing about how close their arc lengths are.

$(^*)$ Note that I haven't given you proofs of these assertions! You should be skeptical here, because you've already seen that behavior doesn't necessarily match what you might expect where these things are concerned. Fortunately, these assertions are true, but proving them would require going pretty far afield.

You can see this paradox already with the "angel's bugle" obtained by rotating the curve $$y(x)={1\over x^{3/4}}\qquad(x\geq1)$$around the $x$-axis. The volume $$\pi \int_1^\infty y^2(x)\>dx$$ of this bugle is finite, whereas its surface area $$2\pi\int_1^\infty y(x)\sqrt{1+y'^2(x)}\>dx$$ is infinite. The latter would indicate that you need an infinite amount of gold to gild it on the inside, even though the volume is finite. The resolution of the apparent paradox is the following: In the term "gilding" we are conveying the impression that every surface element is plated with the same thickness, however small. But for the inside of an "angel's bugle" this is not possible since the cross-sectional diameter of the bugle converges to $0$ when $x\to\infty$.

This seems to be a derivative of the well-known coastline paradox

When you "paint" the Koch snowflake with a line of nonzero width, you are effectively sampling the fractal at a resolution of the line width. By doing so, you do not obtain the length of the infinite fractal, but instead a fractal with finite iterations, therefore obtaining a finite length.

This is analogous to the coastline paradox, which states that sampling a coastline at a higher resolution will yield a longer coastline than when the coastline is sampled at a lower resolution. In the example given by Wikipedia, sampling the coastline of Great Britain at 50km resolution gives a coastline length that is 600km longer than if it is sampled at 100km resolution.