309 575 1 PB

artigo de reviso
CONTROLE DE ERROS EM PROCESSOS:

uma alternativa para o ensino de Teoria dos
Limites para cincias de base Matemtica
Amrico Augusto Nogueira Vieira *
RESUMO
O presente artigo objetiva apresentar, sinteticamente,
uma forma moderna e pragmtica da Teoria dos
Limites; focando-se no conceito de limite finito de
funo a uma varivel real quando x tende a um valor
tambm finito. O texto compreende quatro subsees:
uma breve introduo, em seguida apresenta-se uma
estratgia didtico pedaggica para esta nova
abordagem e, aps, consideraes de cunho
epistemolgico sobre o uso do controle de erros na
cincia em geral. Ao final, conclui-se que a Teoria dos
Limites inaugurou uma Matemtica de cunho
epistemolgico que se imbrica em toda a prtica
cientfica como o modo de controlar erros em
processos. A pesquisa que subsidiou o presente
trabalho foi baseada em ampla bibliografia e foi
desenvolvida durante os anos de 2000 e 2005 em
curso de doutoramento na COPPE/UFRJ.
Palavras-chave: Educao. Matemtica. Teoria dos Limites.
Controle de Erros em Processos. Ensino de

Cincias. Epistemologia.
* Ps-Doutor em Cincia da
Informao (UFPB). Doutor em
Histria das Cincias, das Tcnicas e
Epistemologia
(COPPE/UFRJ).
Mestre em Engenharia de Produo
(COPPE/UFRJ). Mestre em Memria
Social e Documento (UNIRIO).
Professor de Direito na Universidade
Federal do Paran (UFPR, Brasil).
Professor Visitante de Cincia da
Informao na UFPB (2012-2014).
Bacharel em Direito. Bacharel e
Licenciado
em
Matemtica.
Atualmente Bacharelando em
Arquivologia (UEPB) e realiza
Especializao em Gesto Pblica
Municipal
pela
UFPB.
E-mail:
americo_vieira@yahoo.com.br.
1 INTRODUO
marco mais
significativo da
luta entre as ideologias portadoras da
cincia moderna cuja viragem se deu na
verdade teria sido vencida pela religio e
Revoluo Cientfica dos Sculos XVI e
no pela cincia. A compreenso, a
XVII o surgimento do Clculo Diferencial
previso,
e Integral. Sem este, a Fsica no teria
otimizao da atividade tcnica, que se
tomado o impulso que tomou, e as
apresentou
mltiplas previses obtidas a partir do
experincias humanas, teria tido um outro
surgimento
no
impacto e no haveria modernamente a
teriam sido possveis. Possivelmente, a
tecnocincia controladora da atividade
da
cincia
moderna
InterScientia, Joo Pessoa, v.2, n.1, p. 89-107, jan./abr. 2014
aperfeioamento
como
acmulo
das
89
Amrico Augusto Nogueira Vieira
produtiva material. A rejeio da inovao
Limites, esta apresentada de uma forma
tcnica no um caso isolado aqui e
totalmente nova e simples. Forma essa
acol ; h inmeros casos, e se no
que permitir o desvelamento do ethos do
possvel
controle, e no de uma cincia apenas
rejeitar
modernamente
inovao porque no se conseguiram
preditiva.
mecanismos impedidores, mesmo quando
pesquisa
que
subsidiou
esse impedimento visa, de fato, salvar a
presente trabalho foi baseada em ampla
espcie humana de aniquilamento2. Com
bibliografia (aposta nas referncias) e foi
mais
desenvolvida durante o doutoramento do
rapidamente, e muito eficientemente, a
autor no Instituto Alberto Luiz Coimbra de
essncia do Clculo Diferencial e Integral,
Ps-Graduao
no nos deteremos ao escopo terico (ou
Engenharia,
na forma) desenvolvido por seu criador,
COPPE/UFRJ
Isaac Newton3. Nossas consideraes
Programas
didticas4
seu
Engenharia da Universidade Federal do
desenvolvimento posterior, ou melhor,
Rio de Janeiro)6 durante os anos de 2000
sobre
de
a 2005, e o presente artigo uma
Weierstrass5. Antecipamos que, apesar
adaptao recente, indita e ampliada de
de darmos tratamento formal teoria que
um trecho de captulo dessa tese de
subsidia o Clculo Diferencial e Integral
doutoramento7.
objetivo
de
sero
elaborado
apresentar
sobre
refinamento
mais
de
Pesquisa
de
conhecido
como
(Coordenao
dos
Ps-Graduao
em
como um todo, isto , a Teoria dos

1
Veremos adiante que o prprio Clculo tambm sofreu

rejeies em seu incio.
2
Como exemplo, a tecnologia nuclear visando artefatos para a
guerra.
3
Sabemos que Leibniz tambm recebe crdito pela
criao/desenvolvimento do Clculo, porm, o faz de outra forma.
4
Entretanto, nas questes epistemolgicas que sero
abordadas, aps a parte da estratgia didtica sugerida,
considerar-se- todo o desenvolvimento do Clculo desde sua
criao/desenvolvimento por Newton e Leibniz.
5
Weierstrass no publicou suas idias sobre a aritmetizao
da anlise, mas elas foram difundidas por estudantes, como
Ferdinand Lindemann e Eduard Heine, que assistiram a suas
aulas. (BOYER, 1974, p. 410). (...) as definies de limite de
uma funo encontradas em livros atuais so essencialmente
as mesmas que Weierstrass e Heine introduziram h quase um
sculo. As chamadas provas por psilons e deltas so agora
parte do instrumental comum dos matemticos. (BOYER,
1974, p. 411).
90
2 UMA ABORDAGEM PRAGMTICA DA

TEORIA DOS LIMITES VISANDO O
DOMNIO DA SINTAXE
Em
nossas
argumentaes
estaremos entronizando as categorias de

conhecimento
tpicas
da
semitica
Site da instituio: <http://www.coppe.ufrj.br/>. Acesso em: 13

abr. 2014.
7
Tese denominada Prolegmenos a Uma Epistemologia do
Controle: rumo Engenharia do Conhecimento no Programa
Multidisciplinar de Histria das Cincias, das Tcnicas e
Epistemologia.
Controle de erros em processos: uma alternativa para o ensino de Teoria dos Limites para cincias de base Matemtica
(sintaxe, semntica e pragmtica). Neste
processo de desenvolvimento da forma
sentido, o que aqui proporemos partir de
(que poder ter sua tolerncia de erro, que
uma situao emprica (ainda que seja um
incialmente = 100 cm3, modificada
experimento mental sobre uma situao
pelos
de cunho prtico), de forma sistemtica, e
normatizao).
rgos
de
fiscalizao
e/ou
avanar do experimento prtico mental

para o domnio da sintaxe da principal
Figura 1 - Situao Geral do Experimento
definio da Teoria dos Limites (o caso do

limite uma funo a uma varivel real de
resultado finito quando a varivel x
tende tambm a um valor finito). Para
lograrmos xito, ento considerem o
seguinte experimento a seguir.
Fonte: Elaborado pelo autor (2005).
EXPERIMENTO
Quer-se construir um cubo (uma
RELATRIO DO EXPERIMENTO
espcie de sabo para lavar roupas, em

A
barra), a partir de uma dada argamassa

moldvel (matria prima), com um volume
ideal de 1000 cm3. Devido funo que
esta
pea
exercer,
rgo
de
fiscalizao (tipo o INPM Instituto

Nacional de Pesos e Medidas) permite
uma tolerncia de erro (que sempre prestabelecida)
mximo,
100
neste
cm3.
volume
Esta
de,
no
chefiada
pelo
do
enunciado
do
experimento, desenvolvemos o seguinte:

Vmx = 1100 cm3 amx = 10,32 cm
(arredondamento
na 2a casa
decimal, a menor).
Videal = 1000 cm3 aideal = 10,00 cm
Vmn = 900 cm3 amn = 9,66 cm
(a partir de uma
tolerncia
= 100 cm3).
(arredondamento
na 2a casa
decimal, a maior)
empreitada
dever ficar a cargo da seo de Moldes e

Formas,
partir
engenheiro
Newton. Este dever, ao final, descrever o
Tais arredondamentos levaram em

conta os procedimentos de majorao e
minorao fundando-se nos critrios de j
91
ser o valor mximo ou de j ser o valor
a variao de erro permitido na aresta (de
mnimo. A
casas
tal forma a concordar com os critrios pr-
decimais deve-se, em geral, aos aparelhos
estabelecidos na ordem de servio)8,
de mensurao disponveis e natureza do
determinou-se que se construsse uma
material empregado para a confeco do
forma com aresta interna de 10,00 cm,
molde. Relata-se, entretanto, que, devido a
sendo um erro possvel a maior ou a
pouca
operrios
menor de 0,32 cm (exclusive), o que veio
empregados foi-se obrigado a modificar o
a minimizar qualquer possibilidade de
acima estabelecido, respeitando, porm, as
confuso na compreenso da ordem.
condies
Finalmente, cumpriu-se o solicitado. Os
utilizao de
qualificao
dadas.
duas
dos
Face
confuso
provocada pelo estabelecimento de trs
procedimentos
arestas internas para o molde (mx, mn, e
permitem afirmar que os erros neste
ideal), procedeu-se da maneira a seguir:
processo esto controlados para qualquer
amx = 10,32 cm
tolerncia
1 = 0,32 cm
aideal = 10,00 cm
2 = 0,34 cm
amn = 9,66 cm
anteriormente
dada.
Isto
houvesse a alterao de
descritos
mesmo
se
= 100 cm3
para = 200 cm3, ou para = 50 cm3, (ou

qualquer outro valor positivo, dado que
Determinou-se aos operrios que
erros no mundo concreto so sempre
construssem uma forma com aresta
positivos) bastaria recalcular o a partir
interna de 10,00 cm, sendo possvel um
dos novos valores de e, ento,
erro a maior de 0,32 cm (exclusive) e a
fornecer o novo valor de
menor de 0,34 cm (exclusive). Ainda
admissvel na varivel formadora) para os
assim houve confuso. Tentou-se novo
operrios.
procedimento:
Matematicamente, pode-se escrever
amx = 10,32 cm
1 = 0,32 cm
aideal = 10,00 cm
(erro
acerca do relatrio do experimento:

= mn { 1 , 2} = 0,32 cm
lim x3=1000 > 0, > 0 tq 0 < x10< x31000<

x 10
2 = 0,34 cm
amn = 9,66 cm
Fim do Relatrio
Desta forma, unificando-se menor
92
Se unificssemos pelo maior valor de (2), ento violaramos

o valor mximo para a (passaramos de 10,32).
Este exemplo-experimento permite
forma possvel no real, ou seja, a cpia
que seja introduzida, nos cursos de
(no sentido utilizado por Plato); ou se
Clculo Diferencial e Integral, a Teoria dos
estamos a fazer a cpia da cpia, ou
Limites, com o seu verdadeiro enfoque de
melhor,
Limite como Controle de Erros em
simulacros10. Ainda que admitamos a priori
Processos,
definio
nosso erro, ao empreender a cpia, tal
formal de Limite Finito Quando x Tende a
como o novo discurso matemtico tambm
Um Valor Finito (um dos casos de
o faz: se x tende a a, ento: x
tendo
ento
controle do erro) a forma geral de :
se
estamos
construir
prximo de a, porm, diferente de a; o
lim f(x)= b > 0, > 0 tq 0 <x a< f (x) b<

xa
novo discurso no mais afirma o que ,

apenas diz o que tende a ser.
Na Geometria Euclideana, o lado
Se fizermos uma analogia de nosso

experimento/exemplo com a Teoria das
Ideias
de
Plato,
ento
quando
desejarmos construir no mundo sensvel

(real para ns e da cpia para Plato) um
certo
objeto
(que
atravs
de
uma
linguagem idealizada, denomina-se este

objeto de, por exemplo, cubo) estaremos
no papel de Demiurgos (o deus artfice).
Isto
estaremos
forma/termo,
carimbando
idealizada,
no
uma
chaos
de 10 cm, enquanto, no Clculo, o lado

tende a 10 cm. O primeiro um discurso
do tipo ontolgico: as afirmaes so
sobre o que , sobre o ser. O segundo
um discurso do tipo epistemolgico: isto ,
visa o que se depreende do ser e o que
possvel dizer dele, com o instrumental
lingstico
disponvel
que
ele,
objeto: tende a ser, tende a ter). A

