frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

The Unknotting Number Is Not Additive

https://divisbyzero.com/2025/10/08/the-unknotting-number-is-not-additive/
57•JohnHammersley•2h ago

Comments

ZiiS•1h ago
Great video coverage from Stand-up Maths https://www.youtube.com/watch?v=Dx7f-nGohVc
brap•1h ago
Whenever I encounter this sort of abstract math (at least “abstract” for me) I start wondering what’s even “real”. Like, what is some foundational truth of reality vs. stuff we just made up and keep exploring.

Are these knots real? Are prime numbers real? Multiplication? Addition? Are natural numbers really “natural”?

For example, one thing that always seemed bizarre to me for as long as I can remember is Pi. If circles are natural and numbers are natural, then why does their relationship seem so unnatural and arbitrary?

You could imagine some advanced alien civilization, maybe in a completely different universe, that isn’t even aware of these concepts. But does it make them any less real?

Sorry for rambling off topic like a meth addict, just hoping someone can enlighten me.

slickytail•1h ago
In the words of Kronecker: "God created the integers, all else is the work of man."
fedeb95•1h ago
I sometimes think about the same things. As of now, my best bet is that math is one of the disciplines studying exactly these questions.
fjfaase•1h ago
What is real? There are strong indications that what we experience as reality is an ilusion generated by what is usually refered to as the subconscious.

One could argue that knots are more real than numbers. It is hard to find two equal looking apples and talk about two apples, because it requires the abstraction that the apples are equal, while it is obvious that they are not. While, I guess, we all have had the experience of strugling with untying knots in strings.

jrowen•47m ago
It’s more than strong indications. What any individual life form perceives is a unique subset or projection of reality. To the extent that “one true reality” exists, we are each viewing part of it through a different window.
lqet•1h ago
Philosophical problems regarding the fundamental nature of reality aside, this short clip is relevant to your question:

> https://www.youtube.com/watch?v=tCUK2zRTcOc

Translated transcript:

  Physics is a "Real Science". It deals with reality. Math is a structural science. It deals with the structure of thinking. These structures do not have to exist. They can exist, but they don't have to. That's a fundamental difference. The translation of mathematical concepts to reality is highly critical, I would say. You cannot just translate it directly, because this leads to such strange questions like "what would happen if we take the law of gravitation by old Newton and let r^2 go to zero?". Well, you can't! Because Heisenberg is standing down there.
yujzgzc•1h ago
Yes these knots are real and can be experienced with a simple piece of rope.

The prime property of numbers is also very real, a number N is prime if and only if arranging N items on a rectangular, regular grid can only be done if one of the sides of the rectangle is 1. Multiplication and addition are even more simply realized.

The infinity of natural numbers is not as real, if what we mean by that is that we can directly experience it. It's a useful abstraction but there is, according to that abstraction, an infinity of "natural" numbers that mankind will not be able to ever write down, either as a number or as a formula. So infinity will always escape our immediate perception and remain fundamentally an abstraction.

Real numbers are some of the least real of the numbers we deal with in math. They turn out to be a very useful abstraction but we can only observe things that approximate them. A physical circle isn't exactly pi times its diameter up to infinity decimals, if only because there is a limit to the precision of our measurements.

To me the relationship between pi and numbers is not so unnatural but I have to look at a broader set of abstractions to make more sense of it, adding exponentials and complex numbers - in my opinion the fact that e^i.pi = 1 is a profound relationship between pi and natural numbers.

But abstractions get changed all the time. Math as an academic discipline hasn't been around for more than 10,000 years and in that course of time abstractions have changed. It's very likely that the concept of infinity wouldn't have made sense to anyone 5,000 years ago when numbers were primarily used for accounting. Even 500 years ago the concept of a number that is a square root of -1 wouldn't have made sense. Forget aliens from another planet, I'm pretty sure we wouldn't be able to comprehend 100th century math if somehow a textbook time-traveled to us.

jaffa2•1h ago
Theres always an xkcd : https://xkcd.com/435/
CJefferson•52m ago
To me, the least real thing in maths is, ironically, the real numbers.

As you dig through integers, fractions, square roots, solutions to polynomials, things a turing machine can output, you get to increasingly large classes of numbers which are still all countably infinite.

At some point I realised I'd covered anything I could ever imagine caring about and was still in a countable set.

JdeBP•2m ago
The entirely opposite perspective is quite interesting:

The "natural numbers" are the biggest mis-nomer in mathematics. They are the most un-Natural ones. The numbers that occur in Nature are almost always complex, and are neither integers nor rationals (nor even algebraics).

When you approach reality through the lens of mathematics that concentrates the most upon these countable sets, you very often end up with infinite series in order to express physical reality, from Feynman sums to Taylor expansions.

Byamarro•48m ago
Math is about creating mental models.

Sometimes we want to model something in real life and try to use math for this - this is physics.

But even then, the model is not real, it's a model (not even a 1:1 one on top of that). It usually tries to capture some cherry picked traits of reality i.e. when will a planet be in 60 days ignoring all its "atoms"[1]. That's because we want to have some predictive power and we can't simulate whole reality. Wolfram calls these selective traits that can be calculated without calculating everything else "pockets of reducability". Do they exist? Imho no, planets don't fundamentally exist, they're mental constructs we've created for a group of particles so that our brains won't explode. If planets don't exist, so do their position etc.

The things about models is that they're usually simplifications of the thing they model, with only the parts of it that interest us.

Modeling is so natural for us that we often fail to realize that we're projecting. We're projecting content of our minds onto reality and then we start to ask questions out of confusion such as "does my mind concept exist". Your mind concept is a neutral pattern in your mind, that's it.

