I

Universidade Estadual de Campinas (Unicamp), Brasil

mwba@uol.com.br

Mauro W. B. AlmeidaI

MATEMTICA CONCRETA

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

Em recente artigo, Stephen Hugh-Jones tratou da escrita na pedra e da escrita no papel, e de ambas como diferentes modalidades indgenas de discurso e
msica. O trao fecundante dessa reflexo consiste em reunir em um mesmo
campo formas obviamente grficas, como petrglifos, pinturas de casas, padres de cestaria e caractersticas da paisagem, compreendidas em termos
grficos como marcas ou traos dos corpos de seres ancestrais e como signos
de suas atividades, conforme foram se movendo pelo mundo, as modalidades
da linguagem como a fala e o canto (Hugh-Jones, 2012: 139). 1
Comeando com o nexo entre desenho e paisagem, Hugh-Jones afirma, aparentemente contra Bateson (2000: 180-185), que o territrio o mapa. 2 Hugh-Jones acrescenta que seu foco ser posto mais na forma do que
nos contedos, afirmao que deve ser entendida, luz de sua aplicao ao
material etnogrfico, como o reconhecimento de que forma e contedo, ou
melhor, forma e fundo, se alternam de maneira complementar (Hugh-Jones,
2012; ver Lagrou, 2007, 2012; Severi & Lagrou, 2013), mas tambm que por forma devemos entender esquematismos capazes de gerar muitas formas que
correspondem a outros tantos contedos. Finalmente, argumenta Hugh-Jones,
h uma continuidade entre essas formas de escrita em pedra, escritas txteis
(como quipus) e escritas de cestos e a abundante escrita em papel resultante
da colaborao de brancos e ndios nos anos recentes. Essa linha de pensamento conecta, de um lado, as escritas concretas na pedra e na paisagem, na

matemtica concreta
726

tecelagem e na cestaria, a linguagem de cantos e falas e de outro lado, a

escrita alfabtica dos livros bilngues. 3 Os temas a envolvidos so mltiplos e
complexos. Meu ponto de vista ser o seguinte: toda escrita (uma modalidade
de linguagem) pode ser vista como parte de ontologias (o que alguns chamariam dimenso semntica), de sociologias (ou pragmtica segundo o mesmo
registro), e ainda como evidncia da capacidade formal (sinttica) do pensamento e da prtica. Sob esse ponto de vista, a afirmao de Hugh-Jones de
que privilegia o ngulo formal justifica minha tese neste comentrio: a saber,
a de que a escrita concreta (na pedra, em tecidos e em cestos) compartilha
com a escrita no papel, isto , com smbolos arbitrrios organizados sintaticamente, a expresso de uma capacidade matemtica que se manifesta, assim
como a capacidade de linguagem, em todos os povos e culturas, sob modos
diferentes, mas que preservam algo que no varia relaes e no contedo.
QUIPUS E RIOS
Stephen Hugh-Jones relaciona, de um lado, os desenhos da cestaria yecuana,
os livros sagrados kuna, os mastros totmicos da costa noroeste da Amrica
do Norte e o quipu andino; e de outro, os cantos rituais cuja estrutura consiste na listagem repetitiva de nomes e vrias outras formas de paralelismo
(Hugh-Jones 2012:143; ver Severi, 2004, 2009). Quipus so fios de algodo ou de
l nos quais so feitos ns a partir dos quais surgem outros fios nos quais so

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

feitos ns (ver Guss, 1989: 78; van Velthem, 2003, 2010, 2014; Grupioni, 2009;
Desrosiers, 1988, 2010). A tese de Hugh-Jones implica que quipus so mapas
com informao associada a lugares, ou seja, mapas georreferenciados ou,
ainda, SIGs (Sistemas de Informao Geogrfica). 4
A conexo entre a escrita dos cantos-mitos, a escrita das pedras-rios,
a escrita dos quipus e a escrita conceitual da lgica exibida nas figuras 1, 2,
3, 4, 5 e 6. Na figura 1, a representao dos cantos tribais anloga de uma
partitura orquestral, em que a melodia (perseguindo notas) exibida no eixo
horizontal e a harmonia (amontoando notas) exibida no eixo vertical, uma
analogia bem explorada por Lvi-Strauss (Hugh-Jones, 2012: 146). A figura 2
uma variante do mapa-quipu das Casas de Transformao, com os lugares de
parada da CobraCanoa (Prkumu & Kehri, 1995: 80; Hugh-Jones, 2012: 153).
Na figura 3, usei a sequncia de barraces no sistema de aviamento para ilustrar a escrita em rios: aqui, cada foz do rio principal d origem a uma nova
sequncia de barraces menores (Almeida, 1992). A figura 4 mostra a conhecida
imagem de um contador e tesoureiro publicada por Poman Ayala em 1615
(Urton, 1977: 206). A figura 5 uma representao esquemtica de um quipu em
que cordes so encaixados de maneira recursiva e contm pilhas de nomes
em ns (no desenhados) e em cores representadas por letra com diferentes
nmeros (Ascher & Ascher, 1981: 112). Finalmente, a Figura 6 foi retirada da