certeza do que neste discurso se esvai,
mas mantm-se, a partir de um controle
gerando um objeto, no caso um cubo, no

mundo sensvel; um cubo borrado, um
cubo no cubo, uma cpia do cubo. O
ponto crucial que no sabemos ao certo
se, de fato, nos elevamos ao mundo das
essncias e assim conseguimos a melhor
9
Utilizam-se alguns termos funtados (relativos a funtores) por

mdulo devido incerteza da natureza do erro, se a maior ou a
menor.
10
Recomenda-se a leitura de Paidia de Werner Jaeger (1989,

p. 601-623) para quem no conhece a Teoria das Ideias de
Plato. Caso se queira antes ter uma leitura de carter ainda
bem mais introdutrio, ento h vrios outros autores e
modernamente at stios de internet que fazem meno a
Teoria das Ideias de forma bastante razovel (vide, por
exemplo:
<http://lrsr1.blogspot.com.br/2011/04/platao-teoriadas-formas-ou-ideias-e-o.html>, ou <http://www.monergismo.
com/textos/filosofia/teoria-formas-platao_nash.pdf>, ou <http://
www.puc-rio.br/pibic/relatorio_resumo2009/relatorio/ctch/fil/
carlos_edu.pdf>. Todos acessados em 14 abr. 2014. Alguns
bastante populares e rapidamente compreensveis, ainda que a
maioria sem grandes credenciais no metier cientfico, mas
razoavelmente hbeis e teis, sobretudo para estudantes sem
grande prtica de extensas leituras).
93
de erros, uma coeso e objetividade do
conceito de limite finito de funo quando
discurso.
x tende tambm a um valor finito, no
Ao
construo/
nos utilizamos do usual grfico cartesiano
carimbada de nosso cubo, esta realizada
para justamente enfatizar aqui o aspecto
atravs de um molde (outra construo
mais pragmtico do uso da Teoria dos
que conter erro, por estar no mundo das
Limites. Apesar do desenho do cubo ter
cpias). Devemos perceber que nossa
estado presente, ao evitarmos o desenho
tarefa mental ser controlar o erro no
do grfico cartesiano (que poder tambm
produto final, atravs da dissecao e
ser includo complementarmente e aps
controle
esse tipo de abordagem), procuramos dar
primitivas;
processo
realizarmos
das
variveis
devemos
de
formadoras
engendrar
fabricao
(procedimento
um
controlvel
sem
nos
limitarmos
uma
viso
No
euclideana tpica que se encerraria em
exemplo/experimento em tela, existe o
trs dimenses. Com isso visamos poder
controle (existe o limite), se e somente se,
mais facilmente retomar as mesmas
estiver ocorrendo que para toda tolerncia
consideraes acerca de controle de
de erro pr-estipulada (positiva, pois no
erros em Limites de Funes a Vrias
mundo sensvel s existe o positivo),
Variveis Reais (geralmente no Curso de
pudermos exibir uma tolerncia de erro na
Clculo
varivel formadora, tal que: se toda vez
(geralmente
que criarmos esta varivel formadora no
formadoras do custo de uma camisa (ou
mundo real (x), sua diferena com o ideal
outra pea de roupa, por ser exemplo
(10), seja menor que sua tolerncia de erro
fcil). Operar com n variveis bem
e, ento, isto acarrete que o produto final
mais fcil sob uma viso econmica do
real x3 esteja dentro das especificaes
que sob uma viso geomtrica, por esse
desejadas, isto , que sua diferena com o
motivo (entre outros) inserem-se estes
ideal (1000 cm3), seja menor do que a
pequenos
tolerncia
de
Finalmente,
controlvel).
nfase a questo do controle de erros
erro
na
II)11,
olhando
com
cuidados
para
n>3)
de
variveis
no
vcio
pr-estipulada.
apresentao
do
11
O que usual quando o curso de Clculo I possui seis ou

