alt.hn

4/12/2026 at 8:25:03 AM

Is math big or small?

 https://chessapig.github.io/talks/Big-Small

by robinhouston

4/13/2026 at 3:56:16 AM

> When Illustrating a mathematical idea, the first thing you need to decide is the scale.

I have spent much of my life illustrating mathematical ideas, and scale is never the first thing I decide. Most commonly it stays abstract and there is no scale; it's flexible and I can zoom in and out at will. Sometimes I will choose a scale partway through or towards the end of an explanation, if I want to use a specific analogy, but I can comfortably rescale it to something else - the scale is never fixed.

Interesting to see such a different view.

by mkl

4/13/2026 at 8:24:47 AM

I propose a further and different "key to understanding."

I would add: the second thing to decide, besides the scale, is the Plan.

What do we mean, for example, by the "Ethical Plan." By ethical plan, I mean the purpose... "WHAT do I use mathematics for"?

Mathematics can be something immensely BIG if I use it for something important. Or it can be miserably SMALL if I use it for something petty and trivial.

In short: even in this case, greatness depends not only on the scale, but also on the eyes of the beholder, on the Context in which it is applied, and, why not?, also on the Purpose and the ethical plan.

If mathematics were, for example, something at the service of Justice, it would be something immensely Big.

by aledevv

4/13/2026 at 9:44:45 AM

It sounds like you ain't a fan of recreational mathematics?

by eru

4/13/2026 at 5:33:45 AM

Totally agree. I really enjoyed the article, and the illustrations are really cool but scale is just something I don’t even consider. Even the very first question baffled me, when it said “Picture a torus. Is it big or small?”

I answered an unambiguous “yes”.

Also, we haven’t defined measure yet here have we? What does it even mean for something to have scale without measure?

by seanhunter

4/13/2026 at 6:03:00 AM

Right, I immediately saw a torus - it was light blue (that's trivial to change, but I can't have no colour if it's visual) - but it could have been the size of a bacterium or the size of a galaxy. Without any context or application, the size is undefined.

by mkl

4/13/2026 at 7:48:06 AM

> Also, we haven’t defined measure yet here have we?

Kilograms, obviously.

by Pay08

4/13/2026 at 8:27:42 AM

A first-year physics teacher once told the class something that stuck with me (paraphrasing): "Nothing is big or small by itself. I want you to always follow these words with 'compared to ...'".

by lefra

4/13/2026 at 10:06:45 AM

She: It's not that big.

He: I think we can agree everything below the average between a Planck length and the size of the observable universe is objectively small, and everything above is objectively large. Using the geometric mean, that average is about 0.12 mm. Therefore my penis is actually large.

She: I shouldn't have married a physicist.

by cubefox

4/13/2026 at 10:44:02 AM

Average? So around half the size of the observable universe?

by leni536

4/13/2026 at 1:40:34 AM

Good article.

Math is smaller than the smallest and bigger than the biggest.

by N_Lens

4/13/2026 at 2:33:32 AM

It's also deep, it goes all the way to the bottom.

> The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson

by lioeters

4/13/2026 at 4:25:16 AM

Weird Things Happen When Math Gets Too Expressive

https://www.youtube.com/watch?v=EVwQsvof7Hw

Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.

by contraposit

4/13/2026 at 10:21:20 AM

Err? Peano Arithmetic is provably consistent in ZFC, but it is not in itself (if PA is consistent). Therefore if PA is consistent it is not equivalent to ZFC (regardless of whether ZFC is consistent or not)

by gottheUIblues

4/13/2026 at 4:37:25 AM

Even before I started the video, I had a feeling it was going to lead to a kind of "introspective" mathematics that can reason about its own reasoning. I was not disappointed, thank you.

Physics, Topology, Logic and Computation: A Rosetta Stone - https://arxiv.org/abs/0903.0340

by lioeters

4/13/2026 at 5:00:52 AM

[dead]

by contraposit

4/13/2026 at 6:33:11 AM

Yes.

by volemo

4/13/2026 at 8:19:47 AM

[dead]

by sunny678

4/13/2026 at 4:26:27 AM

[flagged]

by trendbuilder