artigo | mauro w. b. almeida

727

1
Os dois eixos dos
cantos rituais. O eixo
X representa lugares
em sequncia. O eixo
Y representa nomes ou
eventos (Hugh-Jones,
2012:146).
2
Variantes dos mapasquipu das Casas de
Transformao
2

matemtica concreta
728

S
S

S
S

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

3
Rio Tejo, alto Juru: barraces ao longo do rio.
No Rio Tejo, as letras s representam barraces
na foz de cada afluente. Ao longo dos afluentes,
seringais secundrios com seus prprios depsitos
de mercadorias. Note-se o barraco principal S na
origem do rio Tejo.
4
Quipu exibido por um contador maior e tesoureiro.
Publicado por Poma de Ayala c. 1615. Fonte: Urton
(1977: 206).

artigo | mauro w. b. almeida

729

matemtica concreta
730

obra que inaugura a lgica moderna com uma notao bidimensional que pode
perfeitamente ser formulada com quipus (Frege, 1967: 31).
A inteno dessa sucesso de imagens fornecer uma evidncia visual
da tese de Hugh-Jones, a saber, que cantos-narrativas, rios (com marcas-pedras
e afluentes), quipus e a escrita conceitual fregeana so outras tantas variantes
de escrita, em um sentido generalizado que inclui mapa, arquivo, classificaes
e juzos lgicos.
Em outras palavras, cantos-narrativas so sequncias narrativo-musicais que contm episdios secundrios que, por sua vez, podem dar origem a
episdios tercirios, assim como rios-narrativas so sequncias de pedras e
outras marcas onde se amontoam nomes. Marcia e Robert Ascher oferecem
a analogia com um guia rodovirio que contm informaes tursticas sobre
cada um de seus pontos (Ascher & Ascher, 1981, 1991). O que h de comum entre cantos-narrativas, rios, quipus e formas lgicas que, em todos esses casos,
trata-se de cones que mostram relaes, ou de ndices que resultam de eventos.5
Pode parecer estranho primeira vista que relaes e nmeros sejam
mostrados por meio de cones. Mas o ponto essencial que, enquanto letras
como a, b e c na escrita conceitual de Frege so smbolos arbitrrios
sem conexo com o que representam (so depsitos de nomes), a rvore
que conecta essas marcas imita as relaes que conectam esses smbolos. Esse ponto foi destacado por Peirce, que afirmou que a linguagem da lgebra e
da lgica de natureza icnica, ideia formulada em um artigo de 1885 e que

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

corresponde perfeitamente ao carter-quipu da notao ideogrfica de Gottlob

Frege. Assim, no exemplo da Figura 5, no sabemos o que so a e b, mas
a sucesso de cordes que podemos representar como ab mostra a e b
conectados por uma relao . Se a e b so paradas ao longo do rio, essa
notao representa um trecho de um mapa. 6 Em suma, cantos, rios, quipus e
sentenas na forma algbrica so lgicas concretas, escritas em algodo, em
pedra e em diagramas no papel.
H mais que isso, porque, em suas palavras, [...] as ideias indgenas
sobre forma geomtrica, nmero e ordem devem ser includas como uma parte integrante das tradies orais, da iconografia e das tcnicas de memria
que estamos considerando... (Hugh-Jones, 2012: 157). A meu ver, Hugh-Jones
est de fato formulando a noo de que tradies orais, iconografia txtil e
tranagem, como quipus, e caminhos fluviais ou terrestres, alm de serem
parte de ontologias e de terem usos prticos, so atividades matemticas: so
matemtica concreta ou matemticas selvagens.7 Essa tese postula primeiramente que o pensamento selvagem que opera com signos concretos (cones
e ndices) adequado para expressar conceitos complexamente articulados
e com contedo numrico e geomtrico. Uma outra consequncia que a
ausncia de numerais em lnguas indgenas, ou mesmo de mecanismos gramaticais de natureza recursiva (ou seja, oraes subordinadas), no implica

artigo | mauro w. b. almeida

731

C1

C2

C1

C2

C1

C3

C1

C2

C1

C1

C1

C3

C1

C1

C2

C3 C1

C1

C2

C1

C2

C1

C1

C3

C1

C2

C1

C1

C3

C1

C1

C2

C2 C1

C1

a
c
b
c
a

5
Um quipu esquematizado.
O cordo principal assinala lugares em

sucesso espacial; cordes secundrios

contm informao sobre colheitas,
impostos e outros assuntos registrada

em ns (no desenhados) e em cores

representadas por letra com diferentes
nmeros (Ascher & Ascher, 1981: 112).
6
Escrita conceitual (Begriffschrift) 14
6

C1

matemtica concreta
732

de modo algum ausncia de pensamento matemtico, contrariamente a teses

