Yes. Everybody here should be or get acquainted with Herbert Simon - he is both "Logic Theory Machine" and "General Problem Solver" and "linked lists", and "bounded rationality" and "satisficing".

Herbert Simon - https://en.wikipedia.org/wiki/Herbert_A._Simon