mais crditos.
94
procedimental
na
apresentao
primitiva, o mago, impostor ou

curandeiro se prope provocar
chuva por meios artificiais, ele
expressa sua compreenso de
uma ligao entre a chuva e o
crescimento das plantaes, entre
um e outro aspecto da natureza e
sua
estimativa
de
que
a
sobrevivncia do homem depende
do comportamento do mundo
natural. Ele sente que h alguma
conexo entre o homem e o
mundo que o cerca, algum
entendimento primitivo de que,
conhecido o procedimento correto,
o homem pode controlar as
foras da natureza e coloc-las a
seu servio.
do
Clculo I.
3 A IDEIA DE CONTROLE COMO
ETHOS DA PRTICA CIENTFICA
O homem, desde os tempos mais
remotos, sempre quis controlar o seu
destino. O termo previso ou previso
cientfica, muito utilizado em cincia,
apenas a condio sine qua non para
haver
atividade
primeiros
tempos
de
no
controle.
Nos
havia
um
conhecimento sistematizado, tal como j

encontramos nas primeiras civilizaes,
muito menos havia a cincia da forma que
praticamos. O que havia era a magia.
Seria a magia tambm uma forma de
controle? Para Colin Ronan (1987, p. 12,
negrito nosso):
impossvel examinar a histria
ou a teoria da cincia sem se
defrontar com a magia. Esta era
um complexo amlgama de
espiritismo e arcano. Para quem
no tenda a imaginar a cincia
moderna meramente como uma
taumaturgia, a prpria meno da
magia neste contexto pode
parecer
estranha
ou
at
inaceitvel. Contudo, aquilo que
aparentemente
constitui
abordagens
totalmente
disparatadas da natureza contm,
na
verdade,
muitos
fatores
comuns. A magia foi um modo
legtimo de expressar uma sntese
do mundo natural e do seu
relacionamento com o homem.
Quando,
numa
sociedade
Claramente
Ronan
tambm
vislumbra a idia de controle. Tal controle

de seu habitat, atravs da criao de
sobrenaturezas12,
foi
de
tal
forma
trivializado e banalizado, que chamamos

de busca da natureza, ir a um lindo
campo
com
cavalos
olhar
para
coqueirinhos plantados simetricamente,

