A ciencia, sendo uma investigao humana, no pode escutar uma resposta exceto revestida de tons humanos.

O homem primitivo, sobre montanhas, levantou-se e gritou contra um vale; o eco trouxe de volta sua prpria voz, e ele acreditou em um esprito desencarnado. O cientista de hoje se pe a contar em voz alta perante o desconhecido. Nmeros retornam a ele - e ele acredita no Grande Matemtico. -

samuel johnson A DEFINIO DE NMERO

POR BERTRAND RUSSEL AND TRADUO PARA O PORTUGUS: RAUL
ABREU DE ASSIS

A questo "O que um nmero" uma questo que tem sido frequentemente perguntada, mas s foi corretamente respondida nos tempos atuais. A resposta foi dada por frege em 1884, em seu Grundlagen der Arithmetik. 1 Apesar de ser livro ser um tanto curto, sem diculdade, e da maior importncia, ele no atraiu praticamente nenhuma ateno, e a denio de nmero nele apresentada permaneceu praticamente desconhecida at que foi redescoberta pelo presente autor em 1901. Ao procurar uma deno de nmero, a primeira coisa que precisa car clara o que podemos chamar de gramtica de nossa investigao. Muitos lsofos, ao tentar denir nmero, esto, na verdade, trabalhando para denir pluralidade, que um objeto um tanto distinto. Nmero o que caracterstico de nmeros, assim como homem o que caracterstico de homens. Uma pluralidade no um exemplo de nmero, mas de um nmero em particular. Um trio de homens, por exemplo, um exemplo do nmero 3, e o nmero 3 um exemplo de nmero; mas o trio no um exemplo de nmero. Este ponto pode parecer elementar e com puca razo de ser apresentado; ainda assim ele provou ser sutil demais para os lsofos, com poucas excees. Um nmero particular no identico nenhuma coleo de termos que tem aquele nmero: o nmero 3 no identico ao trio consistindo de Brown, Jones e Robinson. O nmero 3 algo que todos os trios tem em comum, e que os distingue de outras colees. Um nmero algo que caracteriza certas colees, a dizer, aquelas que tm aquele nmero. Ao invs de falar em "colees", ns, como regra, falamos de uma "classe" ou, s vezes, de um "conjunto". Outras palavras utilizadas em matemtica com o mesmo m so "agregado" ou "variedade". Ns teremos muito a dizer, mais adiante, sobre classes. No momento, diremos to pouco quanto possivel. Mas existem certas observaes que precisam ser feitas imediatamente. Uma classe ou coleo pode ser denida de duas formas que primeira vista parecem um tanto distintas. Podemos enumerar seus membros, como quando dizemos, "A coleo a que me rero Brown, Jones, e Robinson." Ou podemos mencionar uma propriedade que dene a coleo, assim como quando dizemos "humanidade"
1 A mesma resposta fornecida mais completamente e com mais detalhes em seu Grundgesetze der Arithmetik, vol i., 1893.

A DEFINIO DE NMERO

