Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Forbidden Information   Goedel Incompleteness Theorem leaves open a way around it, vaguely perceived
for a long time but not clearly identified. (Thus, Goedel believed informal
arguments can answer any math question.) Closing this loophole does not seem
obvious and involves Kolmogorov complexity. (This is unrelated to, well studied
before, complexity quantifications of the usual Goedel effects.) I consider
extensions U of the universal partial recursive predicate (or, say, Peano
Arithmetic). I prove that any U either leaves an n-bit input (statement)
unresolved or contains nearly all information about the n-bit prefix of any
r.e. real r (which is n bits for some r). I argue that creating significant
information about a SPECIFIC math sequence is impossible regardless of the
methods used. Similar problems and answers apply to other unsolvability results
for tasks allowing multiple solutions, e.g. non-recursive tilings.

16
The categories of this paper are: stat
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an