= 27d567bc2d48d9f40e9ccc20ea370b15)
Vladimir_Nesov comments on Psychopathy and the Wason Selection Task - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (12)
Yes, I experience something similar when writing or understanding proofs. I think about how the proof is "using" something. This seems common among mathematicians. Mathematicians also seem to be fond about talking about where objects "live" which is similar notation.
That's where abstract mathematical concepts come from: you use only certain properties of an object in a proof, and thus the proof applies to all objects that have those properties, no matter what other properties they have, and the properties that were used define an abstraction of their own. This way, apples become numbers.
Nice. Same applies for extracting interfaces in programming (e.g. IComperable).
Presumably IComperable is the interface implemented by objects representing staged events such as concerts, galas, and quizzes.