出版社：Grupo de Pesquisa Metodologias em Ensino e Aprendizagem em Ciências
摘要：Neste trabalho se encontra uma conexão entre a educação matemática e a arquitetura do conhecimento da computação, na noção de sistema formal. O que contamos aqui é a história do fracasso do bloqueio da simbiose de sistemas de pensamento heterogêneos. Essa é a história da computação, como momento talvez culminante de um projeto de unificação dos sistemas de pensamento. Partimos da transição observável entre a produção de autoevidência, convenção da matemática escolar clássica, e a realização da máquina de calcular. Num segundo momento caminhamos na direção da construção do conhecimento teoremático, que se prolonga na noção de máquina configurável. Essa é a experiência comum dos sistemas computacionais. O trabalho então se debruça sobre a terceira etapa, que corresponde à conexão possível entre o ideal de formalização matemática e o conceito de linguagem computacional, que está na origem do conhecimento da ciência da computação, e que desemboca no último estágio do percurso: o campo problemático dos sistemas autorreferentes, em que a tentativa de consubstanciar a recusa à simbiose dos sistemas de pensamento heterogêneos entra em uma deriva que a fará fracassar. O desenvolvimento conceitual assim engendrado acaba funcionando como conexão com o exterior do pensamento. Um exterior que impõe a consideração de que, à semelhança da psicanálise, o que resta do fracasso da computação como disciplina é uma ética.
关键词：Computational experience; Philosophy of computer science; Situated science.