que atribuem a certos povos cuja lngua pobre em numerais a incapacidade
numrica e matemtica.
Conforme Everett, com base na escassez de numerais entre os Pirah:
No h nmero gramatical em Pirah; ningum aprendera a contar at dez,
e ningum aprendera a somar 3+1, ou mesmo 1+1 e responder regularmente
2, pois este ltimo evidencia o aprendizado [] (Everett, 2005: 623-624, 626, grifos
meus). Ora, nessas passagens evidencia-se a confuso conceitual do autor para
distinguir numerais (nmero gramatical) de conceito de nmero, e para diferenciar o contar com nmeros do contar com palavras. O mesmo ponto tambm evidenciado quando somos informados de que no h nmeros ordinais
em Pirah, mas que os Pirah ordenam geraes de ego, abaixo de ego e acima
de ego (Everett, 2005: 633). A tese de Everett apoiou-se tambm supostamente
em experimentos de Gordon, que atestariam a incapacidade dos Pirah para
comparar quantidades grandes, mas tambm viciados pela mesma confuso
conceitual (Gordon, 2004: 496). Contudo, em artigo publicado no mesmo nmero
de Science, outra equipe fazia uma distino entre um sistema no verbal de
aproximao aos nmeros e um sistema de contagem baseado na linguagem
para o nmero exato e a aritmtica que consiste em uma rotina para fazer
emparelhar um-a-um objetos com numerais (Pica et al., 2004: 499, 503). Em
artigo publicado em 2008, Everett e os demais autores reconhecem que, contrariamente a Gordon, falantes do Pirah eram perfeitamente capazes de realizar

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

combinaes exatas com muitos objetos, mas, como relatado anteriormente,

eram imprecisos para combinar tarefas que envolviam a memria (Frank et al.,
2008: 819). A concluso passou a ser a de que palavras para nmeros (nomes
de nmero), number words, so uma tecnologia cognitiva para apreender a
cardinalidade de grandes conjuntos no tempo, no espao e em mudanas modais. Contudo, os autores insistem em que essa capacidade agora reconhecida no atesta conceitos numricos, mas apenas a capacidade de estabelecer
correspondncias um-a-um. Repete-se, assim, a concluso de Pica et al., com a
suposio de que essa tecnologia cognitiva teria que ser verbal. De fato, mesmo sem invocar o uso de quipus entre amerndios registrado apropriadamente
por Hugh-Jones entre vrias outras tecnologias de memria no-verbal vale
trazer um exemplo do noroeste amaznico tambm particularmente adequado.
So os convites lyen-ti que consistem em um dispositivo para a contagem de
dias dos antigos Palikur composto de um conjunto de varinhas artisticamente
enfeitadas, cujo uso foi descrito em 1926 por Nimuendaju: depois de receb-lo,
(o convidado) quebra diariamente as pontas de duas varinhas. Se sobrar uma
varinha, a festa comear no meio-dia do mesmo dia; se porm no sobrar
nenhuma, a festa comear de noite (ver Vidal, 2007: 23).
Eis a argumentao dos autores para concluir que os Pirah, embora
possam contar grandes quantidades, no tm representaes mentais das

artigo | mauro w. b. almeida

733

cardinalidades de conjuntos grandes, ou seja, no possuem conceitos de

nmero alm do conceito de um.
Teriam os Pirah representaes mentais das cardinalidades de conjuntos grandes? [...] O xito nas tarefas de correspondncia um-a-um e de correspondncia
desigual requer que os participantes entendam que a adio ou subtrao de
exatamente um objeto torna incorreta uma correspondncia, mesmo para grandes
quantidades. Assim, os Pirah entendem o conceito de um (embora no tenham
palavra para o conceito). Alm disso, parecem entender que somar ou subtrair
um elemento de um conjunto mudar a quantidade daquele conjunto (Frank et
al., 2008: 823).

Mas em seguida, os autores respondem pergunta: a capacidade de

contagem exata revelada pelos Pirah no atesta a representao mental de
grandes quantidades, porque ela pode ser completada com um algoritmo
simples:
Contudo, a tarefa de correspondncia um-a-um pode ser completada atravs de
um algoritmo simples: ponha uma bola junto de um cilindro. Em nenhum momento durante a tarefa os participantes tm que representar a cardinalidade do
conjunto inteiro. Eles s precisam entender que, na aplicao desse algoritmo,
exatamente uma bola que tem que ser aplicada a exatamente um cilindro. Assim,
nosso experimento sustenta a hiptese de que o conceito de quantidade exata no
criado pela linguagem, mas sugere, por outro lado, que a capacidade de lembrar
de cardinalidades de grandes conjuntos depende do aprendizado de palavras numricas, isto , dos nomes dos nmeros (Frank et al., 2008: 823, grifos do autor).

