Professional Documents
Culture Documents
Cuiab/MT
2009
Cuiab/MT
2009
Cuiab - MT
2009
S194c
SANTOS, Andr Jefferson Marinho dos.
Como fundamentar os nmeros naturais do ponto de vista da
aplicao. / Andr Jefferson Marinho dos Santos Cuiab (MT): O
Autor, 2009.
223 p.: il.; 30 cm.
Dissertao (Mestrado em Educao). Universidade Federal de
Mato Grosso. Instituto de Educao. Programa de Ps-Graduao em
Educao.
Orientador: Prof. Dr. Michael Friedrich Otte.
Inclui bibliografia.
1. Nmeros naturais. 2. Teoria dos conjuntos e axiomtica. 3.
Peano. 4. Frege e Russell. I. Ttulo.
CDU: 37:511.11
DEDICATRIA
Dedico este trabalho aos meus pais, minha querida me Selomita e pai Jorge, minha
amada mulher Maria Betnia, meus adorveis filhos Vincius e Lucas Marinho, irmos Jorge e
Barbara Marinho, e demais familiares Maria Ana, Joo Leopoldino, Manoel, Marcos, Joo,
Marinalva, Eliza, Josefa, Lcia e Jlio, em especial pela dedicao e apoio em todos os
momentos difceis. Ao meu orientador Prof. Dr. Michael Otte, que ampliou minha noo do
ofcio de professor.
AGRADECIMENTOS
Ao Programa de Ps-Graduao em Educao, pela oportunidade de realizao de
trabalhos em minha rea de pesquisa.
Aos amigos: Prof. Dr. Srgio de Paula, Profa. Dra. Gladys, Prof. Dr. Benedito,
Humberto Clmaco, Isabella, Evilzio Arruda, Valquria, Denes Martins, Alexandre Corra
Lima, Joso Moreira, Walter, Carlos Andr Sena, Cezar Nonato e Evelyne Lucena.
RESUMO
Os nmeros naturais podem ser entendidos por meio de dois pontos de vistas: Axiomtica e
Teoria dos Conjuntos. Ambos os pontos de vistas representantes modernos do que compe os
conceitos matemticos. O nmero um conceito. E, por isso, possui componentes
intensionais e extensionais. A Teoria dos Conjuntos legtimo representante da forma
extensional do conceito de nmero, enquanto a Axiomtica de Peano representa
intensionalmente os nmeros. Do ponto de vista da aplicao podem ser obtidos por meio de
contagem ou da medida. Estas atividades so ao mesmo tempo tericas e prticas. Ora referese aos objetos, ora aos conceitos dos objetos. Refere-se aos objetos da medio, ora
medio. Estes componentes so percebidos em circularidade. Portanto, podemos encontrar
na
medio
uma
complementaridade.
Compreender
medio
por
meio
da
complementaridade, conceito trazido em pauta de discusso por Michael Otte, levar uma
nova luz sobre um tema to importante como nmeros e medio; conceitos recorrentes da
aplicao e ensino da Fsica e Matemtica.
Palavras-chaves: Nmeros naturais. Teoria dos Conjuntos e Axiomtica. Peano, Frege e
Russell. Complementaridade de Michael Otte.
ABSTRACT
Natural numbers may to be understood by means of two points of view: Axiomatic and Sets
Theory. Both are modern representatives than consist the concepts. Number is a concept. And,
therefore, has intensional and extensional components. Sets Theory is genuine representative
of extensional form of the numbers concept, while Peanos Axiomatic represent the
extensional form of numbers. Of the point of view of application may to be gained either by
means of counting or measuring. These activities are at the same time theoretical and practice.
Either one refer to the objects, or to the objects concepts. Either one refer to the
measurements objects or to the measurement. Theses components are perceived in circularity.
Therefore, we may to meet in the measurement a complementarity. To understand the
measurement by means of complementarity, concept introduced by Michael Otte, is to take a
new light on a so important subject as numbers and measurement, recurrent concepts of the
application and teaching of Physics and Mathematics.
Keywords: Natural numbers. Sets Theory and Axiomatic, Peano, Frege e Russell.
Michael Ottes Complementarity.
SUMRIO
Introduo.............................................................................................................................. 12
1 MEDIDA E CONTAGEM................................................................................................. 15
1.1 A medio.......................................................................................................................... 15
1.2 Grandeza .......................................................................................................................... 18
1.3 Propores, quantidades e grandezas............................................................................ 19
1.4 Unidades............................................................................................................................ 29
1.4.1 A origem da Escala de Temperatura Celsius.............................................................. 31
1.5 Teoria da medida.............................................................................................................. 32
1.6 Medida e teoria relacional............................................................................................... 37
1.7 Medida: discreta ou analgica?...................................................................................... 40
1.8 A contagem ....................................................................................................................... 47
1.9 Concluses........................................................................................................................ 49
2 A COMPLEMENTARIDADE DE MICHAEL OTTE................................................... 50
2.1 Complementaridade........................................................................................................ 50
2.2 Extenso e Intenso.......................................................................................................... 52
2.3 Funo............................................................................................................................... 55
2.4 Complementaridade dos nmeros.................................................................................. 56
2.5 Teoria vs Prtica - Kirchhoff vs Voltmetro................................................................... 61
2.6 Relatividade e complementaridade................................................................................ 65
2.7 A medida e a relatividade................................................................................................ 68
2.8 Concluses........................................................................................................................ 72
3. FUNDAMENTOS TERICOS DOS NMEROS......................................................... 73
3.1 A axiomtica..................................................................................................................... 74
3.2 A axiomtica de Euclides................................................................................................. 75
3.3 Aplicao da axiomtica euclidiana............................................................................... 83
3.4 A Geometria No-Euclidiana.......................................................................................... 87
3.5 Grassmann........................................................................................................................ 93
3.5.1 Grassmann: conceito de vetor...................................................................................... 96
3.6 Concluses.......................................................................................................................100
LISTA DE ILUSTRAES
Fig. 1.1 : Diagrama idealizado por Leibniz, que ilustra sua explicao..............................20
INTRODUO
A Matemtica muitas vezes vista como uma ferramenta a qual a Fsica se utiliza. De
fato, este carter instrumental encontrado na aplicao da matemtica na Fsica, dando uma
feio de fundo para a apresentao e desenvolvimento das teorias fsicas. Mas reduzir a
matemtica a uma ferramenta apenas traz alguns prejuzos real funo que a matemtica
desempenha. Contudo, a imagem de fundo, tal qual o cenrio de uma pea teatral, pode ser
algo revelador.
O fundo sempre algo que contextualiza, referencia, coloca ordem para o movimento
dos elementos protagonistas. E por mais que possa passar despercebido, no igualmente
despercebida a sua ausncia. Os fundamentos, ou seja, ordenamento do fundo, - neste
sentido, o esforo para o olhar voltado para o que est por trs.
De fato, os fundamentos no tratam de algo evidente. O que no significa que seja
algo obscuro; fundamentar uma ao sobre a maneira de enxergar com mais clareza as
nuances e a ordem do que serve de suporte para outra ao que tida como atividade
principal. As frmulas da Fsica, por exemplo, representam uma parte de uma teoria, e o que a
fundamenta so relaes matemticas atravs de grandezas passveis de medida e contagem.
Assim, aplicam-se nestas relaes exemplificadas as regras matemticas, como as descritas na
aritmtica, geometria e funes. Se colocarmos em evidncia estas regras veremos que elas
realmente fundamentam a Fsica. Assim, podem ser adicionados outros elementos que
compem as teorias matemticas, como a lgica e o uso sistematizado de axiomas.
E se aprofundarmos ainda mais, alm destas regras, encontraremos a quantificao;
uma atividade que possibilita a medida e contagem: transpor em nmeros um fenmeno. O
nmero, porm, no possui uma posio clara como fundo ou elemento protagonista. Pois o
nmero se apresenta como um objetivo e, ao mesmo tempo, est inserido dentro de um
contexto relacional que caracteriza bem as equaes. Assim, ele objetivo quando se deseja
medir, e quando se deseja antecipar o resultado de fenmeno atravs de uma frmula. Desta
maneira, o nmero tambm fundo quando se possui um conjunto de dados quantitativos que
sero utilizados como argumento dedutivo da validade de uma frmula ou de uma teoria.
Portanto, o nmero um elemento que permeia a teoria fsica e apresenta diferentes
funes dentro dela. Deste modo, no parece ser um erro compreender que dos fundamentos
dos nmeros devam existir correspondncias com alguns fundamentos da prpria Fsica.
Neste ponto de vista, a Fsica se torna uma fonte a mais de compreenso do nmero.
12
13
que
os
conceitos
dos
objetos
(intenses)
apresentam
relao
de
14
CAPTULO I
MEDIDA E CONTAGEM
pelo
Professor
Dr.
MICHAEL
FRIEDRICH
OTTE3,
que
discute
1.1 A medio
15
17
1.2 Grandeza
Fig. 1.1 Diagrama idealizado por Leibniz, que ilustra sua explicao.
, pois, manifesto que, tendo o corpo A cado da altura CD, adquiriu tanta fora,
precisamente, como o corpo B cado da altura EF; pois, tendo chegado a F o corpo (B)
e tendo ali fora para subir novamente at E (pela primeira suposio), tem por
conseguinte a fora de elevar um corpo de quatro libras, quer dizer, o seu prprio
corpo, altura EF de uma toesa, e da mesma forma, tendo chegado a D o corpo (A) e
tendo ali fora para voltar a subir at C, tem a fora de elevar um corpo de uma libra,
quer dizer, o seu prprio corpo, altura CD de quatro toesas. Logo (pela segunda
suposio) a fora destes dois corpos igual.
Vejamos agora se a quantidade de movimento tambm a mesma de ambos os lados.
Mas aqui, precisamente, ficar-se- surpreso por encontrar grandssima diferena, pois
j foi demonstrado por Galileu ser a velocidade adquirida pela queda CD dupla da
velocidade obtida pela queda EF, se bem que a altura seja qudrupla.
Multiplicando, pois, o corpo A, que como 1, pela sua velocidade, que como 2, o
produto ou quantidade de movimento ser como 2; e, por outro lado, multiplicando o
corpo B, que como 4, pela sua velocidade, que como 1, ser como 4 o produto ou a
quantidade de movimento. Logo, a quantidade de movimento do corpo (A) no ponto D
metade da quantidade de movimento do corpo (B) no ponto F e, no entanto, so
iguais as suas foras. H, portanto, grande diferena entre a quantidade de movimento e
5 tem 17
20
a fora, como que se queira demonstrar. LEIBNIZ (1974, pp. 91-92) Grifos meus.
As constantes so tambm
21
maneira semelhante. Por exemplo, quando explica a Lei II dos Axiomas ou leis do movimento
escrito em Princpios Matemticos da Filosofia Natural. 8
Em uma carta, porm, Leibniz contesta em Correspondncia a Clarke a definio VIII
do Livro I de NEWTON: A quantidade motriz da fora centrpeta a medida da mesma,
proporcional ao movimento que gera em determinado tempo. NEWTON (1974, p.13).
Vejamos as consideraes de Leibniz:
Eu tinha dito que o tempo e o espao so quantidades, o que no se pode dizer da
situao e da ordem. Replica-se a isso que a ordem tem sua quantidade, que h na
ordem alguma coisa que precede ou o que segue constituem a situao ou a ordem, mas
a distncia, o intervalo ou a quantidade do tempo e do espao no qual uma coisa segue
outra so algo totalmente distinto de ordem. A situao ou a ordem podem ser as
mesmas, sendo a quantidade do tempo e do espao, que intervm, assaz diferente. O
sbio autor acrescenta que as razes e as propores tm sua quantidade, e que, por
conseguinte, o tempo e o espao podem ter tambm a sua, ainda que no passem de
relaes. Respondo primeiramente que, embora fosse verdade que algumas espcies de
relaes (como, p. ex., as razes ou as propores) fossem quantidades, no se seguiria
que a situao e a ordem, que so relaes de uma natureza completamente diversa,
fossem tambm quantidades. Em segundo lugar, as propores no so quantidades,
mas propores de quantidades. Se fossem quantidades, seriam quantidades de
quantidades, o que absurdo. Acrescento que, se fossem quantidade, aumentariam
sempre graas adio, como todas as outras quantidades. [...] LEIBNIZ (1974, p.459)
Leibniz no diz que espcie de relaes ele no considera como quantidades, mas
adianta porque no considerava as propores como quantidades. Porque ele acredita que
um absurdo a existncia de quantidades de quantidades. Isto explicado posteriormente:
Mas a adio da proporo de 1 para 1 proporo de 1 para 1 no produz mais que a
proporo de 1 para 1, e a adio da proporo de para 1 proporo de 1 para 1 no
produz a proporo de 1 e para 1, mas a proporo de para 1. LEIBNIZ (1974, p.459)
Estar Leibniz compreendendo nmero como quantidade?
Vejamos: o que Leibniz diz com relao adio de 1/1 se refere a um nmero. De
fato, somando-se 1/1 ambos termos de uma proporo 1/1, resultaremos 1/1. Mas isso se
refere equivalncia entre nmeros, como 1/1 e 2/2. Em termos de quantidades 1/1 pode ser
entendido de forma diferente de 2/2, embora entre eles se observe que 1/1 quantitativamente
igual proporo 2/2. A quantidade uma relao de uma poro de grandeza com uma
unidade desta grandeza. uma proporo entre uma parte dos componentes de uma classe de
objeto e a unidade convencionada para servir de parmetro de quantificao. Assim, se a
8 Se toda fora produz algum movimento, uma fora dupla produzir um movimento duplo e uma tripla um
triplo, que essa fora se imprima conjuntamente e de uma vez s, quer seja impressa gradual e sucessivamente.
NEWTON (1974, p.20). Ou na sua definio de quantidade de matria: O ar duplamente mais denso, num
duplo espao, qudruplo. (1974, p.11)
22
unidade como 1, ento quantos 1's temos em 1, ou seja, 1/1 : 1. Se a unidade 2, quantos 2
h em 2 1. A resposta se a proporo quantidade parece fcil, se entendermos que
quantidade aquilo que responde a questo: quantas unidades? Porm, outras perguntas
podem ser feitas: quantas vezes? Ou quantas unidades de vezes? Todas se caracterizam por
receber respostas quantitativas.
Vejamos: Se 1/1 igual a 2/2 uma questo de equivalncia numrica, afinal, 1/1 = 1
e 2/2 = 1, como 1 = 1, assim consequentemente: 1/1 = 2/2.
Considerando as igualdades 1/1 = 1, 2/2 = 1 e 1/1 = 2/2 como proposies,
observamos que elas no possuem uma conexo com a proposio 1/1 uma quantidade ou
2/2 uma quantidade. Afinal, 1/1 = 1 e 2/2 = 1 so proposies que indicam o significado de
1/1 e 2/2, isto , so iguais a 1. Enquanto, dizer que uma quantidade refere-se
possibilidade de encontrar um valor quantitativo de 1/1 e 2/2, mas no nos diz nada sobre a
igualdade entre as duas quantidades. A igualdade entre duas quantidades feita por meio de
comparao numrica entre os resultados do levantamento destas quantidades, mas aqui
estaremos pensando em termos de nmeros, e no de propores.
Vejamos uma interessante apresentao deste tema do ponto de vista de Russell.
Fraes so mais interessantes que nmeros inteiros positivos ou negativos. Precisamos
de fraes para muitas finalidades, talvez de maneira mais bvia para mensurao.
Definiremos a frao m/n como sendo aquela relao existente entre dois nmeros
indutivos, x, y quando xn=ym. Esta definio nos permite provar que m/n uma
relao um-um, contanto que nem m nem n sejam 0.
A partir da definio mencionada fica claro que a frao m/1 a relao entre dois
nmeros inteiros x e y que consiste no fato de que x=my. Esta relao, como a relao
+m, no pode de maneira alguma ser identificada com o nmero indutivo m, porque
uma relao e uma classe de classes so objetos de tipos completamente diferentes.
RUSSELL (2007, p.86-87)
E continua:
[...] No constitui uma verdade de todo imediata que dois mais dois so quatro, suposto
que quatro significa trs mais um. Por conseguinte, pode-se demonstrar tal verdade, eis
de que maneira:
Definies: 1) Dois so um mais um.
2) Trs so dois mais um.
3) Quatro so trs mais um.
Axioma. Colocando em lugar dos nmeros coisas iguais, a igualdade permanece.
Demonstrao:
2 mais 2 so 2 mais 1 mais 1 (em virtude da definio 1) ...2+2
2 mais 1 mais 1 so 3 mais 1 (em virtude da definio 2) ...2+1+1
3 mais 1 so 4 (em virtude da definio) LEIBNIZ (1974, p.291)
maior. E,
Definio 4: Mas partes quando no o mede.9
Desta maneira, o que Leibniz adianta que o nmero 1 ajuda na demonstrao de
operaes numricas. Pois o nmero 1 parte dele mesmo e parte de todos os nmeros
naturais. Assim, todos os nmeros naturais podem ser medidos da forma euclidiana por 1.
possvel a anlise dos nmeros com o artifcio lgico do seu axioma. Podemos
entender os nmeros naturais como sucessivos incrementos de 1 (como Leibniz usou).
Tambm podemos entender estes nmeros como uma relao de proporcionalidade com 1. Ou
seja, o nmero 3 ao mesmo tempo 2+1 e 3 vezes maior que 1. No Livro VII dOs Elementos
de Euclides, se apresenta a relao de proporcionalidade por meio de medida.
Definio 5: O maior um mltiplo do menor quando medido pelo menor.10
Medir para Euclides verificar quantas vezes uma unidade cabe em um intervalo. A
medida consequentemente uma multiplicidade de unidades, em outras palavras, proporo.
Propores se referem a relaes entre uma coisa e outra
De fato, as propores no aparecem isoladas, tais como nmero, as propores so
propores de algo.
Leibniz afirma:
O que os matemticos denominam por vezes, com pouca exatido, a quantidade da
proporo no , propriamente falando, mais que a quantidade da grandeza relativa ou
comparativa de uma coisa em relao a outra; e a proporo no a prpria grandeza
comparativa, mas a comparao ou a relao de uma grandeza com outra. A proporo
de 6 para 1, em relao de 3 para 1, no uma dupla quantidade de proporo, mas a
proporo de uma dupla quantidade. LEIBNIZ (1974, p.459)
Vamos analisar isto atravs de um exemplo simples como uma comparao entre
densidades do mercrio e da gua, que possui um valor de 13,6. No resultado no h unidade,
pois propores entre mesmas grandezas, no so propriamente grandezas, mas fatores de
converso11. Para este exemplo, o conceito a proporo entre densidades do mercrio e da
gua. O conceito deste objeto : a densidade do mercrio 13,6 vezes maior que a densidade
da gua. De forma mais sinttica: a proporo entre as densidades do mercrio e da gua
9 Por exemplo, considere os nmeros 4 e 6. O 4 no mede o nmero 6, mas 4 parte de 6.
10 Verificamos assim que 6 um mltiplo de 2 (6/2=3) e trs um nmero inteiro.
11 Entretanto, podemos adotar uma unidade, se quisermos.
25
13,6 vezes. 13,6 qualifica o objeto e uma quantidade. A proporo entre as densidades, vista
de forma isolada, no uma quantidade, mas uma relao: dHg / dH2O. Isto concorda com a
afirmao de Leibniz, neste caso, pois temos na proporo entre densidades uma proporo de
13,6 vezes da quantidade. Mas se observarmos mais atentamente, o 13,6 vezes representa a
quantidade da proporo; pois responde a pergunta quantas vezes, pois envolve uma relao
entre a densidade do mercrio e uma unidade (densidade da gua). Outro elemento possuir
outra quantidade da proporo.
De forma resumida apresenta-se este exemplo:
Propores so expressas por um enunciado ou uma equao: dHg / dH2O = 13,6
No enunciado possvel distinguir o objeto do conceito do objeto: dHg / dH2O
(conceito do objeto) e 13,6 (objeto)
No conceito poder ser observado o carter relacional do enunciado da proporo:
dHg / dH2O
No objeto poder ser observado o carter quantitativo do enunciado da proporo:
13,6
Ambos os aspectos so complementares dos enunciados: dHg / dH2O uma relao
que definida pela quantidade 13,6. 13,6 possui significado por meio da relao.
Enfim, propores no so quantidades, tomadas isoladamente, neste caso, so
relaes indefinidas. Mas vistas por meio de um enunciado, ou seja, por meio de uma relao
definida, encontram-se elementos extensionais (quantidades) e intensionais (relaes)
complementares entre si.
Se um veculo A percorre 6m em 1s e outro B, 3m em 1s, a relao entre as
velocidades A/B 2. Ou seja, Leibniz no est errado em dizer que no final teremos uma
relao de uma grandeza com outra. Sua concepo parece se concentrar na forma como o
resultado numrico 2 para 1 pode ser aplicado tanto para representar A/B como tambm para
representar uma outra funo, como a quantidade de vezes que A maior que B.
Assim, um exerccio escolar poder propor que se calcule a posio de um veculo em
movimento retilneo uniforme aps 30s, sabendo-se que ele percorreu 10m em 5s. A
proporo entre o espao percorrido em relao ao tempo decorrido de 2m/s. Para
calcularmos o valor da posio devemos considerar a velocidade como uma grandeza que
possui um dado valor em relao unidade (1m/s). Ou seja, o 2 da velocidade uma
quantidade, no apenas o resultado de uma relao. Da mesma maneira, o tempo
26
27
Ainda que tempo e espao no so considerados por Leibniz como propores, mas
como quantidades absolutas, modernamente, a partir da velocidade da luz de uma onda
eletromagntica, podemos determinar a distncia de uma aeronave de um aeroporto pelo
clculo do tempo gasto para que a onda deslocasse de uma antena radar at o seu alvo e
refletisse de volta. De fato, temos aqui uma proporo entre espao e tempo entre si, a partir
de uma constante, chamada velocidade da luz. Neste ponto de vista, parece ser mais
proveitoso considerar espao e tempo enquanto quantidades determinadas por certas
quantidades em forma de propores.
Sem considerar as relatividades de Einstein, Leibniz tem muita razo ao considerar
que o tempo e o espao so absolutos. Pois consider-los propores significaria a
impossibilidade de medi-los, pois no seriam quantidades. Talvez sua preocupao se
concentrasse no carter objetivo da medida, pois ele no compreende o espao como uma
relao. E, talvez ningum pense assim atualmente; o espao uma intuio cuja extenso
est relacionada a quantidades. Mas quantidades so encontradas atravs de relao com uma
unidade e isto tipicamente uma proporo. E propores s so definidas atravs de um
valor numrico, que indica uma quantidade. Propores e quantidades se relacionam atravs
28
de unidades de objetos.
1.4 Unidades
Como sabido, aplicam-se as medidas de grandezas que participam de um sistema de
unidades e so classificadas como fundamentais e derivadas. impossvel catalogar as
unidades derivadas, pois elas representam relaes entre as unidades fundamentais. Com
relao s unidades fundamentais, entende-se:
A arbitrariedade na escolha das unidades fundamentais de um sistema no completa.
H algumas condies a cumprir:
a) as unidades fundamentais devem ser independentes entre si;
b) o valor de uma unidade fundamental deve ser invarivel;
c) as unidades fundamentais passam a ser representadas por padres;
d) as unidades fundamentais permitam uma fcil medio direta das grandezas da sua
espcie. GONALVES (1970, p.189)
O uso das unidades cumpre um papel social para as medidas, pois serve
generalidade.
Significa que a cincia um rgo da sociedade e que cumpre funes neste sentido. E
isso que est por trs da afirmao que a cincia teria um compromisso com a
verdade e no necessariamente com a utilidade direta. Tambm a formalizao do saber
est a servio de uma tal funo geral social. OTTE (1991, p.246).
30
31
A Teoria da medida inicialmente foi elaborada por Hlder em 1901, apesar de ser
conhecida assim algumas dcadas depois. um ramo da matemtica desenvolvido por Henri
Lebesgue e Constantin Carathodory.
Com efeito, o trabalho de Hlder vem esclarecer o estatuto da medida do peso,
mostrando que, de um ponto de vista axiomtico (e aqui simplificado), a medida dessa
grandeza fsica requeria a satisfao de dois axiomas. A saber,
(a medida de x dever ser maior ou igual medida de y se e s se o objeto x for mais pesado
ou igual que o objeto y) SUPPES (2002, p.6);
(a medida do conjunto dos objetos x e y que, ento, se dizem concatenados dever ser
igual soma das medidas de cada um deles). SUPPES (2002, p.6);
Antes de explicarmos a importncia atribuda concatenao, convm esclarecer aqui
o conceito. No essencial, concatenar refere-se a qualquer operao fsica que, no contexto do
atributo a ser medido, permite a combinao de quantidades. Por exemplo, na medio da
massa, requer-se uma estrutura emprica de ordenao das intensidades (pela verificao se x
mais pesado ou to pesado que y), poder assumir que se recorra a uma balana comum de
pratos (sem indicador calibrado). Nessa situao, concatenar significa muito simplesmente
colocar o objeto x e y no mesmo prato, de tal forma a combinar as suas magnitudes de massa.
Ainda outro exemplo, na medida de comprimentos, e assumindo que se recorrer a
qualquer comprimento referencial (palmo), concatenar significaria pura e simplesmente
encostar um palmo ao anterior, de tal forma que os seus comprimentos combinados
igualassem a soma de cada um desses.
32
Em termos de aplicao, sabemos que estes dois axiomas das medidas de peso de
Hlder prestam-se de forma clara para comparao entre duas quantidades de uma grandeza,
indicam com eficincia que uma quantidade maior ou igual outra. Este procedimento
permite determinar qual o valor de pesos, por meio do emprego de escolha de um sistema de
unidade de pesos, composto por mltiplos e submltiplos. Observemos a figura 1.2:
Figura 1.2: representao de um exemplo da aplicao dos axiomas de Hlder. (A) obteno de
quantidades iguais, e definio destas como subunidades (dcimos de 1u) (B) obteno de unidade
por meio de 10u 14; (C) Mltiplo de unidade e (D) Medio de um corpo.
33
um conceito necessrio para a determinao dos itens (B), (C) e (D) da figura 2. Pois isto nos
permite dizer que se agregar 10 elementos de 1/10 de unidade estes juntos equivalero a 1
unidade. O item (D) refere-se determinao do peso desconhecido de um objeto. Os dois
axiomas so necessrios, um refere-se garantia da equivalncia de peso, e o segundo com
relao a igualdade da medida do conjunto medida de cada um dos componentes. Ou seja,
dois pressupostos bsicos so necessrios aqui, so condicionais para a medida exemplificada.
No se deve esperar logicamente que a balana, no fim, esteja sempre em equilbrio
num processo de medio. Para que isto ocorresse, seria necessrio que todos os corpos
tivessem quantidades mltiplas do menor submltiplo de unidade. Neste caso, diz-se o que se
tem certeza, ou seja, que o valor da medio est num intervalo.
Estes axiomas se completam por meio lgico, ao afirmar que a medida de x dever ser
maior ou igual medida de y se e s se o objeto x for mais pesado ou igual que o objeto y.
No se conceitua peso em si, nem medida, antes, estabelece as condicionais de equivalncia
entre medida e conceito de medida.
Findas estas consideraes preliminares, apresentamos agora uma formalizao de um
sistema de medida extensivo. A operao de concatenao assume um papel primordial.
Vejamos alguns exemplos:
Definio. Um sistema extensivo (A, R, ) um sistema relacional consistindo na relao
binria R, na operao binria de A A para A, e satisfazendo os seguintes axiomas para
a, b e c em A:
Axioma A. Se aRb e bRc, ento aRc;
Axioma B. [(ab)c]R[a(bc)];
Axioma C. Se aRb, ento (ac)R(cb);
Axioma D. Se no aRb, ento existe um c em A tal que aR(bc) e (bc)Ra;
Axioma E. No (ab)Ra;
Axioma F. Se aRb, ento existe um nmero n tal que bRna em que na definido
recursivamente como: 1a=a e na=(n-1)aa.
Este sistema poder tomar como exemplo a medida do peso, em que se refere j
familiar operao de concatenao, R relao mais pesado ou igual que e a, b e c objetos
que iro serem pesados pertencentes coleo A. O primeiro axioma refere-se simplesmente
transitividade dos pesos (se a mais pesado que b e b mais pesado que c, ento a ser mais
pesado que c). O axioma B estabelece a associatividade da operao de concatenao
34
Um sistema extensivo que se revela mais interessante para a Fsica, passaria, ento,
pela questo da necessidade de concatenao para alcanar uma medida significativa.
Norman Robert Campbell (1880-1949) foi um fsico ingls e filsofo da Cincia.
Tratou da teoria das medidas e relaes de cincias experimentais e matemticas. Seu mais
importante trabalho foi Foundations of Science: The Philosophy of Theory and Experiment,
primeiro publicado como Physics: The Elements em 1919. Neste livro desenvolve a tese que
uma anlise crtica de cincia no dever requerer qualquer filosofia, mas que uma
investigao de um significado de realidade e verdade em cincia como oposto metafsica
poder ser frutfero. Campbell especialmente interessante na Fsica pela sistematizao do
que se pode conceber por medida.
Medio a atribuio de numerais para representar propriedades. CAMPBELL
(2007, p. 267). Por que o processo importante?
35
A Teoria da Medida do ponto de vista fsico interessante aqui, Campbell no quis dar
uma abordagem filosfica ao tema; diferente da abordagem como os matemticos
inevitavelmente tinham que assumir de alguma forma, por conta do contexto histrico,
fomentou discusses em temas importantes como a medida na matemtica, envolvendo nesta
discusso temas complexos como continuidade, axiomas (da escolha, por exemplo), teorias
(integrao e dos conjuntos). Lebesgue, que buscava caracterizar a topologia em termos
axiomticos, escolheu a classe dos conjuntos mensurveis e funes mensurveis. OTTE
(2008, p.131) apresenta um exemplo do que envolvia a teoria da medida:
As experincias originais de fora, movimento e acelerao deram lugar ao conceito
matemtico de funo diferenciavel. Agora, diferenciabilidade definida em termos de
continuidade, e a continuidade por sua vez, definida em termos de uma topologia. [...]
Sem a teoria dos Conjuntos de Cantor, a topologia geral e a teoria da medida abstrata
no teriam sido possveis. E as teorias de medida e de integrao formaram, por sua
vez, por algum tempo a nica aplicao significativa da teoria cantoriana dos
conjuntos.
18 The answer must lie in some relation between numerals and measurable properties which does not
apply to non-measurable properties. This relation is found in the common possession of order. The
conception of order is analysed, as well as the relation between numerals and numbers. All measurable
properties are capable of being placed in a natural order by means of definite physical laws which are true
of them.
This similarity is analysed, the property of weight being taken as an example. It is shown that, if there is to
be a satisfactory process of physical addition, two laws, the first and second laws of addition, must be
fulfilled. Both these are definite physical laws, so that it is experiment an experiment only that can
determine whether a property is fundamentally mensurable. The two laws, though closely connected, are
independent an one of them may be true without the other.
As medidas podem ser expressas da forma A = Bx, ou X = f(Y) 21, que a forma
relacional do conceito. Os exemplos que se seguem tm o objetivo de apresentar este aspecto
relacional.
As medidas se fazem atravs de instrumentos de medida. Um instrumento de medida
conhecido o dinammetro. Seu funcionamento bastante simples. Ele constitudo por um
material elstico, por exemplo, uma mola, que fixa de um lado no corpo do instrumento, e a
outra extremidade poder ser deslocada; tarefa esta que exigiria fora, pois este material
elstico deve resistir mudanas na sua forma.
O dinammetro ainda constitudo de uma escala partindo da posio zero a qual
indica a posio relaxada do material elstico. Nesta escala so atribudas marcas que so
devidamente simbolizadas para fornecer uma graduao quantitativa crescente, com
espaamentos regulares entre si. Seu princpio de funcionamento baseia-se em imprimir uma
Quantity X is not directly observable by unaided human perception so we infer it from another
quantity Y, which is directly observable.
For this inference we need a law that expresses X as a function of Y, X = f(Y).
The form of this function f cannot be discovered or tested empirically, because that would
involve knowing the values of both Y and X, and X is the unknown variable that we are trying
to measure.
20 , com efeito, aqui que reside a distino entre teorias da medida e teorias dos dados estas ltimas
lidam direta e explicitamente com a prpria pragmtica de quantificao.
21 CHANG (2001)
37
fora na extremidade mvel da mola, de forma que faamos com que a mola se estender.
Assim, a grandeza do deslocamento da extremidade nos fornecer uma medida da grandeza
da fora impressa sobre ela.
A construo e princpio de funcionamento do equipamento de medida explicam e
fundamentam a medida. Neste caso, para construir este instrumento, utilizou-se de uma teoria,
que pode ser expressa de maneira bem simples: observou-se que ao imprimir uma fora x
indeterminada a um material elstico, este se estendia um comprimento d, ao imprimir uma
fora y, sendo y maior que x, este material estendia um comprimento D, sendo D obtido maior
que d. E se realizar esta tarefa novamente, mais uma vez encontravam-se esta mesma relao.
Vale a pena lembrar o primeiro axioma de Hlder para o peso. Ou seja, verifica-se para a
fora o mesmo aspecto formal para as condies de Hlder, a medida de x dever ser maior
ou igual que a medida de y se e s se o objeto x for mais pesado ou igual que o objeto y.
At aqui, sabe-se que h uma relao, entre a fora aplicada mola, e o deslocamento
da extremidade mvel desta. Mas no sabemos se podemos aplicar isto como medida. Uma
forma de verificar estabelecer alguns testes, e um deles altamente significativo para
escalas lineares. Ela segue o outro axioma de Hlder:
Para isso, seria necessrio fazer uma referncia de pelo menos duas foras para
possibilitar a reproduo da mesma intensidade e a aplicao associada outra intensidade de
fora. Uma vez impressa as duas foras, e marcados os dois deslocamentos conseqentes,
imprimi-se uma fora cuja intensidade equivale soma das duas foras anteriormente
fornecidas. Marcar a extenso da mola. Se esta extenso da mola equivaler soma das
extenses realizadas anteriores, ns podemos dizer que a extenso da mola est concatenada
com a fora aplicada sobre a mola. Isto o mesmo que dizer que podemos estabelecer uma
relao entre estas duas grandezas. Para estas, podemos atribuir unidades de referncia para
permitir atribuirmos um valor numrico a uma dada quantidade. As marcaes dos
deslocamentos seguem este pensamento.
Tendo em vista que a deformao levantada por meio de sua extenso (deslocamento)
e a fora por meio de um referencial como o prprio peso, pode-se representar da seguinte
maneira: A=Bx. Para este exemplo: F=kx. Sendo F a intensidade da fora e x o deslocamento,
38
k refere-se a uma constante que depende da resistncia deformao pela fora. 22 Esta a
bem conhecida lei de Hooke.
Assim, podemos perceber com este exemplo, que as medidas refletem o pensamento
relacional matemtico na aplicao do corpo terico da fsica, sendo muitas vezes a relao
entendida como o prprio cerne da fsica, sendo impossvel postular seus axiomas sem por
intermdio deste.
Alguns detalhes do experimento da Lei de Hooke podem ser bastante esclarecedores
no que se refere ao uso dos nmeros em medidas. Vejamos: um ponto fulcral o processo de
construo de marcas.
Para imprimir marcas referentes a um valor de fora no dinammetro, teremos que
definir quais as unidades de fora que sero adotadas. A partir da, por meio da
proporcionalidade encontrada na relao entre deslocamento e fora, procedemos marcao.
Como a relao linear, mesmos intervalos de espao correspondem s mesmas diferenas de
fora. Para uma maior preciso do instrumento, devemos escolher unidades menores, de
acordo com a resposta do material elstico utilizado. Contudo, mesmo que ns fizermos
marcaes muito espaadas poderemos por medio com rgua medir e calcular o valor
proporcional ao deslocamento, quando este apontar no intervalo entre marcas. Mas sempre
chegaremos a um limite de medida de comprimento, porque esta tambm feita por um
instrumento de medida, a rgua, e como tal, no permite medir com preciso infinita. Por este
motivo, o dinammetro no pode fornecer os valores que reflitam a incomensurabilidade dos
nmeros. Pois quantidades em forma de dados so expressas por nmeros; e estes so finitos
para todos os instrumentos de medida.
Mas pode acontecer que notemos que o instrumento nos mostre uma indicao entre
duas marcas. Como as marcas so nossos referenciais objetivos da quantidade de grandeza
medida, a posio intermediria no objetiva em termos de fornecer um dado discreto, mas
o em termos de fornecer um intervalo a qual pertence.
O que vemos e compartilhamos que a medida verificada est entre uma marca e
outra. Mas no deixa de ser um conhecimento. Sabemos que no um valor exato dentro de
nosso sistema de unidades e referncia; que o mundo no se torna discreto porque ns
22 Princpio este que tambm se utiliza para as balanas de mola, visto que o peso uma fora, e como tal se
pode medi-la com este mesmo expediente. Observar que sabendo a respeito do peso, podemos tambm conhecer
a massa, visto que se a gravidade for constante, os pesos sero sempre proporcionais s massas, isto o que se
chama de emprstimo de grandeza.
39
Como diz Campbell medir uma grandeza uma tarefa que est relacionada a levantar
um nmero. Mas no s. Faz parte da medida a forma como se observa a indicao do
instrumento. Devem-se levar em considerao as caractersticas do instrumento no que se
refere ao que podemos reter de sua indicao com confiana, pois nenhum instrumento est
habilitado a fornecer o exato valor dentro da margem de mensurao. Dizemos: o instrumento
nos certifica tal medida. Mas, vemos que esta medida no exata, na verdade, um valor
intermedirio que se encontra fora da preciso do equipamento.
A impossibilidade de total preciso permite compreender o mundo como contnuo.
Como isso se repete ao longo do aumento progressivo da preciso, possvel entender que
existem valores incomensurveis em certos intervalos.
Os nmeros fornecidos pelas mquinas so limitados aos inteiros, entretanto, em
termos de aplicao, ao qual a interpretao do homem se torna importante, so reais.
No existe medida direta da natureza, o que faz com que na Fsica se necessite de
operaes que possibilitem sua execuo. Por isso, prevalece a concepo operacionalista,
interpreta-se que a Fsica trata de medidas e de operaes, ao invs da natureza. Os nmeros
em forma de dados so elementos fundamentais para os operacionalistas, pois as operaes e
medidas no so possveis sem eles.
Mas preciso ser dito que os nmeros no so apenas objetos operacionais. Enquanto
aplicao, os nmeros possuem vrios significados. Um deles expresso pelas vias da
axiomtica moderna.
A axiomtica moderna bem ampla, dela surgiram vrias ramificaes, dentre elas: a
Teoria dos Conjuntos e a Axiomtica de Peano. Peano se interessou pelos nmeros por via
intensional, que pode ser bem representada pela contagem. Russell e Frege pela via
extensional expressa por meio da medida.
40
24
41
0,1mg e 210g. Colocando em nmeros naturais compreendemos valores limites entre 1 x 101
mg e 2100000 x 10-1,mg.
Estes dois exemplos mostram que somos capazes de representar os valores medidos
como nmeros naturais. A quantidade de nmeros que estaro disponveis ser definida pelo
limite mximo suportado e pela preciso. E assim, a diferena entre medida e contagem no
est no carter contnuo nem no carter discreto das grandezas que se adquirem quando nos
referimos ao que um instrumento pode nos fornecer. Pois ambos so disponibilizados pelos
instrumentos de maneira discreta. Consequentemente, ao intervalo discreto associa-se
propriedades que so atribudas aos nmeros naturais. Assim, os dados, vistos como nmeros,
sero interpretados pelas teorias dos nmeros da maneira que for mais conveniente.
O que Peano e seus axiomas dos nmeros naturais pode nos dizer sobre uma medida
de massa? Logicamente os objetos de Peano no falavam de massa, mas falavam de nmeros.
A massa representada por nmeros, por isso, parece razovel que o que se diz sobre
nmeros tambm diga algo semelhante sobre a massa.
Qualquer que seja o equipamento de medida haver uma caracterstica que geral para
todos eles, seja um super-microscpio, que atualmente tem uma resoluo que permite que
cientistas consigam enxergar estruturas de cerca de 100 nanmetros, ou seja, na preciso dos
sensores dos aceleradores de partculas; a preciso ser sempre finita. E, consequentemente,
os nmeros que se obtm tambm. Desta forma, mesmo se reunirmos todos os equipamentos
de medida mais sofisticados do planeta de uma grandeza especfica, ocorrer um intervalo de
nmeros obtidos.
A preciso dos equipamentos de medida revela um aspecto importante, o que faz com
que um equipamento mostre um valor em vez de outro, sabendo-se que, devem-se existir
valores intermedirios, visto que as grandezas contnuas tornam-se mais precisas medida
que a preciso dos equipamentos aumenta. Ou seja, com o aumento da preciso, novos
nmeros surgem para uma dada grandeza. Isto indica que devam existir valores
intermedirios, algo que se conhece dedutivamente.
Portanto, o equipamento disponibiliza apenas valores discretos; e para estes
equipamentos, no se utiliza a informao de que o valor medido encontra-se entre dois
valores discretos. Isto indica que tanto o sujeito que mede e equipamentos de medida de
tecnologias digitais utilizam de critrio para decidir se considera aquele valor como o valor
imediatamente inferior quele valor indefinido, ou deva decidir pelo valor imediatamente
superior. De fato, uma deciso aqui necessria, pois a indeciso seria algo indesejvel para
42
43
baixo. Ela contnua no intervalo do tempo em que permanecer em qualquer destes nveis.
Entretanto, em termos fsicos, a passagem de um nvel para outro no se d
instantaneamente. E num osciloscpio de preciso possvel encontrar valores contnuos
entre estes dois nveis. Na verdade, forma-se uma rampa de variao de tenso entre os dois
nveis. O intervalo de tempo de pulso em que um processador considera como sendo pulso
(seja ele positivo ou negativo) que determina se o tempo da rampa vai interferir neste
processo.
Assim, temos duas formas de compreender, uma no enxerga a rampa e a outra
enxerga. Porm, isso no significa que a rampa deixa de existir, apenas que uma delas no
encontra aplicao para a sua existncia, e o carter contnuo da onda quadrada no tem
qualquer finalidade. Acreditar na existncia de algo no indica que este algo deva ser
aplicado.
No momento da medio se cr que existe continuidade, contudo, no instrumento, se
l nmeros inteiros, em forma de dados, normalmente ordenados por seqncia de sucessores
unitrios. Aps nossa leitura, verificamos o fator de desvio, e finalmente adotamos um
intervalo como medida de uma grandeza. Isto significa que at mesmo na prtica, colocamos
nossa compreenso de que h continuidade nas coisas. As coisas so analgicas, mesmo
quando verificamos que num instrumento fornecido um valor discreto (digital).
Voltando ao osciloscpio, sabemos que com ele possvel observar a potncia gasta
num circuito resistivo atravs da sua relao (diretamente proporcional) com a tenso eltrica.
Quando temos uma tenso contnua, temos uma linha reta com valor constante; e a energia
dissipada em forma de calor um valor constante ao longo do tempo. Quando temos uma
tenso alternada, a onda se apresenta como uma linha contnua, cuja variao pode-se
reconhecer pelas suas regularidades.
A potncia dissipada ao longo do tempo varivel, depende do instante de tempo, mas
seu valor mdio dentro do ciclo constante. A tenso alternada cujo centro for a tenso zero,
ter uma mdia zero, mas a potncia dissipada no. E isso parece contraditrio, pois a
potncia dissipada num circuito resistivo proporcional tenso. A potncia no uma
grandeza vetorial, ela indica uma relao de trabalho realizado pelos campos eltricos.
Quando os eltrons circulam no circuito num sentido, estes aquecem o resistor, quando eles
esto submetidos a uma tenso cujo sinal oposto, os eltrons seguem um caminho oposto.
Ou seja, eles continuam a passar pelo resistor e a aquec-lo.
Para o pesquisador, observa-se uma potncia total constante ser dissipada dentro de
44
45
uma mdia de um potencial que pode servir para a dissipao de potncia. Pois se fosse a
mdia entre seus valores positivos e negativos obteramos um valor nulo. Neste caso, esta
mdia revelaria algo falso, haja vista que se encostarmos a mo num resistor alimentado numa
rede deste tipo, verificaramos que ele aquece e, portanto, que h corrente eltrica circulando
por ele.
Desta forma, para permitir que se possa ter a compreenso de qual o valor da tenso
eltrica til, criou-se este tipo de medida, chamada valor mdio quadrtico ou valor eficaz. A
partir da razo de tenso de pico da onda senoidal e a 2 possvel determinar um valor
mdio (tenso de meia amplitude). Ou seja, esta operao de tornar uma onda continuamente
varivel no tempo em um valor discreto feito por meio de um fator irracional! Ou seja, este
valor mdio, na verdade, um esforo para transformar infinitos valores em um valor
representativo de acordo com a potncia dissipada num circuito.
Assim, em vez de uma senoidal com infinitos valores at um pico positivo e negativo,
teremos um nico valor. Se alterarmos os valores das amplitudes, ou de sua freqncia,
teremos alteraes neste nmero fornecido pelo instrumento. Se o usurio do instrumento no
for ingnuo, saber o que este nmero representa, e que a medida da tenso rms, como
qualquer medida, uma interveno sujeita aos desvios por parte do sujeito mensurador e do
prprio instrumento. Por isso, dever considerar que a medida mostrada pelo display um
valor referente de um intervalo, forma pela qual se caracteriza como nmero na aplicao.
Podemos entender a margem de nmeros disponibilizada pelos instrumentos como um
conjunto de nmeros compreendidos entre um intervalo que podem ser expressos pelas
proposies de Peano. 27 Mas preciso lembrar que a possibilidade de compreenso dos dados
fornecidos pelos instrumentos como nmeros, que possuem certas propriedades dos nmeros,
no o mesmo que falar que os dados so nmeros. Pois refletem quantidades e estas no
encerram as propriedades dos nmeros. Tudo que dito aqui, referente a algumas
possibilidades de compreender um dado como nmero, e no que so nmeros.
Assim, poderemos observar a ordinalidade das quantidades fornecidas. Por exemplo,
se aumentarmos a velocidade de um carro. O valor imediatamente mostrado ser o acrscimo
de uma unidade correspondente preciso do velocmetro. Assim se d do valor inicial
indicado por um nmero, at o ltimo, correspondente ao valor mximo suportado pelo
medidor.
27 Com exceo do 5 postulado, pois no cabe aqui a compreenso de nmeros indutivos, afinal, as
quantidades em termos de medida de um instrumento so finitas.
46
1.8 A contagem
cardinal. Por exemplo, um militar, ao contar sua tropa, verifica que havia 37 soldados, ele
sabe que est faltando dois soldados porque este cardinal corresponde a dois a menos que o
total previsto de soldados desta tropa.
A contagem neste tpico foi apresentada de forma primria, do ponto de vista da
aplicao, a explicao de contagem mais elaborada na matemtica. Retomaremos este tema
nos prximos tpicos, especialmente no tpico da Axiomtica de Peano.
1.9 Concluses
A medida e a contagem so operaes, e como tal, possuem dois elementos bsicos,
ao e planejamento. So ao mesmo tempo, tericos e prticos. Muitas teorias so
interessantes para defini-los, como as Teorias da Medida. Mas estas se preocupam com o
aspecto terico (como o prprio nome sugere), mas est interligada prtica por meio da
viabilidade do procedimento da medida, que a envolve, mas no seu objeto real de estudo.
J na prtica da medida, preocupa-se com a possibilidade de ter fidelidade a realidade
prtica. A correspondncia entre o resultado do fenmeno e a interveno para modificar o
fenmeno como se desejar encontrar vestgios com a teoria, que envolve a prtica, mas no
o seu objeto real. Tanto a prtica como teoria a so complementares, tanto a ao prtica tem
seu conceito e objeto do conceito. A prtica terica tem seus objetos e seus conceitos de
objetos. Ambos formam as operaes de medida e contagem. So, portanto, realizados com
mediaes ligados por meio da complementaridade entre os seus aspectos intensionais e
extensionais, assunto do prximo captulo.
49
CAPTULO II
2. A COMPLEMENTARIDADE DE MICHAEL OTTE
2.1 Complementaridade
O termo complementaridade refere-se a conceitos opostos que se corrigem
reciprocamente e que se integram na descrio de um fenmeno. Assim, por exemplo,
chamam-se complementares os conceitos de onda e de corpsculo para a descrio dos
fenmenos pticos na moderna mecnica quntica. O princpio da complementaridade
formulado por Bohr exprime a incompatibilidade da mecnica quntica com a concepo
clssica da causalidade. Exprime-se assim: Uma descrio espacio-temporal rigorosa e uma
seqncia
causal
rigorosa
de
processos
individuais
no
podem
ser
realizados
O objeto e meio mantm-se em oposio. [...] os objetos so, como a prpria palavra
indica, resistncia ao conhecimento, e os problemas no produzem por si s os meios de
sua soluo. OTTE (1991, p.225)
Otte apresentou a complementaridade do carter intensional e extensional dos termos
ou conceitos.
As teorias axiomticas modernas tornam-se, de um lado, teorias intensionais no sentido
que os axiomas como um conjunto de postulados no somente determinam as intenses
dos termos tericos, mas tambm constituem as extenses ou referentes. Em geometria
euclidiana, os objetos sobre s quais a teoria fala parecem ser dados por intuio, e
independentemente da teoria. Na Geometria Hilbertiana a situao totalmente
diferente. 29 [...] OTTE (2003, p.204)
51
forma de tratar pode ser classificada pela forma intensional e extensional. Otte defende que as
duas formas no representam de maneira completa e isoladamente, mas que devem ser vistos
como complementares entre si.
Torna-se bvio que as relaes entre as intenses e extenses de termos matemticos
so mais complicados que uma lei clssica do inverso das distncias sugere. Intenso e
extenso tornam-se relativamente independentes uma da outra e so conectadas
circularmente ou complementar uma da outra. OTTE (2003, p.205) 30
Conotao de Stuart Mill corresponde, portanto, a compreenso da Lgica de PortRoyal, e intenso da lgica leibniziana e contempornea. Enquanto denotao refere-se a
extenso. Assim, hoje se entende conotao-denotao como intenso-extenso. Da, a
compreenso extensional aquilo a qual se refere.
comum referir-se a uma lgica como intensional a qual seus termos representam
propriedades ou conceitos em lugar de objetos que tm estas propriedades. Defende-se que a
lgica de Leibniz fosse intencional por este usar uma simbologia para representar conceitos e
suas relaes.
30 [...] it becomes obvious that the relations between the intensions and extensions of
mathematical terms are more complicated than the classical law of inverse range suggests.
Intensions and extensions become relatively independent from each other and are circularly
connected or complementary to each other.
52
53
perceber que sua compreenso no seria possvel sem a relao entre os componentes da
extenso da energia: a energia cintica, a energia potencial etc. Alm disso, a relao entre os
tipos de energia (extenso) no seria possvel sem algo que os unificassem em mesmas
propriedades (intenso).
FREGE (1974) nos d exemplos de apreenso de equaes atravs da definio
das extenses com base em um enunciado.
O juzo: a reta a paralela reta b. Assim, a // b.
Da semelhana geomtrica resulta o conceito de forma. FREGE (1974, p.255).
Quanto forma, possvel encontrar semelhanas geomtricas entre as representaes
geomtricas de dois enunciados, possibilitando a introduo de valores de significado entre os
conceitos. Isto , que a reta a paralela reta b o que significa que a direo da reta a
igual direo da reta b.
Aps isso, Frege apropria-se por convenincia de um conceito de Leibniz: So iguais
as coisas que salvo a verdade, podem ser substitudas uma pela outra. FREGE (1974, p.255).
Deste modo, se pode substituir a direo de a pela direo de b.
Concluso: direo de a = direo de b.
A direo de a igual a q.
q uma direo se existe uma reta b cuja direo q. FREGE (1974, p.257)
q igual direo de b.(1974, p.257)
A direo da reta a a extenso do conceito paralelo reta a.
Frege afirma ao introduzir q: estaramos tratando a maneira como introduzido o
objeto q como uma de suas propriedades, o que ela no . FREGE (1974, p.257).
Esta definio, assim como todas as definies, no enuncia, enquanto tal, nada sobre
ele; mas estipula o significado de um sinal, neste caso, q.
Assim, se a extenso do conceito reta paralela reta a igual a extenso do conceito
reta paralela reta b, e inversamente: se as extenses dos conceitos mencionados so iguais,
a paralela a b.
Otte esclarece um pouco mais a respeito deste assunto:
O tema principal da matemtica essencialmente constitudo pela observao de
identidades ou igualdades e diferenas. As caractersticas essenciais de um ato de
criao imaginativa consistem em ver um A como um B: A=B. Uma tal equao pode
significar que A e B so aspectos de uma mesma substncia. Na terminologia fregeana,
isto significa dizer que A e B so diferentes intenes de uma mesma extenso ou que
so representaes com um referente compartilhado, mas com significados diferentes.
OTTE (2001, p.47)
54
E completa:
Isso pode tambm, contudo, ser interpretado em termos funcionais ou em termos de
uma relao de causa e efeito. Neste caso, A = B significa algo como A produz B ou B
um resultado ou uma representao de A. OTTE (2001, p.47)
2.3 Funo
Otte afirma
que o
entendimento
de funo:
[...]
significa entender a
complementaridade das frmulas concretas e da relao abstrata [...] OTTE (2001, p.55).
Assim,
A funo simultaneamente qualitativa e quantitativa, conceitual e construtiva. Ela
conhecimento (idia total) e instrumento (frmula de clculo) ao mesmo tempo. Esse
conceito tem de ser entendido, obviamente, como um todo, como uma idia universal,
tanto como uma mera coleo ou conjunto de relaes de entrada e sada (input
output). Essa dualidade inevitvel enquanto ns acreditamos que as funes devem
antes ter certas propriedades, continuidade, por exemplo, para serem matematicamente
interessantes, do que serem concebidas em meros termos da teoria dos conjuntos.
OTTE (2001, p.54)
55
A concepo dos nmeros, do ponto de vista da axiomtica moderna, pode ser bastante
representativa a partir da anlise de dois pontos de vista diferentes: a abordagem de Peano
(intensional) e a de Russell (extensional). Do ponto de vista da aplicao, ou seja, no campo
da interpretao sobre os nmeros, ora se observa um ponto de vista dos nmeros, ora se
observa outra perspectiva.
Deste modo, aplicando os nmeros, podemos seguir um caminho de interpretao dos
nmeros de maneira unilateral; ou podemos compreender que, para cada caso particular,
existem duas formas diferentes de observar. Estas duas formas podem ser postas a uma
disposio tal, que o resultado seria uma noo mais completa de nmero.
Talvez no seja possvel, desta maneira, definir nmero geral, e nem mesmo ser
necessrio. J que nem tudo que aplicamos necessita-se definir; pois atualmente, se v nas
definies algo que limita a compreenso dos termos. Para certos conceitos, parece no
possuir fronteiras bem definidas e qualquer tentativa deste tipo, sempre levar a um
ceifamento de aspectos que podem ser importantes para uma dada aplicao. Logicamente,
no h uma concluso que seja mais ou menos verdadeira quanto a esse assunto. Definir ou
no o nmero depende do pensamento e da circunstncia em que o sujeito estiver envolvido.
Faz sentido definir nmero? Este debate profcuo? H urgncia para esta discusso?
De fato, o nmero algo importante para ser debatido. Mas isso no significa que deste
debate se retirar ou dever retirar uma noo definitiva. Mas , sem dvida, importante
sabermos abrir perspectivas.
Vejamos um exemplo deste tipo de abordagem atravs da discusso de parte do livro
APLICAES DA TEORIA DE PIAGET AO ENSINO DA MATEMTICA, de Luiz
Alberto S. Brasil, que faz a seguinte observao:
No captulo III (Nmeros) abordamos a noo de nmero, deixando subentendido que
cada nmero caracteriza uma propriedade comum a uma infinidade de conjuntos: assim
todos os conjuntos constitudos por um par de elementos tem em comum a propriedade
de ter dois elementos. BRASIL (1977, p.39)
Gdel achava que, na verdade, estas declaraes eram uma forma exagerada de se
proteger dos paradoxos, tornando os conjuntos nulo e unitrios como fictcios. Poderamos,
assim, entend-los como pontos no infinito da geometria. OTTE (2001, p.45).
Talvez todas estas questes levantadas a partir da definio de nmero, no sejam
importantes para o carter emprico e intuitivo que se deseja dos nmeros por BRASIL.
Parece-nos que as definies prvias de conceitos seguem ao que se deseja construir com eles,
58
mesmo que estes conceitos sejam de carter puramente pragmtico. Julga-se que se a tarefa
ensinar crianas sobre nmero, necessria uma concepo de nmero definida. O autor
entendeu que esta seria a melhor definio para este fim. Uma questo se levanta: realmente
necessria uma definio prvia para compreender nmeros?
Evidentemente no seria produtivo discutir o que so os nmeros com as crianas. O
objetivo, na verdade, desenvolver a habilidade de reconhecer em colees quantidades de
at quatro objetos. Para isso, o autor prope algumas tarefas para reconhecer eqipotentes
envolvendo trs tipos de objetos diferentes em trs diferentes caixas e, aps isso, nomear estas
quantidades. Deste modo, so nomeadas as quantidades (1 para conjunto unitrio, 2 para
conjunto com 1 par, 3 para conjuntos com um par + 1, e 4: dois pares). Por exemplo,
transcrevemos a tarefa com o nmero 2:
Material: Sobre a mesa, dois lpis, duas canetas, duas borrachas e trs caixas vazias.
Coloquem na primeira caixa o conjunto dos lpis; na segunda, o conjunto das canetas;
e, na terceira, o conjunto das borrachas.
Qual destes conjuntos tem mais elementos?
So eqipotentes?
Informao: Todos os conjuntos eqipotentes aos que acabamos de ver so chamados
conjuntos Pares ou conjuntos de Dois elementos.
Material: Colocamos sobre a mesa mais um lpis, uma caneta e uma borracha. [...]
BRASIL (1977, p.50)
Aqui novamente conveniente lembrar Russell. Para ele, o termo coleo, pode ser
tratado como classe ou conjunto. E sua concepo de nmero :
[...] nmero uma maneira de reunir certas colees, a saber, aquelas que tm um dado
nmero de termos. Podemos supor todos os pares num feixe, todos os trios em outro, e
assim por diante. Dessa maneira, obtemos vrios feixes de colees, cada feixe
consistindo em todas as colees que tm certo nmero de termos. Cada feixe uma
classe cujos membros so colees, isto , classes; assim, cada um uma classe de
classes. RUSSELL (2007, p. 31)
Alm disso, para ele os nmeros tinham que possuir um carter pragmtico.
Queremos que nossos nmeros no meramente verifiquem frmulas matemticas, mas
que se apliquem da maneira correta a objetos comuns. Queremos que nossos nmeros
no meramente verifiquem frmulas matemticas, mas que se apliquem da maneira
correta a objetos comuns. RUSSELL (2007, p.26)
Assim, quando colocamos disposio nmeros em certa ordem, parece ser razovel
que se adotarmos uma seqncia definida, o faremos de acordo com pressupostos primrios.
Da, ao assumir que todos os outros nmeros obedecero a estes pressupostos, esta noo se
chamar axioma da induo, que Russell prefere entender como princpio.
Os nmeros no s podem ser identificados numa coleo apenas por sua descrio,
sendo ainda necessrio verificar similaridades encontradas no mundo real. Mas os nmeros
tambm podem ser entendidos complementarmente a partir da relao entre eles. A partir da
noo de que um nmero, que o sucessor de um um nmero, e da relao entre sucessor e
nmero, entende-se: 1, 2, 3 e 4 so nmeros pois estes atendem s proposies primitivas
sobre nmeros. Alm disso, razovel refletir porque BRASIL no disps dos nmeros em
qualquer ordem, procedendo de adio ou subtrao de mais de um objeto (inclusive). A
forma ordinal, ainda que implcita, importante na apresentao da cardinalidade, pois revela
outros aspectos importantes sobre os nmeros, que a cardinalidade apenas no pode revelar.
De um lado, a descrio intensional, de outro, a descrio extensional, isoladamente,
incompletos; mas, quando nos atentamos a ambos os lados, estamos mais aptos a responder
questionamentos mais profundos sobre o assunto.
61
33 Voltmetro.
62
fontes34 fornecem os devidos valores (5V e 12V), estes 5V e 12V so diferenas de potencial
entre dois pontos, um deles o plo positivo e o outro o negativo. No caso da fonte das duas
tenses, o terra ou comum o plo negativo. O detalhe que plo negativo comum a ambas
as fontes. Resultado: o valor do resistor dever, de fato, ser zero, pois ambos os terminais
esto ligados no mesmo ponto.
Se utilizarmos diferentes referncias de negativo, o resultado mudar e teremos, com
efeito, o valor 3.5V para ambos os resistores.
Agora temos duas fontes sem um ponto comum. Em uma o plo negativo o prprio
terra, comum fonte de 5V e a outra fonte de 12V totalmente autnoma quanto ao seu plo
negativo. A compreenso necessria aqui bsica. Exige-se apenas compreender que
diferena de potencial a diferena entre dois pontos, e se temos dois pontos dados como os
pontos entre o resistor inferior, ligados aos plos negativos das fontes, estes devero ter
diferentes valores e, portanto, a tenso entre estes dois plos dever ser diferente de zero.
Diferena de potencial continua a ser diferena, por isso, podemos dizer que a
diferena entre dois pontos negativa ou positiva de acordo com a ordem que ns dispomos
os elementos na operao. Assim, a diferena entre o negativo da fonte de 12V e o negativo
de 5V poder ser positiva ou negativa. Assim, a simples compreenso da relao entre o
objeto (medida da tenso) e o conceito do objeto (valor da ddp entre dois pontos) permite
enxergar uma diferena entre o terra e plo negativo de uma fonte de tenso, ainda que em
muitas circunstncias estes termos se confundam.
A tenso um conceito. Conceitos no so definidos por instrumentos, mas justamente
o contrrio. O instrumento efetua a medida, o que pode parecer ser desnecessrio
compreender o conceito da medida. Mas os conceitos no so calculados, so julgados. E
julgar que tenses aparentemente iguais, na verdade, se comportam de forma diferente requer
julgamento da aplicao de um conceito. Ou seja, apenas objetos no so suficientes.
Distinguem-se objetos apenas no julgamento de conceito. Os valores numricos das medidas
no tem significado sem conceitos que acompanhem.
Ainda que tenhamos em mos o objeto (a medida) ela ter significado apenas dentro
de estruturas de aplicaes automticas. A carncia do conceito acarreta algumas
impossibilidades como a de explicar o que se est realizando, e tambm de resolver problemas
que fogem a esfera da rotina.
34 Fontes de tenso eltrica.
64
Neste exemplo, encontramos duas fontes com mesma medida, mas que se
comportavam de maneira diferente com relao a um circuito. Estas medidas no foram
suficientes para determinar a incompatibilidade do uso de uma delas. Novas medidas no
circuito foram feitas, resultados diferentes foram encontrados. As fontes de tenso
apresentavam mesma medida de tenso, ou seja, no era possvel distinguir ambas as fontes
apenas com o instrumento.
Porm, quando colocamos em relao com o circuito por meio do julgamento da
medida de tenso, verificamos que uma delas no pode ser usada, pois apresenta resultados
indesejados. A tenso uma grandeza relativa, seu entendimento est nas relaes, nos meios,
nos conceitos dos objetos em que envolvem os objetos.
Houve uma igualdade de medida de duas grandezas que durou cerca de 300 anos para
ser considerada a mesma grandeza. O motivo justamente o contrrio do exemplo anterior. O
exemplo anterior tratava de uma igualdade de medidas de duas grandezas diferentes
35
no
65
Dando continuidade, segue na sua definio IV: "Esta fora consiste somente na ao,
nem permanece no corpo depois dela. De fato, um corpo persevera em todo novo estado,
apenas pela fora de inrcia [...]" Newton (1974, p.12). Da nos lembra CASTELLANI
(2001):
Logo, uma leitura mais exata da 2a lei nos mostra a verdadeira natureza dessa massa.
Quando Newton usa o termo fora motriz, ele se refere a uma fora (ao) que atua em
um intervalo de tempo pequeno (Definio IV), ou seja, somente para alterar o estado
do corpo. CASTELLANI (2001)
66
Esta questo foi retomada por Einstein quando estava formulando a sua Teoria da
Relatividade Geral, quando apresenta seu princpio da equivalncia: Um referencial
acelerado idntico a um referencial em repouso em um campo gravitacional.
CASTELLANI (2001).
O prprio Einstein explica seu princpio:
Imagine um homem no interior de um elevador sem ter conhecimento algum do que
ocorre no exterior. Leve este elevador para o espao sideral longe de qualquer campo
gravitacional. O homem ficar flutuando no interior do elevador, pois no h a atuao
da fora peso. Se ele soltar uma bola, ela permanecer no mesmo lugar em que foi
solta, pois do mesmo modo no h fora gravitacional atuando. Agora deixe esse
elevador em queda livre num campo gravitacional. O homem e o elevador iro cair
juntos. As paredes do elevador no se movem em relao ao homem, dando-lhe a
impresso de que ele est flutuando. Se ele soltar uma bola, esta continuar na mesma
posio em relao ao homem (pois cai junto com ele). Ou seja, para o homem os
experimentos que ele fizer se comportaro da mesma maneira nas duas situaes.
Imagine o mesmo homem no mesmo elevador na superfcie de um planeta. O homem
deixa cair uma bola no interior do elevador e verifica que ela cai com acelerao da
gravidade g. O prprio homem sente a ao do campo, pois seu corpo pressiona o cho
do elevador. Agora leve este elevador para o espao sideral, longe de qualquer ao
gravitacional (lembre-se que estamos considerando que o homem no percebe nada).
Acelere o elevador para cima com uma acelerao g. Tal acelerao ser transmitida
para o homem em sentido oposto. O homem solta uma bola e verifica que esta atinge o
cho do elevador com acelerao g. Ele mesmo sente seus ps pressionarem o cho do
elevador. Logo, tudo se passa como se ele estivesse em um campo gravitacional, ou
seja, o homem no consegue distinguir um referencial acelerado de um referencial
imerso num campo gravitacional. EINSTEIN apud CASTELLANI (2001).
Esta concluso, que verifica uma igualdade entre termos, teve um interstcio bastante
longo, entre a hesitao de Newton em proceder a uma equivalncia e as concluses de
Einstein. Talvez o grande avano e dificuldade da cincia do-se neste processo de provar e
aplicar a equivalncia (caso especfico da igualdade) entre coisas que participam de
fenmenos equivalentes. A dvida move a cincia, a falta de uma elaborao que chegasse a
uma correspondncia, apesar dos dados experimentais demonstrarem uma mesma quantidade,
revela um conhecimento ainda a ser construdo, como a questo da natureza da gravidade, que
passou a ser objeto de estudo de Einstein.
A razo tem de tomar a dianteira com princpios que determinam os seus juzos
segundo leis constantes e deve forar a natureza a responder s suas interrogaes em
vez de se deixar guiar por esta. A no ser assim, as observaes feitas ao acaso,
realizadas sem plano prvio, no se ordenam segundo a lei necessria, que a razo
procura e de que necessita. KANT BXIII(2001, p. 19)
Os dados paradoxais que conflitam com a teoria, isto , com os princpios a priori, no
servem de base para a formao do conhecimento cientfico. De fato, os dados discordantes s
67
sero validados quando estiverem definidos dentro de um aparato formal, ou seja, os dados da
experincia devem ser acomodados nos seus respectivos campos, e caso no estejam de
acordo com a regra em que est includa no ser considerada como informao vlida, pois
desrespeitam a ordem pr-estabelecida (preceitos a priori). Na formao das frmulas a no
conformidade indica que a incluso de uma varivel com esta caracterstica ir impedir a
manuteno da regra maior que a igualdade, de forma absoluta ou de proporcionalidade.
Por fim, aps 300 anos, se reconheceu a igualdade, porque se pode estabelecer uma
relao de semelhana na forma de apresentar os conceitos. Afinal, tnhamos uma igualdade
baseada no s pela igualdade numrica, quantitativa, objetiva. Mas no havia conexo entre
os conceitos. As medidas de massa inercial e massa gravitacional eram coincidentes
numericamente, mas no eram consideradas as medidas de um mesmo objeto. Ao se mostrar
que os objetos (massa gravitacional e massa inercial) poderiam ser referidos num mesmo
conceito, estes objetos passaram a ser um nico objeto.
Einstein foi um grande unificador de objetos.
massa) era absoluta para qualquer situao. Para um fsico verificar 1 + 1 = 2 no envolveria
uma discusso da forma que um matemtico faria. Com um instrumento calibrado facilmente
verificaria, por exemplo, que 1N + 1N = 2N. N (unidade de fora) inclusive envolve as trs
grandezas que perderam o cunho de absolutas (kg.m/s2).
O que de fato interliga duas medidas passa a ser a velocidade. Isto mais claramente
verificado em velocidades prximas velocidade da luz. Em velocidades muito menores,
como os 108.000km/h da velocidade da Terra em relao ao Sol, as diferenas com as Leis de
Newton e a geometria euclidiana so desprezveis, mas suficiente para se proceder ajustes em
procedimentos crticos, como operaes espaciais. A relatividade de Einstein no destruiu a
relatividade de Newton, nem mesmo a geometria de Euclides, mas mais amplo, e prev
idealmente acontecimentos fsicos.
A Teoria da Relatividade uma forma sofisticada da idealizao do mundo fsico.
Dados experimentais foram essenciais para este trabalho, como a verificao de que a
velocidade da luz no se altera em nenhum sistema de coordenadas inerciais. Para que isto
fosse possvel, era necessrio que o tempo se dilatasse e o comprimento entre pontos se
contrasse em direo da velocidade. Experincias como a realizada por Michelson-Morley
resultaram na obteno de nenhum dado desejvel. Pois no havia nenhuma teoria que
atendesse a estes dados. A luz possui propriedades ondulatrias, e como tal deveria possuir
um meio para se propagar, tal quais as ondas mecnicas e acsticas. Isto absolutamente
lgico. O meio de propagao da luz era chamado de ter. O ter nunca foi detectado, sua
existncia era deduzida por base de analogia das propriedades das ondas. O movimento da
Terra foi usado para determinar a velocidade do ter. Mas qualquer que fosse o sentido
aplicado luz, no se chegou a um valor diferente. Ou seja, a luz no possui uma velocidade
relativa a um objeto dado, como o ter. A velocidade da luz, na verdade, que absoluta para
qualquer observador. 36
O conceito de ter no se associou a nenhum objeto que se pudesse indicar sua
existncia. Por isso, no se configurou como um conhecimento. Mas como uma deduo, mas
que no possua uma concepo consistente com um mtodo de detect-lo. A compreenso da
realidade de uma coisa depende destes dois elementos: o intensivo e o extensivo. O ter
possua o conceito (intenso), mas no a extenso do conceito (extenso).
69
A medida passou a ter um novo plano terico a grandes velocidades. Medir significa
mais que nunca, utilizar de um plano terico que deva se afastar mais das aparncias. Mas no
significa se afastar de toda compreenso matemtica adquirida at ento.
Por exemplo, quando verificamos a relao entre o movimento de um feixe de luz por
um relgio de luz visto por um observador mvel e outro parado, utilizou-se de Pitgoras37, e
da geometria convencional. As marcaes verificadas38 no se diferem muito das
representaes de espao e nmero de Euclides.
No foi aplicada uma nova lgebra para seu entendimento39. Mas a mudana cognitiva
de valores como coisas absolutas exigem o esforo de se adequar conceitos de objetos e os
objetos mesmos dentro de perspectivas consistentes, ainda que de forma estranha ao plano
que estamos habituados a seguir.
Quando se verifica um objeto no esperado, - que teoricamente no se esperava; como
a medida zero, por exemplo, da diferena da velocidade da luz entre braos do interfermetro
pode-se pensar que, foi um esforo intil. Mas olhando com mais cuidado, o objeto ter no
foi encontrado tal qual o conceito. Mas o outro objeto que serviu para determinar extenses
suas passou a existir em substituio desta. Ou seja, o ter no era mais objeto, mas sim a
diferena de velocidade da luz em diferentes sistemas inerciais, utilizando a velocidade da
Terra. O nmero zero passou a ser uma importante extenso, um novo objeto. Juntamente com
um novo conceito deste objeto: diferena da velocidade da luz em diferentes sistemas
inerciais. Um novo ponto de partida iniciava numa emocionante jornada cognitiva ao se
estabelecer mais um objeto e conceito de objeto que surgiu no incio do sculo XX.
Na matemtica, certo que: se a=b, e b=c, ento a=c. Mas na Fsica Relativstica isto
no mais se verifica. Por exemplo, um mesmo objeto observado por um observador mvel e
por outro fixo em relao ao objeto.
40
70
inertes, dentro de uma perspectiva e mtodos prprios, mas totalmente consistente com as
demandas da poca.
Mesmo antes de Einstein e Lorentz, esta igualdade se verificava. Mas quando foi
necessrio encolher os espaos
42
mas voltado para as necessidades fsicas. Pois uma igualdade se apresentava objetivamente 44,
sendo natural buscar um conceito que seja adequado ao novo objeto. A velocidade da luz, e as
transformaes 45 necessrias surgiram para o procedimento da medida envolvendo grandezas
tidas como absolutas tais como massa, tempo e espao em movimento, em especial em
velocidades prximas velocidade da luz.
Vejamos esta declarao de Einstein:
O nosso mundo no euclidiano. A natureza geomtrica do nosso mundo moldada
por massas e suas velocidades. As equaes gravitacionais da teoria da relatividade
generalizada tentam revelar as propriedades geomtricas deste mundo EINSTEIN
(1980, p.194).
71
Neste sentido, verificamos que, a adoo de uma alternativa para a geometria foi til
quando se tratou de questes fsicas. Por isso, a Fsica importante para a Matemtica, pois
amplia e instiga, como na Fsica-Matemtica, novos objetos e novas formas cognitivas. O
mundo das possibilidades encontra um campo frtil para novas construes. A diferena entre
Matemtica e Fsica fica clara aqui. Os objetos Fsicos so ligados ao real. Sua realidade
dupla, objetiva e conceitual. A realidade fsica o prprio conhecimento fsico. Como em
tantos outros ramos do conhecimento e da linguagem, a circularidade da Complementaridade
sugerida por Michael Otte clarssima. A Fsica busca apreender explicaes e
sistematizaes atravs de medidas, e as medidas s podem ser feitas adequadamente por
meio de explicaes e sistematizaes.
2.8 Concluses
A complementaridade de Michael Otte um importante instrumento para o
entendimento da construo cognitiva de conceitos e suas relaes com os objetos de seus
conceitos. A distino destes e o discernimento da relao entre os aspectos intensionais e
extensionais ajudam na compreenso dos elementos necessrios para uma boa relao entre
sujeito e conhecimento.
A medida e o conceito de medida so elementos essenciais quando tentamos analisar a
natureza de forma quantitativa. Eles so elementos complementares dos assuntos da Fsica. E
no s a identificao de seus elementos, mas tambm a relao de complementaridade entre
eles vislumbra um grande potencial de aplicaes concretas, tanto na explicao da medida,
conceito e processo cognitivo em que o aluno se encontra.
De fato, a prtica com os nmeros no nada sem seus fundamentos. A sistematizao
dos nmeros surgiu com Euclides. Sua idia explicava os nmeros e suas relaes. Mas estava
atrelada a intuio que sua geometria fornecia. At que surgisse uma nova geometria, ainda
ligada geometria euclidiana, mas como negativa, a geometria no-euclidiana.
72
CAPTULO III
FUNDAMENTOS TERICOS DOS NMEROS
3.1 A axiomtica
estes campos de conhecimento. A Fsica se insere neste contexto como uma aplicao desta
discusso, ou seja, ela pode ser vista como o laboratrio em que se observam as diferentes
formas de ver os papis envolvendo a filosofia e matemtica no mundo moderno.
As concepes axiomticas no se referem exclusivamente matemtica ou a
filosofia que, segundo BUNGE (1973, p.30), existem duas misses principais para os
fundamentos da Fsica: realar a clareza das ideias fsicas e aperfeioar a sua organizao.
A ordem e a fora argumentativa no tem apenas um valor esttico: quanto melhor
organizado estiver um corpo de idias tanto mais fcil apreend-lo e ret-lo
(vantagem psicolgica) e tanto melhor se proporciona avaliao, critica, e
eventualmente a sua substituio por um diferente sistema de idias. Por estas razes,
os matemticos, desde o tempo de Euclides, valorizaram a formulao axiomtica das
teorias. No apenas uma questo de gosto, nem mesmo principalmente uma questo
de ensino mas uma questo de metodologia; a axiomtica cientificamente vlida
porque torna explcitas todas as suposies realmente empregues e assim torna possvel
mant-las sob controlo. BUNGE (pp. 30-31).
76
O esforo depositado nos Elementos, na deduo de suas 465 proposies a partir das
10 sentenas acima, apresenta como aplicar a derivao dedutiva.
[...] O desenvolvimento sinttico, consistindo em derivar o desconhecido e mais
complexo do conhecido e mais simples. Sem dvida o processo contrrio, chamado
anlise, consistindo em reduzir o desconhecido e o mais complexo ao conhecido, teve o
seu papel na descoberta das provas de muitos dos teoremas mas no na exposio da
matria. EVES (1997, p.180)
Outros autores tambm se referem geometria euclidiana como sinttica, ainda por
outro motivo, como por exemplo, Mendes:
Chamamos a ateno, tambm, para o fato de a geometria proposta por Euclides nOs
Elementos, ser uma geometria sinttica, ou seja, sem nmeros. Isso significa que toda a
sua formulao terica est baseada em um processo de construo sistemtica do
pensamento geomtrico atravs de um princpio lgico-dedutivo [...]MENDES (2005,
p.8)
77
done. The conclusion seems inescapable that that proposition I, which grammatically is the same as
postulates 1, 2, and 3, is not an oddly formulated assertion but the description of a task which Euclid
'proves' by doing it.
78
A relao entre a experincia e a sua condio a priori explicitada por Kant quando
afirma:
Com efeito, a prpria experincia uma forma de conhecimento que exige concurso do
entendimento. Cuja regra devo pressupor em mim antes de me serem dados os
objectos, por conseqncia, a priori e essa regra expressa em conceitos a priori, pelos
quais tm de se regular necessariamente todos os objectos da experincia e com os
quais devem concordar. KANT BXVII (2001, p.20).
dedutivo.
Na sua definio de argumento indutivo descreve como algo na qual a concluso
alcanada todos os membros de uma classe, com base no exame de alguns dos membros.
(a conclusion is reached about all of the members of a class on the basis of an examination of
some of the members). MUELLER (1969, p.295)
Visto que os argumentos de Euclides se relacionam a um s exemplo, a idia de que se
48 Euclidian derivations are quite different from Hilbertian ones, which are usually said to involve no use of
spatial intuition
79
49 [] the separation of the mathematical conception of a line from the intuitive one was a gradual
process which began with the discovery of analitic geometry and the calculus and ended, perhaps, with
the general definition of continuity.
80
Proposio 21:
Colocando algum nmero de nmeros pares AB, BC, CD, DE, juntos, diz-se que o
total, AE par. Desde que cada um dos nmeros AB, BC, CD e DE forem pares, ou seja, cada
um deles tm a metade de uma parte. Assim, AE possui a metade de uma parte. Tendo cincia
que o nmero par aquele que divisvel por dois.
Proposio 22:
Se uma multitude par de nmeros mpares for colocada junta, o total ser par. Ou seja,
colocando juntos uma multitude arbitrria par de nmeros mpares, AB, BC, CD e DE; pode
ser dito que o total par, desde que AB, BC, CD, ED sejam mpares. MUELLER (1969, p.
302)
No podemos declarar que Euclides considerasse os nmeros como os segmentos de
reta apresentados. Mas, representava as proposies originalmente aritmticas com artifcios
intuitivos, assim como representava as proposies de forma geomtrica. A axiomtica
moderna trata estas inferncias de acordo com a associatividade e comutatividade da adio, a
maneira em que Euclides trata de forma tcita.
Tratando os nmeros como segmentos de reta, no exemplificando a partir de nmeros
de objetos, por exemplo, como na apresentao de O. Becker, que colocava conjuntos de
diferentes nmeros de seixos com duas cores diferentes, cada conjunto com igual nmero de
seixos de cada cor, e a partir da soma dos seixos e organizao dos seixos pela cor, se
resultava uma quantidade de seixos igual de cada cor. Ambos provam intuitivamente a
proposio 21, mas cada um dos exemplos possui um grau maior ou menor de generalizao.
Na forma euclidiana, porm, se v que o que torna uma proposio generalista a
disposio arbitrria de unidade de medida, para permitir dizer que o nmero representado
par ou mpar. Ou seja, se AB divisvel pela unidade um nmero que divisvel por dois,
ento par, uma contagem necessria neste caso, pois temos que saber quantas vezes cada
um dos segmentos de reta contm a unidade, para definir se so pares ou mpares.
No final, novamente se faz a contagem do nmero de unidades de segmento de retas
que o segmento total possui. O exemplo de O. Becker 50, j se tem definido o que a unidade,
50 Ver MUELLER (1969, p.302)
81
isto , a unidade um seixo, mas poderia ser outra unidade, por exemplo, um conjunto de dois
ou trs seixos, assim, poderia querer saber se a quantidade de trios de seixos par ou mpar.
necessria, do mesmo modo, a contagem de seixos; se levarmos em considerao a
quantidade como argumento para descrever se o conjunto possui um nmero par ou mpar. Se
for um nmero igual de seixos, ou de conjunto de seixos, ento cada conjunto conter um
nmero par de seixos.
Intuitivamente o poder de generalizao pelo mtodo de Euclides exige um pouco
mais que a intuio pode mostrar. Afinal, o mtodo de O. Becker pode ser resolvido a partir
de uma correspondncia par de cada conjunto, sem a necessidade de contagem. Ou a partir de
uma simetria, que uma forma fortemente prejudicada pela dificuldade de verificar a simetria
com o avano de nmero de seixos.
Enquanto o mtodo de Euclides prev uma amarrao maior em conceitos prvios,
como os conceitos de nmero par e nmero mpar, de unidade, divisibilidade, prvias, alm
do instrumento de medida e contagem, o mtodo de O. Becker necessita por outro lado, de
conceitos de nmero mpar e par, de unidade e distingibilidade para a separao entre os
seixos diferentes. No precisa contar nem medir.
Uma dificuldade prpria dos processos da abordagem intuitiva se apresenta mais
claramente quando se aumenta o nmero a partir das representaes. Um nmero maior como
a soma de 37293 ao nmero 23566, se tornaria um trabalho exaustivo, e se estender o
aumento progressivamente, os procedimentos se tornariam impossveis.
Na demonstrao do teorema IX, 22, por exemplo, ns lemos: Subtrairemos de
qualquer nmero primo, AB, B, e d E, e torna-se um nmero par. Esta s uma
declarao verbal com a demonstrao, e nada incumbido para ilustra-lo sobre a
seo mencionada acima de uma linha reta. SZAB apud MUELLER (1964, p.41).51
number, AB, B, and E, and it becomes an even number' This is only a verbal statement within the
demonstration, and nothing is undertaken to illustrate it on the above-mentioned sections of a straight
line
52 for most of the arithmetic propositions in the Elements refer to an arbitrary number of numbers or
operations although the diagrams and proofs deal with a specific number
82
p.41).
Desta forma, o que se v no diagrama so quatro nmeros, isto , a inferncia da
concluso que a soma de quatro nmeros pares par, - para a concluso que isto verdade de
algum nmero de nmeros pares, - parecem ser do mesmo tipo da inferncia: 'a soma de
quatro, seis, dez e dois par' semelhante concepo de que qualquer soma de quatro
nmeros pares par'. MUELLER (1969, 304).
Fica claro que os matemticos gregos tentavam geometrizar a aritmtica. Em vez de
pontos, os nmeros eram representados por linhas. Assim, era feito em relao s operaes
envolvendo nmeros.
Mueller observa que, em termos aritmticos, os diagramas no provam tanto quanto
provam em geometria MUELLER (1969, p.304), como no caso da proposio 21 do livro IX,
que ilustra sua representao somente com a adio de quatro nmeros e no dividir a metade
e recoloc-los.
3.3 Aplicao da axiomtica euclidiana
Com relao forma de tratamento com relao s definies, vamos
exemplificar com alguns postulados e sua aplicao imediata na Fsica. Podemos verificar que
apesar da forma em que as definies so apresentadas, ou seja, sem uma categorizao exata,
ainda hoje Euclides encontra muitas aplicaes.
Vejamos agora alguns postulados dos Elementos de Euclides no Livro VII, que
possui 22 definies sobre a teoria dos nmeros.
Definio 1
Uma unidade aquela que em virtude da qual, cada coisa que existe chamada um.
A unidade a que Euclides se refere o 1. O um est relacionado s coisas, ou seja,
podemos identificar facilmente de maneira emprica algo que seja unitrio para ns. J definir
o nmero 1 no algo fcil. A unidade importantssima tanto para a medio quanto para a
contagem. Pois quando contamos os objetos precisamos estabelecer uma individualidade para
cada coisa, mas estas coisas para serem indivduos necessitam fazer parte de uma coleo com
qualidades afins.
No nos referimos ao Sol do nosso Sistema Solar o termo um Sol, mas o Sol. Mas
podemos associar o 1 ao nmero de sis quando desejamos determinar o nmero de sis que
temos dentro do nosso Sistema Solar. Empiricamente, a contagem dos conjuntos unitrios no
83
faz sentido, pois a contagem est bastante associada a uma identificao de indivduos entre
membros semelhantes.
Assim, a unidade pode ser entendida como unicidade, consequentemente no poder
associ-lo a um conjunto dos nmeros. Pois as coisas nicas so tidas como tal justamente por
meio da perspectiva de que no existem coisas semelhantes a elas.
Suponhamos que no sabemos que o sol nico, a contagem um far sentido; pois
indicaremos o nmero um ao nmero de sis. Quando contarmos, e verificarmos que somente
havia um sol para contar; diremos: s h um nico sol.
Esta anlise do um permite reconhecer que o desconhecimento do nmero de um
conjunto de coisas e a sua necessidade nos induz a contar. No contamos uma caixa completa
de ovos quando se expe previamente que esta caixa comporta 12 ovos. No designamos
tambm primeiro ao nico elemento de um conjunto. Pois o nmero ordinal necessita como
vimos anteriormente identificao de um objeto em relao ao outro.
Pedir para contar o nico sol existente em nosso Sistema Solar pode no fazer sentido.
No obstante, quando perguntamos quantos sis existem no Sistema Solar e respondemos que
h um sol, faz tanto sentido quanto responder que existem 200 bilhes de sis na Via Lctea.
O nmero um aqui pode at ser obtido de uma contagem, porm, quando o informo, no
relaciono o conjunto dos sis a uma ordem de contagem, mas a uma cardinalidade. No me
refiro a uma atividade, mas a uma informao.
Como vimos anteriormente, na Fsica a unidade est associada a uma grandeza. Neste
caso o 1 padro uma quantidade que arbitrariamente se assume como 1. As grandezas so
relaes quantitativas que necessitamos definir o seu padro. Consequentemente, se ao
determinarmos a quantidade de algo sem recorrer a uma conveno, por exemplo, a simples
contagem de indivduos de um conjunto, o nmero 1 estar associado a cada indivduo e no
ser, portanto, uma grandeza.
Resta dvida se Euclides desejava atribuir unidade uma condio de nmero.
Definio 2
Um nmero uma multitude composta por unidades.
Aqui o que podemos ver uma representao de nmero geral para um nmero trs,
podemos dedutivamente saber, de antemo, como Euclides poderia representar os outros
nmeros. No h referncias de Euclides com respeito a sua interpretao do nmero como
84
segmentos de reta. De fato, tudo leva crer que ele utilizava para atribuir uma generalidade a
um exemplo. O que pode parecer contraditrio, pois, afinal, os exemplos so sempre
particulares.
Entretanto, em Euclides eles so parcialmente particulares. Pois o segmento A geral,
representando um padro unitrio. Talvez por ser unidade, no seja a representao do nmero
um. O nmero um seria ento representado por qualquer dos segmentos BC, CD ou DE. De
fato, A no nmero um, mas uma unidade, algo que cuja existncia se baseia exclusivamente
na compreenso de base para a determinao dos nmeros. A s seria um nmero se servisse
de comparao consigo mesmo.
A maneira intuitiva caracterstica de Euclides poderia ser entendida tanto como ele
relacionava o nmero a uma grandeza; passvel de ser medida ou tanto como uma contagem
de indivduos semelhantes.
A medida visualizada pela quantidade de A's que poderiam ser usados para substituir
os outros segmentos de reta que possuem uma correlao de ordem de grandeza
eqinumrica.
A contagem seria entendida como o ato de se levantar a quantidade de elementos que
possuem as caractersticas de A.
Ambas as estratgias podem ser encontradas no exemplo euclidiano. Na Fsica, o
exemplo espacial apresentado o que podemos entender por determinao da quantificao
do espao. Mas este exemplo pode ser usado para qualquer instrumento de medida.
Todos os instrumentos necessitam de um padro, e os nmeros sero determinados a
partir de determinada forma que associarmos este padro com o que queremos comparar. Pois
os instrumentos fsicos propriamente ditos, perfazem uma relao deste tipo. Os instrumentos
de medida seriam aqueles que atribuiriam um nmero que indicaria a razo entre uma
quantidade de padres que um objeto possui. Os instrumentos contadores seriam
equipamentos que teriam o entendimento do que significa individuo, ou seja, 1 unidade, e
faria a contagem de indivduos do objeto.
Sua forma diagramtica dos nmeros sugere ser de carter mais limitado do que com
relao geometria. O grau de generalizao do nmero fica restrito a um intervalo qualquer
de uma grandeza. Justamente esta impossibilidade de separao entre nmero e grandeza, em
termos representativos, faz com que a definio seja muito mais reveladora do que o seu
diagrama. Isto no visualizado com relao aos diagramas geomtricos.
A semntica responde bastante para sua generalizao, no totalmente, mas tem um
85
largo alcance. J a axiomtica moderna, alm de utilizar uma forma mais livre de definir, no
sujeita a uma amarrao com aspectos intuitivos, se apresenta de uma forma simblica
baseada em formas lgicas da aritmtica. O que uma ampliao do poder de generalizao
da axiomtica frente aos diagramas de Euclides, tanto em termos semnticos, lgicos ou
formais.
A hegemonia da axiomtica euclidiana se estendeu at meados do sculo XIX, com o
surgimento de outras axiomticas, mas at l, a discusso quanto questes to fundamentais
como nmero tem como plano de fundo a forma sistematizada por Euclides, como do espao.
O que se entendia por nmero e suas propriedades deveriam passar pelo entendimento de
espao.
A forma de conceber o espao, o tempo, as relaes e os nmeros mudaram
juntamente com a maneira de compreender a axiomtica e a geometria. De fato, hoje
estranhamos definies como o prprio Leibniz dava para axiomas como:
Existe uma espcie de proposies que, sob o nome de mximas ou axiomas, passam
como sendo os princpios das cincias; pelo fato de serem evidentes por si mesmas,
costuma-se denomin-las inatas, sem que ningum tenha jamais procurado mostrar a
razo e o fundamento da sua extrema clareza, a qual por assim dizer nos fora a darlhes o nosso consentimento. Entretanto, no intil entrar neste exame e ver se esta
grande evidncia se estende apenas a estas proposies, como tambm examinar at
que ponto elas contribuem para outros conhecimentos nossos. LEIBNIZ (1974, p.284)
Sabe-se que Peano se interessou em dar resposta a este e outros anseios de Leibniz,
mesmo que de alguma forma viesse a dar uma nova faceta compreenso de axioma.
A discusso em torno da axiomtica de Euclides bastante frtil, e se desejar-se
estender o assunto no ter dificuldades. Dessa forma, o interesse depositado neste assunto
no definitivo.
preciso ter conscincia de que quase tudo relacionado aos Elementos de Euclides
interessante, com relao a axiomtica moderna e quanto a concepo de nmero. Mas aqui
tomamos por satisfeitos a apresentao dos conceitos bsicos e alguns debates envolvendo o
tema.
O contexto em que se inserem a intuio, abstrao, geometria, aritmtica, sntese,
anlise e representaes de nmero no se encerra na antiguidade, mas antes, se insere nos
nossos dias, com o advento da lgica matemtica e axiomtica moderna. Pois, se estas
sistematizaes se apresentam como oposio s formas intuitivas da matemtica grega, elas
estaro definitivamente ligadas na sua genealogia e nos seus conceitos.
O que aparece como novo, depende da existncia do antigo.
86
IX. Tringulo escaleno o que tem os trs lados desiguais ( Fig. 3.2).
Tringulo retngulo o
que tem um ngulo reto
( Fig. 3.3 ).
88
independente dos demais postulados e devido a isso no pode ser deduzido dos demais.
Os primeiros a suspeitarem desse fato foram o alemo Gauss, o hngaro Janos Bolyai
(1802-1860) e o russo Nicolai Ivanovitch Lobachevsky (1793-1856). EVES (1997, p.
541)
A partir do postulado da forma de Playfair pelo qual por um ponto dado pode-se traar
mais do que uma, exatamente uma ou nenhuma paralela a uma reta dada, essas situaes
equivalem respectivamente, s hipteses do ngulo agudo, reto e obtuso.
Gauss no publica os seus trabalhos que indicam ser anteriores aos de Bolyai e
Lobachevsky. A geometria de Lobachevsky por ele chamada de geometria imaginria, que
significou ser uma nova geometria, no euclidiana que deixa de satisfazer apenas o quinto
postulado. Uma geometria eqiconsistente com a geometria euclidiana.
A geometria imaginria mostrou que a geometria no precisava mais estar vinculada
viso intuitiva que temos de espao fsico. O matemtico pde criar geometrias
abstratas que escapassem de qualquer intuio fsica. A matemtica caminhava para um
domnio mais abstrato e mais geral, sem a necessidade de estar diretamente
comprometida com o mundo real mensurvel ou o mundo real das sensaes fsicas.
S'ANTANNA (2003, p.7-8)
89
90
A1, A2, ..., Am-1, Am satisfaz a relao Ri, ento a frmula bem formada Am nica.
SANT'ANNA (2003, p.15)
Estes ingredientes revelam que os fundamentos de uma teoria formal como a lgica
matemtica, na verdade, tem grande importncia as relaes entre objetos em vez da natureza
dos objetos. No caso da matemtica, o conjunto de relaes entre frmulas bem formadas
considerado por vezes o prprio objeto matemtico propriamente dito.
Quanto teoria axiomtica como caso particular de teoria formal se estende a
compreenso da distino dos axiomas de outras WFF's. Ou seja, possui ingrediente extra:
Um procedimento efetivo para decidir quais WFF's so axiomas. SANT'ANNA (2003, p.
17)
A consistncia que no passado revelava a preocupao de que os axiomas
representassem o real atravs das verdades geomtricas e por meio das relaes dos nmeros,
na axiomtica moderna j no ocupa o mesmo espao. Os axiomas podem ser contraditrios
entre si.
Por isso, alguns autores distinguem axiomticas como materiais e axiomticas
abstratas, as materiais esto ligadas intuio e as abstratas aos sistemas lgicos sem ligao
com elementos intuitivos.
Esta classificao contestvel por sua simplicidade, mas certo que a questo da
intuio essencial para a idia de que h duas maneiras de se estabelecer formas
axiomticas, ambas possuem uma relao com a intuio. Por meio da sua negao ou por
meio da sua aplicao.
interessante notar que a axiomtica abstrata manifestada atravs de sistemas
lgicos. Desta forma, a abstrao algo independente da intuio, mas dependente de
frmulas. Um elemento muito importante neste processo a prioridade destinada aritmtica,
em contraposio geometria, ou como frmula moderna para represent-la; como no caso do
desenvolvimento da geometria analtica.
Ao falarmos em abstrao na matemtica, lembraremos da aplicao lgica formal. E
lembramos igualmente da aritmtica, que formal por natureza. A aritmtica, inclusive, se
confunde com sua prpria linguagem e propriedades dos nmeros e expresses lgicas. Ela
no se confina apenas nestas composies. A sua artificialidade frente ao mundo real base
para o que hoje entendemos por abstrao, e linguagem formal.
A reivindicao da prioridade da aritmtica sobre geometria, talvez no seja algo
possvel de se estabelecer. Pois, hoje temos a geometria analtica e as geometrias no91
euclidianas que se estruturam sobre uma base no intuitiva. A geometria no desapareceu, mas
se v de uma perspectiva no intuitiva.
A lgebra libertou-se do seu vnculo concreto com o mundo fsico; o uso de smbolos
pela lgebra possibilita o uso abstrato de formulaes lgicas de forma generalizada.
Substituindo primitivos por smbolos como x, y, z, ento os postulados dos conceitos passam
a se referir a estes smbolos, sem a necessidade de estabelecer significados concretos destes
conceitos. Dispensam-se os fatores primitivos como base das concluses, sendo esta base
substituda pela estruturao lgica das proposies.
O fato de surgir geometrias diferentes da geometria euclidiana sugere uma maior
liberdade para o raciocnio matemtico. Fato semelhante ocorreu com a lgebra.
Parecia inconcebvel, no incio do sculo XIX, que pudesse haver uma lgebra
diferente da lgebra comum da aritmtica. Tentar, por exemplo, a construo de uma
lgebra consistente na qual no se verificasse a lei comutativa da multiplicao no s
provavelmente no ocorria a ningum da poca, como tambm, se ocorresse,
certamente seria descartada por parecer uma idia ridcula; afinal de contas, como seria
possvel uma lgebra lgica na qual a x b fosse diferente de b x a? Era essa a impresso
sobre a lgebra quando, em 1843, William Rowan Hamilton foi forado, por
consideraes fsicas, a inventar uma lgebra em que a lei comutativa da multiplicativa
no valia. EVES (1997, p.548)
92
dos
que
sua
dos
53 The initial incentive was provided by the consideration of negatives in geometry; I was used to
regarding the displacements AB and BA as opposite magnitudes. From this it follows that if A, B, C
are points of a straight line, then AB + BC = AC is always true, whether AB and BC are directed
similarly or oppositely, that is even if C lies between A and B. In the latter case AB and BC are not
interpreted merely as lengths, but rather their directions are simultaneously retained as well,
according to which they are precisely oppositely oriented. Thus the distinction was drawn between the
sum of lengths and the sum of such displacements in which the directions were taken into account.
From this there followed the demand to establish this latter concept of a sum, not only for the case
that the displacements were similarly or oppositely directed, but also for all other cases.
54 This can most easily be accomplished if the law AB + BC = AC is imposed even when A,
B, C do not lie on a single straight line. Thus the first step was taken toward an analysis that
subsequently led to the new branch of mathematics presented here. However, I did not then
recognize the rich and fruitful domain I had reached; rather, that result seemed scarcely
worthy of note until it was combined with a related idea.
While I was pursuing the concept of product in geometry as it had been established by my
94
55 Robert Grassmann e Hermann Grassmann, na verdade, concordavam com a idia de Hlder, pois rejeitavam
o mtodo axiomtico.
95
Galileu e Newton foram fecundos ao dar um novo tratamento aos vetores, quando
vieram respectivamente estudar o movimento e a fora. Newton por exemplo, apresentou em
forma de paralelogramo a ao de foras em um corpo.
Se toda fora produz algum movimento, uma fora dupla produzir um movimento
duplo e uma tripla um triplo, quer essa fora se imprima conjuntamente e de uma vez
s, quer seja impressa gradual e sucessivamente. E esse movimento, por ser sempre
orientado para a mesma direo que a fora geratriz, se o corpo se movia antes, ou se
acrescenta a seu movimento, no concorde com ele. Ou se subtrai dele, caso lhe seja
contrrio, ou, sendo oblquo, ajuntar-se-lhe obliquamente, compondo-se com ele
segundo a determinao de ambos. NEWTON (1974, p.20)
O vetor pode ser entendido na fsica a partir do movimento. E dentro desta fronteira do
movimento, temos a concepo de inrcia. Ao qual o movimento de todos os corpos se fazem
em linha reta. LEI I: Todo corpo permanece em seu estado de repouso ou de movimento
uniforme em linha reta, a menos que seja obrigado a mudar seu estado por foras impressas
nele. NEWTON (1974, p.20)
Os movimentos em geral, portanto, passaram a serem vistos como um conjunto de
96
componentes que seriam retas. Esta forma de reduzir todos os movimentos, inclusive os
movimentos angulares, rotaes e translaes, por meio de uma possvel decomposio de
movimentos em linha reta, permitiu simplificar e colocar em uma forma mais prxima do que
entendemos por nmeros.
A pista para uma explicao do movimento em linha reta foi simples: a fora externa
responsvel pela alterao da velocidade, o vetor de fora tem a mesma direo que a
alterao. Mas que dever ser considerado a pista para o movimento curvilneo?
Exatamente o mesmo! A nica diferena que a alterao de velocidade tem agora um
significado mais amplo do que antes. [...] Se for conhecida a velocidade em todos os
pontos ao longo da curva, a direo da fora em qualquer ponto pode ser logo
deduzida. Devem-se desenhar os vetores de velocidade de dois pontos separados por
um intervalo de tempo muito curto, correspondentes, portanto, a posies muito
prximas uma da outra. O vetor que vai da extremidade do primeiro extremidade do
primeiro extremidade do segundo indica a direo da fora atuante, Mas essencial
que os dois vetores de velocidade sejam separados apenas por um intervalo de tempo
muito curto. A anlise rigorosa de expresses como muito prximo, muito curto
est longe de ser simples. Na verdade, foi essa anlise que levou Newton e Leibniz
descoberta do clculo diferencial. EINSTEIN (1980, p.30)
barycentrische Calcul, apresentou, que no seu sistema, dois pontos dados podem ser
representados por A e B enquanto o segmento de reta AB, designando o segmento de um
ponto A para B, enquanto BA ou -AB poderia representar o segmento de B para A; ele dizia
que se dois segmentos fossem colineares poderia fazer a somatria.
O fato de possuirmos dois segmentos de reta somados pode ser entendido da mesma
forma. Assim, podemos representar o deslocamento, que uma grandeza fsica. O
deslocamento a grandeza que permite, pela derivao das grandezas pelo tempo (grandeza
no vetorial), dizer que a velocidade, a acelerao, a fora etc. so vetoriais. Ou seja, o
sentido do deslocamento sempre foi sujeito a ateno dos fsicos, como por exemplo, por
Galileu quando este estudou o lanamento de projteis, ou quando estudou a queda dos
corpos. Assim, as grandezas derivadas do deslocamento, sempre estiveram de alguma forma
relacionadas com a compreenso de vetor.
EINSTEIN nos ensina um pouco mais de vetor no A evoluo da Fsica (1938):
Uma bala disparada de um canho, uma pedra lanada em ngulo com o plano
horizontal, um jato de gua emergido de uma mangueira, descrevem, todos, trajetrias
familiares de um mesmo tipo, a parbola. Imagine-se, por exemplo, um velocmetro
adaptado a uma pedra, de modo que o seu vetor de velocidade possa ser desenhado
para cada instante.
97
98
a Euclides no responde mais. Uma nova abordagem geomtrica se torna necessria, mais
abstrata, e consequentemente menos intuitiva. As construes que tanto Kant valorizava eram
substitudas por decomposies de entidades numricas complexas. Jayme Jnior resumiu da
seguinte forma:
A busca das lgebras geomtricas se fez novamente presente j nos tempos modernos
atravs de Descartes. Essa tentativa tambm no logrou xito, e o motivo principal foi
o mesmo dos gregos: a noo de congruncia usada por Descartes era a mesma de
Euclides. O mesmo problema preocupou Leibniz (1646-1716), um dos criadores do
clculo diferencial e integral. Do ponto conceitual Leibniz teve bem claro a idia de
uma lgebra geomtrica e da sua necessidade. Ele a denominou uma geometria de
situs, que podemos traduzir como uma geometria de posio ou de stio. Leibniz
escreveu um ensaio sobre esse assunto que ficou esquecido por muito tempo. Quando
redescoberto e publicado (em torno de 1833) foi institudo um prmio para quem
desenvolvesse as idias de Leibniz. Apenas um matemtico se inscreveu: Grassmann.
O que permitiu a Grassmann desenvolver com xito a idia de uma lgebra geomtrica
foi o fato dele no usar a noo de congruncia de Euclides, mas sim uma outra
relacionado com o conceito que hoje conhecemos como vetores. JUNIOR (2008, p.1)
3.6 Concluses:
A sistematizao do conhecimento matemtico pode fundar o conhecimento como um
bem universal. De fato, organizar o pensamento to importante quanto pensar. Pois alm de
tudo, possvel desenvolver a capacidade de se comunicar o conhecimento. Assim, pensar
matemtica tornar-se capaz de ser comunicvel, claro e consistente com relao s
propriedades matemticas.
A axiomtica surge para esta finalidade, e seu entendimento foi abruptamente mudado
no final do sculo XIX. A axiomtica de Euclides, com forte apelo geometria intuitiva, foi
to importante e ainda . De tal forma, que no se trata de geometria nem de axiomtica sem
referir ao seu nome (ainda que seja como referncia negativa).
A geometria no-euclidiana, to importante para a Fsica moderna - tal como a
geometria euclidiana foi para Galileu e Newton, - inaugurou uma maior independncia do
pensar com os rgos sensores. Novas possibilidades surgiram, novos objetos eram possveis,
em contraste com os objetos euclidianos que se mostravam, e que na maioria das vezes se
podia apont-los. No-euclidiano significou novos mundos conceituais, e assim, surgiram
novos objetos para complement-los.
Na Fsica, destacou-se Grassmann, que tornou possvel uma lgebra com vetores.
arriscado dizer que ele livrou a Fsica do uso da intuio, tal como Newton usava
explicitamente, mas certo que sua forma simblica foi essencial para o desenvolvimento da
Fsica como entendemos hoje. Outras formas intuitivas so encontradas na idia de conjunto
100
ou na forma diagramtica das funes. Mas a forma lgica na linguagem matemtica trouxe
avanos no carter formal das cincias em geral e na aplicao da lgica pura, na forma de
lgebra e geometria independentes da intuio; porm, ligadas de forma concreta lgica.
O resultado deste esforo mais contundente encontrado na aplicao da lgicamatemtica, amplamente utilizada nos nossos processadores e circuitos lgicos. Os nmeros
complexos passaram a ser conceitos e objetos de aplicao na tecnologia e na Fsica. Os
novos conceitos e objetos tiveram como fonte mais imediata no que se conseguia imaginar do
que nos sentidos. Para a aplicao dos nmeros, neste contexto do avano da axiomtica,
destacamos trs importantes tericos na concepo dos nmeros: Peano, Russell e Frege.
101
projeto fosse uma publicao da coleo de todos os teoremas conhecidos em vrios ramos da
matemtica. Houve cinco edies do Formulario, o primeiro apareceu em 1895 e o ltimo em
1908, e contm 4200 teoremas.
O interesse de Peano no se concentrava na lgica em si, mas de seu uso na
matemtica. Por isso, seu sistema chamado de lgica matemtica. As ltimas edies do
Formulario introduzem sees sobre lgica apenas como provas de teoremas matemticos. Os
postulados dos nmeros naturais assumiram sua definitiva forma em 1898, tendo sido
inicialmente apresentado em 1889.
56
PEANO
Peano acredita que cincias experimentais devem orientar as construes lgicas dos
matemticos. A aplicao importante para ele, tanto quanto a lgica. H dois lados: as
cincias que possuem objetos que no so formais por natureza e a lgica que no tem
objetos, mas possui forma. Assim, desenham-se uma matemtica que intermedeia o real e o
formal. Emprestando forma realidade.
Alm de contribuies para a pesquisa em lgica e aritmtica, Peano tambm
introduziu os elementos bsicos de clculo geomtrico, aos quais forneceu diversos sistemas
56 The purpose of mathematical logic is to analyze the ideas and reasoning that especially figure in the
mathematical sciences.
57 Mathematics has a place between logic and the experimental sciences. It is pure logic; all its
propositions are of the form: If one supposes A, then B is true. But these logical constructions must not
be made for the mere pleasure of reasoning about them. The object studied by them is given by the
experimental sciences; they must have a practical goal.
103
de axiomas.
Peano tambm conhecido como o criador da Latino sine Flexione, uma linguagem
artificial posteriormente chamada Interlingua. Baseada na sntese de latim, francs, alemo e
vocabulrio ingls, com uma maior simplicidade gramatical, a Interlingua estava interessada
em ser aplicada como uma linguagem auxiliar internacional.
Embora seja um fundador de lgica matemtica, o filsofo e matemtico alemo
Gottlob Frege (1848-1925) considerado o pai de lgica matemtica.
No dia 20 de abril de 1932, vtima de um ataque de corao, faleceu em Turim Itlia.
4.1.1 A axiomtica de Peano
58
HILBERT apud KENNEDY (2002, p.23) Este tipo de abordagem no foi aceita at o sculo
XX, e mesmo nos dias atuais ainda se encontram definies como evidente por si mesmo e
princpio geralmente aceito do termo axioma.
O que motivou um movimento contrrio a este ponto de vista foram as geometrias no
euclidianas, que significavam a possibilidade de basear a geometria no uso de axiomas. Um
marco importante neste processo foi a obra Pasch que entre 1882 a 1889 escreveu
Vorlesungen ber neuere Geometrie para o I principii di Geometria logicamente esposti de
Peano.
Pasch observava que tudo que necessitasse deduzir os teoremas poderia ser encontrado
entre os axiomas; estes axiomas, por outro lado, deveriam ser completos e deveriam fornecer
a base para rigorosa prova dos teoremas. O pai do rigor em geometria Pasch
59
60
58 One must be able to say at all times instead of points, straight lines, and planestables, chairs, and beer
mugs.
59 The father of rigor in geometry is Pasch
60 In fact, provided the geometry is to be truly deductive, the process of inference must be entirely independent
of the meaning of the geometrical terms, just as it must be independent of the figures
104
exemplifica o seu mtodo: Vamos considerar trs sistemas distintos de coisas. As coisas
compem o primeiro sistema, ns chamaremos de pontos, e design-las por letras A, B e C...
61
63
105
a=b
(4) 1 N+
(5) s K . 1 s . s+ s : N s. KENNEDY (2002, p.40)
This means that in the overwhelming majority of ways in which mathematics can be developed as a
logical system, the idea of number belongs to the set of those concepts which are not defined in terms of
other concepts, but together with the axioms enter into the ranks of the initial data. It means that
mathematics does not contain within itself an answer to the question what is a number? an answer,
that is, which would consist of a definition of this concept in terms of concepts that had been introduced
at an earlier stage; mathematics gives this answer in a different form, by listing the properties of a
number as axioms.
106
P5) se uma subclasse de nmeros contm o nmero um sempre que contiver um nmero,
contiver seu sucessor, ento, esta subclasse contm todos os nmeros.
Na sua verso moderna mais conhecida apresenta-se estes quatro axiomas:
1. Existe uma funo s: N N, que associa a cada n N um elemento s(n) N, chamado o
sucessor de n.
2. A funo s : N N invectiva.
3. Existe um nico elemento 1 no conjunto N, tal que 1 s(n) para todo n N.
4. Se um subconjunto X N tal que 1 N e s(X) X (isto , n X s(n) X), ento X
= N.
Esta maneira de apresentar os nmeros foi modificada em 1898, em vez de iniciar com
1 a seqncia passa a iniciar com 0. O conjunto dos nmeros naturais era ento chamado de
N0 em vez de N. Esta mudana acarretava outras mudanas, como apresentado por HUBERT
KENNEDY (que publicou relevantes biografias e trabalhos sobre a vida e obra de Peano):
Por exemplo, em 1891 (como j em 1889) a adio de nmeros naturais era definida
por uma simples equao: a + (b + 1) = (a + b) +1. (Isto entendido, como Peano
explicou, no sentido que se a e b so nmeros e o membro do lado direito da equao
tem significado, mas se lado esquerdo tem sido neste ponto indefinido, ento a
expresso sobre o esquerdo tem o significado da expresso sobre o direito). Pelo
postulado da induo matemtica, a adio ento definida por todos os pares de
nmeros naturais. Em 1898 a definio recursiva da adio requeria duas equaes: a +
0 = a, a + (b+) = (a + b)+. 65 KENNEDY (2002, p.43)
107
Sy > y
O sucessor de um nmero y maior do que o nmero y
x > y Sx > y
Se x um nmero maior do que um nmero y, ento o sucessor de x maior do que y
Adio
x+0=x
A soma de qualquer nmero com zero retorna o prprio nmero
x + Sy = Sy+x
A soma de um nmero x com o sucessor de um nmero y o sucessor da soma de x e y.
Multiplicao:
x.0=0
O produto de um nmero com zero zero
x . Sy = x + xy
O produto de um nmero x com o sucessor de um nmero y a soma de x com o
produto de x e y.
Em 1891, Peano tinha feito uma representao dos nmeros inteiros:
A combinao do signo do inverso e do nmero positivo b que chamado nmero
negativo. Aqui o signo 5 tem o significado 'inverso, e ento repetido cinco vezes.'
Ento se xp indica 'o pai de x' a expresso xp-2 significa 'o filho do filho de x'; e se x
um nmero natural, x+-5 significa 'que obtido por portar a operao inversa ao
sucessor de x cinco vezes' ou 'o nmero precede x por cinco lugares'. Ns no temos a
necessidade de introduzir qualquer smbolo para indicar 'nmero negativo' desde que a
notao N for suficiente. .66 KENNEDY (2002, p.43)
number. Hence the sign 5 has the meaning invert, and then repeat five times. Thus, if xp indicates
the father of x, the expression xp2 means the son of the son of x; and if x is a [natural] number,
x+5 means that which is obtained by carrying out the operation inverse to successor of x five times
or the number preceding x by five places. We shall have no need to introduce any new symbol to
indicate negative number, since the notation N is sufficient.
109
67
(2002, p.44)
J a definio de Peano com relao aos nmeros racionais dada pelas
proposies:
R = :: [x] :. p,qN, p/q = x : =p,q
R um conjunto no vazio de todo x de forma que p e q so inteiros positivos. E
x=p/q.
m,p,q N . . m(p/q) = mp/q.
Se mp/q tem um significado, ento m(p/q) tem o mesmo significado.
a,bN . . b/a = N[x] (xa = b).
Se a e b so inteiros positivos, ento b/a positivo inteiro quando multiplicado por a
igual a b. Ento m(p/q) inteiro positivo, neste caso, se o p for mltiplo de q, o produto de
mp/q ou m(p/q) inteiro.
De acordo com PEANO apud KENNEDY, em linguagem comum,
b/a precede o nmero, ou magnitude, sobre a qual se opera, e significa 'dividir por a e
multiplicar por b.' [...] Mas ns preferimos dar para b/a, a qual seguem os nmeros
sobre a qual opera-se, o significado 'mltiplo por b e dividir por a', em ordem para
fazer a operao possvel num maior nmero de casos. 68 PEANO apud KENNEDY
(2002, p.44)
Peano desenvolveu o sistema de nmero real iniciando seus estudos dos nmeros
naturais, sobre a possibilidade de se definirem os nmeros, a partir de seus postulados dos
nmeros naturais. Em Sul concetto di numero, Peano apresenta esta possibilidade:
Os primeiros nmeros apresentados, com a qual ns formamos todos os outros, so os
nmeros inteiros positivos. E a primeira questo : Podemos definir nmero como
soma de dois nmeros?
A comum, definio euclidiana de nmero,nmero a coleo de vrias unidades,
pode servir como uma clarificao, mas no satisfatrio como uma definio. De
fato, muitas criancinhas usam as palavras um, dois, trs, etc. Mais tarde elas adotam a
palavra nmero, e s posteriormente a palavra coleo aparece em seu vocabulrio. De
fato, a filologia ensina que estas palavras parecem nesta mesma ordem no
desenvolvimento das linguagens Indo-Europias. Aqui, do lado prtico, para mim a
questo aparece estar colocada, no h necessidade para o professor dar qualquer
definio de nmero, parece que esta idia muito clara para os alunos, e qualquer
definio poder somente ter o efeito de confundi-los. A maioria dos autores tambm
67 P031. Two whole numbers x and y are equal, by definition, when for each positive number u, we have u + x
= u + y, so long as these operations are possible on positive numbers.
68 b/a precedes the number, or magnitude, on which one operates, and means divide by a and multiply by b
.[...]But we prefer to give to b/a, which follows the number on which one operates, the meaning multiply by
b and divide by a, in order to make the operation possible in a larger number of cases.
110
Este texto pode surpreender, pois Peano sempre insistiu no rigor e na simplicidade.
Para ser rigoroso, dizia ele, no necessrio designar tudo. As entidades iniciais no podem
ser definidas. Definio mesmo no pode ser definida, isto , o sinal =. Para Peano uma
definio deveria ter a forma: objeto sendo definido = [palavras e sinais previamente
conhecidas e mais simples]. Deste ponto de vista, a definio euclidiana de unidade como
sendo aquilo segundo o que cada uma das coisas existentes dita um no pode ser tomada
como uma definio. As palavras aquilo e um no foram previamente definidas. Aqui se est
definindo o desconhecido pelo desconhecido. Tambm a definio euclidiana de reta, como
aquilo que tem extenso, mas no tem largura, no pode ser tomada como uma definio, pois
o mais simples est sendo definido pelo mais complexo: extenso e largura.
O artigo Sobre o conceito de nmero contm as Frmulas da lgica matemtica.
Nele compara-se sua anlise com a de Dedekind em Was sind und was sollen die Zahlen?
(1888). Prova ao mesmo tempo, a independncia dos cinco axiomas para os nmeros naturais.
Na segunda parte desta obra, ele levanta questes como: Poder a idia de nmero ser
definida, usando simples idias? Poder a propriedade comutativa ser deduzida de simples
propriedades? Suas respostas so:
Para estas questes podem ser dadas diferentes respostas por vrios autores, pois a
simplicidade pode ser entendida diversamente. Da minha parte, a resposta para a
primeira que nmero (inteiro positivo) no pode ser definido (vendo que as idias de
ordem, sucesso, agregado, etc., so to complexas quanto os nmeros). A resposta
para a segunda tem sido afirmativa. 70 PEANO apud KENNEDY (2002, p.54)
Neste quadro, Peano no via vantagem em definir nmero. Toma-o, ento, como
conceito primitivo, no definido. No entanto, a exigncia de rigor de Peano no podia deixar o
69 The first numbers presented, with which we form all the others, are the positive integers. And the
first question is: Can we define one, number, sum of two numbers?
The common, Euclidean, definition of number, number is the collection of several units, may
serve as a clarification, but is not satisfactory as a definition. Indeed, very young children use the words
one, two, three, etc. They later adopt the word number, and only much later does the word collection
appear in their vocabulary. Indeed, philology teaches that these words appear in this same order in the
development of the Indo-European languages. Hence, from the practical side, the question appears to
me to be settled, or rather, there is no need for the teacher to give any definition of number, seeing that
this idea is very clear to the pupils, and any definition would only have the effect of confusing them. The
majority of authors also share this opinion.
70 To these questions may be given different answers by various authors, since simplicity can be diversely
understood. For my part, the answer to the first is that number (positive integer) cannot be defined
(seeing that the ideas of order, succession, aggregate, etc., are just as complex as that of number). The
answer to the second has been affirmative.
111
conceito de nmero sujeito arbitrariedade. Explicita os termos primitivos que sero usados e
deixa as regras do jogo com os termos. Peano considera os nmeros sob uma perspectiva
axiomtica.
Do lado terico, decidir a questo da definio de nmero, primeiro deveria ser dito
quais idias pode usar. Aqui ns suponhamos conhecer somente as idias representadas
pelos signos (e), (ou), - (no), (), etc., ao qual tem sido tratado na nota
precedente. Conseqentemente, os nmeros no podem ser definidos, desde que seja
evidente que aquelas palavras so combinadas entre si, ns nunca podemos ter uma
expresso equivalente para nmero. Se os nmeros no podem ser definidos,
entretanto, ns podemos ainda estabelecer aquelas propriedades pelas quais as muitas
outras propriedades dos nmeros so derivadas.
Os conceitos, ento, que ns no definimos so aqueles de nmero N, de 1, e de
sucessor de um nmero a, a qual ns indicamos por a+. Estes conceitos no podem ser
obtidos por deduo, necessrio obt-los por induo (abstrao). O sucessor de a
aqui indicado por a+, em vez do costumeiro a+1, e isto feito para indicar por um
nico sinal, +, a operao fundamental 'sucessor de'. Antes, nas sees seguintes, tendo
definido a soma a+b de dois nmeros, ns devemos ver que aquele a+1 tem
precisamente o valor de a+, i.e., o sucessor de a, e ento ns retornamos para a
costumeira notao. 71 PEANO apud KENNEDY (2002, p.52)
O termo definio por abstrao entendido como um termo tcnico, que foi usado
71 From the theoretical side, to decide the question of the definition of number, one should be told first
what ideas he may use. Here we suppose known only the ideas represented by the signs (and), (or) ,
(not) , (is), etc., which have been treated in the preceding note. Therefore, number cannot be defined,
since it is evident that however these words are combined among themselves, we can never have an
expression equivalent to number. If number cannot be defined, however, we can still state those properties
from which the many other well known properties of the numbers are derived.
The concepts, then, that we do not define are those of number N, of one 1, and of successor of a number
a, which we indicate for the moment by a+. These concepts may not be obtained by deduction; it is
necessary to obtain them by induction (abstraction). The successor of a is here indicated by a+, instead
of the customary a + 1, and this is done so as to indicate by a single sign, +, the fundamental operation
successor of. Besides, in the following sections, having defined the sum a + b of two numbers, we shall
see that a + 1 has precisely the value of a+, i.e., the successor of a, and thus we return to the customary
notation.
72 Of these various types of definitions, the nominal appears to be the most satisfactory. Many definitions of the
other types contained in the early works of mathematical logic could be transformed into nominal
definitions. Of definitions by abstraction, in F2N2 (Arithmetic) [i.e. the Formulaire of 1898] use is
made only once, in P2101, to define the cardinal number, or power, of a set.
112
Peano dava como um exemplo desta definio de raio de duas magnitudes no livro V
dos Elementos.
Qualquer que seja a maneira de pensar, se uma cincia no contm idias primitivas,
como acontece em toda teoria avanada, pode-se definir e provar tudo nelas. Mas se a
113
cincia toc-las muitos elementos, e se h idias que no podem ser definidas, tambm
sero encontradas proposies que no podem ser provadas, e pelas quais todas as
outras seguem. Ns podemos chamar estas proposies primitivas, abreviadas por Pp;
elas so tambm chamadas axiomas, postulados, e algumas vezes hipteses, leis
experimentais, etc. Estas proposies determinam ou, se preferir, definem as idias
primitivas que no tem sido dada uma definio direta. 74 PEANO apud KENNEDY
(2002, p.55)
75
PEANO
advanced theory, one can define and prove everything in it. But if the science touches its very elements,
and if there are ideas that cannot be defined, one will also find propositions that cannot be proved, and
from which all the others follow. We shall call these primitive propositions, abbreviated by Pp; they are
also called axioms, postulates, and sometimes hypotheses, experimental laws, etc. These propositions
determine or, if you like, define the primitive ideas that have not been given a direct definition.
75 By symbolic definition of a new symbol x we understand the convention of calling x a group of symbols
already having a known meaning; and we indicate this by x = a Def.
76 Une dfinition est rductible une galit, dont un membre (le premier) est le nom quon dfinit,
et lautre en exprime la valeur. Example : (driv dune fonction) = (limite du rapport des
accroissement de la function et de la variable).
En consequence, un proposition qui nest pas une galit ne pourra pas tre une definition.
114
incompleta, pois no foi designado valor a a. Segundo, porque mesmo que se determinasse
que a nmero, ocorre uma heterogeneidade com relao aos lados da igualdade, de um lado
uma constante 0 e, do outro, uma funo com varivel a. Para Peano, a forma abaixo seria
mais apropriada:
A proposio:
0 = (o valor constante da expresso a a, independentemente dos nmeros a)
uma igualdade homognea, porque, embora no segundo membro figure a letra a,
apenas conveniente, dado que o valor deste segundo membro no uma funo de a.
Esta proposio uma definio possvel. 77 PEANO apud KENNEDY(2002, p.56-57).
115
79
80 x = a Df.
ou x est le signe simple quon definit, et a est un groupement des signes connus. Le signe
= accompagn de Df signifie 'est gal par definition' ou 'nous nommons'.
81 Plusieurs analystes introduisent les nombres rationnels par abstraction, enposant a,b,c,d
(nombres naturels) . : a/b = c/d . = . ad = bc, mais cela nest pas necessaire, car on peut en
donner une Df de premire espce.
Dune faon analogue, notre Df 1 est une Df par abstraction, car elle definit une galit.
Or, il est bon de remarquer quon peut dfinir les nombres imaginaires par des Df de premire espce,
et quil nest pas necessaire de recourir des Df par abstraction.
116
82
(2002, p.59)
Peano no aceitava tudo que Russell estava fazendo. Em termos de definio de
nmero cardinal, rejeitava a idia de classe de classes publicada no jornal de Peano em
1901. Peano apresentou em Formulaire de mathmatiques que definia nmero cardinal de um
conjunto a, simbolizado por Num a, por abstrao: mas no se pode identificar Num a com
as Cls de Cls consideradas, porque estes objetos tm propriedades diferentes 83 PEANO apud
KENNEDY (2002, p.59)
Em 1905, Russell em seu Princpios de Matemtica comentou sobre o comentrio de
Peano. Ele no falou-nos quais propriedades so, e por minha parte e sou inapto para
descobri-los. 84 RUSSELL apud KENNEDY (2002, p.59)
H discusso sobre os motivos que Peano reagiu ao conceito de Russell sobre nmero
natural, da forma classe de classes. Talvez devesse a postura de oposio aos postulados dos
nmeros naturais que a teoria de Russell indicava para satisfazer aos seus requisitos. PEANO
afirmou: sua definio indutiva de 'nmero de objetos de uma [finita] classe' resultou em dar
para entidades primitivas 0, N0, + (ou 'suc') o significado intuitivo. 85 apud KENNEDY (2002,
p.59).
Em 1906, Peano dava demonstraes de que, de fato, no havia muitas diferenas
entre as teorias envolvidas. Deixava clara a posio de Peano quanto identificao dos
nmeros naturais com nmeros cardinais finitos. Em outros momentos, Peano passa a aceitar
que a definio nominal possa ser usada, mas tambm defende sua definio por abstrao:
Isto , deduzimos teoremas idnticos para os postulados da aritmtica. Entretanto, para
os smbolos da aritmtica 0, N, +, existe uma interpretao que satisfaz o sistema de
postulados. Ento ele tem sido provado (se prova necessria), que os postulados da
aritmtica, a qual os colaboradores do Formulaire tem mostrado ser necessrio e
suficiente, no envolvem uma auto-contradio.
Outros exemplos de entidades que satisfazem ao sistema de postulados tm sido dados
por Burali-Forti e por Russell. Mas uma prova que um sistema de postulados da
aritmtica, ou de geometria, no envolve uma auto contradio no , eu penso,
necessrio, como postulados as mais simples informaes que, ou escrevem numa
maneira explcita ou implicitamente, so ao todo tratado da aritmtica ou da geometria.
Nossas anlises do princpio destas cincias a reduo das declaraes comuns para
um mnimo necessrio e suficiente. Sistemas de postulados da aritmtica e da
geometria so satisfeitos pelas idias de nmero e ponto que todo escritor de aritmtica
82 marked an epoch in the field of philosophy of mathematics.
83 mais on ne peut pas identifier Num a avec la Cls de Cls considre, car ces objets ont des proprits
diffrentes.
84 He does not tell us what these properties are, and for my part I am unable to discover them
85 his inductive definition of number of objects of a [finite] classresults in giving to the primitive entities 0,
N0, + (or suc) the intuitive meaning.
117
e geometria tem.
86
Em 1913, escreveu:
A pgina 363 inicia o tratamento de nmeros cardinais. Os autores eliminam definies
por abstrao. Em muitos casos matemticos introduzem uma nova entidade x, no
por uma definio da forma
x = expresso composta de x e smbolos conhecidos, mas eles definem somente a
igualdade:
x =y . = . relao Px,y composta de x, y e elementos conhecidos.
Os autores provam que definies por abstrao podem ser reduzidas para definies
nominais;
suficiente ajustar
x = y (Px,y). 87 PEANO apud KENNEDY (2002, p.60).
118
88 The question of abstraction pertains to pure logic, and we can give non-mathematical
examples. Are the following equations true or not?
whiteness = white things,
sickness = sick people,
youth = young people,
Italy = the Italians,
justice = judges, police, jail.
The theory of Russell answers in the affirmative. I, investing myself with the authority
of Euclid (like a live ass covered with the hide of a dead lion), neither affirm nor deny. This
identity is denied by the doctor who says there are no sicknesses, but only sick people, as
well as by the opposite theory that says I conquered the sickness and killed the sick person.
119
e por seus discpulos. Tornou-se claro para mim que sua notao teve recursos para um
instrumento da anlise lgica tal como eu tinha procurado por anos, e assim,
estudando-o adquiri uma nova tcnica poderosa para o trabalho que eu desejava por
muito tempo fazer. 89 RUSSELL (1998, p.147)
Russell entendia que esta notao simblica era conveniente para distinguir entre
classes e funes preposicionais. Algumas teorias de Russell como a Teoria das Classes, cuja
formulao baseava-se na aplicao da axiomtica. [...] Como a teoria das classes uma
parte essencial da lgica, torna-se natural a idia de reduzir a matemtica lgica. A tese
logicista , assim, um esforo de sintetizao sugerido por uma importante tendncia na
histria da aplicao do mtodo axiomtico. EVES (1997, p. 678)
Esta aproximao talvez venha alimentar a idia de que Peano tambm compartilhava
das concepes logicistas. Assim, tornam-se interessante para o debate as diferenas
existentes entre Russell e Peano.
4.4 Era Peano um logicista?
Esta pergunta pode ser pertinente para tratar das concepes filosficas de Russell. Era
89 The Congress was a turning point in my intellectual life, because I there met Peano. I already knew him
by name and had seen some of his work, but had not taken the trouble to master his notation. In
discussions at the Congress I observed that he was more precise than anyone else, and that he
invariably got the better of any argument upon which he embarked. As the days went by, I decided that
this must be owing to his mathematical logic. I therefore got him to give me all his works, and as soon
as the Congress was over I retired to Fernhurst to study quietly every word written by him and his
disciples. It became clear to me that his notation afforded an instrument of logical analysis such as I
had been seeking for years, and that by studying him I was acquiring a new powerful technique for the
work that I had long wanted to do.
120
90
(1975, p.8)
Peano no parecia estar interessado em caracterizar os nmeros naturais. Isto foi
confirmado em seu Formulaire de mathmatiques (1898)
Estas proposies primitivas suficientes para deduzir todas as propriedades dos
nmeros que encontraremos na seqela. H, entretanto, uma infinidade de sistemas que
satisfazem as cinco proposies primitivas. [] Todos os sistemas que satisfazem as
cinco proposies primitivas esto na correspondncia linear com os nmeros naturais.
Os nmeros naturais o que se obtm por abstrao de todos estes sistemas; ou seja, os
nmeros naturais o sistema que tem todas as propriedades e somente aquelas
propriedades listadas nas cinco proposies primitivas. 91 PEANO apud KENNEDY
90 The propositions express the necessary and sufficient conditions that the entities of a system can be made to
correspond univocally to the series of natural numbers.
91 These primitive propositions . . . suffice to deduce all the properties of the numbers that we shall meet in the
sequel. There is, however, an infinity of systems which satisfy the five primitive propositions. . . . All systems
121
(2002, p.8)
93
PEANO apud
understood differently. For my part, the answer is that number (positive integer) cannot be defined
(seeing that the ideas of order, succession, aggregate, etc., are as complex as that of number).
122
95
PEANO apud
123
124
Como foi dito anteriormente, Peano foi um pensador muito importante para Russell,
de sua notao e proposies sobre os nmeros, procede a sua fundamentao. Ele fala
claramente a respeito das proposies de Peano:
Tendo reduzido toda a matemtica pura tradicional teoria dos nmeros naturais, o
passo seguinte em anlise lgica foi reduzir essa teoria ela prpria ao menor conjunto
de premissas e termos indefinidos de que era possvel deriv-la. Esse trabalho foi
levado a cabo por Peano. Ele mostrou que toda a teoria dos nmeros naturais podia ser
derivada de trs idias primitivas alm daquelas da lgica pura. Essas trs idias e
cinco proposies tornaram-se dessa maneira, por assim dizer, refns de toda a
matemtica pura tradicional. Se elas pudessem ser definidas e provadas em termos de
outras, toda a matemtica pura tambm poderia s-lo. Seu 'peso' lgico, se podemos
usar esse termo, igual ao de toda a srie de cincias que foram deduzidas da teoria
dos nmeros naturais; a verdade dessa srie toda assegurada se a verdade das cinco
proposies primitivas estiver garantida, contanto, claro, que no haja nada errneo
no aparato puramente lgico que tambm est a envolvido. O trabalho de anlise
matemtica extraordinariamente facilitado por esse trabalho de Peano. RUSSELL
(2007, p.21)
Entretanto, Russell acreditava que a concepo de nmero fornecida por Peano no era
definitiva. Primeiro por que os termos primitivos, o zero, o nmero e sucessor permitem
diferentes significaes, todas compatveis com as cinco proposies.
Russell d alguns exemplos para demonstrar isso com diferentes entendimentos de
zero, nmero e sucessor. Como a suposio de que 0 significa 100 e que nmero seja tomado
como os nmeros a partir de 100.
Neste caso, todas as nossas proposies primitivas ficam atendidas, mesmo a quarta,
pois, embora 100 seja o sucessor de 99,99 no um nmero no sentido que estamos
dando agora palavra nmero. obvio que qualquer nmero pode substituir 100
neste exemplo. RUSSELL (2007, p.24)
125
A forma geral de nmero fornecida por Peano incomodava Russell, que possua uma
necessidade pragmtica para esta definio. Isto fica claro com sua afirmao sobre a
impossibilidade de definir nmero com Peano, quando enfatiza a vinculao do conceito de
nmero com os objetos do mundo real.
[...] que 0 e nmero e sucessor no podem ser definidos por meio dos cinco
axiomas de Peano, devem ser definidos por meio dos cinco axiomas de Peano.
Devendo ser compreendidos independentemente, importante. Queremos que nossos
nmeros no meramente verifiquem frmulas matemticas, mas que se apliquem da
maneira correta a objetos comuns. Queremos ter dez dedos, dois olhos e um nariz. Um
sistema em que 1 significasse 100 e 2 significasse 101, e assim por diante, poderia
estar muito bem para a matemtica pura, mas no seria apropriado vida diria.
Queremos que 0 e nmero e sucessor tenham significados que nos dem a
quantidade certa de dedos, olhos e narizes. RUSSELL (2007, p.26)
Mas por achar que os seus nmeros deveriam ter um significado definido, e no
possuam apenas certas propriedades formais, rejeita este tipo de formulao. Por isso, acredita
que este significado definido definido pela teoria lgica da aritmtica. RUSSELL (2007,
126
p.27)
Russell na sua tentativa de definir nmero, no captulo 2 Definio de nmero cita
como faz-lo aplicando uma teoria que Russell dava grande importncia para suas concepes
matemticas e filosficas: a Teoria dos Conjuntos. Para isso, antes de seguirmos na definio
do nmero por Russell, vamos fazer algumas consideraes com respeito a esta teoria.
do ponto de vista logicista e na compreenso de relaes em geral. Alm disso, remete a idia
de extenso. A extenso de A=B, sugere a idia de que a equao representa que algo que
encontramos em A o mesmo que encontramos em B.
Na Teoria dos Conjuntos com relao extenso do conceito de nmero, vamos
considerar duas interessantes formas: a primeira quanto introduo de nmero fracionrio e
a segunda com relao extenso da equivalncia de conjuntos.
Antes faamos a seguinte considerao: os conjuntos podem ser classificados como
finitos ou infinitos. Quanto ao conjunto dos infinitos estabelece-se uma nova classificao: tal
como os conjuntos enumerveis e os conjuntos no-enumerveis.
Com respeito ao conjunto infinito e conjunto enumervel cita-se:
Dos conjuntos infinitos, o conjunto dos nmeros naturais, cujos elementos ns
podemos pensar como sendo dado em sua ordem natural da sucesso {1.2.3,},
especialmente escolhido, e chamado um conjunto enumervel. Mais geralmente, um
infinito do conjunto seria enumervel se, e somente se, pode escrever como uma
seqncia {m1, m2, o m3,}; isto , se e somente se, a todo elemento m do conjunto,
um nmero natural e a cada nmero natural corresponde precisamente um elemento do
conjunto. 96 KAMKE (1950, pp.1-2)
Deste modo, os nmeros racionais podem ser classificados segundo Cantor como um
conjunto enumervel.
Prova: Deixe-nos primeiro focar somente aos nmeros racionais positivos. Ns
podemos imaginar ser escrito para abaixo em ordem de valor, primeiro, todos os
nmeros inteiros, isto , todo os nmeros com denominador 1; ento, todas as fraes
com denominador 2; ento, todas as fraes com denominador 3; etc.
1,
2,
3,
4,
.....
2/2 ,
3/2,
4/2, .....
1/3,
2/3,
3/3,
4/3, .....
....
.....
.....
....
.....
97
96 From the infinite sets, the set of natural numbers, whose elements we may think of as being given in
their natural order of succession {1,2,3,...}, is especially singled out, and is called an enumerable set.
More generally, an infinite set is said to be enumerable if, and only if, it can be written as a sequence
{m1, m2, m3,...}; i. e., if, and only if, to every element m of the set, a natural number and to every natural
number corresponds precisely one element of the set.
97 Proof: Let us first deal only with the positive rational numbers. We can imagine to be
written down in order of magnitude, first, all whole numbers, i.e. , all numbers denominator
128
2,
3,
4,
.....
2/2 ,
3/2,
4/2, .....
1/3,
2/3,
3/3,
4/3, .....
....
.....
.....
.... .....
If we write down the numbers in the order of succession indicated by the line drawn in
(leaving out numbers which have already appeared), then every positive rational number
certainly appears, and also only once. The totality of thus rational numbers is thus written as
a sequence
1, 2, , 1/3, 3, 4, 3/2, 2/3, , ....KAMKE (1950, pp. 2-3)
98 In a rigorous introduction of the rational numbers, one must, by all means, abandon the primitive
method of dividing a whole into a certain number of parts, and instead of this, proceed as follows:
One considers, as a new kind of 'number', a pair of natural numbers, a, b, which, with this
interpretation, shall be written in the form a/b, in conformity with the usual manner of writing fraction,
This, however, would not yet accomplish altogether what one would like to have. For, the number pairs
a/b, 2a/2b, 3a/3b are all to be regarded merely as different representations of the same rational number.
The correct introduction of the rational number can therefore occur as follows: In the first place, one
makes the stipulation that every pair of number pairs pa/pb and qa/qb, composed of natural numbers,
shall be regarded as equivalent. In the second place one agrees that a rational number shall be
understood to be an arbitrary representative chosen from a class consisting of equivalent number pairs.
129
Os nmeros, por pertencerem a uma coleo infinita, no podem ser definidos por
meio de sua extenso, mas sim pela sua intenso, o que significa que devem ser definidos pela
propriedade comum aos seus elementos. Por ser a propriedade comum aos nmeros o que
permite uma definio deles, reala no pensamento russelliano a importncia das classes, pois
a definio de classe est associada compreenso de qualidades. No entanto,
99 Definition: A set is said to be equivalent to a set , in symbols: ~, if it is possible to
130
[...] A diferena vital entre as duas consiste no fato de que h somente uma classe que
possui determinado conjunto de membros. Ao passo que h sempre muitas diferentes
caractersticas pelas quais uma dada classe pode ser definida. Os homens podem ser
definidos como bpedes implumes, ou como animais racionais, ou (mais corretamente)
pelos traos com que Swift delineia os Yahoos. esse fato de uma caracterstica
definidora nunca ser nica que torna as classes teis; de outro modo poderamos nos
contentar com as propriedades comuns e peculiares a seus membros. RUSSELL (2007,
p.31)
Outra conseqncia do fato da coleo dos nmeros ser infinita que no poder-se-
aplicar a contagem como uma definio. Assim, [...] no podemos de maneira alguma, sem
um crculo vicioso, usar a contagem para definir nmeros, porque usamos nmeros para
contar. [...]
Por achar que a contagem no possa definir se dois conjuntos possuem mesma
quantidade de termos, Russell busca uma alternativa para esta operao. E encontra isso na
relao entre conjuntos. As relaes sugeridas so um-um (funo bi-unvoca), um-muitos e
muitos-um.
Diz-se que uma relao um-um quando, se x tem a relao em questo com y,
nenhum outro termo x' tem a mesma relao com y, e x no tem a mesma relao com
nenhum termo y' que no y. Quando somente a primeira dessas duas condies
preenchida, a relao chamada um-muitos; quando somente a segunda
preenchida, ela chamada muitos-um. Convm observar que o nmero 1 no usado
nessas definies. RUSSELL (2007, pp. 32-33)
De fato, para Russell a concepo destas relaes de colees algo fundamental para
a matemtica, especialmente para a definio de nmero. Afinal, aplica-se definio de
equivalncia ou similaridade entre colees, isto , quando A ~ B. Diz-se que duas classes
so 'similares' quando h uma relao um-um que correlaciona cada um dos termos de uma
com um termo da outra [...] RUSSELL (2007, p.33)
131
Chama-se domnio classe daqueles termos que tm uma dada relao com uma coisa
ou outra; domnio inverso o domnio de seu inverso. Da: Diz-se que uma classe 'similar'
outra quando h uma relao um-um da qual a primeira o domnio, enquanto a outra o
domnio inverso. RUSSELL (2007, p.34)
Contudo, possvel realizar contagem de um conjunto finito, atravs da relao biunvoca entre os elementos deste conjunto e o conjunto dos nmeros naturais. Ainda que a
ordem seja aplicada na contagem, ela no logicamente necessria, segundo Russell. Pois
basta sabermos que a relao bi-unvoca para ser suficiente para termos cincia que dois
conjuntos so similares. Isto no significa que necessrio ter conjuntos finitos para notarmos
que dois conjuntos possuem uma relao bi-unvoca. Por exemplo: com a funo f(x) = 1/x,
pode-se relacionar o conjunto dos nmeros naturais x com f(x).
Russell recoloca a questo da maneira como queremos que os nmeros representem os
objetos do mundo real.
A idia de similaridade sugere a definio de mesmo nmero de termos entre
conjuntos. Da, Russell formula a seguinte definio: O nmero de uma classe a classe de
todas as classes que so similares a ele. RUSSELL (2007, p.36). E de forma ainda mais
geral: um nmero qualquer coisa que o nmero de alguma classe. RUSSELL (2007,
p.37). definido como nmero em geral algo que nmero de alguma coisa, como o nmero
de alguma classe. [...] se queremos definir nmeros quadrados, temos primeiro de definir o
que temos em mente ao dizer que um nmero o quadrado de outro, e depois definir nmeros
quadrados como aqueles que so os quadrados de outros nmeros.
Uma questo fundamental com relao ao conceito de nmero para Russell tambm
a determinao da finidade dos conjuntos. Assunto que ocupa o Terceiro Captulo do seu
Introduo Filosofia da Matemtica. Para determinar isso, Russell aplica a concepo de
induo matemtica de Peano, contida na sua quinta proposio primitiva, que diz: Qualquer
propriedade que pertena a 0 e tambm ao sucessor de qualquer nmero que tenha esta
propriedade pertence a todos os nmeros. RUSSELL (2007, p.22).
O Princpio da Induo um eficiente instrumento para a demonstrao de fatos
referentes aos nmeros naturais. Tambm importante conhecer o seu significado e sua
posio dentro do arcabouo da Matemtica. Muitos matemticos acreditam que entender o
Princpio da Induo praticamente o mesmo que entender os nmeros naturais.
O papel fundamental do axioma da induo na teoria dos nmeros naturais e, mais
geralmente, em toda a Matemtica, de mtodo de demonstrao, chamado o Mtodo de
132
Pois,
O nmero 0 o nmero de termos numa classe que no em membro algum, isto , na
classe chamada classe nula. Pela definio geral de nmero, o nmero de termos na
classe nula o conjunto de todas as classes similares classe nula, isto , o conjunto
que consiste unicamente na classe nula, ou seja, a classe cujo nico membro a classe
nula. RUSSELL (2007, p.41)
Desta maneira, com relao questo da finidade dos conjuntos a induo possvel
de ser vislumbrada. Ao contrrio, a infinidade no permite garantir que o os nmeros naturais
apresentam as mesmas propriedades por induo. Afinal de contas, como a induo
matemtica prev propriedades at o ltimo nmero de um conjunto, no possvel aplica-la
nos conjuntos infinitos.
A questo tocante aos conjuntos infinitos possui importncia na fundamentao da
matemtica por Russell. Sua sistematizao realizada atravs do axioma da infinidade.
Russell se baseia nos trabalhos de Cantor e Frege no campo da teoria lgica dos nmeros.
Este axioma trata da concepo de que as colees infinitas existem.
Quanto ao nmero infinito ou transfinito, RUSSELL nos fala:
A diferena mais digna de nota e espantosa entre um nmero indutivo e esse novo
nmero que este permanece inalterado pela adio ou subtrao de 1; permanecer
igualmente inalterado se o dobrarmos, ou o dividirmos por 2, ou o submetermos a
qualquer das operaes que nos parecem tornar um nmero necessariamente maior ou
menor. O fato de no ser alterado pela adio de 1 usado por Cantor para a definio
do que ele chama nmeros cardinais transfinitos; mas por vrias razes, algumas das
quais emergiro medida que prosseguirmos, melhor definir um nmero cardinal
infinito como um nmero que no possui todas as propriedades indutivas, isto ,
simplesmente um nmero que no um nmero indutivo. RUSSELL (2007, p.103
Otte nos mostra algumas semelhanas e diferenas entre Russell, Frege e Kant, em
questes pertinentes. E que revela o quanto era importante o axioma da infinidade para
Russell. Kant levanta duas questes fundamentais para a matemtica, que so importantes
para Russell. A primeira se refere questo da possibilidade do conhecimento da matemtica
ser a priori, a outra se recorre ao carter sinttico da aritmtica.
4.7 A definio de nmero de Frege
restringindo sua teoria. Russell props a teoria dos tipos, que se assemelha a uma teoria de
categorias, ao proibir que se incluam coisas de diferentes tipos no mesmo nvel. O paradoxo
de Russell e sua soluo despertou o interesse por uma faixa inteira de paradoxos de tipo
anlogo e pela questo de como devem ser resolvidos.
Em Os Fundamentos da Aritmtica, Uma Investigao Lgico-Matemtica sobre o
Conceito de Nmero, traduzido do original alemo Die Grundlagen der Arithmetik Eine
logisch mathematische Untersunchung uber den Brgriff der Zahl, Breslau, 1884, Johann
Gottlob Frege faz uma interessante aluso aritmtica e os nmeros.
Na introduo deste livro levanta a questo: o que o nmero um? Ou: o que
significa o sinal 1? FREGE (1973, p.203). De fato, Frege empregou muito do seu esforo na
definio do um.
Alm desta questo, levanta outras interessantes, como o nmero um uma coisa?
Qual a definio de nmero? As operaes aritmticas so sintticas ou analticas? Mas seu
foco se concentra na questo do nmero e seus fundamentos, principalmente o nmero 1.
A cerca do que o nmero um, Frege faz o seguinte comentrio:
Muitos estimaro decerto que isto no paga a pena. Deste conceito tratam
suficientemente, acreditam eles os livros elementares, encerrando-se assim o assunto de
uma vez por todas. Pois quem julga ter ainda o que aprender sobre algo to simples?
[...] Falta, portanto, frequentemente aquele primeiro pr-requisito da aprendizagem: o
saber do no saber. [...] FREGE (1973, p.204).
4.8 Concluses
Talvez nunca na Histria da Matemtica se tenha estudado tanto os nmeros como no
fim do sculo XIX e incio do sculo XX. De fato, a liberdade de se construir uma nova
axiomtica utilizando antes a lgica que a intuio deve ter permitido muitas outras
aplicaes.
Discusses sobre o carter intensional e extensional dos nmeros bem interessante. A
axiomtica de Giusseppe Peano compreende os nmeros do ponto de vista intensional, ou
seja, atravs de conceitos. Mas no acreditava que seria possvel definir nmero. Por isso,
lanava mo de recursos concretos dos termos primitivos, aos quais, outros termos eram
derivados. Para Peano no fazia sentido definir os nmeros, ao contrrio de Russell e Frege.
Para eles, os nmeros so extenses dos conjuntos. Frege trouxe o termo extenso da
filosofia e lgica, e acreditava tanto quanto Russell na Matemtica como ramo da Lgica.
Peano, entretanto, no era logicista ao que parece. Acreditava no poder da induo
136
100 Se compreendermos, por exemplo, os conjuntos como formas intuitivas que apenas substituram os
diagramas de Euclides e to valorizados por Kant. Diagramas em termos de aplicao so muito aplicados,
muitos estudos, como a busca por uma equao para definir um comportamento fsico muitas vezes intuda
por meio de uma simples verificao da forma das linhas de um grfico representando um comportamento.
137
CAPTULO V
EXEMPLOS DE APLICAES DOS NMEROS
5.1 Aplicao dos nmeros
O que significa aplicar nmeros? Para responder a esta pergunta, pode-se seguir o
caminho da compreenso de como se aplicam os nmeros. Em particular, podemos buscar
nesta aplicao, o uso cientfico dos nmeros como instrumento de sistematizao do
conhecimento. Ainda mais particularmente, da aplicao na Fsica. Em termos de exemplo de
aplicao vamos levantar a experincia histrica do italiano Galileu Galilei, no s por ser
representativo quanto ao seu mtodo cientfico com relao cincia moderna, mas por este
ter desempenhado um papel importante na histria da aplicao do nmero.
Posteriormente, iremos buscar nas principais formas de se aplicar ou adquirir os
nmeros as definies que serviro de base para uma fundamentao de nmero.
Na histria do conceito de nmero, pode-se distinguir quatro fases: 1a. Fase Realista,
2a. Fase Subjetivista, 3a. Fase Objetivista e a 4a. Fase Convencionalista. ABBAGNANO
(2007, p.838)
Em termos gerais, a primeira fase descreve que o nmero algo real, pois acessvel
razo, apesar de no o ser em relao aos sentidos. Os representantes desta viso, so os
pensamentos pitagricos, segundo ao qual Aristteles, Plato e Euclides seguiam em suas
diferentes formas. O nmero uma pluralidade medida ou uma pluralidade de medida, e a
unidade no um nmero, mas medida do nmero ARISTTELES (Metafsica, XIV, 1,
1088). Esta definio repete a de Plato e antecipa Euclides, que diz que o nmero uma
multido de unidades (Elementos, VII, 2), crena esta ligada a viso pitagrica do nmero
como um sistema de unidades.
A segunda fase conceitual a subjetivista, que pensa o nmero como algo existente
138
apenas no nosso pensamento. O nmero uma idia. Como representantes desta concepo
so citados Descartes, Hobbes, Locke, Berkeley, Wolf, Kant, Stuart Mill, Cantor e Dedekind.
Entre os fsicos destacou-se Newton, mas tambm adiciono aqui Galileu, mas com o carter
que normalmente se confere a esta personalidade, ou seja, como o marco de transio entre
fases; como o elo para a concepo mais influente da era moderna.
Nesta fase, a caracterstica mais fundamental o carter operacional do nmero. O
nmero uma operao de abstrao executada sobre coisas sensveis. NEWTON apresenta o
nmero como no tanto a multido das unidades quanto a relao entre a quantidade abstrata
de uma qualidade e uma unidade (Arithmetica universalis, cap.2) apud ABBAGNANO
(2007, p.839)
Pertencem ainda a esta fase, segundo ABBAGNANO (2007, p.838) as doutrinas de
Cantor e Dedekind.
Para Cantor, o fundamento do Nmero a faculdade que o pensamento tem de agrupar
os objetos e de abstrair da natureza e da ordem deles (o que d lugar ao Nmero
cardinal). Dedekind, por sua vez, fundou o conceito de Nmero na operao de
emparelhar ou acoplar as coisas. Conquanto matematicamente profcuas, essas noes
mantm o conceito de nmero no mbito da subjetividade.
A terceira fase a objetivista, que v o nmero como um objeto, ainda que no real.
No v o nmero como uma operao mental. representada por Frege, Whitehead e Russell.
Frege define como: o nmero que convm ao conceito F a extenso do conceito
'eqinumrico ao conceito F' FREGE (1974, 68, p.256).
J Russell, possui outra definio, mas que possui um ponto de vista semelhante de
estabelecer proposies sobre os nmeros. Um nmero qualquer coisa que o nmero de
alguma classe. RUSSELL (2007, p.37) enquanto o nmero de uma classe a classe de
todas as classes similares a ele. RUSSELL (2007, p. 36). Mas ambos conservam o esforo
de apresentar uma definio pr-estabelecida de nmero.
A quarta fase a convencionalista, representada principalmente por Peano, Hilbert,
Zermelo e Dingler. Pensa-se o nmero como signo, definido por um sistema de axiomas. Pode
ser resumido da seguinte maneira:
a) no existe um objeto ou entidade nica chamada nmero, cujas especificaes sejam
os nmeros definidos nos diversos sistemas numricos;
b) a validade dos diversos sistemas numricos depende apenas da coerncia intrnseca
de cada sistema, definida pelos axiomas fundamentais;
139
Estas quatro fases podem ser apresentadas como diferentes concepes de carter mais
acentuadamente filosfico e matemtico. Porm, no esto isoladas da concepo do nmero
enquanto aplicao. O avano da axiomtica, da aritmtica e da lgica do final do sculo XIX
foi um ambiente frtil para muitas discusses e reflexes sobre os nmeros. Talvez fora o
perodo em que mais se pensou sobre os nmeros. Muito se disse, portanto, muitos riscos e
equvocos foram assumidos, mas no pode-se negar o avano que este debate proporcionou e
ainda proporciona.
Do ponto de vista matemtico, no nenhum desafio levantar a importncia destas
autoridades, mas do ponto de vista da aplicao, h muito o que fazer, pois muitos temas
devem ser contextualizados para as cincias aplicadas. Posso citar, por exemplo, temas que
ainda causam nos estudantes destas cincias muita estranheza: lgica, lgica-matemtica,
axiomtica, postulados, noes epistemolgicas como sntese, anlise, extenses, intenes,
conceitos, objetos, etc.
Mas estes temas so importantes, em especial, destaco a axiomtica. Que pode auxiliar
enormemente capacidade de explicao de um professor de cincias. A axiomtica um
conceito difcil, entretanto, poderosa no sentido de proporcionar clareza. Pois muitos
conceitos no possuem uma definio clara, e tornar isto de forma explcita importante.
Fsica e Matemtica tratam de conceitos e objetos, e, portanto, deve-se saber manejar com
estes termos. E quanto mais buscar competncia com os conceitos e objetos, mais estar
favorecendo a sua capacidade de lidar com os conceitos e objetos da sua disciplina.
Os caminhos para o formalismo atual da Fsica com relao aos seus conceitos e
objetos constituram-se mais fortemente nos primrdios da Idade Moderna. E ningum
representa tanto a transio epistemolgica como Galileu Galilei.
Precisamos compreender a fase operacional, portanto, por ser especialmente marcante
para a aplicao. Sua forma de compreender os nmeros e a maneira de explicar
matematicamente o universo no coincidente com a do Newton. Porm, Galileu foi muito
significativo enquanto transio cientfica e forma de aplicao da primeira fase para a
segunda.
Newton representa a segunda fase. Embora a classificao apresentada seja bastante
140
ampla, - inclusive Newton aparece ao lado de Leibniz, - no possvel falar das duas fases
posteriores sem falar desta, no apenas porque ela uma transio. Talvez at o termo fase
no seja apropriado, pois no foi um caso resolvido.
A classificao apresentada com relao ao conceito histrico dos nmeros no pode
ser imediatamente transportada para as concepes histricas dos fsicos a respeito do
nmero. Com relao ao nmero, a Fsica no tem necessariamente uma elaborao direta, os
nmeros so usados em frmulas e so adquiridos atravs da medida. O realismo matemtico
diferente do realismo fsico, justamente pelo que cada um pensa ter existncia real, da
mesma forma distinguimos subjetivismo, operacionalismo e convencionalismo matemtico e
fsico.
Fica um desafio que encontrar uma conexo entre a filosofia da matemtica e a
filosofia da fsica com relao ao nmero. Pois a pergunta de um estudante ao professor sobre
como a fsica concebe o nmero, no merece uma resposta sem uma apresentao dos
fundamentos sobre o nmero e sobre a aplicao.
Pois a Fsica dispe dos nmeros enquanto referentes a quantidades. Da, por um lado,
pode-se reduzir a relao entre duas grandezas por um nmero, por outro, os nmeros
representativos de uma relao entre grandezas feita por meio de um sistema de axiomas
convencionados, mas no nicos. Por um prisma, o nmero um instrumento, por outro,
resultado do instrumento. Por um lado, define, por outro, definido por hipteses.
A subjetividade, a intuio, a objetividade, a lgica, a forma e os axiomas esto
entrelaados atravs de uma rede de concepes complexas que regem o fenmeno fsico, da
mesma maneira se comporta a matemtica.
O que revela a Fsica em comum com a Matemtica? Talvez no haja uma resposta
definitiva a esta e outras questes, e no objeto deste presente trabalho, mas revela o quo
complexo dizer o que significa os nmeros para a Fsica.
E podemos fornecer, como professores, em vez de uma resposta aparentemente
definitiva, dar algumas pistas de procedimentos para uma fundamentao deste tema.
5.3 Os nmeros na Fsica e suas relaes com a Matemtica
Depara-se em alguns livros didticos com uma reviso matemtica inicial, pelo qual se
apresenta sucintamente os conhecimentos matemticos necessrios para o desenvolvimento
do contedo da Fsica como: aritmtica, lgebra, geometria e clculo vetorial.
De fato, a definio de nmero no comum; mesmo em livros de Matemtica. No
se fala em nmeros, fala-se sobre o que se relaciona a eles. No ensino de Fsica se espera
apenas que se aprenda a resolver problemas numricos, utilizando-se de estratgias de seleo
de dados, variveis e equaes (frmulas). Na Fsica terica, pouco usual falar de nmero.
Mas mais comum falar da relao da Fsica com a Matemtica. Entretanto, no h dvida
que a Fsica, assim como as Cincias Exatas em geral utilizam-se dos nmeros. Entretanto,
a Fsica no se coloca a disposio para compreender o nmero.
O nmero no problema da Fsica, problema da Matemtica. Sendo que o seu
conceito de competncia da Filosofia da Matemtica. A matemtica entendida como suporte
das propriedades dos nmeros que podero ser utilizados na aplicao dos conhecimentos
fsicos.
Fica claro que no h interesse pelos nmeros enquanto objeto de estudo pela Fsica,
mas preferivelmente pela aplicao das propriedades dos nmeros. No se busca encontrar
propriedades dos nmeros, objeto claramente matemtico, como foi dito, mas se prope a
aplic-los conforme melhor convenincia. Se perguntar a um fsico se um nmero um
conceito ou um objeto, ele poder dar de ombros e no ver sentido na pergunta. Isto no
pareceria to estranho, afinal os fsicos no se preocupam com nmeros enquanto objeto
epistemolgico. At mesmo a respeito das palavras conceito e objeto, relacionados aos
nmeros causaro certo embarao. preciso que se diga que isto poder diferena
principalmente no que refere qualidade da explicao.
Se se perguntar sobre a funo da Matemtica, a pergunta ter mais cabimento, e por
mais inconsistente que seja a resposta, o professor de Fsica no se esquivar de responder.
Bunge responde consistentemente:
O papel da matemtica na cincia moderna duplo: formao de conceitos e
computao. No h conceito de velocidade momentnea sem o conceito derivativo,
no h lei de movimento sem equaes diferenciais ou de operador. Os conceitos
matemticos no so apenas auxiliares cmodos: so o prprio cerne das idias fsicas.
BUNGE (1973, p.44)
Sabemos que a Fsica e a Matemtica fizeram parte de uma mesma cincia, mas com o
tempo se distanciaram e criaram seus prprios modelos e ferramentas MANIN (1983, ix).
Fsicos eram movidos pela inter-relao entre pensamento e realidade, enquanto matemticos
eram movidos pela inter-relao entre pensamento e frmulas. 101 MANIN (1983, ix).
O interesse pelas inter-relaes entre pensamento e realidade caracteriza os
fundamentos da Fsica, mas esconde nesta relao, a dependncia dos meios para atingir esta
meta. Da, revela-se que a intermediao feita pela matemtica - que diferente da
afirmao de que a matemtica resumida a isso.
A necessidade de aplicar a matemtica Fsica de forma sistemtica deu-se de forma
mais contundente na figura histrica de Galileu. Personagem histrico que perseguiu
concretamente novos caminhos para a Cincia da Natureza, uma nova forma de conceber o
real para atender s exigncias do esprito humano. GARCIA (1987, p.2)
A forma inicial se deu pelas certezas geomtricas, seu uso de axiomas e utilizao da
lgica. Mais tarde, com a aritmetizao da geometria e o distanciamento com a intuio,
maior aproximao com a lgica e formalismo deu novos impulsos para o desenvolvimento
da matemtica. Novamente, a Fsica utilizou-se destes avanos.
Concebendo estes esforos como matematizao da natureza, prope-se neste trabalho
uma apresentao da forma em que os nmeros se estabeleceram nas bases da cincia
moderna, mais especificamente da Fsica. Fsica esta concernente estrutura da cincia
fsica, destacando o papel da Matemtica na construo da cincia do real. Temos assim a
matematizao do real. GARCIA (1987, p.1).
5.4 Os nmeros como quantidade e a experincia de Galileu
143
que o livro da natureza, que est aberto ante nossos olhos, est escrito em linguagem
matemtica. Depois disso, devemos nos perguntar: , de fato, possvel que essa linguagem
no tenha nada a ver com os contedos de que esse livro fala?
A matematizao da natureza proposta por Galileu interessante com relao aos
nmeros por vrios motivos, entre eles, encontramos a quantificao de grandezas
cinemticas. O movimento passava a ser investigado por meio da quantificao. Assim, a
quantidade passava a ser atribuda s relaes entre grandezas envolvendo corpos que se
movem. Mais: era possvel compreender grandezas por meio de relaes de quantidades.
Outro aspecto interessante, e que coerente com a forma de quantificar a natureza, a
forma que Galileu compe a experincia. Afinal de contas, Galileu foi um desenvolvedor de
tecnologia, e se destacou principalmente na construo de instrumentos de medida. Sabemos
que a mensurao nos diz respeito aos nmeros do ponto de vista da aplicao.
5.4.1 Quantificao da natureza por Galileu
Galileu Galilei foi um dos pioneiros no uso de experimentos quantitativos. Seus
resultados poderiam ser analisados com preciso matemtica (mais tpica da cincia ao tempo
eram estudos qualitativos).
O pai de Galileu, Vicenzo Galilei, um terico musical, tinha desenvolvido experincias
estabelecendo relaes no lineares em fsica, umas das mais antigas registradas. Estas
experincias seguiam uma tradio pitagrica sobre a msica. Pelas quais encontrou relaes
matemticas interessantes quanto a escalas musicais, e suas harmnicas, e as marcas num
instrumento musical.
Esta experincia de Pitgoras considerada uma das primeiras registradas da histria
da Cincia. Pitgoras construiu um instrumento composto por uma nica corda estendida, que
poderia ser pressionada em lugares calculados e assim, geravam sons que mantinham relaes
aritmticas.
Assim, Galileu pode presenciar por meio de seu prprio pai, observaes fsicas com
relaes envolvendo quantidades entre grandezas de diferentes naturezas que seguem leis
matemticas.
As quantidades no existem independentes das relaes, a recproca tambm
verdadeira quando nos referimos s relaes quantitativas. A quantificao foi algo
precocemente aplicado na histria do homem. Era resultado de um nmero acompanhado de
alguma coleo de coisas que necessitassem ser definidas. A quantidade era uma forma de
definio. Pois a partir de sua exposio com relao unidade, permitiu-se julgar a realidade
e a tomada de uma atitude mais racional a respeito dela. Vimos anteriormente que as
quantidades e relaes so complementares, e que cada um destes termos descrito pela
prioridade na focalizao nos objetos ou nos conceitos dos objetos. Objetos como grandezas
no possuem sentido sem seus conceitos, que so relaes.
Uma das mais importantes caractersticas da Fsica moderna a de que as concluses
tiradas das pistas iniciais so no apenas qualitativas, mas tambm quantitativas.
Consideremos novamente uma pedra deixada cair do alto de uma torre. Vimos que a
sua velocidade aumenta com a queda, mas gostaramos de saber muito mais. Qual o
valor dessa alterao? E quais a posio e a velocidade da pedra em qualquer tempo
depois que ela comea a cair? Queremos estar capacitados a prever os acontecimentos
e a determinar pela experimentao se a observao confirma essas previses e, assim,
as suposies iniciais. EINSTEIN (1983, p.33)
Continua:
[...] e onde ns, para chegar, por exemplo, cincia de algumas propriedades do
crculo, que possui infinitas, comeando por uma das mais simples e tomando aquela
como sua definio, passamos pelo raciocnio a uma outra, e desta terceira, e depois
quarta etc. [...] pois, em suma, dizer que no tringulo, o quadrado oposto ao ngulo reto
igual aos outros dois quadrados sobre os lados que formam o ngulo reto, em que
diferente de dizer que so iguais entre si os paralelogramos que tm uma base comum e
esto entre as mesmas paralelas? E isso no finalmente o mesmo que serem iguais
aquelas duas superfcies que superpostas no se excedem, mas ficam dentro dos
mesmos limites? Ora essas passagens que nosso intelecto faz no tempo, avanando de
passo em passo, o intelecto divino, maneira da luz, percorre-as num instante, o que
o mesmo que dizer que as tem todas sempre presentes. Concluo, portanto, que nosso
entendimento, seja quanto ao modo, seja quanto multiplicidade das coisas entendidas,
superado pelo intelecto divino por um intervalo infinito; mas nem por isso avilto-o
tanto, a ponto de consider-lo absolutamente nulo; pelo contrrio, quando considero
quantas e que coisas maravilhosas tm os homens entendido, investigado e operado,
ainda mais claramente conheo e entendo que a mente humana obra de Deus e das
mais excelentes. GALILEU (2003, p.184-185)
A quantidade das grandezas pode ser entendida como uma extenso das grandezas, e
as grandezas como intenso a qual a quantidade se refere. Uma parte nfima, com relao aos
conceitos, mas essencial para a formao da cincia moderna. O aforismo de Bacon,
"Naturam renunciando vincimus"
102
146
147
tempo de cada momento concreto do movimento com o processo total. Em suma, cada
momento do movimento se faz consoante lei que estabelece a relao entre o espao
e tempo.
Para expressar esta lei, resulta necessrio reproduzir o nexo e a combinao das
grandezas no espao atravs de nmeros que simbolizam determinadas formas
fundamentais do espao. GARCIA (1987, p. 144)
148
mesmo
pargrafo,
apresenta-se
um
exemplo
de
como
definir
Nmeros quadrados = 1
= Q1 + 3 = 1 + 3
= Q2 + 5 = 1 + 3 + 5
= Q3 + 7 = 1 + 3 + 5 + 7
= Q4 + 9 = 1 + 3 + 5 + 7 + 9
.
.
.
+ (2n 1) = 1 + 3 + 5 + ... + (2n 1)
= 12
= 22
= 32
= 42
= 52
.
.
.
= n2
Tabela 5.1 Relao entre nmeros mpares e quadrados.
Dito de outra forma: a soma dos primeiros n nmeros mpares igual a n2, ou seja, Qn
= 1 + 3 + 5 + ... + (2n 1).
Aqui, ainda verificamos que estas relaes foram possibilitadas por meio da eleio da
unidade. No exemplo dado, estabeleceu-se que as grandezas escolhidas seriam: o
deslocamento e o tempo. Para o espao percorrido, escolheu-se a cana. Para o tempo,
103 Deixar propores com um feitio indefinido, no sentido de se dizer que uma coisa tem com outra coisa uma
relao de proporcionalidade.
104 Que confere a duas grandezas, uma relao, ou seja, uma grandeza pode ser denotada como algo que tem
relao com outra
149
intervalo de tempo, um valor definido, isto , uma unidade. Temos, portanto, o cardinal 1,
como o valor da quantidade de unidades de tempo dentro de cada intervalo de tempo da
experincia.
O outro passo foi relacionar, um-a-um os intervalos de tempo, - agora designados
extensivamente, como intervalo 1, 2, 3, e assim por diante, - com os valores dos
deslocamentos com relao unidade de espao (cana) escolhida em cada intervalo de tempo
correspondente.
Feita a correspondncia, possvel verificar as regularidades nas relaes entre os
conjuntos, de um lado, os valores ordinais dos intervalos, e do outro, os valores cardinais que
designam a quantidade de unidades de espao deslocado em cada um destes intervalos.
Desta maneira, poderemos encontrar no intervalo 1, a medio do deslocamento 1
cana. No intervalo 2, foi medido o deslocamento 3 canas e no intervalo 3, foi medido 5 canas.
E assim sucessivamente por nmeros mpares sucessivos.
Este sucessivamente verificado aps uma quantidade de verificaes considervel
para compreender que se pode prever, por induo, que o prximo valor medido ser mpar
tendo o primeiro tido como 1. Por ser impossvel repetir a experincia infinitas vezes, se
estabelece indutivamente que o fenmeno ir acontecer. Portanto, a induo matemtica
encontrada numa seqncia indefinida, no tem um valor de certeza absoluta, mas uma
certeza indutiva. O nmero 1 enquanto quantidade de deslocamento no intervalo de tempo 1,
pode ser facilmente obtido se conformarmos a quantidade medida no intervalo como nova
unidade, e em termos de nmero, podemos utilizar esta nova unidade, ou manter uma relao
com a unidade original.
Este valor pode, assim, ser obtido de vrias maneiras, vejamos alguns exemplos: uma
vez estabelecido a unidade como o espao deslocado no intervalo de tempo um, poderemos
contar os deslocamentos em outros intervalos de tempo com base nesta unidade de espao. Ou
poderemos medir o deslocamento no primeiro intervalo de tempo, e definir como 1 nova
unidade (obteremos uma relao quantitativa entre a unidade original, que j possui
instrumento de medida aferido nesta unidade). As outras medidas podero assim, serem feitas
por meio do mesmo instrumento de medida, na unidade a que se destina, e, aps isso, por
meio da relao entre as unidades, obtermos a unidade que nos passar a ser a unidade de
referncia. Na primeira forma, obtemos por meio de contagem, na segunda forma, por meio
de medida e relao de medida. Este um caso em que o 1 apresenta-se como valor
151
Os modelos empregados por Galileu sugerem que estes tinham um sentido pragmtico. E
podem ser escolhidos de acordo com os objetivos desejados. Assim, muitos modelos utilizados
152
por Galileu podem ter aplicao didtica, pois as suas principais obras, como Dilogo Sobre os
Dois Mximos Sistemas do Mundo, possua a meta de apresentar ao mundo, de forma clara, uma
nova maneira de entender a cincia. O leitor ser levado a realmente experimentar a fsica ao pensar
sobre os fenmenos.
A moldura conceitual em que se estabelecem os modelos galileanos, de fato, se confunde
mesmo com a experincia. Os corpos em queda livre em certas situaes necessitam estarem no
vcuo, as superfcies inclinadas precisam ser totalmente lisas, o ar no mais imprime qualquer
resistncia. Os modelos de Galileu so inseparveis da imaginao para quem se predispe a
apreend-los. A mente se tornou o mais importante laboratrio que um cientista poderia ter.
Galileu mostrou como relacionar matemtica, fsica terica e fsica experimental. Ele
entendia a parbola, por uma dupla viso: como seo cnica e em termos de ordenada (y)
variando com o quadrado da abscissa (x). A parbola tinha a trajetria teoricamente ideal
como movimento acelerado, na ausncia de frico e outras interferncias. Ele tambm notou
que h limites para a validade desta teoria, declarando que ele era apropriado somente para
certas condies experimentais modelos. Reconheceu tambm que seus dados experimentais
nunca poderiam concordar exatamente com qualquer forma terica ou matemtica, por causa
da impreciso da medio, frico irredutvel e outros fatores.
Entendemos que o conceito de vrtice da parbola de lanamento de projteis pode ser
compreendido por dois pontos de vistas importantes: o intensivo e o extensivo, os atributos do
vrtice, como funes, sua intenso, enquanto sua determinao quantitativa sua extenso.
Determinando a parbola como um conjunto de pontos, o vrtice desta, passa a ser uma
extenso e a funo pelos quais todos os pontos concordam a intenso. A Fsica moderna se
apresenta originalmente de forma complementar entre estes dois pontos de vistas. Por um
lado, busca leis gerais, por outro, elementos que representem estas leis gerais.
A representao de quantidade garantida a partir de modelos fsicos. Um modelo
um smbolo de um sistema fsico. Ele denota o sistema fsico: como a forma em que uma
linha vertical em um diagrama de Galileu denota um intervalo de tempo, elementos de um
modelo cientfico denota elementos de seu objeto. Dir-se- que um pndulo ideal similar ao
pendulo material; o pndulo ideal denota seu objeto. O pndulo ideal um objeto abstrato. Em
que sentido ele similar a um pndulo material est longe de se ter clareza.
Aqui Matemtica freqentemente possui um papel essencial na Fsica: um dos recursos
dedutivos dos modelos fsicos. A interpretao o inverso da denotao: os resultados
demonstrados precisam ser interpretados novamente em termos experimentais. A interpretao
153
155
parte quanta de tempo em parte quanta, sendo posto o trmino A como momento
mnimo de velocidade, ou seja, como estado de repouso e como primeiro instante do
tempo subseqente AD, evidente que antes da aquisio do grau de velocidade DH,
efetuado no tempo AD, passou-se por outros infinitos graus menores e menores,
obtidos nos infinitos instantes que existem no tempo DA, correspondentes aos infinitos
pontos que esto na linha DA: por isso, para representar a infinidade de graus de
velocidade que precedem o grau DH, necessrio imaginar infinitas linhas sempre
menores e menores, que se supem traadas a partir dos infinitos pontos da linha DA,
paralelas a DH, infinidade de linhas a qual representa, por ltimo, a superfcie do
tringulo AHD; e, desse modo, entenderemos que qualquer espao percorrido pelo
mvel com um movimento que, comeando do repouso, vai uniformemente
acelerando-se, consumando e usando infinitos graus crescentes de velocidade,
conforme s infinitas linhas, que, comeando do ponto A, imaginam-se traadas
paralelas linha HD e s linhas IE, KF, LG, BC, continuando depois o movimento
quanto se queira. GALILEU (2003, p.310)
Poderemos ainda apresentar uma forma interessante apresentada por MANIN, outro
exemplo como os fsicos trabalham com as relaes numricas:
As mais simples operaes matemticas so computaes aritmticas da seguinte
forma: (0.24/20 x 13/1.1) x (7.8x104/2.04x105) x (2x0.048/0.021+ 0.019) = 0.038.
Por verissimilidade este exemplo no foi copiado de um trabalho de um estudante, mas
de um estudo de Enrico Fermi e E. Amaldi Sobre a absoro e difuso de nutrons
lentos 105 MANIN (1981, p.1)
Nota-se que a aplicao dos nmeros na Fsica, se faz por meio de relaes. Os
nmeros na Fsica no tm finalidade se no tiverem uma relao. Seja qual for a forma que
os nmeros apaream, - o seu fim, alm de servir de base para os modelos fsicos e a
utilizao da induo matemtica, - servem como forma de se verificar a prpria teoria com a
realidade. O que pode ser entendido como a possibilidade de se projetar antecipaes,
previses. Por isso, no podemos deixar de compreender que a frmula v = v0 + at uma
representao de relaes numricas, se fizer parte de um modelo coerente com a realidade
fsica.
Qualquer modelo ou forma quantitativa, na fsica, possibilita um acrscimo no
conhecimento sobre os nmeros. E quando falamos sobre o conhecimento sobre os nmeros,
nos referimos s suas propriedades. Algumas leis da matemtica pura podem ser confirmadas
pelas experincias entre grandezas que mantm relaes que esto em correspondncia com a
matemtica, leis da matemtica podem revelar relaes entre grandezas para a Fsica e
relaes na Fsica podem ser entendidas ou validadas pela correspondncia com as leis
matemticas. Sobre isso, trataremos mais adiante.
105 The simplest mathematical operations are arithmetical computations of the following
sort: (0.24/20 x 13/1.1) x (7.8x104/2.04x105) x (2x0.048/0.021+ 0.019) = 0.038.
For verismilitude this example was not copied from a student's workbook, but from a paper by
158
gira em torno do Sol sem antes ser convencido pelo argumento matemtico e da observao
mais cuidadosa atravs de instrumentos de visualizao e medida. A experincia de Aristteles
tomou um novo formato, agora ela movida em torno da teoria.
No Dilogo, Galileu apresenta este ponto:
Portanto, dessas duas proposies, que so ambas doutrina de Aristteles, a segunda,
que afirma que se deve antepor os sentidos ao discurso, uma doutrina muito mais
firme e resoluta que a outra, que considera ser o cu inaltervel; e por isso, filosofareis
mais aristotelicamente dizendo: 'o cu altervel, porque assim nos persuade o
discurso de Aristteles'. Acrescentai que ns podemos muito melhor do que Aristteles
discorrer sobre as coisas do cu, porque, tendo ele confessado que lhe era difcil tal
conhecimento pelo distanciamento dos sentidos, acaba por conceber que aquele a quem
os sentidos melhor pudessem represent-lo, com maior segurana poderia filosofar
sobre o assunto: ora ns, graas ao telescpio, aproximamo-lo trinta ou quarenta vezes
mais do que o era para Aristteles, tal que podemos discernir nele cem coisas que ele
no podia ver, entre outras, estas manchas no Sol, que eram para ele absolutamente
invisveis: portanto, podemos tratar do cu e do Sol com maior segurana que
Aristteles. GALILEU (2003, p.136)
Assim, de algo subjetivo como dizer que um corpo mais quente que outro atravs do
tato, eu meo com um termmetro e verifico qual corpo possui um valor numrico maior que
o outro, ou maior valor numa escala no numrica. Torno o julgamento com base em
marcaes objetivas, ou seja, qualquer um que saiba utilizar-se deste instrumento poder
reconhecer o mesmo que eu. Galileu, com suas experincias, inaugurou uma nova abordagem
do real, no mais era feita diretamente por meio dos sentidos, mas por intermdio de
instrumentos.
Em seus experimentos Galileu estabeleceu padres de distncia e tempo, tanto que
medies feitas em diferentes dias e em diferentes laboratrios poderiam ser comparadas num
feitio reproduzvel.
A mediao entre o real e o pensamento, passa ser o diferencial em Galileu, e ele deu
algumas pistas disto. A importncia que ele imprimia aos instrumentos, que podem ser
entendidos como a mediao entre o observador e o objeto, pode ser reconhecida nesta
estrutura: o observador (componente que porta o pensamento), o instrumento (mediao
reconhecida por meio do pensamento) e o objeto (realidade). O instrumento legitimado por
161
meio da razo, pois se no fosse assim, por exemplo, o pulso de Galileu no serviria para
contar o tempo. Como a contagem dos batimentos cardacos algo (ao qual possuam uma
razovel regularidade no tempo) que poderia ser usado no lugar de uma contagem mental, pelo qual se caracterizaria como um dado estritamente subjetivo.
Por mais que fosse uma forma bastante imprecisa de contagem de tempo, qualquer um
poderia contar as suas prprias pulsaes. Neste caso, como em todos os instrumentos, sua
adequao deve-se a sua confiabilidade baseada na lgica e na razo. Por exemplo: a
contagem por meio da pulsao poderia ser testada por outras experincias que se possam ser
comparadas entre si, como o giro completo de um moinho, por exemplo; neste caso, o moinho
poderia servir tambm para contagem de tempo, pois em relao a um evento, sua contagem
de voltas seria algo confivel.
Com relao ao instrumento, como mediador, deve ser algo que possua uma relao
com uma teoria que o coloque como um referencial seguro bastante para que possibilite
afirmar algo sobre a realidade. Uma teoria ou a desconfiana de uma teoria vem antes de um
instrumento. O aperfeioamento dos instrumentos de contagem e medida demonstra que
houve uma mudana da relao pensamento-realidade. Antes se confiava nos sentidos para
validar uma experincia, posteriormente, passou-se a desconfiar-se destes sentidos, pois eles
nos apresentavam algo subjetivo e qualitativo. Deste modo, para dar objetividade ao
conhecimento cientfico, procurou-se um paralelo com relao ao que era qualitativo, ou seja,
o quantitativo.
Um instrumento construdo por Galileu que pode ilustrar bem estas afirmaes um
precursor do termmetro, que atribua escalas numricas relacionadas temperatura.
De fato, atualmente no se prope explicaes sem um instrumento que possibilite a
aquisio destas explicaes. Assim, para dizermos que um corpo est mais quente que outro,
no suficiente cientificamente que toque os dois corpos e faa a distino. Pois sabemos que
o nosso tato pode nos confundir. Para afirmar tal coisa necessitamos de um instrumento que
sirva de testemunha para mim, que diga que no foi um julgamento por base no meu tato, mas
sim de algo exterior a ns, construdo com base na razo e na lgica; e que por isso, permita
que depositemos grande confiana de que este instrumento ir nos apresentar algo que
possamos creditar como representando a verdade da realidade.
Assim, fica claro um duplo interesse de Galileu para sua predileo aos nmeros. Pois
suas propriedades, baseadas em quantidades, entre elas, tinham como mediadores a razo e a
lgica. A realidade , portanto, mediada materialmente pelo instrumento, e racionalmente
162
Neste aspecto, Garcia nos coloca alguns aspectos importantes neste empreendimento.
Primeiro: Galileu empreendeu a interligao entre a matemtica e a Fsica atravs de
conceitos como matria e movimento. A cinemtica, uma vez matematizada, tornou-se um
marco para a Fsica, pois representou o uso da geometria e dos clculos aritmticos para
corpos que se moviam. Esta inovao colocada sistematicamente vinha contrastar com a
filosofia aristotlica. 106
Para Galileu os objetos fsicos e suas relaes so essencialmente matemticos,
especificamente geomtricos.
A filosofia encontra-se escrita neste grande livro que continuamente se abre perante
nossos olhos (isto , o universo), que no pode compreender antes de entender a lngua
e conhecer os caracteres com os quais est escrito. Ele est escrito em lngua
matemtica, os caracteres so tringulos, circunferncias e outras figuras geomtricas,
sem cujos meios impossvel entender humanamente as palavras; sem eles ns
vagamos perdidos dentro de um obscuro labirinto. GALILEI (2000, p.46)
GARCIA completa:
Em Galileu o como do movimento se converte em objeto de anlise, passando a ser
estudado com o mtodo da cincia matemtica. De onde decorre a necessidade de
desenvolver uma nova terminologia que traduza o processo do movimento mesmo
para que os matemticos tenham um ponto de apoio firme nos fenmenos. Assim, o
problema de Galileu a criao de uma nova cincia matemtica para substituir a fsica
qualitativa dos aristotlicos. [...] GARCIA (1987, p.142)
Segundo GARCIA, a importncia que Galileu destinou a geometria foi uma postura
106 Ainda que Galileu no o tivesse como seu oposto, pois em muitas oportunidades utilizava argumentos
aristotlicos contra os prprios aristotlicos - que para Galileu eram os seus verdadeiros opositores.
163
platnica, que acreditava que o homem poderia alcanar a divindade atravs da compreenso
do nmero por meio da razo. Nas palavras de SALVIATI, o porta-voz de Galileu no seu
Dialogo Entre Duas Novas Cincias:
Que os pitagricos tenham tido em soberana estima cincia dos nmeros, que Plato,
ele mesmo, tenha admirado o intelecto humano e considerasse-o participante da
divindade por entender a natureza do nmero, eu o sei muito bem, e no estaria longe
de fazer o mesmo juzo sobre isto. GALILEU (2003, p.91).
Acreditava-se que as coisas possuam um nmero, que lhe dava a sua essncia. Ento
possua uma determinada caracterstica porque tinha como essncia um determinado nmero.
Galileu, apesar de reverenciar os nmeros, no buscava explicaes deste tipo, baseadas em
porqu. Buscava, de fato, como se pode atribuir um nmero a algo.
Por esta razo, a ttulo de exemplo, que se creditava s trs dimenses do espao uma
razo, um porqu, nas palavras de Simplcio, - um interlocutor ptolomaico, - encontramos:
[...] No tendes, em primeiro lugar, que alm das trs dimenses no existe outra,
porque o trs cada coisa e o trs est em todas as partes? E isso no est confirmado
pela autoridade e pela doutrina dos pitagricos, que dizem que todas as coisas so
determinadas pelo trs, princpio, meio e fim, que o nmero do todo? [...] o todo e o
perfeito so formalmente o mesmo; e que por isso, somente o corpo entre as grandezas
perfeito, porque s ele est determinado pelo 3, que o todo, e sendo divisvel de trs
modos, divisvel em todas as direes [...] GALILEU (2003, p.90)
Assim, Galileu, atravs de seu interlocutor Salviati, apresenta suas razes para o limite
em trs dimenses do espao:
164
aquelas ngulos retos, e que as dimenses devem ser determinadas somente pelas
linhas retas que formam ngulos retos entre si, as dimenses, portanto, no so mais
que 3; e o que tem as 3, tem todas, e o que tem todas divisvel em todas as direes, e
o que assim for perfeito etc. [...]
SIMPLCIO No afirmarei que esta vossa razo no possa ser concludente, contudo,
direi melhor com Aristteles que nas coisas naturais no se deve sempre procurar uma
necessidade de demonstrao matemtica.
SAGREDO Sim, onde talvez ela no se possa obter; mas se aqui ela existe, por que
no quereis usar?[...] GALILEU (2003, p.92-93)
O numeral trs tinha um significado metafsico; o espao tem trs dimenses por que o
trs estar presente quando se trata do todo e da perfeio. Galileu no busca um significado
do trs, os nmeros no possuem um significado em si mesmo, em vez disso, procura avaliar
como possvel concluir que h apenas trs dimenses. Um aspecto interessante da sua viso
sobre nmero que a sua obteno, como a quantidade de dimenses possveis do espao, no
obtida por meio metafsico ou mesmo fsico; na verdade, o nmero obtido por meio do
raciocnio matemtico.
5.5 O nmero como aplicao
Os fundamentos dos nmeros encontram nos pensadores como Peano, Russell e Frege
referncias importantes para uma discusso a respeito do que representa e caracteriza os
nmeros. Eles tornaram-se referncias atravs de influentes obras divulgadas na histria da
matemtica com implicaes, inclusive, na filosofia.
O confronto de seus pontos de vistas e principalmente a busca de uma articulao
entre estas diferentes idias permitem no s o entendimento da natureza dos nmeros, mas
tambm uma maior compreenso da natureza da sua aplicao e da cincia que os aplica.
Os nmeros naturais enquanto contagem ou como medida revela grande parte da sua
aplicao na Fsica. Vamos estabelecer, para isso, o que entendemos por aplicao e Fsica
aqui. Aplicao a forma de utilizar-se de algo. Imprime a idia da ao humana na direo
de colocar em prtica as conseqncias de proposies. Assim, aplicar experimentar um
conceito num contexto estranho a sua origem. O testemunho de que uma proposio, que se
refere natureza, verdadeira ou no, depende imensamente se ela corresponde a uma
consistncia com a realidade. Talvez, por este motivo, no seja fcil identificar nos dados
adquiridos pelas cincias aplicadas, caractersticas dos nmeros. Pois as cincias no servem
diretamente para comprovar os conceitos sobre os nmeros, pois estes conceitos no so
165
coluna de mercrio com a temperatura. Tudo isto pode ser representado por funes, que
uma forma de se generalizar as relaes entre estes objetos, a partir de regularidades
aritmticas encontradas pelas relaes entre nmeros.
A relao entre medidas apresentadas aqui no necessariamente deve-se a Russell, mas
so conseqncias de seu pensamento, envolvendo a caracterizao do nmero enquanto
classe de classes. Enquanto a nfase de Peano se concentra nos nmeros naturais de carter
ordinal, Russell se interessa por seu carter cardinal. O que isso representa?
De fato, a cardinalidade ou ordinalidade do nmero so qualidades do nmero. So
diferentes intenses do nmero. Em termos de aplicao, dependendo do contexto, uma das
qualidades se sobressair. Mas o que determinar o contexto a aplicao do nmero.
Aplicao um termo amplo. Pois se pode proceder s aplicaes em abrangncias
tericas ou prticas. Em contextos abstratos ou em contextos concretos. Mas se considerarmos
a questo da aplicao nas fronteiras da Fsica, no limitaremos estes diferentes contextos,
afinal, a Fsica representativa na forma em que aplica os conceitos, tanto na sua forma
pragmtica quanto na sua forma de abstrair os conceitos que emprega. Se compreendermos
aplicao como interpretao, as teorias podem servir como base de apoio ao entendimento.
5.5.1 Nmeros, algoritmos e homens
167
e a diagonal deste, ter divises recorrentes infinitas entre eles. Ou seja, considerando l como
o lado do quadrado e d a diagonal do quadrado, se fizermos diviso teremos como resto r. Se
considerarmos r agora como o divisor e o lado como dividendo, teremos r1 como novo resto e
assim por diante enquanto tiver resto diferente de zero.
Este tipo de recorrncia caracteriza os algoritmos, e no caso do exemplo apresentado,
sua recorrncia ser infinita, tal qual seria se dividirmos a circunferncia pelo raio. Mas
mquinas como os processadores no podem fazer tais clculos infinitamente, pois isso
contraria a capacidade de armazenar os dgitos resultados dos clculos. Alm do mais, quando
inserimos dois nmeros como os referentes ao lado de um quadrado e a sua diagonal, j
encontramos limites na incluso deste nmero. Pois um destes nmeros incomensurvel.
Assim, o computador dever receber um nmero arredondado, ou seja, aproximado.
H limites para clculos em mquinas; e os homens tambm so impotentes quanto a
isso. O que no significa muito em termos pragmticos, afinal, sabemos que nmeros
irracionais no podem ser colocados em papel em toda sua extenso. Temos desta forma, uma
intuio. Os algoritmos so formas de representar operaes recorrentes, e nela no h
restrio quanto s recorrncias infinitas. Mas nem os homens e nem as mquinas so capazes
de empreend-lo indefinidamente.
As mquinas apenas calculam. O suporte lgico para a computao como a lgica
matemtica no garante que elas podero fazer qualquer clculo, pois as mquinas possuem
capacidade finita em qualquer aplicao108. Assim, a lgica matemtica com todo o seu vigor,
em termos de aplicao, estar sujeita s aproximaes. E o que poderia ser algo
matematicamente compreendido como inconsistncia, na aplicao tolerado. A lgica
matemtica foi adotada pela computao. Mas bom lembrar que os desenvolvedores de
programas e processadores sabem que existe um compromisso entre a consistncia lgica
levada radicalmente e o que um resultado aceitvel ou suficiente para a aplicao
(limitaes do hardware, preciso dentro das necessidades do usurio, etc.).
O prestgio que a lgica tem e teve ao longo da histria do pensamento humano nos
faz acreditar que ela seja o prprio fundamento do pensamento racional. Um exemplo
interessante encontrado numa experincia utilizando 35 adultos que deveria classificar todos
os nmeros arbicos de dois dgitos entre 31 e 99 como sendo maiores ou menores que 65,
enquanto suas respostas eram cronometradas com preciso de milisegundo. As respostas mais
rpidas eram as que apresentavam uma maior diferena numrica. Enquanto as respostas mais
108H um limite fsico das memrias, por exemplo.
168
demoradas encontravam-se entre as que possuam uma diferena menor. Verificou-se ainda
que os resultados para as comparaes como 79 e 65 e ainda 71 e 65 havia diferena de tempo
de resposta, mesmo observando que em ambas as comparaes o nmero maior possua a
dezena 7, sendo a resposta comparao de 79 e 65 mais rpida. Observou-se que a resposta
da comparao entre 71 e 65 era um pouco mais rpido que comparao entre 69 e 65. Isto
pode indicar que o crebro humano no processa a respeito dos nmeros tal qual uma
mquina.
Uma concluso possvel que nossa resposta no necessariamente depende de um
processo semelhante ao algoritmo, ou que o reconhecimento de certas propriedades
particulares de nmeros no necessariamente tenha que se espelhar em decises lgicas para
esta finalidade.
Assim colocado, parece que a lgica no a nica forma de julgamento a respeito dos
objetos. Se o homem percebe o nmero alm de seu aspecto formal, indica que o nmero em
termos cognitivos no est restrito a este campo, e neste caso, abre-se mo de recursos
analticos como a decomposio do todo. Assim, v-se o nmero como um todo, e no apenas
o dgito da esquerda primeiro para depois verificar se houver concordncia, o dgito da direita.
O nmero 23 em hexadecimal dificlimo de ser entendido, o que traz muito desconforto em
estudantes se disser que, na verdade, ele representa o que entendemos por 35 em decimal. O
levantamento dos pesos posicionais, quanto da base do sistema numrico, uma anlise
lgica do nmero.
A relao entre homens e nmeros parece ser naturalmente intuitiva, e apenas com
esforo racional podemos estabelecer regras de pensamentos que busquem a liberdade quanto
intuio. Entretanto, a busca de estruturas lgicas de pensamento para fundamentar nossas
concepes sobre objetos complexos como os nmeros, modernamente decidiu-se pelo
caminho do afastamento da intuio; o que, de fato, trouxe muitos avanos.
Mas tudo isto, o esforo e os avanos no podem negar que inevitavelmente a intuio
existe; ainda que venhamos a considerar que as teorias estejam descontaminadas dela. Ela
existe, e nos faz tomar decises, sem que ns nem mesmo percebamos. E, no seria de
admirar, que encontrssemos um pouco dela em teorias como as analticas, mas isto outra
histria.
Isto no significa dizer que o julgamento de que 65 menor que 71 seja puramente
intuitivo, mas que, aparentemente, ocorreu absteno de um recurso lgico que poderia
poupar bastante tempo. E isso pode ser entendido como uma aproximao intuio. Afinal,
169
intuitivo e lgico em muitas oportunidades so tidos como opostos. A abstrao lgica, como
anlise formal, pode permitir mquinas decidirem sobre conceitos lgicos, mas as mquinas
no lidam com nmeros como quantidades ou relaes, como ns. Pois por mais lgicos que
queiramos ser, - considerando os nmeros como apenas smbolos que se coadunam com
certos aspectos formais, - sempre haver momentos em que relacionaremos os nmeros com
quantidades e relaes. Seja quando julgamos se o preo de uma mercadoria alto, seja
quando entendemos que 2 miliamperes representa uma corrente muito baixa para um
determinado circuito.
Ver o nmero como um todo interessante porque o nmero passa a representar todos
os conjuntos que tm aquele nmero. 65 sessenta e cinco representa todas as operaes, e
hipteses de relaes entre nmeros que como resultado encontre 65. Sem dvida a reduo
do nmero em termos posicionais compreendendo o nmero como seis dezenas e cinco
unidades muito pouco em comparao experincia que temos com os nmeros cuja
grandeza o prprio 65 ou nmeros prximos a este. Assim, a reduo que o segredo para
aplicaes da lgica no mundo real no pode ser considerada como a nica ou a melhor forma
para julgarmos algo sobre nmeros. Os nmeros significam muito mais que isto, e a
sistematizao lgica no podem envolver todo ele, pois para isso, a lgica deveria deixar de
ser lgica como conhecemos.
Mas no podemos negar a importncia da lgica em absoluto, pois seu formalismo cria
objetividade ao nosso mundo. O mundo dos conceitos no produtivo sem os objetos. A
linguagem associada pelo formalismo, que Peano ajudou a construir, a Lgica que Frege
trouxe da filosofia para matemtica, as sistematizaes de Russell ajudaram no s a construir
novos alicerces para a matemtica, mas para toda nossa atual tecnologia. Tal qual Boole que
no tinha a menor idia da aplicao que sua lgebra iria proporcionar nas camadas fsicas dos
nossos processadores. Tambm Russell, Peano e Frege no tinham com relao
programao e circuitos calculadores. Vejamos como alguns instrumentos modernos se
relacionam com estes pensadores.
5.5.2 O contador digital
Na eletrnica, encontramos interessantes formas de funcionamento de mquinas
lgicas. Apesar da compreenso de que estas mquinas, na verdade, executam intenes
humanas, elas podem revelar o quanto as teorias podem corresponder a uma possvel
170
Qn+1
No Qn+1
No Qn
Qn
172
Desde que os flip-flops esto ligados em cascata, as larguras de pulso dobram em cada
etapa, o que claramente visto na tabela abaixo:
173
E
S3
S2 S1 S0
nada 0
0
0
0
1
0
0
0
1
2
0
0
1
0
3
0
0
1
1
4
0
1
0
0
5
0
1
0
1
6
0
1
1
0
7
0
1
1
1
8
1
0
0
0
9
1
0
0
1
10
1
0
1
0
11
1
0
1
1
12
1
1
0
0
13
1
1
0
1
14
1
1
1
0
15
1
1
1
1
16
0
0
0
0
Tabela 5.3 Sada de cada flip-flop ordinalmente pela seqncia de pulsos.
Analisando os grficos, notamos que o perodo de Q0 o dobro do perodo do clock,
logo, a seqncia de Q0 ser a metade da freqncia do clock, pois f = 1/T. Analisando a sada
Q1, veremos que seu perodo o dobro do perodo de Q0 e um quarto da freqncia do pulso
de clock. Isto se estender sucessivamente aos demais flip-flops. Assim sendo, podemos notar
que uma das aplicaes dos contadores ser dividir a freqncia de sinais aplicados entrada
clock. No caso deste contador, a diviso ser por um nmero mltiplo de 2N, onde N o
nmero de flip-flops utilizados.
Sob o ponto de vista de um contador de pulso, o nmero de pulsos que ele capaz de
contar depender do nmero de flip-flops adicionados. O que representa o acrscimo de um
contador o incremento de uma unidade a potncia de dois. Para um limitado nmero de flipflops a contagem voltar a ser zero e reiniciar a contagem.
Se desejarmos contar quantas vezes se reiniciou a contagem num contador, pode-se
adicionar outro contador para isso. E a contagem deste segundo contador tambm ser
limitada quantidade de flip-flops utilizados. O contador de contador, na verdade, pode ser
entendido como uma ampliao do primeiro contador. Pois ao serem colocados em seqncia,
forma-se na prtica, um nico contador. Poderemos proceder a vrias combinaes de
contadores de contadores, mas para isso s necessitamos escolher as ligaes entre os flip174
flops. Uma conseqncia de tudo isso, que todos os flip-flops so ou podem ser
considerados contador de contador.
Das vrias caractersticas interessantes deste tipo de circuito, uma delas que ele
representa com grande clareza o axioma da induo de Peano. A cada pulso de clock, temos
um sucessor do nmero apresentado, 0 um nmero, que representa o estado inicial e a
ausncia de pulso. Assim, aps uma seqncia de 5 pulsos teremos a contagem de 5. E estes
nmeros sero nmeros indutivos da forma russelliana, no entanto que seja para contar um
nmero finito de pulsos. A finidade, como foi dito, determinada pelo nmero de flip-flops.
O entendimento de que a marcao 0101 representa 5 devido compreenso lgica
da posio dos algarismos e seus respectivos pesos num sistema numrico. Ou seja, o
algarismo da esquerda possui peso 1, o algarismo a sua esquerda possui peso 2, e na
seqncia 4 e 8. Assim, tomando-se a ordem dos algarismos, podemos dizer que na ordem da
esquerda para direita temos como pesos a base dois seguido das potncias iniciadas por, 0,
dando seqncia aos nmeros naturais 1,2,3,... Poderamos da mesma forma, atribuir pesos
em binrios assim, a segunda posio teria peso de 102, a terceira de 1002, e a quarta 10002.
De fato, a forma de apresentar apresenta uma ordem da forma em que levantada por
Peano, no caso dos nmeros binrios, da mudana do estado de cada posio dos algarismos a
cada incremento de mais um, no caso do contador de pulsos, a cada chegada de um pulso. Por
exemplo, se temos o nmero binrio 0100, e somarmos 1, teremos 0101, neste caso, o que
ocorreu foi uma mudana de estado do primeiro algarismo da esquerda para direita (o
algarismo menos significativo), aps o incremento de mais uma unidade temos a mudana do
estado do primeiro algarismo e tambm a mudana do segundo algarismo, em ordem. Os
outros algarismos no se alteram, mas os dois primeiros sim (o primeiro a cada incremento e o
segundo aps dois incrementos). Mas a mudana do terceiro algarismo s vai ocorrer a
chegada do quarto incremento. Esta ordem que pode ser verificada pela potncia de dois, pode
ser verificada em termos da ordem de chegada de pulsos.
Assim, o terceiro pulso representar duas mudanas de estado do primeiro algarismo e
uma mudana de estado no segundo algarismo. Deste modo, o nmero 0112 poder
representar a passagem de trs veculos a um detector de presena, o que poder ser
facilmente conferido aplicando vrios trios de veculos. Para testar melhor a aplicao dos
nmeros binrios, - como representao de quantidades, - verificaremos outros conjuntos,
como quartetos, quintetos e etc. O nmero 1 seria uma presena, sem possibilidade de
correlacionar ordem, e o nmero 0 a ausncia. O nmero 011 2 seria registrado no contador
175
aps o terceiro veculo ser detectado, e o conjunto dos objetos detectados podem ser
apreendidos em uma coleo, que poder ser colocada em relao um-a-um com outros
conjuntos contendo trios.
Uma vez feita a contagem, - o que implica a verificao de uma seqncia numrica
em progresso, - faremos uma indicao do nmero de elementos de um conjunto atravs da
indicao do ltimo nmero ordinal apurado. J o nmero de elementos de um conjunto de
objetos verificado a partir da relao entre outros conjuntos que contm a mesma
quantidade. Assim, de um ponto de vista, a quantidade obtida da seqncia, de outro ponto
de vista, ela vem da relao com outros conjuntos que participam da mesma classe dos
conjuntos que possuem a mesma quantidade.
O aspecto formal da quantidade retirada da ordem dos algarismos, sob pesos
posicionais, tambm informam a quantidade. Se uma seqncia qualquer fosse adotada para
representar a contagem, no teramos propriamente uma seqncia lgica.
Se fosse estabelecido que a contagem inicialmente partisse de 01012 e seu sucessor
11102 e o sucessor deste 00012 no teramos dificuldades em contar, se antes soubssemos que
0101 representa nosso 0, e 1110 representa 1 e 0001 representa 2. Mas se desejarmos saber
por exemplo que nmero 1001001000112? Como o limite de contagem de um contador
depende do nmero de flip-flops, e que com um nmero finito de possibilidade permite adotar
um nmero para cada combinao. Mas isto seria uma adoo particular. Assim seria
impossvel algum interpretar 1001001000112 com qualquer nmero. Pois no h uma
seqncia lgica entre um nmero e outro.
Quando desejarmos que um sistema seja geral, necessrio que esteja baseado na
lgica. Por isso, como o sistema binrio um sistema numrico, faz mais sentido adotar o
procedimento geral de sistema numrico para determinar qual a quantidade que ela pode estar
representando. Por isso, se escolhe logicamente a adoo de sistema de pesos posicionais,
cujas bases referem-se aos sistemas numricos.
Nesta perspectiva, pode-se verificar que a contagem da axiomtica estabelece o
movimento, no sentido de aplicao da mudana como elemento do ato de contar, isto
necessrio para se conseguir diferenciar os objetos numa seqncia, uma identificao no no
sentido definitivo, mas apenas para fins de processo de contagem. Enfim, para contarmos
precisamos apontar. Como o contador faz, compreendendo o ato de apontar como sendo a
deteco de uma transio negativa de um pulso.
Com relao Teoria dos Conjuntos, vislumbram-se a necessidade de paralisar os
176
processo.
Enquanto na forma analgica, as grandezas envolvidas nestes aparelhos necessitam de
eventos ao longo do tempo para indicar uma medida. O nmero de ocorrncias (sejam voltas
das rodas do veculo) cria outras ocorrncias como, por exemplo, correntes de Foucault. Se ao
longo do tempo diminuir a quantidade de eventos, da mesma forma, diminuiro as
intensidades desta grandeza. Se no for registrada nenhuma volta das rodas, nenhuma
deflexo ser registrada no aparelho, pois no h corrente de Foucault sendo criada para atuar
no ponteiro.
No primeiro caso, se faz uma relao entre a corrente e o nmero de voltas, verifica-se
uma proporcionalidade. Enquanto no caso do velocmetro digital, h claramente uma
contagem. No primeiro caso, temos uma relao, uma medio. Ambos chegam
aproximadamente aos mesmos valores, dentro de certa preciso; se estiverem bem ajustados.
Porm, um ter um valor de forma analgica. O que significa dizer que possvel e
mais provvel o valor intermedirio entre duas marcas na deflexo do ponteiro. Ainda que no
saibamos qual o valor, temos uma idia mais prxima do que intuitivamente acreditamos ser
real.
A informao digital, por meio de contagem, enumera os valores de forma direta,
atravs de nmeros em display.
De certa maneira, podemos dizer que o analgico est associado mais medida,
enquanto o digital est mais associado contagem. Contudo, esta associao no pode ser
entendida como uma exclusividade, porque tanto os sistemas analgicos como os sistemas
digitais possuem aspectos tanto de operaes de contagem quanto de medida.
A contagem do tempo indicada por meio de oscilaes de badalos ou por meio da
indicao de displays de relgios possuem diferenas comuns entre os meios analgicos e
digitais. Modernamente, o termo contagem est tecnologicamente ligado aos meios digitais.
Mas no podemos pensar a respeito dos meios digitais como formas de quantificar
exclusivamente por contagem. Podemos encontrar a medida de tenso, que se utiliza da
concepo de pesos distribudos a resistores por meio de detectores de nveis de tenso. Os
pesos de nveis de tenso so direcionados a pesos posicionais, que permitem fornecer um
valor numrico. Neste caso, no temos um exemplo de contagem, mas da utilizao de
propriedades ordinais e cardinais por meio de uma configurao formal de nmeros e por
estabelecer uma relao entre conjuntos (quantidade de tenso e quantidade numrica). Temos
um exemplo de medida utilizando-se de relaes neste caso.
178
C 1
1km V
Tendo em vista a relao que Russell verificou nas fraes x/y=m/n pode-se encontrar
181
na frao m/1 a relao x=my. Assim, temos as seguintes relaes na forma de regra de trs,
quando pode ser interpretado como Bt = 3600/P e V=1km/C.
V = 1km/C, refere-se a quantidade de voltas da roda em um 1 km, cada volta tem uma
quantidade de pulsos determinada. Assim, 1km pode ser expresso por em quantidade de
pulsos. Temos as intenses quantidade de pulsos em unidade de km.
Por meio da relao volta da roda e quantidade de pulsos, pode-se pensar que de um
pulso para outro existe um intervalo, e uma determinada quantidade multiplicada pelo
espaamento entre dois pulsos ir ser um nmero igual, ou seja, possuem iguais extenses por
definio. Pois quero antecipadamente que este nmero de pulsos se refira a 1 km.
Qual o tempo de cada pulso na velocidade de 1km/h? Por isso, se divide 3600s/P.
Assim, se neste tempo receber 1 pulso, teremos esta velocidade. Se neste mesmo tempo
contarmos dois pulsos, teremos 2 km/h, e assim sucessivamente. Da, duas intenses como
velocidade em km/h e nmero de pulsos contados possuem uma mesma extenso, nos termos
de Frege. E a contagem segue um formalismo lgico prprio dos sistemas digitais.
Segundo Russell: O ato de contar consiste em estabelecer uma correlao um-um
entre o conjunto dos objetos contados e os nmeros naturais (excludo o zero) que so usados
no processo. RUSSELL (2007, p. 34). Os nmeros so classe de classes. Dois pulsos est em
relao com 2km/h. Mas o dois foi obtido por meio de contagem, do nmero 1 com seu
sucessor, por meio do incremento do nmero 1. Outros nmeros sero obtidos por meio deste
artifcio, seguindo o quinto axioma de Peano, os outros nmeros podem ser entendidos
indutivamente.
Para visualizar este aumento consecutivo de velocidade deve-se acelerar lentamente.
Pois esta forma de aquisio dos nmeros no garante que os nmeros sero mostrados no
display de forma progressiva. De fato, possvel que se mostre 3km/h e, logo aps, 10km/h.
Sem mostrar os nmeros intermedirios. Isto pode ocorrer se a preciso do medidor no for
suficiente para perceber mudanas em menor tempo. Assim, a preciso est na quantidade de
pulsos por volta. Para se ter uma preciso melhor, basta aumentar esta quantidade e a base de
tempo. Ser efetuada a contagem num tempo menor e ter mais pulsos por volta.
Poderemos, ento, acompanhar a seqncia dos nmeros atravs do aumento
progressivo da velocidade, que por sinal, mostrado por contagem de pulsos.
E se considerarmos que a seqncia lgica de um contador de pulsos (por meio de
pesos posicionais) representa uma aplicao que os nmeros naturais podem ser
caracterizados tal qual Peano apresentou, a seqncia apresentada ser um bom exemplo para
182
outro. Para vermos o outro lado da moeda temos que vir-la, perdendo a viso do lado
anteriormente visualizado.
Contudo, isto no significa dizer que enquanto estamos vendo um lado, esquecemos
que o outro existe. Nenhum lado suficiente para definir, nem so simultneos.
possvel fazer, inclusive, analogia entre o fato de que numa moeda termos que girla para encontrar o outro lado. De fato, so como Otte declarou: o ponto de vista intensional e
extensional de um conceito possuem circularidade entre si.
caixa e x a quantidade de caixas, a relao tal que A=Bx verdadeira. Assim, possvel medir
a quantidade de produtos. A a medida, B a unidade, e x a variao da unidade.
Outra maneira : sabendo-se que se a caixa possui um volume especfico e cada
produto possui um volume determinado, o nmero de produtos em cada caixa um nmero
constante, por isso, podemos considerar a caixa e suas capacidades como unidade. Assim, se
quisermos saber quantos produtos esto contidos numa caixa, precisamos anteriormente saber
se a caixa est completa ou no.
A unidade permite medir grandezas utilizando-se de um valor padro, referente. Se ela
estiver completa, basta saber a capacidade da caixa e saberemos o nmero de produtos
contidos na caixa. Esta relao de um para um, ou seja, nmero de produtos que a caixa
capaz de admitir para nmero de produtos contidos na caixa.
Para o primeiro caso, de interesse da axiomtica, temos uma contagem e a segunda um
exemplo de medida mais classicamente utilizado na Fsica, mas torna a axiomtica algo
desnecessria, ao contrrio, uma forma de estabelecer quantidades na Fsica testada com a
outra forma. Ou seja, a sua validade em termos de verdade s adquirida a partir da aplicao
da contagem e da medida como elementos que do suporte um ao outro. Afinal de contas, a
aplicao necessita da confirmao para indicar relao de verdade.
A contagem uma atividade dependente da ordenao. J a medida feita por meio de
relaes entre conjuntos. Aqui o aspecto da similaridade apresentada por Russell
particularmente importante. De fato, a similaridade que permite a relao entre classes ou
conjuntos, se d pelo aspecto formal. Este exemplo busca justamente mostrar como relao de
classes determina quantidades. Neste caso, o nmero de produtos de uma caixa poder ser
facilmente determinado apenas verificando se a caixa est cheia, sabendo-se previamente a
capacidade da caixa para comportar produtos.
O aspecto do nmero cardinal, portanto, formal, e desta maneira, definido por algo
comum entre duas classes. A imagem de uma caixa, em que est escrito que possui 50
unidades de um produto, e vendo-se que ela est completa destes produtos, formal por
natureza. Pois se define 50 como aquilo que multiplico a uma unidade de produto para
preencher uma determinada caixa construda para comportar este volume de produtos. Aqui a
ordem dos produtos no importa, mas sim a forma com que se organizam os produtos para
preencher a caixa devidamente.
Do mesmo modo, para medir a fora eltrica, utilizo de um intervalo de valores
possveis, e sua frao indicar o valor numrico desta fora. Neste exemplo, o intervalo
186
187
6. CONSIDERAES FINAIS
A aplicao dos nmeros permite muitos estudos. Este trabalho d a impresso clara
do que faltou falar. Muito. De fato, mesmo tentando aprofundar nos temas, no final, o trabalho
ainda parece muito superficial. A medio e a contagem como formas operacionais de adquirir
os nmeros so indubitavelmente um campo muito frtil.
Porm, no houve ingenuidade da nossa parte quanto aos resultados, eles no
passariam de um estudo preliminar. No seria prudente assumir a tarefa de fornecer
consideraes definitivas de assuntos como a medida e os nmeros. Contudo, a aplicao
deles importantssima.
Termos muito utilizados neste trabalho so a intenso e a extenso. So componentes
do processo cognitivo da construo de conceitos com seus objetos. Eles isoladamente no
possuem qualquer significado alm de uma segmentao. Mas, se entendemos que so
complementares, ou seja, a intenso (conceito) e a extenso (objeto do conceito) se
relacionam entre si de forma circular na formao cognitiva humana encontraremos mais
clareza e transparncia nas explicaes. Isolados, fornecem um lado da moeda, mas juntos
fornecem um conhecimento mais profundo e prximo do que chamamos muitas vezes de
realidade.
Nesta pesquisa, adiciona-se uma interpretao da Complementaridade de Michael Otte
com relao aos nmeros. O nosso caro mencionado autor pode ter sido muitas vezes
injustiado com a falta de horizontes mais profcuos ou eventuais equvocos deste estudo, mas
acredito que, mesmo assim, algo importante foi disponibilizado para aprofundar um debate
como o tema merece.
Para a anlise de conceitos como os nmeros, a Axiomtica no um mtodo de
ensino; uma forma de sistematizar o conhecimento de maneira clara. Pois at mesmo termos
no definidos so postos explicitamente como termos primitivos, e as relaes entre termos
so feitas com base numa linguagem lgica atravs de smbolos. A axiomtica como esforo
cognitivo para entender a estrutura formal das teorias se no eleva o conhecimento de um
assunto, pelo menos, estende o campo de viso da aplicao e limites destas teorias.
Os nmeros podem ou no ser definidos? Sua definio feita preferencialmente por
abstrao ou por deduo? A natureza da melhor definio de nmero feita por extenso ou
por intenso? Os nmeros so conceitos ou so objetos? Ou existem alternativas
complementares a esta discusso quanto a conceitos como os nmeros? E se os nmeros so
188
ao mesmo tempo conceitos e objetos? Certamente no deve haver uma resposta concludente e
simples a estas interrogaes. Pois h muitas particularidades e dependncia de muitas
anlises para um julgamento mais adequado. Assim, a complementaridade parece ser ainda
til quando se esmia processos envolvendo conceitos de objetos e objetos em problemas
diversos. A complementaridade aqui entendida como uma forma de anlise das relaes
envolvidas em relaes, formas prprias dos conceitos. No um mtodo, tal qual a
axiomtica, mas pode capacitar uma compreenso mais ampla quanto ao que constitui as
relaes e conceitos.
Quanto medio e contagem, muitos fundamentos podem ser encontrados na
Axiomtica de Peano e na Teoria dos Conjuntos de Russell. A contagem registra com a forma
intensional de Peano e a medio mais bem explicada pela forma extensional de Russell.
Muitos aspectos so mistos ou complementares em termos de aplicao.
Afinal, os nmeros como aplicao no encontram forma direta de cognio. A forma
oblqua, atravs de mediaes, uma caracterstica prpria de operaes tais como medies
e contagens. Assim, aspectos extensionais e intensionais so dispostos, e cada um deles
isolados, muitas vezes no explicam, nem fundamentam de forma satisfatria. Este trabalho
tentou mostrar a importncia e a necessidade de maior aprofundamento de como adquirir mais
clareza sobre um conceito to importante como o nmero e a medio, neste caso, a
complementaridade e a axiomtica ajudam dentro das suas respectivas esferas de alcance.
189
7. REFERNCIAS BIBLIOGRFICAS
ABBAGNANO, NICOLA Dicionrio de filosofia. Martins Fontes: So Paulo SP, 2007.
ANDERY, MARIA AMLIA para compreender a cincia. Ed. Espao e Tempo: Rio de
Janeiro RJ, 1988.
BARKER, STEPHEN F. - filosofia da matemtica. Jorge Zahar Editores : Rio de Janeiro
RJ, 1969.
BRASIL, LUIZ ALBERTO S. - Aplicaes da teoria de Piaget ao ensino da matemticas.
Editora Forense Universitria Ltda.: Rio de Janeiro RJ, 1977.
BUNGE, MARIO Filosofia da Fsica. Edies 70: Lisboa, 1973
CAMPBELL, NORMAN ROBERT - Physics the Elements. Ed. Read Books: New York NY,
2007
CARRON, WILSON Fsica. Editora Moderna: So Paulo SP, 2001
CARVALHO, MARIA CECLIA M. DE (ORG) A FILOSOFIA ANALTICA NO BRASIL.
Papirus: Campinas SP, 1996.
CARVALHO, DIONE LUCCHESI DE Metodologia do Ensino da Matemtica. Cortez
Editora: So Paulo SP, 1994.
CASTELLANI, OTVIO CSAR Discusso dos Conceitos de Massa Inercial e Massa
Gravitacional, Rev. Brs. Ens. Fis. Vol.23 no. 3: So Paulo, 2001.
CHANG, HASOK - Spirit, Air, and Quicksilver: The Search for the Real Scale of
Temperature. Historical Studies in the Physical and Biological Sciences 31.2: 249-284, 2001
190
JAYME
VAZ
que
lgebra
geomtrica?
http://www.ime.unicamp.br/~vaz/algeo.htm
ltimo acesso em janeiro de 2009.
KAMKE, E. - Theory of sets. Dover Publications, Inc.: New York N.Y., 1950.
KANT, IMMANUEL - Crtica da Razo Pura. Fundao Calouste Gulbenkian: Lisboa, 2001
KELLER, VICENTE Aprendendo Lgica. Editora Vozes: Petrpolis RJ, 2002.
KENNEDY, HUBERT Peano, Life and Work of Giuseppe Peano. Peremptory Publications:
192
entendimento humano.
- Geometria espacial:
195
ANEXO
Texto transcrito de vdeo
Ttulo: Eter luminoso ("Optics"), Direo: Peter F. Buffa (produtor),Srie: Universo Mecnico
Tombo: 122
Assunto: Fsica
Descrio: Aborda a hiptese da existncia do ter, atravs do experimento de Michelson, na rea
da Teoria da Relatividade.
Srie criada pelo Prof. Dr. David L. Goodstein, com a colaborao do California Intitute of
Tecnology, Cambridge University, Memorial Library, Griffith Observatory e Nasa.
EUA, 30 minutos, colorido, narrado em portugus.
VIDEOTECA da UNESP -Catlogo Geral . Atualizado at maro de 2008
Ilustrao 2: Lorentz
ii
Terra se movia atravs dele, achou que o eltron seria de alguma forma responsvel por
esta caracterstica fantstica da luz. Independentemente da velocidade que eles mesmos
se movimentaram, todos os observadores registraram a mesma velocidade da luz.
Certamente outras velocidades, a velocidade de um trem em movimento, por exemplo,
no so as mesmas para diferentes observadores. Para um observador numa plataforma
um trem est passando a grande velocidade. Mas para quem est no trem a velocidade
do trem parece zero, e o cho l fora que parece estar se movendo.
Portanto, como Galileu estava bem consciente no renascimento, a velocidade de
um objeto, depende da velocidade do observador. Mas Lorentz dizia que as percepes
das ondas de luz seriam radicalmente diferentes. Sugeria que mesmo algum viajando a
uma velocidade prxima da velocidade da luz, ainda assim observaria a luz se
movimentando a uma velocidade de 300000km/s. Como isto podia acontecer?
Considerando dois observadores em movimento relativo. Neste caso, A e B.
No lugar e no instante exato em que passam um pelo outro, ambos observam um
iv
Ilustrao 7: Poincar
O que era necessrio, disse ele, era uma nova lei fundamental da Fsica, o
princpio da relatividade, de acordo com o qual as leis dos fenmenos fsicos devem ser
as mesmas tanto para um observador fixo quanto para um observador animado de um
v
vi
O que significa que ele est percorrendo uma distncia maior. Assim, A acredita
que o relgio em movimento est se movendo mais devagar, mas quanto mais devagar?
este fator ocorre com tanta freqncia em Relatividade, possui o seu smbolo prprio
com a letra grega .
muito devagar por um fator . Uma rgua ou outro objeto parecem se contrair pelo
mesmo fator.
descrio consistente de onde e quando algum evento ocorreu. Para responder a esta
questo, preciso de uma srie de equaes em substituio s velhas transformaes
de Galileu. Estas equaes no foram difceis de serem encontradas, mas algumas de
suas implicaes foram difceis de acreditar.
Na relatividade de Galileu, a posio de um ponto x' num sistema de referncia
mvel est relacionada a sua coordenada x no sistema fixo atravs da equao x' = x -
vt, Lorentz descobriu que para a nova relatividade, isso deveria ser multiplicado pelo
fator .
Ilustrao 16:
coluna de um
ponto parado,
seguindo a linha
do tempo, vertical
diferentes instantes,
enquanto que uma seco transversal horizontal representa momentos simultneos em
lugares diferentes.
Enquanto Albert Einstein acha que um ponto fixo representa-se por uma linha
vertical, a idia de B sobre o nada acontecendo aparece como uma linha inclinada em
x'=0 ou em qualquer lugar em seu sistema de referncias.
xi
Mas claro que se B tivesse feito este desenho sua linha para estar parado sua
linha seria vertical e alinha de A inclinada para traz. A mesma idia pode ser utilizada
para demonstrar a relatividade do tempo, quando A e B observam a mesma esfera de luz
em expanso, ela alcana seus detectores em pontos definidos no espao.
Estes pontos so chamados eventos. Enquanto isto, a prpria luz traa um cone.
xii
por isso, ele pensa que estes dois eventos so simultneos, mas B pensa que estes so
xiii
Ilustrao 29: verificao dos
eventos pelo ponto de vista do
observador B
simultneos.
Assim, no apenas as linhas de posio constante esto inclinadas, mas tambm
as suas linhas de tempo simultneas.
Para B, eventos ocorrem numa reta transversal inclinada, por isso, ele pensa que
o primeiro sinal de A emitido, depois os seus, e s ento os outros sinais de A.
Claro que fosse B que fizesse este desenho, ele traaria estas linhas de lugar e o
tempo constante perpendiculares umas s outras. Surpreendentemente isto no mudaria
em nada o cone de luz. Esta maneira de observar as coisas chama-se um diagrama de
xiv
Ilustrao 37: os
comprimentos da rgua do
ponto de vista de B no
diagrama espao-tempo
xv
Mas e o mistrio dos relgios? Como pode cada um achar que o relgio do outro
anda mais devagar? No diagrama espao-tempo, observemos os feixes de luz em
movimento...
xvii
Velocidade e Tempo.
Dizem que Harry muito rpido na bola e deseja ardentemente jogar pelos
Brooklin. H quem diga que Henry consegue arremessar uma bola quase a velocidade
da luz, e deste ponto de vista, ele parece muito rpido.
Mas no local onde se encontra o seu companheiro Albert, ele parece mais rpido
ainda.
Ser que a velocidade da bola adicionada velocidade do trem faa que a jogada
de Harry parea mais rpida do que a velocidade da luz? Claro que no, pois mesmo
num trem nada mais rpido que a velocidade da luz. Ento o que realmente estaria
acontecendo aqui?
Estatsticos de beisebol descobriram isso utilizando um diagrama espao-tempo.
Onde do ponto de vista de Harry a bola corre para um lado, e Albert para o outro.
xix
Como a distncia um eixo e o tempo o outro, a velocidade v' pode ser vista
como a inclinao de cada linha.
xx
Neste grfico, a luz percorre uma unidade de distncia para cada unidade de
tempo.
Assim, c=1
Albert, indo na direo contrria, tem uma velocidade de v'=-.6c, do ponto de vista de
Harry.
Por outro lado, para Albert, a velocidade da luz permanece a mesma, mas todas
as outras velocidades so transformadas porque todas as outras inclinaes so medidas
xxi
sobre eixos inclinados. Naturalmente a luz ainda percorre uma unidade de distncia para
cada unidade de tempo e, portanto, c ainda igual a um.
xxiii
xxiv
xxvii