pescar num pegue-pague e retornar para
casa numa estrada segura. Termos como
desenvolvimento sustentvel, impacto
ambiental e outros fazem parte de
nossas tcnicas de interveno e controle
sobre a natureza. claro que aquilo que
no domamos na natureza, furaces,
tempestades etc., esto sob observao,
com vistas obteno do maior nmero
de informaes possveis. Assim tambm
12
O termo sobrenatureza tomado aqui no mesmo sentido
que Jos Ortega Y Gasset o toma em sua Meditao da
Tcnica.
95
ocorre nos casos da Teoria dos Limites,
poder haver o contnuo ajustamento s
onde no h limite, isto , controle (Limite
demandas e flutuaes do mercado.
no Infinito que d Infinito, Limite no Finito
A Lgica Crisp13, de forma direta,
que d Infinito e nos casos em que os
controla a compatibilidade entre seus
Limites Laterais so distintos ou no
enunciados. E, em nosso formato sculo
existem). Ao exercer o controle sobre
XXI (tal como visto em VIEIRA, 2004),
seus pensamentos e suas representaes
controla
e,
gradativamente,
vlidas, as OLVs14, verificando se estas
exercer controle sobre seu habitat, o
efetivamente se encaixam na categoria,
Homem passa a constituir normas de
uma forma indireta de controle sobre os
convivncia,
enunciados. Isto , um enunciado
posteriormente
para
que
seja
possvel
as
verdadeiro
dos interesses do grupo. Lembramos que
principiologia adotada, com os axiomas
controlar e dominar no so sinnimos; a
adotados e com os resultados anteriores
idia de controle pode admitir a presena
de erros, neste caso estes que so
demonstrao lgica visa to somente a
controlados. As modernas normas de
verificar se o controle pode, ou no pode,
convivncia
ser exercido sobre o enunciado em
controles
que
sociedade exerce sobre seus partcipes.
logicamente
controlar os interesses individuais, em prol
so
se
operaes
demonstrados.
compatvel
Nesse
com
sentido,
demonstrao.
Algumas normas so consideradas to
Este controle sobre os enunciados,
importantes que a sociedade resolve
onde
delegar o controle exercido por estas as
ontolgico, era bem aceito pela religio
pessoas a um ente chamado Estado. Tais
Crist. Vejamos o que nos aponta o Bispo
normas
so
Constituio.
presididas
Um
dos
por
uma
pontos
mais
relevantes no Direito Constitucional o

controle
economia,
da
constitucionalidade.
como
anteriormente,
quer-se
Na
mencionamos
o
controle
do
processo produtivo e da distribuio, para

96
ainda
permanece
carter
13
Termo que os praticantes da Lgica e Matemtica Fuzzy

passaram a designar os praticantes da Lgica e Matemtica
usuais (notando que h muitas outras lgicas e matemticas,
tipo a famlia das lgicas paraconsistentes, entre outras).
14
Diz-se que uma operao uma OLV (Operao
Logicamente Vlida) se nunca transforma um enunciado
verdadeiro em um enunciado falso; podendo transformar um
enunciado verdadeiro em outro verdadeiro, um falso em outro
falso, ou at mesmo um enunciado falso em um enunciado
verdadeiro (VIEIRA, 2004, p. 36-40).
Berkeley15 em O analista quando ataca
ora expomos aqui com um razovel grau
sistematicamente a nova matemtica de
de
Newton e Leibniz (Berkeley, 2010, 2, p.
literatura atual e muito menos o era nos
637-638, grifo nosso)16:
sculos XVI e XVII. Vejamos mais um
Trata-se
de
uma
antiga
observao que a geometria
uma excelente lgica. E
preciso reconhecer que, quando
as definies so claras, quando
os postulados no podem ser
recusados nem os axiomas,
negados,
quando,
aps
contemplar
e
comparar
distintamente as figuras, as
propriedades delas so derivadas
por meio de uma cadeia contnua
e
bem
conectada
de
consequncias, sem jamais perder
de vista os objetos e sempre
mantendo a ateno fixada sobre
eles, adquire-se com isso um
hbito de raciocnio minucioso,
exato e metdico, hbito esse que
fortalece e ilumina a mente e
torna-se de uso geral na
investigao da verdade ao ser
transferido para outros assuntos.
Mas, por ora, valeria a pena
considerar at que ponto nossos
gemetras analticos se afastam
disso.
simplicidade
Clculo
Diferencial
corrente
na
negrito nosso):
Agora,
farei
observaes
somente acerca do mtodo de
eliminar tais quantidades, o que
se realiza sem a menor
cerimnia. Assim como no caso
das fluxes, o ponto de maior
importncia e preparatrio a
todo o restante era encontrar a
fluxo do produto de duas
quantidades
indeterminadas,
calculus
differentialis
no
(mtodo que se supe ter sido
apropriado do primeiro com
algumas pequenas alteraes),
o ponto principal obter a
diferena daquele produto. A
regra agora empregada
obtida com a rejeio do
produto ou retngulo da
diferena. E, em geral, supese que nenhuma quantidade
maior ou menor com a adio
ou a subtrao de seu
infinitesimal
e
que,
consequentemente, nenhum
erro pode surgir dessa
rejeio de infinitesimais.
que h algo muito estranho nesta nova

(o
trecho de Berkeley (2010, 18, p. 647,
Nesse sentido, Berkeley percebe
matemtica
no
Note-se que, naquele contexto,
Integral ou Clculo Infinitesimal). O que
seja por Newton e Leibniz no terem

15
O texto original de George Berkeley ficou pronto em 1734.

Uma traduo confivel do mesmo encontra-se em:
<http://www.scielo.br/pdf/ss/v8n4/07.pdf> (ltimo acesso em: 14
abr. 2014).
16
Antes do surgimento de Boole e Frege, a melhor fonte para o
estudo da Lgica Crisp na forma que modernamente a
entendemos era o texto Os Elementos de Euclides, que j
continha as principais ideias e mecanismos do Mtodo
Hipottico-Dedutivo. nesse sentido que Berkeley tece elogios
Geometria (idem para a admirao de Espinosa, Descartes e
muitos outros Geometria). Os trechos sobre Berkeley no se
encontravam originalmente na tese de doutoramento que deu
base ao presente artigo.
percebido a assuno a priori do erro

nesta nova matemtica, ou ainda que o
tenham
percebido
no
quiseram
ressaltar com temor de inserir o erro

(anlogo do pecado) na prtica cientfica,
onde a perfeio do crculo at bem
97
pouco reinava (antes de Kepler), Berkeley

no
deixou
passar
despercebido
Um leitor desavisado poderia ter se
surpreendido quando imediatamente aps
insero sutil do erro (o que ressaltamos
nosso experimento-exemplo trouxemos
no trecho anteriormente negritado). E
tambm a lume a Teoria das Ideias de
ainda (BERKELEY, 2010, 19, p. 647-
Plato. Notem que fazer cincia para
648, negrito nosso):
Berkeley operar no mundo das ideias,
No entanto, parece que, sejam