Mas essa concluso mostra apenas que, embora reconhecendo implicitamente a confuso anterior entre contagem e contagem com numerais, e a
incompetncia dos experimentos anteriores de Gordon com pilhas de gravador,
os autores ignoram a definio axiomtica moderna de nmero natural formulada por Dedekind e Peano. O que os axiomas de Peano afirmam que 1 um
nmero, e que adicionar 1 a um nmero resulta em um novo nmero, sempre
diferente de todos os anteriores. Mas justamente isso que os Pirah sabem segundo a citao anterior! Mais precisamente, os axiomas de Peano caracterizam
os nmeros naturais como um objeto | e como tudo que resulta de juntar | a um
nmero j construdo previamente. O resultado desse algoritmo de construo
de nmeros naturais uma sequncia assim: |, ||, |||, ..., ||||||, ... irrelevante aqui
dar nomes para cada objeto da srie, e uma srie de palhinhas como nos convite
palikur uma tcnica de armazenamento perfeitamente adequada.
Quanto ao processo de contagem, quando conjuntos so realmente muito
grandes, isto , infinitos, o nico mtodo para compar-los, como mostrou Cantor,
consiste em fornecer um algoritmo para exibir essa correspondncia um-a-um:
se no sobrar objeto algum, os conjuntos tm a mesma cardinalidade; caso contrrio, o conjunto em que houver sobra tem cardinalidade maior. Ora, os Pirah
possuem os axiomas de Peano, e contam como Cantor. Quanto exigncia de
numerais como tcnicas de memria para grandes nmeros, o fato que ser

matemtica concreta
734

capaz de dizer mil no traz minha memria uma representao mental

dessa quantidade, nem consigo distingui-la de mil e um: para isso, preciso
um algoritmo. Mais uma vez preciso recorrer matemtica contempornea
para discernir esse ponto. Um algoritmo para gerar o nmero simbolizado pela
palavra mil , por exemplo, uma sequncia |||... ||| em notao unitria.8 Em vez
de traos no papel, poderamos usar pedaos de palha como fazem os Palikur
(Vidal, 2007) e os Tuyuka (Tenrio Poani & Ramos Poani, 2004).
E para transportar nmeros atravs do tempo e do espao, isto , para
depositar nmeros em uma memria? Contrariamente aos autores que supem ser necessria a tecnologia de numerais como memria numrica, h
uma grande variedade de meios que foram ilustrados por Hugh-Jones. Eis um
exemplo no caso do nmero mil: formemos um cordo de dez ns (contados
pelos dedos das duas mos como fazem os Tuyuka), sendo que de cada ns
saem outros dez cordes (contados da mesma maneira), com dez ns em cada
um desses dez cordes (sempre usando dedos de duas mos). O contador pode ento transportar consigo esse quipu e us-lo para contar mil objetos (ver
novamente as figuras 1 a 6).
Mais uma vez: Gordon e Frank et al. podem ser culpados de ignorncia
sobre o conceito de nmero, mas no os amerndios. Matemticos construtivistas declaram-se incapazes de representar mentalmente a cardinalidade de
nmeros infinitos como um conjunto inteiro (e chegam a recusar a existncia
de conjuntos infinitos completados): eles contentam-se com algoritmos para

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

produzir conjuntos de inteiros sempre maiores, e que operam acrescentando

uma unidade de cada vez. A memria da cardinalidade de conjuntos grandes
no dada por palavras, mas por algoritmos de contagem dos quais os quipus
so exemplos especiais.
Hugh-Jones j havia demonstrado em obras anteriores profunda familiaridade com os conhecimentos astronmicos de povos amerndios, e no artigo
que comentamos mostra inteira clareza sobre a competncia numrica dos
povos carentes de escrita: At ento, os antroplogos que estudam sociedades amaznicas prestaram pouca ateno questo da numerao por
extenso, povos carentes de escrita seriam tambm carentes ou deficientes
em nmeros e em modos de contar (Hugh-Jones, 2012: 158).
A pergunta : por que razo os quipus da poca da invaso foram destrudos sistematicamente, e porque somente no sculo XX os quipus sobreviventes
comearam a ser lidos como registros quantitativos e qualitativos? Marcia e
Robert Ascher, autores de inventrios exaustivos dos quipus sobreviventes e de
anlises detalhadas de cada um deles, invocaram como explicao a incapacidade dos colonizadores para reconhecer nos quipus uma escrita sofisticada,
dada a ausncia de equivalentes europeus: [...] no havia equivalncias a quipus
na cultura espanhola do sculo XVI e no h equivalente algum em nossa
prpria experincia (Ascher & Ascher, 1981: 3).

artigo | mauro w. b. almeida

735

Mas essa explicao no correta, porque havia uma contrapartida

