= 27d567bc2d48d9f40e9ccc20ea370b15)
IlyaShpitser comments on Open Thread: What are your important insights or aha! moments? - 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 (61)
It is interesting you understood imperative assignment at eight, before you understood equality. This meshes well with a hypothesis I heard.
AIUI, what SolveIt describes is more like a reduction relation ('leads to') than imperative assignment. And it's not that surprising, because you have to know about evaluating expression before you can use equality in any non-trivial way.
I don't want to speak for SolveIt, but "result of computation" presupposes a different outcome for a counterfactually different computation input. Which is a very important difference between equality and what I call "imperative assignment."
But I agree that kids natively perceiving [equations as a symbol game] vs [equations as causal systems] are different hypotheses, and we ought to be able to test which is correct.