News for hackers. Stuff that matters.

A comment on Examples of common false beliefs in mathematics. Parent comment

Re:Examples of common false beliefs in mathematics by jcelerier on Monday January 31, 2022 @04:11AM (#30146048)
> Think of it as jumping into a new codebase you have never worked with before. It is full of strange functions calling each other for unknown reasons. It takes a while to get a good intuition for why.

Having done consulting, I frankly disagree. Except pathological cases most of the codebases I've been involved in it's possible to open a file at random at quickly make sense of what happens even without prior exposure. With math papers my experience is that you have to go 3/4 references deep before startit to understand where the notation comes from which wastes hours and hours. They should provide normalized names that could be searched for in e.g. a coq-based database of math concepts or something like that.

[ Parent | on HN ]
Re:Examples of common false beliefs in mathematics by gjulianm on Monday January 31, 2022 @06:01AM (#30146721)
> With math papers my experience is that you have to go 3/4 references deep before startit to understand where the notation comes from which wastes hours and hours.

Most of the time you'd need even more hours to understand not the notation but the concept themselves. In this list there isn't that much weird notation compared to weird words. For example, 'The Krull dimension of a noetherian integral domain is finite'. Even without notation, I'd expect a non-math major to have to go read 8-10 wikipedia pages just to understand "Krull dimension".

[ Parent | on HN ]
Re:Examples of common false beliefs in mathematics by benibela on Monday January 31, 2022 @10:34AM (#30149066)
And in codebases you can always search/grep for function names, so it easy to find the definition of everything.

In math it is a strange symbol in a PDF and you cannot search for at all

[ Parent | on HN ]
Re:Examples of common false beliefs in mathematics by BlueTemplar on Monday January 31, 2022 @10:46AM (#30149238)
This is more a limitation of computers and search engines. The move to using more Unicode like in Julia (and hopefully away from PDF to (m)HTML) should make this issue better.
[ Parent | on HN ]
Re:Examples of common false beliefs in mathematics by benibela on Tuesday February 01, 2022 @04:10PM (#30169328)
It is also because the notation with single symbols is too short

In code someone would write "lightspeed" and that can be searched. In a paper, they write "c" and when you search for it you find thousands of unrelated things.

[ Parent | on HN ]