ou "os habitantes de Londres". A denio o qual enumera chamada denio por "extenso" e aquela que utiliza uma propriedade chamada de denio por "inteno". Desses dois tipos de denio, aquele feito por inteno , em termos de lgica, mais fundamental. Isso demonstrado por duas consideraes: (1) que a denio por extenso sempre pode ser reduzida por uma por inteno; (2) que a denio por inteno frequentemente no pode, nem mesmo teoricamente, ser reduzida uma denio por extenso. Cada um desses pontos necessita uma pequena explicao. (1) Brown, Jones e Robinson todos possuem uma certa propriedade que no compartilhada por nada mais no Universo, a qual a propriedade de ser ou Brown, Jones ou Robinson. Essa propriedade porde ser utilizada para dar a denio por inteno da classe consistindo de Brown, Jones e Robinson. Considere uma frmula como "x Brown ou x Jones ou x Robinson". Esta frmula ser verdadeira apenas para tres xs, a dizer, Brown, Jones e Robinson. Nesse aspecto ela recorda uma equao cbica com trs razes. A regra pode ser considerada como uma forma de atribuir uma proriedade comum aos membros da classe que consiste desses tres homens, peculiar eles. Um tratamento parecido pode obviamente ser aplicado para qualquer outra classe dada atravs de uma denio por extenso. (2) bvio que na prtica ns podemos frequentemente saber bastante sobre uma classe sem ser possivel enumerar todos seus membros. Nenhum homem seria capaz de enumerar todos os homens, nem mesmo todos habitantes de Londres, ainda assim muito se sabe sobre essas classes. Isso suciente para mostrar que a denio por extenso no necessria para o conhecimento sobre uma classe. Entretanto, quando consideramos classes infnitas, descobrimos que a enumerao no possivel nem mesmo teoricamente para seres que vivem somente por um tempo nito. Ns no podemos enumerar todos os nmeros naturais: eles so 0, 1, 2, 3 e assim por diante. Em algum ponto devemos nos contentar com "assim por diante". Ns no podemos enumerar todas fraes ou nmeros irracionais, ou qualquer outra coleo innita. Assim, nosso conhecimento sobre colees innitas s pode ser obtido atravs de uma denio por inteno. Essas observaes so relevantes, quando estamos procurando a denio de nmero, em trs formas diferentes. Em primeiro lugarm os nmeros em si formam uma coleo innita, e no podem, portanto, ser denidos por enumerao. Em segundo lugar, as colees tendo um certo nmero de termos provavelmente formam, elas mesmas, uma coleo ininita: provvel, por exemplo, que exista uma coleo innita de trios no mundo, pois se no fosse esse o caso, o nmero total de coisas no mundo seria nita, o qual, apesar de possivel, parece improvvel. Em erceiro lugar, ns desejamos denir "nmero" de tal forma que innitos nmeros sejam possveis; assim, precisamos falar de nmeros de termos em uma coleo innita, e tal coleo precisa ser denida por inteno, isto , por uma propriedade comum todos seus membros e peculiar deles. Para muitos propsitos, uma classe e uma caracteristica que a dene so praticamente equivalentes. E diferena essencial entre as duas consiste no fato de que existe apenas uma classes tendo um certo conjunto de elementos, enquanto existem muitas caractersticas distintas pelas quais uma classe dada pode ser denida. Homens podem ser denidos como bpedes de penas, ou como animais racionais,

A DEFINIO DE NMERO

ou (mais corretamente) pelos traos pelos quais Swift descreve os Yahoos2. esse fato, de que uma caracterstica denidora nunca nica, que torna classes teis; de outra forma teramos que nos contentar com as propriedades comuns e particulares de seus membros. Qualquer uma dessas propriedades podem ser utilizadas no lugar da classes sempre que a unicidade no for importante. Retornando agora para a denio de nmero, est claro que nmero uma forma de juntar certas colees, a dizer, aquelas que tm um certo nmero de termos. Podemos organizar todos pares em um pacote, todos trios em outro, e assim por diante. Dessa forma obtemos vrios pacotes de colees, cada pacote consistindo de todas as colees que tm um certo nmero de termos. Cada pacote uma classe na qual os membros so colees, isto , classes; assim cada um uma classe de classes: cada par uma classe com dois membros,e o pacote inteiro de pares uma classe com um nmero innito de membros, cada qual sendo uma classe com dois membros. Como decidiremos se duas classes pertencem ao mesmo pacote? A resposta que se oferece imediatamente : "Determine quantos membros cada uma delas tem, e coloque-as no mesmo pacote se elas tm o mesmo nmero de membros". Mas isso pressupe que ns j denimos nmero, e que ns sabemos como descobrir quantos termos uma coleo tem. Ns estamos to acostumados com a operao de contar que tal pressuposio poderia passar desapercebida. Na verdade, entretanto, contar, apesar de familiar, uma operao muito complexa em termos de lgica; alm disso ela s est disponvel como um meio de descobrir quantos termos uma coleo tem quando a coleo nita. Nossa denio de nmero no precisa assumir inicialmente que todos nmeros so nitos; e no podemos, de forma alguma, sem entrar em um crculo vicioso, utilizar contagem para denir nmeros, porque nmeros so utilizados em contagem. Precisamos, portanto, de algum outro mtodo para determinar quando duas colees tm o mesmo nmero de termos. Na realidade, mais fcil logicamente descobrir se duas colees tm o mesmo nmero de termos do que denir o que um nmero. Uma ilustrao tornar isso claro. Se no houvesse poliginia ou poliandria em nenhum lugar no mundo, est claro que o nmero de maridos vivos em qualquer momento seria exatamente o mesmo que o nmero de esposas. Ns no precisamos de um censo para nos garantir isso, nem precisamos saber o verdadeiro nmero de maridos e esposas. Ns sabemos que o nmero deve ser o mesmo em ambas colees, porque cada marido tem uma esposa e cada esposa um marido. A relao de marido e esposa chamada "um-um". A relao chamada de "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 qualquer outro termo y que no seja y. Quando somente a primeira dessas duas condies satisfeita, a relao chamada "um-muitos"; quando somente a segunda satisfeita, chamada "muitos- um". Deve ser observado que o nmero 1 no utilizado nessas denies.
2Nota do tradutor : nessa passagem, o autor refere-se ao livro de Jonathan Swift, "As Viagens de Gulliver", no qual o personagem principal viaja por diferentes lugares encontrando povos muitos distintos. Utilizando povos gigantes, anes e de outras espcies, Swift traa caricaturas da sociedade humana, em particular, da sociedade britnica de seu tempo. Um dos povos que aparecem na viagens de Gulliver so os "Yahoos", um povo desgradvel, inculto e brigo, deixando transparecer que Russel parece no ter a espcie humana em grande estima.

