News for hackers. Stuff that matters.

A comment on A Programmer's Introduction to Mathematics. Parent comment

Re:A Programmer's Introduction to Mathematics by marktangotango on Saturday December 01, 2018 @08:52PM (#18580278)
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

[ Parent | on HN ]
Re:A Programmer's Introduction to Mathematics by throwawaymath on Saturday December 01, 2018 @09:07PM (#18580332)
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.
[ Parent | on HN ]
Re:A Programmer's Introduction to Mathematics by espeed on Saturday December 01, 2018 @11:42PM (#18580845)
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...

[ Parent | on HN ]
Re:A Programmer's Introduction to Mathematics by andrepd on Sunday December 02, 2018 @12:09AM (#18580926)
That was very interesting! Certainly a different perspective.
[ Parent | on HN ]