3 ms·

Attempting to shoe-horn programming "lingo" into mathematics. This statement is particularly amusing and highlights to me the fact that mathematics are a natur

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 https://www.infoq.com/presentations/Expression-of-Ideas

throwawaymath 8y ago
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 8y ago
  Here's a YouTube link of the presentation... https://youtu.be/iqlxsSrd-M4 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-018.pdf?sequence=2 https://dspace.mit.edu/bitstream/handle/1721.1/6707/AIM-2002...
andrepd 8y ago
That was very interesting! Certainly a different perspective.