[marktangotango]

Attempting to shoe-horn programming "lingo" into mathematics.

This statement is particularly amusing and highlights to me the fact that mathematics are a natural language, and not a programming language. Sussman had a really great presentation on this point; anyone who’d argue this please watch!

https://www.infoq.com/presentations/Expression-of-Ideas

[throwawaymath]

Do you mind summarizing Sussman's presentation? I can't view it on the link you provided without making an account. I can't tell from your comment whether you agree or disagree with the parent's point.

[espeed]

Here's a YouTube link of the presentation...

https://youtu.be/iqlxsSrd-M4

NB: The slides aren't visible in the video, but here's the corresponding AI Memo by Gerald Jay Sussman and Jack Wisdom from November 2012...

AI Memo 2002-018: The Role of Programming in the Formulation of Ideas (November 2012) [pdf] https://dspace.mit.edu/bitstream/handle/1721.1/6707/AIM-2002...

[andrepd]

That was very interesting! Certainly a different perspective.