[1] atoms are mental concepts as well ofc

movpasd•21m ago
I believe this is called epistemic pragmatism in philosophy: https://en.wikipedia.org/wiki/Pragmatism
JdeBP•23m ago
More usually, people imagine the reverse of the advanced alien civilizations: that the thing that we and they are most likely to have in common is the concept of obtaining the ratio between a circle's circumference and its diameter, whereas the things that they possibly aren't even aware of are going to be concepts like economics or poetry.
kurlberg•19m ago
Fun historical fact: knot theory got a big boost when lord Kelvin (yeah, that one) proposed understanding atoms by thinking of them as "knotted vortices in the ether".
qnleigh•1h ago
I read the Quanta article on this when it came out. They show the knots, and they're simple enough that I was almost surprised that the counterexample hadn't been found before. But seeing the shockingly complicated unknotting procedure here makes it much clearer why it wasn't!

It's interesting that you have to first weave the knot around itself, which adds many more crossings. Only then do you get a the special unknotting that falsifies the conjecture.

Yes, Python is Slow, but it doesn't matter for AI SaaS

https://fastro.ai/blog/python-is-slow-and-it-doesnt-matter
1•amai•34s ago•0 comments

Ratcheting with Postgres Constraint

https://andrewjudson.com/ratcheting-with-postgres-constraint
1•unripe_syntax•2m ago•0 comments

Haskell Weekly Issue 493

https://haskellweekly.news/issue/493.html
1•amalinovic•3m ago•0 comments

Why Nix Will Win (and What's Stopping It): A 3-Year Production Story

https://ryanrasti.com/blog/why-nix-will-win/
1•Lunar5227•5m ago•0 comments

A Manifesto for Data Realism

https://medium.com/@140shashank/a-manifesto-for-data-realism-75efb9f04892
1•bulla•8m ago•0 comments

A tool to detect and remove watermarks from AI-generated text

https://www.bedpage.com/
1•Lazycathy•12m ago•1 comments

Show HN: SHAI – a (yet another) open-source, terminal-native AI coding assistant

https://github.com/ovh/shai
2•Marlinski•13m ago•0 comments

Touying: Creating Slides in Typst

https://touying-typ.github.io/docs/start/
2•gku•14m ago•1 comments

Anyone working on bringing enterprise software to wearables using AI?

1•sudopaeg•14m ago•0 comments

n8n raises $180M to get AI closer to value with orchestration

https://blog.n8n.io/series-c/
3•doppp•18m ago•0 comments

QUIC and the End of TCP Sockets

https://codemia.io/blog/path/QUIC-and-the-End-of-TCP-Sockets-How-User-Space-Transport-Rewrites-Fl...
1•charles_irl•22m ago•0 comments

Tool for Archiving Twitter and Instagram Posts

https://xarchive.net
2•loa_observer•23m ago•0 comments

ClamAV is falsely reporting that PuTTY 0.83 is infected with malware

https://hachyderm.io/@simontatham/115343156220572734
1•sohkamyung•24m ago•0 comments

Interval Calculator

https://victorpoughon.github.io/interval-calculator/
2•fouronnes3•28m ago•0 comments

How the Internet Got So Bad – Cory Doctorow [video]

https://www.youtube.com/watch?v=rHHYql5Vsmk
2•diimdeep•29m ago•0 comments

AI researcher burnout: the greatest existential threat to humanity?

https://alignmentalignment.ai/caaac/blog/ai-researcher-burnout
2•louisbarclay•29m ago•0 comments

Voxscribe: STT Models Comparison Platform

https://github.com/Fraser27/VoxScribe
1•fraseque•30m ago•0 comments

Google confirms: Unlocking your phone's bootloader breaks local Gemini features

https://www.androidauthority.com/gemini-nano-bootloader-3605497/
2•robin_reala•31m ago•0 comments

Reuters' Generative AI and News Report 2025

https://reutersinstitute.politics.ox.ac.uk/generative-ai-and-news-report-2025-how-people-think-ab...
1•giuliomagnifico•38m ago•0 comments

Seedstrapping: The Smarter Way to Fund Your Startup in 2025

https://seedstrapped.substack.com/p/seed-strapping-the-smarter-way-to
1•zvadaz•40m ago•0 comments

Images

https://images.net
2•bellamoon544•41m ago•1 comments

Ask HN: How to prepare ones investments for a potential AI bubble burst?

2•saubeidl•43m ago•1 comments

New China Export Controls for Rare Earths in Chips

https://twitter.com/tphuang/status/1976123793148899757
1•vonnik•43m ago•0 comments

Why is everything so scalable?

https://www.stavros.io/posts/why-is-everything-so-scalable/
3•kunley•44m ago•0 comments

ChatGPT Token Counter for your chat history

https://Token-Counter-nu.vercel.app
1•dagmawibabi•45m ago•1 comments

Framework supporting far-right racists?

https://community.frame.work/t/framework-supporting-far-right-racists/75986
4•praseodym•49m ago•1 comments

A Few Thoughts About Teaching School

https://catskull.net/a-few-thoughts-about-teaching-school.html
1•walterbell•51m ago•0 comments

Ask HN: Finding a US job as an American expat?

1•bosch_mind•55m ago•1 comments

Use the force (feedback) to solder small things

https://www.bunniestudios.com/blog/2025/use-the-force-feedback-to-solder-small-things/
1•fanf2•55m ago•0 comments

CloudTk

https://wiki.tcl-lang.org/page/CloudTk
2•thomasjb•59m ago•0 comments