bvia de quipus na experincia cultural dos colonizadores, que so os rosrios,
ou teros em sua forma reduzida, ao mesmo tempo tcnicas de contagem,
arquivos numricos, narrativas religiosas e mapas da salvao. 9 A dificuldade
estaria no na ausncia de contrapartidas de quipus no Ocidente, e sim na
inquietante similitude entre uma tcnica de contagem ocidental associada
cosmologia crist e organizao da autoridade catlica, de um lado, e as
tcnicas de contagem associadas ao imprio Inca e a sua cosmologia religiosa,
de outro. A destruio dos quipus foi parte da guerra dos colonizadores contra a metafsica matemtica americana, assim como a abolio da contagem
nos dedos nas escolas primrias e a ausncia de sorobans (um tipo de baco
japons) no ensino bsico reflete a continuao dessa guerra inglria contra
a matemtica selvagem em nossa prpria civilizao. 10 Finalmente, faz parte
dessa represso ao nosso inconsciente matemtico selvagem a separao entre contar e contar. E aqui cabe uma nica ressalva a meu mestre Steve. Ele
chama a ateno para o fato de que em portugus e espanhol o verbo contar
aplica-se igualmente enumerao de objetos e narrao de histrias. Mas
a verdade que a observao de Hugh-Jones tambm vale para o ingls e o
alemo, bastando lembrar que a palavra teller (o contador em caixas de banco)
vem de to tell (narrar), ao passo que zhlen e erzhlen evocam a origem igualmente comum de enumerar e narrar: a separao entre os dois significados
em todas essas lnguas fenmeno moderno e de origem erudita. 11
O grande matemtico Hermann Weyl viu nos padres decorativos que
se encontram em construes egpcias e rabes, mas tambm em artefatos
em pano e outros materiais em culturas sem escrita, as primeiras evidncias
da matemtica avanada na histria humana (Weyl, 1952). Essa conexo foi
posta em destaque por Speiser no caso de padres decorativos em 1937, e
por Tietze no caso de ns em 1938, data de uma palestra publicada em 1942
(Speiser, 1937; Tietze, 1942), em ambos os casos a partir da descoberta de novos
campos da matemtica avanada, a saber, a teoria dos grupos e a teoria dos
ns. No preciso lembrar que Andr Weil, outro importante matemtico moderno, percebeu na dcada de 1940 que a compreenso de regras de parentesco
de povos australianos levavam teoria dos grupos finitos, o que conduziu
ao estranho efeito da multiplicao de exemplos etnogrficos em cursos de
lgebra abstrata. 12 Pode-se falar de uma metafsica matemtica embutida em
sistemas de parentesco e nos kene das tecels kaxinaw assim como nos kolam
nas mulheres tamil, povos que tambm compartilham a elegante matemtica
das terminologias dravidianas. 13

Recebido em 10/09/2015 | Aprovado em 03/11/2015

matemtica concreta

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

736

Mauro W. B. Almeida PhD em Antropologia Social pela

Universidade de Cambridge e Mestre em Cincia Poltica pela
Universidade de So Paulo. Foi Tinker Professor na Universidade de
Chicago em 2006, e fez ps-doutorado na Universidade de Stanford.
professor-colaborador (aposentado) no Departamento de Antropologia
Social da Universidade Estadual de Campinas (Unicamp), e membro
do Centro de Estudos Rurais (CERES). Participou da criao da reserva
extrativista do Alto Juru, e do planejamento da Universidade da
Floresta (Universidade Federal do Acre Campus Floresta). Entre suas
publicaes est o livro, em co-autoria com Manuela Carneiro da
Cunha, A enciclopdia da floresta. O Alto Juru: prtica e conhecimentos
das populaes (2002).

artigo | mauro w. b. almeida

737

NOTAS

1 Todas as citaes de obras estrangeiras foram traduzidas

por mim.
2 Com a assero o mapa no o territrio, Bateson expressava a distino entre linguagem e metalinguagem
introduzida por lgicos (Bertrand Russell e Alfred Tarski)
no incio do sculo XX. Contudo, Bateson sabia que nas
lnguas naturais linguagem e metalinguagem alternam-se
em equilbrio instvel como forma e fundo na percepo
visual (Bateson, 2000: 184; Carneiro da Cunha, 2002: 358).
3 Ver Coleo narradores indgenas do Rio Negro, com oito volumes publicados pela Federao das Organizaes Indgenas do Rio Negro (FOIRN) e pelo Instituto Socioambiental
at a data do artigo de Hugh-Jones (2012). Ver tambm
escritas em cestos (Ricardo & Martinelli, 2001; van Velthem & Linke, 2010, 2014) e mapas escritos tanto na pedra
(IPHAN, 2007) como em papel (Cabalzar & Ricardo, 2011),
e a interao dessas escritas (Cabalzar, 2012).
4 Hans Tietze incluiu em brochura publicada em 1942 sobre a teoria matemtica dos ns uma extensa nota sobre
quipus. Nela se afirma que quipus serviam como mapas e
como registros de tributos: nos Quipus no apenas caractersticas externas como cor e tamanho dos fios, mas
tambm os diferentes tipos de ns eram relevantes para
o significado de um cordo-de-ns (Tietze, 1942: 36, nota
de rodap). Tietze afirmou tambm que a escrita de ns
(Knotenschrift) existia tambm nas Ilhas Marquesas onde
seria utilizada para registro de tributos e tambm para
registros genealgicos que abrangeriam mais de cem geraes, dando como fonte Karl von den Steinen (Marquesanische Knotenschnre, Correspondenzblatt der Deutschen
Gesellschaft fr Anthropologie, Ethnologie und Urgeschichte, 34,
1903: 108 ss, conforme Tietze, 1942: 36).
5 Eu chamo de cone um smbolo que est no lugar de algo apenas por se assemelhar a esse algo. Assim so os
diagramas da geometria. Na verdade, um diagrama que
tenha um significado geral no um puro cone, mas no
meio de nosso raciocnio, esquecemos em boa medida essa qualidade abstrata, e o diagrama passa a ser para ns
a prpria coisa [...] a deduo consiste em: construir um
cone ou diagrama cujas relaes entre suas partes apre-

