Many see multicore processors as the way to solve the limitations of the uniprocessor. These architectures are not without problems. We argue that to address these problems, architectures needs to move away from an instruction-based model. The paper looks at how arithmetic and natural deduction can form the basis of a computational model that can be used to implement multicore architectures.