News for hackers. Stuff that matters.

A comment on For mathematicians, = does not mean equality. Parent comment

Re:For mathematicians, = does not mean equality by pron on Friday April 13, 2018 @07:36PM (#16834850)
Just a bit of background: Girard is paraphrasing Frege's famous paper On Sense and Reference[1] which is an investigation into the meaning of equality. As a result of that investigation, Frege shows that terms in a language have at least two kinds of meanings (sense and reference or denotation), which Girard presents in a programming context.

[1]: http://www.scu.edu.tw/philos/98class/Peng/05.pdf

[ Parent | on HN ]
Re:For mathematicians, = does not mean equality by cortesoft on Friday April 13, 2018 @11:38PM (#16835727)
Oh man, I took a great class on that paper in college. Spent the whole quarter reading it, yet lecture was always interesting.
[ Parent | on HN ]