4 ms·
But I think we're getting there. To say the brain doesn't work like a formal system and to say how the brain works cannot be formalized are two distinct stateme
by unabst 10y ago
But I think we're getting there. To say the brain doesn't work like a formal system and to say how the brain works cannot be formalized are two distinct statements. Natural language may not be a formal language, but the process of building natural language systems is that of formalizing how it works. And our progress is evidence.
- the_af 10y agoI don't know if we're getting there. There is no evident natural progression to this conclusion. Maybe the brain just doesn't work in ways that can be formalized, and maybe it does. I don't think the evidence so far points unambiguously towards a model of the brain as a formal computing device. It may very well turn out to be a dead-end. What is true, however, is that it's not redundant to speak of "computational thinking", because it's not been proven a synonym for thinking in general.