matemtica concreta
738

sentam completa analogia com as relaes entre as partes

do objeto do raciocnio; em experimentar ou testar essa
imagem em nossa imaginao; e em observar o resultado a
fim de descobrir relaes ocultas ou ainda no percebidas
entre as partes (Peirce, 1933: 182 ss).
6 Como se sabe, essa a posio de Ludwig Wittgenstein no
Tractatus logico-philosophicus: forma lgica no simboliza,
mas mostra relaes entre coisas de modo figurativo (Wittgenstein, 1984).
7 Trata-se do que DAmbrosio e outros chamam de etnomatemtica (DAmbrosio, 1998, 2010; Ascher, 1991, 2002).
Preferimos evitar essa expresso. Uma primeira razo que
sua aplicao sistemtica nos levaria a falar de uma etnolgica para o estudo de lgicas em diferentes contextos
culturais, enquanto a expresso tambm entendida como
as prprias modalidades de matemtica postas em prticas
em diferentes culturas. Mas a razo principal j foi exposta:
no h diferena essencial entre as matemticas concretas
ou selvagens de quipus e bacos, de mapas polinsios e de
silogismos mitolgicos e a matemtica erudita.
8 Ver Carnielli e Epstein, onde j na pgina 44 os autores explicam que em notao unitria nmeros so representasociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

dos por , , , como |, ||, ||| e assim por diante, de tal modo que
para qualquer representao de um nmero na sequncia,
o prximo nmero representado colocando-se mais um
trao direita do anterior (Carnielli & Epstein, 2005: 44).
Uma excelente introduo teoria de Cantor Naive set
theory, o livro de Paul Halmos cuja traduo brasileira intitulada Teoria ingnua dos conjuntos (Naive set theory). Foi o
que me abriu os olhos para o assunto quando trabalhava de
dia como revisor e tradutor na Editora Polgono-Perspectiva
sob a direo de Jac Guinsburg, e estudava Cincias Sociais noite. Devo ao matemtico Antonio Galvez, hoje na
Universidade Estadual de Campinas, a orientao para redigir o verbete Infinito para a Enciclopdia Abril na dcada
de 1970 (Enciclopdia Abril, 15 vols., So Paulo: Editora Victor
Civita, 1976), em que a tcnica de contagem sem numerais
explicada para introduzir o conceito de infinito de Cantor.
9 Para se rezar o Santo Rosrio, criou-se um [...] instrumento
denominado tero exatamente por conter as bolinhas (ou
contas) necessrias para contar as oraes recitadas, corres-

artigo | mauro w. b. almeida

739

pondentes a uma tera parte do Rosrio completo original,

que continha 15 mistrios [...]. O tero um caminho que
nos mostra a porta de entrada da salvao (ver <http://
www.pnslourdes.com.br/rosario.htm>, 2015, grifos meus).
10 Sobre matemticas concretas ou selvagens nas ruas, ver
Nunes, Schliemann & Carraher (1993); sobre aritmticas
indgenas, ver Ferreira (2001, 2002, 2015); sobre matemtica de donas-de-casa, ver Lave (1998), Lave & Wenger (1991),
alm de uma crescente bibliografia.
11 Ver Wolfgang Pfeifer, Etymologisches Wrterbuch des Deutschen (Munique: Deutschen Taschenbuch Verlag, 1995); Emmanule Baumghartner & Philippe Mnard, Dictionnaire
tymologique et historique de la langue franaise (Paris: Le
Livre de Poche, 1996), alm do Dicionrio Houaiss da Lngua
Portuguesa (Rio de Janeiro: Objetiva, 2001).
12 Exemplos pioneiros so, depois do apndice de A. Weil s
Estruturas elementares do parentesco, Pierre Samuel (1967)
[1959] e uma inovadora introduo matemtica no nvel
de colleges norte-americanos, que introduz ao lado de tpicos
sobre programaao linear e processos estocsticos em gentica duas sees sobre regras de casamento em sociedades
primitivas (Kemeny, Snell & Thompson, 1956: 424-433).
13 Sobre sistemas terminolgicos dravidianos como clculo
matemtico, ver textos da antropolga tamil Ruth Manimekalay Vaz (2010, 2011, 2014), e comentrios em Almeida
(2014). Sobre os kolam de mulheres tamil e sua reescrita
como algoritmos computacionais pelos seus filhos e maridos, ver Ascher (1991, 2010, 2012).
14 perfeitamente natural escrever proposies da lgica
matemtica em quipus, embora a proposta de Frege exemplificada acima no tenha sido adotada por ningum. A
sucesso de linhas verticais indica implicao lgica. As
letras representam sentenas elementares. A primeira linha vertical diz que a afirmao c implica que a afirmao
b implica a (ler de baixo para cima, seguindo a ordem dos
cordes). A segunda linha vertical diz que c implica b. E
a terceira linha vertical diz que c implica a. Mas cada um
dos cordes principais implica os que vm depois, de modo
que a proposio inteira afirma que, aceitando a primeira
linha, resulta que a segunda linha implica a terceira (Frege,
1967[1879]: 31). Na notao que veio a ser usada, o quipu
de Frege escrito assim: (c(ba))((cb)(ca)).

matemtica concreta
740

REFERNCIAS BIBLIOGRFICAS
Almeida, Mauro W. B. (2014). Comments on Vaz relatives,
molecules and particles. Mathematical Anthropology and
Cultural Theory. An International Journal, 7/3. Disponvel
em <http://mathematicalanthropology.org/Pdf/BarbosadeAlmeida%20MACT%200614.pdf>. Acesso em 29 nov. 2015.
Almeida, Mauro W. B. (1992). Rubber tappers of the upper
Jurua river. The making of a forest peasantry. Tese de doutorado. University of Cambridge.
Ascher, Marcia. (2010). Figuras do kolam. Scientific American
Brasil, 35, p. 68-73.
Ascher, Marcia. (2002). Mathematics elsewhere: an exploration of ideas across cultures. Princeton: Princeton University
Press.
Ascher, Marcia. (1991). Ethnomathematics: A multicultural
view of mathematical ideas. Belmont, CA: Brooks/Cole.
Ascher, Marcia & Ascher, Robert. (1981). Mathematics of the
Incas: code of the quipu. Mineola, NY: Dover.
Bateson, Gregory. (2000) [1972]. Steps to an ecology of mind.
Chicago: The University of Chicago Press.
sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

Cabalzar, Flora (org.). (2012). Educao escolar indgena do

Rio Negro, 1998-2011. So Paulo/So Gabriel da Cachoeira:
ISA/FOIRN.
Cabalzar, Aloisio & Ricardo, Beto (orgs.). (2006). Mapa-livro
povos indgenas do Rio Negro. So Paulo/So Gabriel da Cachoeira: ISA/FOIRN.
Carnielli, Walter & Epstein, Richard L. (2005). Computabilidade: funes computveis, lgica e os fundamentos da matemtica. So Paulo: Ed. Unesp.
DAmbrsio, Ubiratam. (2010). Volta ao mundo em 80 matemticas. Scientific American Brasil, 35 (Especial Etnomatemtica), p. 6-9.
DAmbrsio, Ubiratam. (1998). Etnomatemtica: arte ou tcnica de explicar ou conhecer.So Paulo: tica.
Everett, Daniel. (2005). Cultural constraints on grammar
and cognition in Pirah. Current Anthropology, 46/4, p. 621646.

artigo | mauro w. b. almeida

741

Frank, Michael C. et al. (2008). Number as a cognitive technology: evidence from Pirah language and cognition. Cognition, 108/3, p. 819-824.
Frege, Gottlob. (1967) [1879]. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure throught.
In: Van Heijenoort, Jean (org.). From Frege to Gdel: a source
book in mathematical logic, 1897-1931. Cambridge, MA/Londres: Harvard University Press, p. 1-82.
Gordon, Peter. (2004). Numerical cognition without words:
evidence from Amazonia. Science, 306, p. 496-499.
Grupioni, Denise F. (2009). Arte visual dos povos Tiriy e Kaxuyana: padres de uma esttica amerndia. So Paulo: Iep.
Guss, David M. (1989). To weave and sing: art, symbol, and
narrative in the South American rain forest. Berkeley: University of California Press.
Hugh-Jones, Stephen. (2012). Escrever na pedra, escrever
no papel. In: Andrello, Geraldo (org.). Rotas de criao e
transformao: narrativas de origem dos povos indgenas do
Rio Negro. So Paulo/So Gabriel da Cachoeira: ISA/FOIRN,
p. 138-167.
IPHAN. (2007). Cachoeira de Iauaret: lugar sagrado dos povos
indgenas dos rios Uaups e Papuri. So Paulo/So Gabriel da
Cachoeira: ISA/FOIRN.
Kemeny, John G.; Snell, J. Laure & Thompson, Gerald L.
(1956). Introduction to finite mathematics. Englewood Cliffs:
Prentice Hall.
Lave, Jean. (1998). Cognition in practice. Mind, mathematics
and culture in everyday life. Cambridge: Cambridge University Press.
Lave, Jean & Wenger, Etienne. (1991). Situated learning. Legitimate peripheral participation. Cambridge: Cambridge University Press.
Nunes, Terezinha; Schliemann, Analucia D. & Carraher,
David W. (1993). Street mathematics and school mathematics.
Cambridge: Cambridge University Press.
Peirce, Charles. S. (1933) [1885]. On the algebra of logic: a
contribution to the philosophy of notation. In: Collected
Papers of Charles Sanders Peirce. Cambridge: Harvard University Press, p. 210-249 (vol. III).

matemtica concreta
742

Pica, Pierre et al. (2004). Exact and approximate arithmetic

in an Amazonian indigene group. Science, 306, p. 499-503.
Ricardo, Beto & Martinelli, Pedro (orgs.). (2001). Arte Baniwa: cestarias de Arum. So Paulo/So Gabriel da Cachoeira: ISA/FOIRN.
Samuel, Pierre. (1967) [1959]. Uma aplicao da teoria dos
grupos: grupos de permutaes e regras de casamento em
algumas sociedades primitivas. In: Micali, Artibano (org.).
Elementos de lgebra. Poos de Caldas, SP: IMPA, p. 25-32.
Speiser, Andreas. (1937). Die Theorie der Gruppen von Endlicher Ordnung. Mit Anwendung auf algebraische Zahlen und
Gleichungen sowie auf die Krystallographie. 3a. ed. Berlim:
Julius Springer.
Tenrio (Poani), Higino P. & Ramos (Poani), Jos Barreto (orgs.). (2004). Keore. Utapinopona Saia hoa bauaneriputi. So
Gabriel da Cachoeira: ISA/FOIRN.
Tietze, H. (1942). Ein Kapitel Topologie. Zur Einfhrung in die
Lehre von den Verknoteten Linie. Leipzig/Berlim: B. G. Teubner.
Urton, Gary (com a colaborao de Primitivo Nina Llanos). (1977). The social life of numbers. A Quechua ontology
sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

of numbers and philosophy of arithmetic. Austin: University

of Austin Press.
Van Heijenoort, Jean (org.). (1967). From Frege to Gdel. A
source book in mathematical logic, 1897-1931. Cambridge,
MA/Londres: Harvard University Press.
Van Velthem, Lucia H. (2003). O belo a fera. A esttica da
produo e da predao entre os Wayana. Rio de Janeiro: Museu Nacional de Etnologia e Assrio & Alvim.
Van Velthem, Lucia H. & Linke, Iori v. V. (2014). O livro do
Arum. Wama Pampila Aruma Papeh. So Paulo/Macap:
Iep.
Van Velthem, Lucia H. & Linke, Iori v. V. (2010). Livro da
arte grfica Wayana e Aparai. Waiana anon imelikut pampila
Aparai zonony imenuru papeh. Rio de Janeiro: Museu do
ndio-FUNAI.
Vaz, Ruth Manimekalay. (2014). Relatives, molecules and
particles. Mathematical Anthropology and Cultural Theory:
An International Journal, 7/1. Disponvel em <http://math-

artigo | mauro w. b. almeida

743

ematicalanthropology.org/Pdf/RMVaz%20MACT%200614.
pdf>. Acesso em 29 nov. 2015.
Vaz, Ruth Manimekalay. (2011). The big bang of Dravidian
Kinship. Journal of the Anthropological Society of Oxford, New
Series, 3/1, p. 38-66.
Vaz, Ruth Manimekalay. (2010). The Hill Madia of central
India: early human kinship?. Journal of the Anthropological
Society of Oxford, New Series, 2/1-2, p. 9-30.
Vidal, Lux B. (2007). Povos indgenas do Baixo Oiapoque. O
encontro das guas, o encruzo dos saberes e a arte de viver.
Rio de Janeiro: Museu do ndio/Iep.
Prkumu, Umus & Kehri, Trm. (1995). Antes o mundo
no existia. Mitologia dos antigos Desana-Khripr. Desenhos de Luiz e Feliciano Lana. 2.ed. So Joo Batista do Rio
Tiqui/So Gabriel da Cachoeira, AM: UNIRT/FOIRN.
Weyl, Hermann. (1952). Symmetry. Princeton: Princeton
University Press.
Wittgenstein, Ludwig. (1984). Tractatus logico-philosophicus.
Tagebcher 1914-1916. Philosophische Untersuchungen. Frankfurt am Main: Surkhamp.

matemtica concreta
744

MATEMTICA CONCRETA
Resumo

Palavras-chave

Com base em trabalhos etnogrficos, o texto examina e

Stephen Hugh-Jones;

reflete sobre a continuidade existente entre diferentes

Quipus;

formas de escrita materializadas tanto na pedra como

Matemtica concreta;

na tecelagem, na cestaria, nos livros bilngues em papel

Formas da escrita;

e a linguagem dos cantos e falas indgenas. Argumen-

Linguagem.

ta-se que toda forma de escrita evidencia a capacidade

formal do pensamento e da prtica humanos. As formas
concretas da escrita analisadas expressariam ento uma
capacidade matemtica que se manifesta, assim como a
capacidade de linguagem, em todos os povos e culturas,
sob modos diferentes, mas que preservam algo que no
varia relaes e no contedo.
CONCRETE MATHEMATICS
Abstract

Stephen Hugh-Jones;

nuity between different forms of writing materialized in

Khipus;

stone, woven in cloth or basketry or inscribed in bilingual

Concrete mathematics;

paperbacks and the language of Indigenous songs and

Forms of writing;

speeches. All form of writing is evidence of the formal ca-

Language.

pacity of human thought and practice. The concrete forms

sociologia&antropologia | rio de janeiro, v.05.03: 725744, dezembro, 2015

Keywords

The article uses ethnographic works to analyze the conti-

of writing analysed here would hence express a mathematical capacity which, like the capacity for language,
manifests itself among all peoples and cultures in different ways, but always preserves something as invariable:
relations rather than content.