quais forem os erros admitidos nas
premissas, erros proporcionais
aparecero na concluso, sejam
eles finitos ou infinitesimais, e que
da geometria exigir que
nada seja negligenciado ou
rejeitado. Em resposta a isso,
direis talvez que as concluses
so rigorosamente verdadeiras e
que, portanto, tambm devem
assim ser os princpios e mtodos
dos quais so derivados. Mas
essa
maneira
invertida
de
demonstrar vossos princpios a
partir de vossas concluses tanto
vos peculiar, cavalheiros, quanto
contrria s regras da lgica. A
verdade da concluso no provar
a verdade nem da forma nem da
matria de um silogismo, na
medida em que a ilao poderia
estar errada ou as premissas
serem falsas e, apesar de tudo, a
concluso ser verdadeira, embora
no em virtude de tal ilao ou de
tais premissas. Digo que em
qualquer outra cincia os homens
provam suas concluses por meio
de seus princpios, e no os
princpios
por
meio
das
concluses. Mas, se na vossa
cincia permitis essa maneira
antinatural
de
proceder,
a
consequncia ser que devereis
adotar a induo e dizer adeus
demonstrao. Se aceitardes
isso, vossa autoridade para
guiar-nos em questes que
envolvem a razo e a cincia
no perdurar por muito mais
tempo.
98
onde
unicidade
perfeio
na
concepo dos objetos e fenmenos. Por

outro lado, no mundo da cpia ou no
mundo dos simulacros, as observaes
sobre estes mundos so permeadas pelo
carter indutivo (as cincias empricas
se
utilizam
fartamente
do
mtodo
indutivo)17, e isso que Berkeley percebe

(ou pelo menos intui) que est sendo
inserido sub-repticiamente nesta nova
matemtica. A nova matemtica no
mede o que est no mundo das ideias
como, por exemplo, um cubo idealizado
cujo lado de 10 cm; o que ela mede a
cpia ou o simulacro, que apenas tende a
ser de 10 cm. No que denominamos
mundo sensvel, ou mundo concreto,
ou mundo real, e que aqui analogizamos
com o mundo da cpia ou mundo do
simulacro (da Teoria das Ideias de
Plato),
as
mensuraes
realizadas
sempre estaro sujeitas a erros e, como
17
Vide Karl Popper em A lgica da pesquisa cientfica.
cientistas,
prever18
se
corolrio acerca das Integrais, tal como
Esta
nos defrontamos ao apresentarmos a
dicotomia entre uma lgica ontolgica
Soma de Riemann: um mecanismo
(Lgica Crisp, obtidas suas caractersticas
de controle de erro no processo de
gerais por Berkeley nos Elementos de
clculo de reas (o que natural, pois
Euclides
tanto a derivada como a integral so
possvel,
devemos
controlar
matemtica
os
Geometria)
e,
erros.
epistemolgica
nova
(Clculo
casos
de
limites).
Assim,
quando
Infinitesimal) ainda permeia nossa prtica
apresentamos a Teoria dos Limites para
cientfica (ainda que tentativas para novas
estudantes de graduao, sejam estes
lgicas
estejam
sendo
19
realizadas) .
estudantes
do
Bacharelado
(ou
Berkeley percebeu claramente que a
Licenciatura) de Matemtica ou alunos de
cincia, tal como ele a entendia, no
engenharias, Economia ou outros cursos
perduraria por muito tempo; e ele tinha
de base Matemtica, devemos ter em
razo, dado que o que se inaugurava com
mente
esta nova matemtica, o Clculo, era o
conhecimento diferente do Bacharelado
que denominamos de cincia moderna.
ou Licenciatura em Matemtica, ento

uma
que:
(1)
abordagem
se
for
que
rea
de
sentido
pragmtico ao domnio do conceito de

4 CONSIDERAES FINAIS
Limite
como
controle
de
erros
em
processos ser muito mais estimulante,

Conclui-se que haver limite (como
para quem ir praticar cincia emprica,
usualmente verbaliza-se em aulas de
do que qualquer outra estratgia de
Clculo Diferencial e Integral) haver
ensino
puramente
sinttica
e/ou
processos20.
semntica; (2) por outro lado, mesmo para
Tambm inescapvel a concluso
alunos de cursos de Matemtica, estes
controle
de
erros
em
possuiro, quando se tornarem docentes,

18
Condio sine qua non para um prximo passo.

Pessoalmente no vemos problema nesta dicotomia, dado que
o Princpio da Identidade seja voltado, tanto no caso do termo
como no caso do enunciado, somente para o aspecto sinttico.
Porm, nosso entendimento tambm no inibe (ou contrrio)
ao surgimento e uso na prtica cientfica de lgicas como a
Fuzzy e as paraconsistentes.
20
Quando no h o limite, ento no h o controle do erro no
processo (podendo ainda assim haver alguma informao se o
descontrole vai para o lado positivo ou para o negativo mais
ou menos infinito - etc.).
19
mais turmas de Clculo em outros cursos

do que no prprio curso de Matemtica.
Dessa forma, ao nosso entendimento,
mesmo se houver compreenso de que
para
aluno
de
Matemtica
outra
99
abordagem mais interessante, ento
os erros em processos acerca dos objetos
entendemos que essa outra abordagem
e dos fenmenos em cincia. Isto , os
poder ser apresentada em um curso de
mecanismos
Anlise Matemtica, entronizando-se, no
matemtica esto a controlar (ou a tentar
Clculo,
controlar) as diversas variveis envolvidas
uma
abordagem
mais
construdos
nos
ou
tratados pela cincia. Ou ainda, nas
manipulao de psilons e deltas e
cincias, seja pela Lgica (controle de
releve/ressalte a questo do controle de
compatibilidade de enunciados), seja pelo
erros na prtica cientfica. Entendemos
Clculo (controle de erros em processos),
que um perfeito domnio conceitual de
a ideia de controle (e no somente de
limites favorea tambm o aprendizado de
previso) essencial para a maioria das
derivadas (principalmente da parte relativa
cincias, sendo que, para as engenharias
um de seus pressupostos a existncia
Regra
que
Geral
vise
de
dar
sentido
Derivao),
das
fenmenos
integrais (inclusive de seus teoremas), de
e/ou
possibilidade
de
uma melhor compreenso do Clculo a
sistemas de controle.
ou
esta
pragmtica; essa que aqui apresentamos

