Currently the main application of computers in mathematics seems to be to compute things, i.e. to solve equations, evaluate integrals, etc. It is at all possible to delegate the thinking of a ...
Which areas of Maths can be formally studied in a cognitive sc major? Or: which areas of maths can support the study of brain. Some areas that seem relevant would be: mathematical logic, graph theory, ...