Descrição
The Author discusses the meaning of the use of mathematical objects in representing knowledge. Starting with numbers, he examines sucessively others formal instruments, such as sets, structures, categories, and allegories, a new object proposed by Freyd & Scedrov (1990). This way, he suggests that the growth of the abstraction level does not presuppose a necessary progressive disconnection from reality; quite the contrary, it provides an increasing contact with it. || O autor discute o significado da utilização de objetos matemáticos na representação do conhecimento. Começando com os números, passa sucessivamente a outros instrumentos formais, como conjuntos, estruturas, categorias, e um novo objeto matemático proposto por Freyd & Scedrov (1990), as alegorias. Sugere que, neste percurso, o crescimento no nível de abstração dos objetos não conduz necessariamente a um distanciamento crescente, mas significa, pelo contrário, uma progressiva aproximação da realidade.
