Proof Theory

### How Mathematical Proofs can Help Unlock the Secrets of the Brain

Computational neuroscience, broadly defined, is the mathematical and physical modeling of neural processes at a chosen scale, from molecular and cellular to systems, for the purpose of understanding how the brain represents and processes information. The ultimate objective is to provide an understanding of how an organism takes in sensory