O ponto holístico da geometria
Enquanto revisando algumas ferramentas matemáticas, para o estudo da teoria da recursão, pelo livro "Languages and Machines" (1996, p. 20, 21) de Thomas A. Sudkamp, ao me deparar com a definição recursiva, percebi bem mais claramente a abordagem da análise uso-significado de Robert Brandom, na qual uma relação semântica interposta pragmaticamente (um metavocabulário pragmático) é uma aplicação da definição recursiva. Baseado em Sudkamp, uma definição recursiva especifica (!) um método para construir os elementos de um conjunto, pelo uso de dois componentes: a base e um conjunto de operações. Assim, por exemplo, para construir o conjunto dos números naturais (N), basta "ter" a base zero e a operação sucessor. Desse modo, N = {0, s(0), s(s(0)), ...}, que abreviado fica N = {0, 1, 2, ...}. O primeiro componente (a base), da definição recursiva, em Brandom, é um metavocabulário pragmático (V'), e o outro componente é o conjunto de práticas ou habilidade...