outra
diversos
com
objetos
construo
de
Funes de Vrias Variveis, do Clculo
No controle de enunciados pela
Numrico (onde a questo do controle de
Lgica Crisp (que largamente utilizada
erros em processos computacionais
na
apresentada, em geral, logo no incio da
permanece o carter ontolgico (dado que
disciplina) e de vrias aplicaes do
os
Clculo
verdadeiro
as
cincias
empricas
tipo
Matemtica
enunciados
ou
tradicional)
ficam
em
ainda
fixados
falso)22,
em
as
mensuraes aferidas pelo Clculo j
Economia e engenharias.
Pode-se dizer, grosso modo, que o
possuem
um
carter
epistemolgico
Clculo e seus desdobramentos21 so a
(apenas tendem a ser). Sabemos que tais
principal base lingustica representacional
consideraes de cunho epistemolgico
da cincia moderna. Esta Matemtica
no so to correntes em institutos de
epistemolgica direcionada a controlar
Matemtica. Entretanto, a Lgica Fuzzy

22
21
Juntamente com a Lgica Moderna (que aqui denominamos

de Lgica Crisp).
100
Um enunciado verdadeiro (ou um enunciado falso),

portanto, de carter ontolgico (se epistemolgico, ento,
apenas tenderia a ser).
(que, ao nosso entendimento, faz com
em Matemtica, incita os amantes da
que os valores dos enunciados j no
Matemtica a iar velas e deixar os novos
sejam exatos ou fixos) e suas aplicaes
ventos do conhecimento possibilitarem a
so uma realidade em vrias reas do
visada de um novo mundo.
conhecimento
e,
nesse
sentido,
presente artigo, alm de criar novas

possibilidades de ensino-aprendizagem
ABSTRACT
This article intends to present, synthetically, a modern and pragmatic
presentation of the Theory of Limits; focusing on the concept of "finite limit
of a real variable function when x also tend to a finite value". The text
includes four subsections: after a brief introduction, present a didacticpedagogical strategy to this new approach. Then, some epistemological
considerations on the use of error control in general science are
discussed. Finally, it comes to the conclusion that the Theory of Limits
inaugurated a Mathematics of epistemological nature which is enmeshed
across all the scientific practice as the way of controlling errors in
processes. The research that supported the present work was based on
extensive bibliography and was developed during the years 2000 and
2005 in the doctoral program at COPPE/UFRJ.
Keywords:
Education. Mathematics. Theory of Limits. Error Control Processes.

Teaching of Science. Epistemology.
REFERNCIAS
ARRUDA, A. I. N. A. Vasiliev e a Lgica BARBOSA, J. E. F. Lgica a Tipos
Paraconsistente. 1. ed. Campinas: Finitos e Transfinitos. 1. ed. Rio de
UNICAMP, 1990.
Janeiro: IME, 1968.
AYRES JR., F. lgebra Moderna. Rio de BARTLE, R. G. Elementos de Anlise
Real. Rio de Janeiro: Campus, 1983.
Janeiro: McGraw-Hill do Brasil, 1974.
BACHELARD, G. A Nova Cincia. 1. ed. BARTHOLO, R. S. Os Labirintos do
Silncio: cosmoviso e tecnologia na
So Paulo: Abril Cultural, 1973.
modernidade. 1. ed. So Paulo: Editora
_______. Epistemologia. 1. ed. Rio de Marco Zero/ COPPE/UFRJ, 1986.
Janeiro: Zahar Editores, 1977.
101
_______.
A Dor de Fausto. Rio de _______. O Carter Metodolgico dos
Conceitos Tericos. 1. ed. So Paulo:
Janeiro: Editora Revan, 1992.
Abril Cultural, 1975.
BASTOS, C. R. Curso de Direito
Constitucional. 19. ed. So Paulo: CASSIRER, E. Ensaio Sobre o Homem:
Saraiva, 1993.
introduo a uma filosofia da cultura
humana. So Paulo: Martins Fontes, 1994.
BERKELEY, G. O analista: ou um discurso
dirigido
a
um
matemtico
infiel. CASTRUCCI, B. Introduo Lgica
Scientizudia, So Paulo, v.8, n.4, p.633- Matemtica. So Paulo: Nobel, 1979.
76,
2010.
Disponvel
em:
_______. Elementos de Teoria dos
<http://www.scielo.br/pdf/ss/v8n4/07.pdf>.
Conjuntos. So Paulo: Nobel, 1983.
Acesso em: 14 abr. 2014.
BERTALANFFY, L. V. Teoria Geral dos CERQUEIRA, L. A.; OLIVA, A. Introduo
Sistemas. 2. ed. Petrpolis: Vozes, 1975. Lgica. 1. ed. Rio de Janeiro: Zahar
Editores, 1979.
BOOLE, G. Studies in Logic and
probability. Londres: Ed. R. Rhees, 1952. CHERRY, C. A Comunicao Humana:
uma recapitulao, uma vista de conjunto
BOYER, C. B. Histria da Matemtica. e uma crtica. So Paulo: Cultrix, EDUSP,
So Paulo: Edgard Blcher, 1974.
1974.
BRAMELD, T. O Poder da Educao. 1. CHURCH,
A.
Introduction
to
Mathematical Logic. [S.l.]: Princeton
ed. Rio de Janeiro: Zahar Editores, 1977.
University Pres, 1956.
CMARA JUNIOR, J. M. Dicionrio de
Filologia e Gramtica: referente lngua CHURCHMAN, C. W. Introduo
portuguesa. Rio de Janeiro: J. Ozon, 1974. Teoria dos Sistemas. 2. ed. Petrpolis:
Vozes, 1972.
CARNAP, R. Empirismo, semntica e
Ontologia. 1. ed.
So Paulo: Abril COPI, I. M. Introduo Lgica. So
Cultural, 1975.
Paulo: Mestre Jou, 1978.
_______. Significado e Sinonmia nas COSTA, N. C. A. Ensaio Sobre os
Linguagens Naturais. 1. ed. So Paulo: Fundamentos da Lgica. 1. ed. So
Abril Cultural, 1975.
Paulo: HUCITEC, 1994.
_______.
Pseudosproblemas
na COSTA LIMA, L. Pressupostos do
Filosofia. 1. ed. So Paulo: Abril Cultural, Pensamento
Estruturalista.
In:
1975.
ESTRUTURALISMO
e
Teoria
da
Linguagem. 1. ed. Petrpolis: Vozes,
_______. Testabilidade e Significado. 1. 1971.
ed. So Paulo: Abril Cultural, 1975.
DAGHLIAN, J.. Lgica e lgebra de
Boole. 4. ed. So Paulo: Atlas, 1995.
103
DAVIS, P. J.; HERSH, R. A Experincia ECO, U. Tratado Geral de Semitica.

