Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Mathematics and language   This essay considers the special character of mathematical reasoning, and
draws on observations from interactive theorem proving and the history of
mathematics to clarify the nature of formal and informal mathematical language.
It proposes that we view mathematics as a system of conventions and norms that
is designed to help us make sense of the world and reason efficiently. Like any
designed system, it can perform well or poorly, and the philosophy of
mathematics has a role to play in helping us understand the general principles
by which it serves its purposes well.

18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
1
The categories of this paper are: cs
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat