Hacker News new | ask | show | jobs
by eli_gottlieb 4726 days ago
Computers don't think like computers. Computers reason formally. Thinking like a computer is just a matter of learning to reason formally and exactly instead of employing fuzzy mental abstractions.

This is primarily hard because we're wired for fuzzy mental abstractions, since they make loads of tasks (natural language, making breakfast, manual labor) far easier compared to taking genuine formal approaches, and we have a lower layer of the brain that can be trained to follow exact procedures quite well anyway.