Matemtica. Rio de Janeiro: Francisco So Paulo: Editora Perspectiva, 1976.
Alves, 1989.
EUCLID. The Thirteen. Books of
DESCARTES, R. Discurso do Mtodo. Euclids Elements. Chicago: University of
So Paulo: Abril Cultural, 1983.
Chicago Press, 1952.
_______. Meditaes. So Paulo: Abril FEYERABEND, P. K. Dilogo Sobre o
Mtodo. Lisboa: Editorial Presena, 1991.
Cultural, 1983.
FREGE, J. G. Lgica e Filosofia da
DEWEY, J. Lgica: A Teoria da Linguagem. So Paulo: Cultrix/EDUSP,
Investigao. So Paulo: Abril Cultural, 1978.
1974.
_______.
Os
Fundamentos
da
DIAS DE DEUS, J. A Crtica da Cincia. Aritmtica. So Paulo: Abril Cultural,
Rio de Janeiro: Zahar Editores, 1974.
1983.
DIEUDONN, J. A Formao da _______.
Sobre a Justificao
Matemtica Contempornea. 1. ed.. Cientfica de Uma Conceitografia. So
Lisboa: Publicaes Dom Quixote, 1990.
Paulo: Abril Cultural, 1983.
DIJKSTERHUIS, E. J. Critical poblems in GOMES, A. M. Introduo lgebra
the history of science. [S.l.]: Univ. of Moderna. Rio de Janeiro: Faculdade
Wisconsin Press, 1969.
Nacional de Filosofia, 1960.
DIJKSTERHUIS, E. J.; FORBES, R. J.
Histria da Cincia e da Tcnica: da
antigidade ao sculo dezessete. Lisboa:
Ulisseia, 1963.
GOMIDE,
F.
M.
Filosofia
do
conhecimento cientfico: hipteses e
aprioris. Curitiba: Editora Albert Einstein,
[19??].
_______. Histria da Cincia e da GRANGER, G. G. Lgica e Filosofia das

Tcnica: sculos dezoito e dezenove. Cincias.
So
Paulo:
Edies
Lisboa: Ulisseia, 1963.
Melhoramentos 1955.
D'OTTAVIANO, I. M. L. A Lgica Clssica
e as Lgicas No-Clssicas. In: VORA,
F. R. R. Sculo XIX: o nascimento da
cincia
contempornea.
Campinas:
UNICAMP,
Centro
de
Lgica,
Epistemologia e Histria da Cincia, 1992.
GRAU, K. J. Lgica. Rio de Janeiro:

Athena Editora, 1935.
HAACK, S. Filosofia das Lgicas. So
Paulo: Ed. UNESP, 2002.
HAVELOCK,
E.
A.
The
Literate
DURAND, D. Sistmica. 5. ed. Lisboa: Revolution in Greece and its Cultural
Consequences, Princeton, 1982.
Dinalivro, 1992.
DURANT, W. A Histria da Filosofia. 2. _______. A Revoluo da Escrita na
Grcia
e
Suas
Conseqncias
ed. Rio de Janeiro: Editora Record, 1991.
104
Culturais. 1. ed.. So Paulo: Editora da LAKATOS,

I.
A
Lgica
Universidade Estadual Paulista, Rio de Descobrimento Matemtico. Rio
Janeiro: Ed. Paz e Terra, 1996.
Janeiro: Zahar Editores, 1978.
do
de
_______. A Musa Aprende a Escrever. LEITHOLD, L. O Clculo com Geometria

Analtica. So Paulo:Harper
Row do
1. ed. Lisboa: Ed. Gradiva, 1996.
Brasil, 1982.
_______.
Prefcio a Plato. 1. ed.
LIPSCHUTZ, S. Teoria dos Conjuntos.
Campinas: Papirus Editora, 1996.
HEINEMANN, F. A Filosofia do Sculo So Paulo: McGraw-Hill, 1972.
XX.
Lisboa:
Fundao
Calouste
LOCKE,
J.
Ensaio
Acerca
do
Gulbenkian, 1983.
Entendimento Humano. So Paulo: Ed.
HUSSERL, E. Investigaciones Logicas. Abril, 1973.
2. ed. Madrid: Revista de Occidente, 1967.
LOPES, E. Fundamentos da Lingustica
JAEGER, W. W. Paidia. 2. ed. So Contempornea. 14. ed. So Paulo:
Paulo: Martins Fontes, 1989.
Cultrix, 1995.
JAMES, W. Pragmatismo. 1. ed.
Paulo: Abril Cultural, 1974.
So MASON, S. F. Histria da Cincia. Porto

Alegre: Editora Globo, 1962.
_______. O Significado da Verdade. 1. MARTINS, R. C. Sobre a Natureza da

ed. So Paulo: Abril Cultural, 1974.
Engenharia de Produo e o Dilogo
Interdisciplinar.
In:
ENCONTRO
KANT, I. Lgica. Rio de Janeiro: Ed. NACIONAL
DE
ENGENHARIA
DE
Tempo Brasileiro, 1992.
PRODUO, 12. 1992, So Paulo.
Anais... So Paulo, 1992.
KEYNES, J. M. A Treatise on
Probability.
London:
Cambridge MUNEM, M. A.; FOULIS, D. J. Clculo.
University Press,1992.
Rio de Janeiro: Guanabara Dois, 1983.
KNEALE,
W.;
KNEALE,
M.
O ORTEGA Y GASSET, J. Meditao da
Desenvolvimento da Lgica. Lisboa: Ed. Tcnica. Rio de Janeiro: Livro Ibero
Fundao Calouste Gulbenkian, 1991.
Americano Ltda., 1963.
KOPNIN, P. V. A Dialtica como Lgica _______.
Em Torno a Galileu.
e Teoria do Conhecimento. Rio de Petrpolis: Vozes, 1989.
Janeiro: Ed. Civilizao Brasileira, 1978.
PEIRCE, C. S. Escritos Coligidos. So
KUSCH, M. Linguagem como clculo Paulo: Ed. Abril, 1972.
versus linguagem como meio universal:
um estudo sobre Husserl, Heidegger e PETROZZO, D. P.; STEPPER, J. C.
na
Prtica:
como
Gadamer. So Leopoldo: Ed. Unisinos, Reengenharia
implementa um programa efetivo de
2001.
reengenharia e como evitar erros no
105
processo. So Paulo: Makron Books, RUSSEL, B. Histria da Filosofia

Ocidental. So Paulo: Companhia Editora
1996.
Nacional, 1957.
PIAGET, J. A Epistemologia Gentica. 2.
_______. O Conhecimento Humano: sua
ed. So Paulo: Ed. Abril Cultural, 1978.
finalidade e limites. So Paulo:
Companhia Editora Nacional, 1958.
POPPER, K. R. A Lgica da Pesquisa _______. A Perspectiva Cientfica. So
Cientfica. So Paulo: Ed. Cultrix, 1993.
Paulo: Companhia Editora Nacional, 1962.
_______. Conjecturas e Refutaes. SANTOS, J. T. Antes de Scrates. 1. ed.
Braslia: Ed. Universidade de Braslia, Lisboa: Gradiva Publicaes,1985.
1972.
SPIVAK, M. Clculo Infinitesimal.
PUTNAM,
H.
Lgica-Combinatria. Barcelona: Editorial Revert,1972.
Lisboa: Calouste Gulbenkian, 1988.
TARSKI,
A.
Logic,
semantics,
QUINE, W. V. O. Filosofia da Lgica. Rio metamathematics. Oxford: Clarendon,
de Janeiro: Zahar Editores, 1972.
1956.
_______. O Sentido da Nova Lgica. TOLMASQUIM, A. T. Conhecimento e
Curitiba: Ed. UFPR, 1996.
Poder: A expresso Mtica da Cincia. In:
SEMINRIO
NACIONAL
SOBRE
QUINET, J. Matemtica Superior, Porto HISTRIA
DA
CINCIA
E
Alegre, Ed. Globo, 1968.
TECNOLOGIA,1., 1986, Rio de Janeiro.
Anais... Rio de Janeiro: CNPq/ PADCT,
RELATRIO da Segunda Conferncia 1986.
Interamericana
sobre
Educao
Matemtica. Educao Matemtica nas VASCONCELLOS, M. J. E. Pensamento
Amricas. So Paulo, Companhia Editora Sistmico: o novo paradigma da cincia.
Nacional, 1969.
Campinas: Papirus, 2002.
RIGHETTO, A.; FERRAUDO, A. S. VIDAL DE CARVALHO, L. A. Datamining:
Clculo Diferencial e Integral. So a minerao de dados no marketing,
Paulo: IBEC, 1982.
medicina,
economia,
engenharia
e
administrao. 1. ed. So Paulo: rica,
RONAN, C. A. Das origens Grcia. Rio 2001.
de Janeiro: Jorge Zahar Editor, 1987.
VIEIRA, A. A. N. Prolegmenos a Uma
_______. Oriente, Roma e Idade Mdia. Epistemologia do Controle: rumo
Rio de Janeiro: Jorge Zahar Editor, 1987.
Engenharia do Conhecimento. 2005. 339 f.
Tese (Doutorado em Histria das
ROSA,
L.
P.
Tecnocincias
e Cincias, das Tcnicas e Epistemologia) Humanidades: novos paradigmas, velhas COPPE / UFRJ, Rio de Janeiro, 2005.
questes. So Paulo: Paz e Terra, 2005.
106
_______.
Consideraes
Epistemolgicas Sobre a Construo
de Discursos. 1998. 163 f. Dissertao
(Mestrado
em
Memria
Social
e
Documento) - UNIRIO, Rio de Janeiro,
1998.
WHITEHEAD, A. N.; RUSSEL, B.

Principia
Mathematica.
Cambridge:
Cambridge University Press, 1973.
WITTGENSTEIN, L. Tratado LgicoFilosfico. Lisboa: Fundao Calouste
Gulbenkian, 1987.
_______.
Lgica: mtodo semiticoInvestigaes Filosficas.
estruturado. 1. ed. Rio de Janeiro: Sarau _______.
Cultural, 2004.
Lisboa: Fundao Calouste Gulbenkian,
1987.
VLASTOS, G. O Universo de Plato.
Braslia: Ed. UNB, 1987.
107

309 575 1 PB

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

309 575 1 PB

Uploaded by

Copyright:

Available Formats

artigo de reviso

CONTROLE DE ERROS EM PROCESSOS:

Controle de Erros em Processos. Ensino de

luta entre as ideologias portadoras da

cincia moderna cuja viragem se deu na

verdade teria sido vencida pela religio e

Revoluo Cientfica dos Sculos XVI e

no pela cincia. A compreenso, a

XVII o surgimento do Clculo Diferencial

e Integral. Sem este, a Fsica no teria

otimizao da atividade tcnica, que se

tomado o impulso que tomou, e as

mltiplas previses obtidas a partir do

experincias humanas, teria tido um outro

impacto e no haveria modernamente a

teriam sido possveis. Possivelmente, a

tecnocincia controladora da atividade

InterScientia, Joo Pessoa, v.2, n.1, p. 89-107, jan./abr. 2014

Amrico Augusto Nogueira Vieira

produtiva material. A rejeio da inovao

Limites, esta apresentada de uma forma

tcnica no um caso isolado aqui e

totalmente nova e simples. Forma essa

acol ; h inmeros casos, e se no

que permitir o desvelamento do ethos do

controle, e no de uma cincia apenas

inovao porque no se conseguiram

mecanismos impedidores, mesmo quando

esse impedimento visa, de fato, salvar a

presente trabalho foi baseada em ampla

espcie humana de aniquilamento2. Com

bibliografia (aposta nas referncias) e foi

desenvolvida durante o doutoramento do

rapidamente, e muito eficientemente, a

autor no Instituto Alberto Luiz Coimbra de

essncia do Clculo Diferencial e Integral,

no nos deteremos ao escopo terico (ou

na forma) desenvolvido por seu criador,

Isaac Newton3. Nossas consideraes

Engenharia da Universidade Federal do

desenvolvimento posterior, ou melhor,

Rio de Janeiro)6 durante os anos de 2000

a 2005, e o presente artigo uma

Weierstrass5. Antecipamos que, apesar

adaptao recente, indita e ampliada de

de darmos tratamento formal teoria que

um trecho de captulo dessa tese de

subsidia o Clculo Diferencial e Integral

como um todo, isto , a Teoria dos

Veremos adiante que o prprio Clculo tambm sofreu

2 UMA ABORDAGEM PRAGMTICA DA

estaremos entronizando as categorias de

Site da instituio: <http://www.coppe.ufrj.br/>. Acesso em: 13

InterScientia, Joo Pessoa, v.2, n.1, p. 89-107, jan./abr. 2014

(sintaxe, semntica e pragmtica). Neste

processo de desenvolvimento da forma

sentido, o que aqui proporemos partir de

(que poder ter sua tolerncia de erro, que

uma situao emprica (ainda que seja um

incialmente = 100 cm3, modificada

experimento mental sobre uma situao

de cunho prtico), de forma sistemtica, e

avanar do experimento prtico mental