A DEFINIO DE NMERO

Em pases cristos, a relao de marido e esposa um-um; em sociedades Maometanas um-muitos; no Tibet muitos-um, A relao de pai e lho ummuitos; mas a relao do lho mais velho com pai um-um. Se n qualquer nmero, a relao de n com n+1 um-um; assim como a relao de n com 2n ou 3n. Quando estamos considerando apenas nmeros positivos, a relao n com n2 um-um; mas quando levamos em conta tambm nmero negativos, ela torna-se dois-um, j que n e n tm o mesmo quadrado. Esses exemplos devem ser sucientes para esclarecer as noes de um-um, um-muitos, e muitos-um, que desempenham um papel fundamental no s na denio de nmero mas em muitas outras conexes. Duas classes so ditas "similares" quando existe uma relaodo tipo um-um que relaciona cada termo de uma classe com um termo da outra classe, da mesma forma que a relao de casamento relaciona maridos e esposas. Uma poucas denies preliminares nos ajudaro a exprimir essa denio mais claramente. A classe dos termos que tm uma certa relao com algo chamada de domnio daquela relao: assim pais so o domnio da relao de pai com lhos, maridos so o domnio da relao de marido com esposa, esposas so o domnio da relao de esposa com marido, e maridos e esposas juntos so o domnio da relao casamento. A relao de esposa com marido chamada relao conversa da relao de marido com esposa. De forma similar menor o converso de maior, depois o converso de antes, e assim por diante. De uma forma geral, o converso de uma relao que aquela relao que vale entre y e x sempre que a realao dada for vlida entre x e y. O domnio converso de uma relao o domnio de sua conversa: assim a classe de esposas o domnio converso da relao de marido com esposa. Agora ns podemos estabelecer nossa deinio de similaridade da seguinte forma : Uma classe chamada "similar" outra quando existe uma relao um-um para a qual uma classe o domnio, enquanto a outra o domnio converso. fcil provar, (1) que toda classe similar ela mesma, (2) que se uma classe similar uma classe , ento similar ., (3) que se similar , e similar , ento similar . A relao dita reexiva quando possui a primeira dessas propriedades, simtrica quando possui a segunda, e transitiva quando possui a terceira. bvio que uma relao que simtrica e transitiva ento ele deve ser reexiva em seu domnio. Relaes que possuem essas propriedades so de um tipo importante, e vale a pena observar que similaridade um desses tipos de relaes. bvio ao senso comum que duas classes nitas tem o mesmo nmero de termos se elas so similares, mas no em outros casos. O ato de contar consiste em estabelecer uma relao um-um entre o conjunto de objetos contados e os nmeros naturais (excluindo o zero) que so utilizados no processo. Coerentemente, nosso senso comum conclui que existem tantos objetos no conjunto quanto nmeros utilizados no processo de contagem, desde o primeiro nmero at o ltimo. E ns tambm sabemos que, enquanto ns nos limitarmos a nmeros nitos, sempre existem n nmeros desde 1 at n. Dessa forma, segue que o ltimo nmero utilizado no processo de contar uma coleo o nmero de termos naquela coleo, desde que a coleo seja nita. Mas esse resultado, alm de de somente ser aplicvel a colees nitas, depende e assume o fato de que duas classes que so similares tm o mesmo nmero de termos; porque o que fazemos quando contamos (digamos) 10 objetos mostrar que o conjunto desses objetos similar ao conjunto de nmero de 1 a 10. A noo de similaridade um suposto lgico do processo de contagem, e logicamente mais simples apesar de ser menos familiar. No processo de contagem,

