A. de la Iglesia, en su clásico papel de Un problema insoluble en la escuela primaria de la teoría de números en el Diario Americano de Matemáticas Vol. 58 Nº 2. (1936), pp 345-363, (disponible aquí), escribió:
Hay una clase de problemas de primaria número de la teoría de que pueden ser declarados en el formulario que se requiere para encontrar un efectivamente calculable función de $f$ $n$ enteros positivos tales que $f(x_1,x_2,\dots,x_n)=2$ es una condición necesaria y suficiente para la la verdad de una determinada proposición de primaria de la teoría de números que involucran $x_1,x_2,\dots,x_n$ como variables libres.
Como un ejemplo que dio:
[...] [A] el problema de esta clase es, por ejemplo, el problema de la topología, para encontrar un conjunto completo de efectivamente calculable invariantes de cerrado tres dimensiones simplicial colectores de bajo homeomorphisms. Este problema puede ser interpretado como un problema de la escuela primaria de la teoría de números en vista de la hecho de que topológico complejos son representables por las matrices de incidencia. De hecho, como es bien sabido, la propiedad de un conjunto de matrices de incidencia que representan un cerrado tres dimensiones del colector, y la propiedad de los dos conjuntos de la incidencia de las matrices que representan homeomórficos complejos, tanto puede ser descrito en términos puramente número teórico de los términos.
Me gustaría entender la esencia de este ejemplo, aunque no es necesario en el resto del documento. ¿Qué es un "complejo topológico"? Es que un complejo simplicial? En qué sentido puede ser representado como la incidencia de las matrices, asumiendo que es el mismo concepto de la teoría de grafos?
