News for hackers. Stuff that matters.

A comment on The dirty secret of mathematics: We make it up as we go along (2018). Parent comment

Re:The dirty secret of mathematics: We make it up as we go a... by darepublic on Thursday September 15, 2022 @10:55PM (#32861529)
> They are attempts like Esperanto and other artificial languages like that and I think any attempts at 'codification' of maths to use some programming language has the same chance of success of wide adoption

Aren't existing programming languages already types of codified artificial math dialects which have seen wide adoption

[ Parent | on HN ]
Re:The dirty secret of mathematics: We make it up as we go a... by nequo on Thursday September 15, 2022 @11:39PM (#32861784)
That’s a good point.

Programming languages are more for humans than for computers. Otherwise we’d be writing our programs in 1s and 0s, and extending our editors in Emacs Binary and VSCode BinaryScript.

[ Parent | on HN ]