A DEFINIO DE NMERO

necessrio tomar objetos contados em uma certa ordem, como primeiro, segundo, terceiro, etc., mas ordem no a essncia de nmero: apenas uma irrelevante adio, uma complicao desnecessria do ponto de vista lgico. A noo de similaridade no exige que seja criada uma ordem: por exemplo, vimos que o nmero de maridos o mesmo que o nmero de esposas, sem ter que estabelecer uma ordem de precedncia entre eles. A noo de similaridade tambm no requer que as classes que so similares sejam nitas. Tome, por exemplo, os nmero naturais (excluindo o zero) em uma mo, e a fraes que tem o nmero 1 como numerador em outra: bvio que podemos relacionar 2 com 1/2, 3 com 1/3, e assim por diante, provando assim que as duas classes so similares. Podemos dessas forma utilizar a noo de "similaridade" para decidir quando duas colees devem pertencer ao mesmo pacote, no sentido no qual estvamos colocando a questo anteriormente neste captulo. Queremos criar um pacote contendo as classes que no tm membros: esse ser para o nmero 0. Ento queremos um pacote com todas as classes que tm um membro: esse ser o nmero 1. Ento, para o nmero 2, queremos o pacote contendo de todos os pares; ento todos os trios; e assim por diante. Dada qualquer coleo, podemos denir a qual pacote ele pertence como sendo a classe de todas colees que so "similares". muito fcil perceber que se (por exemplo) uma coleo tem trs membros, a classe de todas as colees que so similares a ela sero a classe dos trios. Qualquer que seja o nmero de termos em uma coleo, aquelas colees que so "similares" a ela tero o mesmo nmero de termos. Podemos tomar isso como a denio de "ter o mesmo nmero de termos". obvio que isso fornece resultados coerentes com o uso enquanto nos restringirmos ao estudo de colees nitas. At aqui no sugerimos nada em que tenha o menor grau de paradoxo. Mas quando chegamos propriamente denio de nmero, no podemos evitar o que, primeira vista, parece um paradoxo, apesar dessa impresso desaparecer rapidamente. Ns naturalmente pensamos que a classe de pares (por exemplo) algo diferente do nmero 2. Mas no h dvida sobre a classe de pares: ela indubitvel e fcil de denir, enquanto o nmero 2, por outro lado, uma entidade metafsica, sobre a qual no podemos ter certeza de que existe ou que ns tenhamos conseguido encontr-la. , portanto, prudente nos contentar com a classe de pares, da qual temos certeza, do que caar por um problemtico nmero 2 o qual sempre permanecer elusivo. Assim, apresentamos a seguinte denio:O nmero de uma classe a classe de todas as classes que so similares ela. Dessa forma o nmero de um par ser a classe de todos os pares. Na verdade, a classe de todos os pares ser o nmero 2, de acordo com a nossa denio. Com o custo de um pouco de estranheza, esta denio assegura preciso e conabilidade; e no difcil provar que os nmeros assim denidos tem todas as propriedades que esperamos que os nmeros tenham. Podemos agora seguir adiante e denir nmeros de uma forma geral como qualquer um dos pacotes pelos quais a similaridade rene as classes. Um nmero ser um conjunto de classes tal que quaisquer duas classes so similares uma outra, e nenhuma classe fora do conjunto similar a alguma classe dentro do conjunto. Em outras palavras, um nmero (de uma forma geral) qualquer coleo que seja o nmero de um de seus membros; ou de forma mais simples: Um nmero qualquer coisa que seja o nmero de uma classe.

A DEFINIO DE NMERO

Tal denio tem uma aparncia verbal de ser circular, mas na verdade no . Denimos "o nmero de uma certa classe" sem utilizar a noo geral de nmero; portanto podemos denir nmero de uma forma geral em termo de "nmero de uma classe" sem cometer nenhum erro lgico. Denies desse tipo so na verdade muito comuns. A classe dos pais, por exemplo, teria que ser denida atravs da denio, em primeiro lugar, do que signica ser pai de algum; ento a classe de pais seriam todos que so pais de algum. De forma parecida se quisssemos denir nmeros quadrados (por exemplo), necessitamos, em primeiro lugar, denir o que queremos dizer quando armamos que um nmero o quadrado de outro, e ento denir nmeros quadrados como aqueles que so quadrados de outros nmeros. Esse tipo de procedimento muito comum, e importante perceber que ele legtimo e frequentemente necessrio.