Postagem em destaque

Sobre o blog Summa Mathematicae

Este é um blog sobre Matemática em geral, com ênfase no período clássico-medieval, também sobre as Artes liberais (Trivium e Quadrivium), so...

Mais vistadas

Mostrando postagens com marcador Matemática clássica. Mostrar todas as postagens
Mostrando postagens com marcador Matemática clássica. Mostrar todas as postagens

Breve Introdução às Disciplinas Matemáticas

Capa do Livro Compedio Mathematico
de Tomás Vicente Tosca

Trecho retirado do livro Compendio Mathematico, en Que Se Contienen Todas las Materias Mas Principales de las Ciencias, Que Tratan de la Cantidad, Vol. 1, Tomás Vicente Tosca, tradução feita pelo Instituto Hugo de São Vitor na Coleção de Artes Liberais Vol. 9: Aritmética.

O desejo e o apetite pelo conhecimento são naturais nos homens, disse Aristóteles no livro I, capítulo I, da Metafísica, e entre todas as outras ciências naturais a que mais o satisfaz é a matemática: pois as excede sem comparação na pureza de suas verdades, na energia de suas provas, na clareza de suas demonstrações e no contínuo fio de suas consequências. Com isso, recebeu o nome de Matemática, que segundo sua derivação do grego, é o mesmo que doutrina, e disciplina, tornando-se seu este nobre título, que todos poderiam reivindicar como comum, pois carece de dúvidas e opiniões, tão frequente e comuns nas outras ciências, Essas névoas que tendem a obscurecer o esplendor de outras faculdades não atingem a região exaltada da Matemática; ao contrário, tais luzes descem de sua esfera elevada, descobrindo os caminhos para as outras artes naturais, para encontrar a verdade justamente desejada.

Com ela são descobertos os segredos mais escondidos da natureza. É ela quem descobre as forças do ímpeto, as condições do movimento, as causas, efeitos e diferenças dos sons: a admirável natureza da luz, as leis de sua propagação: ela ergue edifícios com beleza, torna quase inexpugnáveis as cidades, ordena admiravelmente os exércitos; e entre as ondas confusas e inconstantes do mar, abre estradas e caminhos a quem navega. Ultimamente a matemática se volta ao Céu, para descobrir a grandeza das estrelas, e o conceito e a harmonia de seus movimentos; e com várias invenções de telescópios, tornou comum o comércio da terra com o céu, tão desejado pelos séculos antigos. O tempo não será mal usado, então, se ele se consumir em seu estudo; nem será em vão o suor, se for usado em solo tão fértil, que retorna em frutos tão multiplicados.

I. Objetos, natureza e divisão da matemática

O objeto da matemática é a quantidade, não tomada como enquanto impenetrabilidade de um corpo com outro, que é a consideração própria da Física; mas apenas na medida em que é extensão ou número: e geralmente é objeto da matemática aquilo pelo qual uma coisa se diz maior, menor ou igual a outra; e a razão é porque todo o seu emprego consiste em descobrir e demonstrar as propriedade e atributos da referida quantidade. Com isso, a matemática nada mais é do que a ciência que lida com a quantidade enquanto mensurável ou contável.

Quase todos o matemáticos antigos, seguindo os pitagóricos, dividiram a matemática em quatro partes principais: aritmética, geometria, música e astronomia. Mas procedendo com melhor ordem, eu a divido em matemática pura e não pura. A primeira lida com a quantidade de tal maneira que não considera nela nenhum acidente ou afecção sensível: tais são a geometria e a aritmética; porque aquela fala do triângulo, independentemente de ser branco ou preto; de madeira, ou de ferro, etc. E a outra fala dos números, sem se envolver em descobrir se o que numera são homens, ou pedras, etc. As matemáticas não puras são aquelas que consideram a quantidade vestida e acompanhada de algum acidente ou condição sensível; e porque os afetos sensíveis são próprios da filosofia natural, ou física, elas são chamadas de físico-matemáticas: tais são a música, que trata da quantidade sonora; a óptica, da quantidade visível, etc. Estes subdividem-se em muitos outros, aos quais quero referir-me brevemente aqui, antes de entrar nesta obra; para que, vendo o estudioso reduzida a um breve mapa a agradável província que ele tem de caminhar, obterá um novo encorajamento a sua disposição.

II. As partes nas quais a matemática é dividida são declaradas

A primeiras delas é a geometria, que, tratando da extensão, mede linhas, ângulos, superfícies e sólidos: descobre suas proporções e abre as base sobre as quais se ergue a construção de toda a matemática. Segue-se a aritmética, que se vale dos números, especula sobre suas propriedades e realiza operações infalíveis com eles. Em terceiro lugar entra a Álgebra, que com incrível sagacidade, segue por vários e ocultos caminhos a verdade até encontrá-la; dissolve as equações mais difíceis e abre caminho nos labirintos mais intricados. Acompanha-lhe a trigonometria, cujo negócio é resolver triângulos: todo o sucesso da astronomia se deve a ela. A logarítmica aumenta a facilidade das operações, trata da nobre invenção dos logaritmos, números artificiais, que não pouco enriqueceram o muno literário. Todas as mencionadas são ciências puramente matemáticas.

Na ordem da físico-matemática, ocupa o primeiro lugar a música, que trata da quantidade sonora: descobre a razão das consonâncias e dissonâncias; expõe o sistema musical em diferentes gêneros: arranja os órgãos, fístulas, cravos etc., compõe diversas melodias, ajustando nelas o que está de acordo com o que está em desacordo, para o tranquilo entretenimento do ouvido. Segue a mecânica, que com máquinas artificiais aumenta muito as forças de qualquer potência: é incrível o quanto ela auxilia para se filosofar com sucesso sobre as coisas da natureza.

A estática, mesmo com o peso de seu objeto, eleva seu voo às regiões mais remotas da física, descobre as proporções e as causas da gravidade dos corpos, examina seus movimentos, esquadrinha a proporção deles ao longo de qualquer linha: seu aumento e diminuição: a balística e arte da artilharia dependem desta faculdade, de modo que sem ela nada se pode determinar corretamente. A hidrostática segue a estática, que trata das correntes das águas; descobre seus movimentos, compõe fontes artificiais deles, determina a origem e a causa dos seus movimentos naturais: examina os pesos dos metais e outros corpos no líquido e abre uma grande porte para o conhecimento das coisas naturais.

A arquitetura civil eleva os edifícios com firmeza, bela proporção e simetria, segundo as cinco ordens comuns. Isso foi conseguido pela arte chamada montea, que, usando regras geométricas, corta e ajusta as pedras, levantando com elas vários tipos de arcos e abóbodas nas fábricas. Segue-se a arquitetura militar, que ensina a fortalecer as praças, com tal arranjo de muralhas, baluartes, fossos e outras defesas, que podem poucos lutar e se defender de muitos. A artilharia trata das máquinas de fogo, arranja e examina os canhões; regula a forma de lançar as balas e outras invenções do fogo para um determinado local, por diversas linhas.

A óptica considera a quantidade enquanto é visível, e assim alarga sua consideração para os campos mais agradáveis da natureza, usando-se na especulação do movimento da luz e dos raios visuais: ela ensina a formação e a deformação das imagens, em tão diversas projeção e reduções que se formam a partir de um único ponto, que com desordem ordenada vai deformando muitos. Perspectiva, catóptrica e dióptrica nascem dela. Aquela com diferentes trajetórias, projeções e decussação dos raios, finge longe o que está perto, e avoluma o que não tem corpo. A dióptrica, ou arte anaclástica, trata dos raios de luz refratados, seus ângulos, competições e desvios: é usada na fabricação de todos os tipos de telescópios e microscópios, com os quais faz o que está longe, parecer próximo e perto; grande o que é pequeno e pequeno o que é grande: com isso ela deu a esses séculos novas notícias dos céus: novo conhecimento do artifício que a natureza escondeu por tanto tempo. A arte catóptrica, ou anacamptica, trata dos raios refletidos e, de acordo com suas leis, fabrica uma grande variedade de espelhos planos, côncavos e convexos, que, reunindo ou espalhando os raios, causam efeitos admiráveis.

A geografia considera o globo terrestre, e nos oferece, nos mapas que faz, uma ideia perfeita de seu traçado, apresentado a nossa vista em um curto espaço suas extensas regiões e províncias. A astronomia vai mais alto, sobe às regiões celestes, descobre as distâncias, grandezas e disposições dos astros, e num sistema nos esclarece a grande máquina de seus movimentos. A astronomia é seguida pela gnomômica, que com a sombra de um estilo nos mostra os movimentos dos céus; e com a variedade de relógios que fabrica, determina em diferentes planos os passos que o sol dá no curso luminoso de sua eclíptica. E ultimamente a cronografia usa na ordenação dos tempos, ajustando seus períodos aos movimentos do céu. Estas são as principais disciplinas da matemática.

III. Origem, progresso e utilidade da matemática

Não há dúvida de que com as outras ciências Deus incutiu em nosso primeiro pai Adão a notícia da matemática, que foi continuada por seus descendentes até Abraão, que a comunicou aos caldeus e aos egípcios: e destes passou sem dúvida para os gregos, porque Tales Milésio no ano 584 antes do Nascimento de Nosso Salvador passou da Grécia para o Egito, para aprender geometria, e depois comunicá-la aos seus: ele foi seguido por homens ilustres em matemática, como Pitágoras Sâmio, Anaxágoras Clazomênio, Enópides Quio, Anaximandro Milésio, Hipócrates Quio, Demócrito, Teodoro e seu discípulo Platão, Arquitas Tarentino, Teoteto, Euclides, Erastóstenes, Arquimedes, Gemino, Menelau, de cujos escritos Teodósio compôs os elementos esféricos na época de Pompeu, o Grande; estes foram seguidos por Ptolomeu Alexandrino, Proclo, Teão, Campano, João de Regiomonte, e muitos outros até nosso século, em que a matemática foi muito avançada por muitos e ilustres, especialmente São Basílio, que é elogiado por seu discípulo São Gregório Nazareno, por ter avançado muito em astronomia, geometria, aritmética e outras matemáticas; aos quais se acrescentam Santo Agostinho e Beda, o venerável, como se vê no que deixaram escrito sobre estes assuntos.

E não espanta se apreciaram tanto seu estudo, porque além de sua nobreza, ele é de imponderável proveito. Eles, disse Platão, animam o engenho e, usando a fala, a tornam apta para aprender melhor as outras ciências: por isso ele excluiu de sua Academia aqueles que eram ignorantes em geometria. Sem a matemática não é possível abrir caminho na filosofia natural com sucesso. Porque sem a estática, como explicar os movimentos dos corpos pesados, sua aceleração e suas proporções? Como a restituição do comprimido e tenso, no qual está indubitavelmente a maior parte dos efeitos da natureza? Sem a óptica, dióptrica, o que acontecerá em matéria de cores e luz, senão a escuridão? Que conceito pode ser feito da formação da íris, coroas e outros meteoros? Quanto aproveitam também para Teologia, Santo Agostinho o declara muito bem no livro 2 do Sobre a Doutrina Cristã, nos capítulo 16, 19 e 37; e São Jerônimo, no volume I, epístola I. E especialmente são necessários para o perfeito entendimento da Sagrada Escrituram, geometria, aritmética e geografia, pois são quase inumeráveis os texto que requerem estas notícias para sua inteligência.

IV. Explicação de alguns termos que são frequentes na Matemática

Autores, antigos e modernos, tendem a usar os seguintes termos em seus tratados de matemática: definições, axiomas, postulados, proposições, teoremas, problemas e lemas; que será bem explicado no início deste trabalho.

Definições são explicações de nomes e termos. E assim dizemos que por este nome Triângulo não entenderemos nada além de uma figura, que consiste em três ângulos. Estas explicações dos termos devem estar no início de qualquer Tratado, porque grande para das questões e também dos Paralogismos que se cometem, decorrem da ambiguidade e das diferentes inteligências dos nomes.

Os postulados são princípios tão claros e evidentes que não precisam de prova ou demonstração; e por serem frequentes no curso da ciência, podem que sejam concedidas no início, para que depois não haja tropeço nas demonstrações: como de um ponto a outro, pode-se traçar uma linha reta.

Axiomas, ou noções comuns, são os princípios gerais comuns a todas as ciências: tão evidentes e claros que, por si mesmo, apenas com a declaração dos termos, eles manifestam, como é "O todo é maior que sua parte"; porque sabendo que a coisa é todo e parte, a dita verdade é evidente.

Proposição é um nome geral e significa aqui qualquer conclusão da ciência que propomos provar por seus princípios. Das proposições, algumas são teoremas e outros problemas.

Teoremas, é uma proposição especulativa, que diz alguma propriedade ou paixão do sujeito, como é "Os três ângulos de qualquer triângulo junto são iguais a dois ângulos retos".

Problema é um Proposição prática, que propõe a maneira de fazer algo; como aquela que ensina a dividir uma linha em duas partes iguais.

Há também frequentemente uma proposição, que eles chamam de lema. Este é aquele que apenas é colocado, e é assumido para provar a proposição, ou as proposições seguintes, de modo que, se não fosse para este fim, nenhum menção seria feita.

Além do acima mencionado, o seguinte será encontrado neste tratado.

Corolário, ou consectário, é uma proposição, que por consequência legítima se infere do que já foi demonstrado.

Escólio é uma anotação, que às vezes é adicionada ao final de uma proposição, para sua explicação posterior, ou para uma maior extensão do que é ensinado nela.

***

Os 9 tomos originais do Padre Tomás Vicente Tosca em espanhol se encontram aqui: drive.


Curta nossa página no facebook Summa Mathematicae. Nossa página no Instagram.



Os paradoxos de Zenão e a solução de Aristóteles

Retrato de Zenão de Eleia
por Jan de Bisschop
(1628 - 1671)
Trecho retirado de BOYER, Carl Benjamin. História da Matemática. Tradução de Elza F. Gomide. 2ª ed. São Paulo, Edgard Blücher, 1996, 496 p., p. 51-53.

Paradoxo de Zeno*
* Zeno ou Zenão são traduções do nome da mesma pessoa.
        A doutrina pitagórica de que "Número formam o céu todo" enfrentava agora um problema realmente sério: mas não era o único, pois a escola enfrentava também os argumentos dos vizinhos eleático, um movimento filosófico rival. Os filósofos jônios da Ásia Menor tinham procurado identificar um primeiro princípios para todas as coisas. Tales julgara achá-lo na água, outros preferiam pensar no ar ou fogo como elemento básico. Os pitagóricos tinham tomado direção mais abstrata, postulando que o número em toda a sua pluralidade era a matéria básica dos fenômenos; esse atomismo numérico, lindamente ilustrado na geometria dos números figurativos, tinha sido atacado pelos seguidos de Parmênides de Eléia (vivem por volta de 450 a.C.). O artigo de fé básico dos eleáticos era a unidade e permanência do ser, visão que contrastava com as idéias pitagóricas de multiplicidade e mudança. Dentre os discípulos de Parmênides o mais conhecido Zeno Eleático (viveu por volta de 450 a.C) que enuncio argumentos para provar a inconsistência dos conceito de multiplicidade e divisibilidade. O método adotado por Zeno era dialético, antecipando Sócrates nesse modo indireto de argumento: partindo das premissas de seus oponentes, ele as reduzia ao absurdo.
        Os pitagóricos tinham assumido que o espaço e o tempo podem ser pensados como consistindo de pontos e instantes; mas o espaço e o tempo têm também uma propriedade, mais fácil de intuir do que de definir, conhecida como "continuidade". Supunha-se que os elementos terminais, que constituíam uma pluralidade, de um lado possuíam as características de unidade geométrica --- o ponto --- e por outro possuíam certas características de unidades numéricas, Aristóteles descrevia um ponto pitagórico como uma "unidade tendo posição" ou "unidade considerada no espaço". Sugeriu-se {1} que foi contra tal visão que Zeno propôs seus paradoxos, dos quais aqueles sobre o movimento são citados mais freqüentemente. Na forma em que chegaram a nós, através de Aristóteles e outros, quatro parecem ter causado maior perturbação: (1) a Dicotomia (2) o Aquiles (3) a Flecha (4) o Estádio. O primeiro diz que antes que um objeto possa percorrer uma distância dada, deve percorrer a primeira metade dessa distância; mas antes disto, deve percorrer o primeiro quarto; e antes disso, o o primeiro oitavo e assim por diante, através de uma infinidade de subdivisões. O corredor que que pôr-se em movimento precisa fazer infinitos contatos num tempo finito; mas é impossível exaurir uma coleção infinita, logo é impossível iniciar o movimento. O segundo paradoxo é semelhante ao primeiro, apenas a subdivisão infinita é progressiva em vez de regressiva. Aqui Aquiles aposta corrida com uma tartaruga que sai com vantagem e é argumentado que Aquiles por mais depressa que corra, não pode alcançar a tartaruga, ela já terá alcançado um pouco mais. E o processo continua indefinidamente, com o resultado que Aquiles nunca pode alcançar a lenta tartaruga.
    A Dicotomia e o Aquiles argumentam que o movimento é impossível sob a hipótese de subdivisibilidade indefinida do espaço e do tempo; a Flecha e o Estádio, de outro lado, argumentam que também é impossível, sob a hipótese contrária --- de que a subdivisibilidade do tempo e do espaço termina em indivisíveis. Na Fecha, Zeno argumenta que um objeto em vôo sempre ocupa espaço igual a si mesmo; mas aquilo que sempre ocupa um espaço igual a si mesmo não está em movimento. Logo a flecha que voa está sempre parada, portanto seu movimento é uma ilusão.
        O mais discutido dos paradoxos sobre o movimento e o mais complicado de descrever é o Estádio (ou Stadium), mas o argumento pode ser descrito como segue. Sejam $A_1, A_2, A_3, A_4$ corpos de igual tamanho, estacionários; sejam $B_1, B_2, B_3, B_4$ corpos de mesmo tamanho que os $A$, que se movem para a direita de modo que cada $B$ por um $A$ num instante --- o menor intervalo de tempo possível. Seja $C_1, C_2, C_3, C_4$ também do mesmo tamanho que os $A$ e os $B$, e movendo-se uniformemente para a esquerda com relação aos $A$, de modo que cada $C$ passa por um $A$ num instante do tempo. Suponhamos que num dado momento os corpos ocupem as seguintes posições relativas:


      Então, passado um único instante, isto é, após uma subdivisão indivisível do tempos, as posições serão:


        É claro então que $C_1$ terá passado por dois dos $B$; logo o instante não pode ser o intervalo de tempo mínimo, pois podemos tomar como uma unidade nova e menor o tempo que $C_1$ leva para passar por $B$.
       Os argumentos de Zeno parecem ter influenciado profundamente o desenvolvimento da matemática grega, influência comparável à descoberta dos incomensuráveis, com a qual talvez se relacione. Originalmente, nos círculos pitagóricos, as grandezas eram representadas por pedrinhas ou cálculos, de onde vem a nossa palavras calcular, mas na época de Euclides surge completa mudança de ponto de vista. As grandezas não são associadas a números ou pedras, mas segmentos de reta. Em Os elementos os próprios inteiros são representados por segmentos. O reino dos números continuava a ser discreto, mas o mundo das contínuas (e esse continha a maior parte da matemática pré-helênica e pitagórica) era algo à parte dos números e devia ser tratado por métodos geométricos. Essa foi talvez a conclusão de maior alcance da Idade Heróica e não é provável que se deveu em grade parte a Zeno de Eléia e Hipasus de Metaponto.


Notas:

{1} Veja Raul Tannery, La géometrie grecque (Paris, 1887) pp. 217-261. Para uma opinião diferente, ver B.L. van der Waerden, "Zenon und die Grundlagenkrise der griechischen Mathematik", Mathematische Annale, 117 (1940), 141-161.


* * *

COMENTÁRIO SOBRE OS PARADOXOS DE ZENÃO POR ARISTÓTELES DE ESTAGIRA (384 - 322 a.C.) 

Trecho extraído da Física (significando O Estudo da Natureza), de Aristóteles, [disponível no link]. Escrito em torno de 350 a.C., sendo que o livro VIII foi escrito em separado. Zenão de Eléia viveu c. 490-430 a.C. Baseado na tradução inglesa de R. Waterfield, Oxford U. Press, 1996, pp. 142-6, 161-2, 219-20. Há traduções para o inglês disponíveis na internet. Seleção de trechos, títulos das seções e tradução do inglês feitos para o curso de Filosofia da Física (FLF0472), USP, por Osvaldo Pessoa Jr., 2o semestre de 2009.

Distância e tempo são contínuos (VI. 2, 232 b 20 - b 27, 233 a 13 - a 20) 

Dado que toda mudança ocorre no tempo, e não há tempo em que uma mudança não possa ocorrer, e dado que qualquer objeto mutante pode mudar mais rapidamente ou mais lentamente, então não há tempo em que não possa ocorrer uma mudança mais rápida ou mais lenta. Segue-se necessariamente destes fatos que também o tempo [além da distância] deve ser contínuo. Por “continuidade” refiro-me àquilo que é divisível em partes que, por sua vez, são sempre divisíveis. Se aceitarmos essa definição de continuidade, segue-se necessariamente que o tempo é contínuo. Pois, conforme já demonstramos, um objeto mais rápido leva menos tempo para cobrir uma mesma distância. [...] 

Podemos também mostrar que a continuidade da distância segue-se da continuidade do tempo, considerando as coisas que normalmente falamos sobre eles, já que leva metade do tempo para cobrir metade da distância, e geralmente menos tempo para cobrir uma distância menor; tanto o tempo quanto a distância estão sujeitos às mesmas divisões. E se qualquer um deles for infinito, o outro também o será. E a maneira em que um deles é infinito será também a maneira em que o outro o será. Por exemplo [considerando um corpo em movimento retilíneo uniforme], se o tempo tem extensão infinita, a distância também o terá; se o tempo é infinitamente divisível, a distância também o será; e se o tempo é infinito nesses dois aspectos, a distância também o será. 

Zenão errou, pois há infinitos instantes em uma duração finita (VI. 2, 233 a 21 - 31) 

É por isso que o argumento de Zenão [a Dicotomia] parte de uma suposição falsa, de que é impossível cobrir o que é infinito ou entrar em contato com um número infinito de coisas, uma a uma, em um tempo finito. O ponto é que há duas maneiras pelas quais a distância e o tempo, e em geral qualquer contínuo, são descritos como infinitos: eles podem ser infinitamente divisíveis ou infinito em extensão. Assim, mesmo sendo impossível num tempo finito entrar em contato com coisas que são infinitas em quantidade, é possível fazer isso com coisas que são infinitamente divisíveis, já que o tempo também é infinito dessa maneira. Portanto, a conclusão é que leva tempo infinito, e não finito, para cobrir uma distância infinita, e leva um número infinito de agoras, e não um número finito, para se entrar em contato com um número infinito de coisas. 

É assim impossível cobrir uma distância infinita em um tempo finito, e é também impossível cobrir uma extensão finita em um tempo infinito. 

O “agora” é indivisível, portanto nada se move no agora (VI. 2, 233 b 31 - 2; VI. 3, 233 b 33 - 234 a 4, 234 a 24 - 33, 234 b 8 - 9) 

Está claro, então, que não há algo como um contínuo que não seja divisível em partes. 

[No entanto,] o agora, em seu sentido primário, deve ser indivisível. Este é o tipo de agora que ocorre em qualquer e toda duração de tempo, que é o limite do passado, pois não há nada do futuro deste lado, e também o limite do futuro, pois não há nada do passado deste outro lado. Dizemos então que é um mesmo limite de ambos. E a demonstração de que há tal limite, de que o limite do passado é o mesmo que o limite do futuro, seria simultaneamente a demonstração de sua indivisibilidade. [...] 

As seguintes considerações mostrarão que nada se move no agora. Se fosse possível para algo se mover no agora, poderia haver nele tanto movimento mais rápido quanto mais lento. Seja N o agora, e seja AB a distância que o objeto mais rápido percorreu. No mesmo agora, então, o objeto mais lento terá coberto uma distância menor do que AB, que chamamos AC. Mas dado que o movimento do objeto mais lento dura todo o agora para percorrer AC, o objeto mais rápido levaria menos tempo para cobrir AC, e conseqüentemente o agora seria dividido. Mas vimos que o agora é indivisível. Portanto, é impossível haver movimento no agora. 

Também é impossível haver repouso no agora. Pois falamos de repouso somente no caso de algo cuja natureza seja mover, mas que não está se movendo. Assim, dado que não há nada cuja natureza seja mover no agora, obviamente também não há nada cuja natureza seja estar em repouso no agora. [...] 

Segue-se necessariamente, portanto, que qualquer coisa em movimento e qualquer coisa em repouso estão em movimento e em repouso no tempo [e não no agora]. 

Os quatro argumentos de Zenão sobre o movimento (VI. 9, 239 b 5 - 240 a 18) 

O raciocínio de Zenão é inválido. Ele afirma que se é sempre verdadeiro que algo está em repouso quando está em oposição a algo igual a si mesmo [ou seja, quando ocupa uma distância que é igual ao seu comprimento], e se um objeto movente está sempre no agora, então uma flecha movente está em repouso. Mas isso é falso, porque o tempo não é composto de agora indivisíveis, e nem qualquer outra grandeza. 

Zenão elaborou quatro argumentos sobre o movimento, que têm trazido dificuldades para as pessoas. O primeiro [a Dicotomia] é sobre um objeto movente que não se moveria, porque precisaria alcançar metade do caminho antes de chegar ao fim. Isso foi discutido anteriormente [em VI. 2, 233 a 21 - 31]. 

O segundo é chamado “Aquiles”, e afirma que um corredor mais lento nunca será alcançado pelo corredor mais veloz, porque o que está atrás tem que primeiro alcançar o ponto no qual o que está na frente começou, de maneira que o mais lento sempre ficaria na frente. Este argumento, de fato, é igual à Dicotomia, com a diferença que a distância restante não é dividida por dois. Vimos que o argumento leva à conclusão de que o corredor mais lento não é alcançado, mas isso depende do mesmo ponto que a Dicotomia: em ambos os casos, a conclusão de que é impossível alcançar um limite é resultado de se dividir a distância de certa maneira. No entanto, o último argumento inclui, em seu relato, a característica adicional de que nem aquilo que é a coisa mais veloz do mundo pode sobrepujar a coisa mais lenta do mundo. A solução, portanto, deve ser a mesma em ambos os casos. É falsa a afirmação de que quem está na frente não pode ser alcançado. Ele não é alcançado enquanto continua na frente, mas ele é alcançado se Zenão admitir que o objeto movente pode percorrer uma distância finita.

Isso resolve dois dos seus argumentos. O terceiro é o que mencionei acima [a Flecha, em 239 b 5 - 9], que afirma que uma flecha movente está parada. Essa conclusão depende da suposição de que o tempo é composto de “agoras”, mas se essa suposição não é aceita, o argumento fracassa. 

Seu quarto argumento é o que trata de corpos iguais em um Estádio [uma pista de corrida], corpos que se movem em sentidos opostos e passam um pelo outro. Um conjunto sai do fim do estádio, e o outro do meio, com a mesma rapidez. O resultado, de acordo com Zenão, é que metade de um certo tempo é igual ao dobro deste tempo. O erro em seu raciocínio está em supor que leva o mesmo tempo para um corpo movente passar por outro em movimento, com mesma rapidez e sentido oposto, quanto leva para o corpo movente passar por um corpo em repouso, onde todos os corpos têm o mesmo tamanho. Isso é falso. [Aristóteles parece ter entendido errado o argumento de Zenão.] 

Por exemplo, sejam AA... os corpos estacionários, cada um do mesmo tamanho que o outro; sejam BB... os corpos, iguais em número e tamanho a AA..., que se movem a partir da metade do estádio; e sejam CC... os corpos, iguais em número e tamanho aos outros, que partem do fim do estádio e se movem com a mesma rapidez que BB... Segue-se que o primeiro B e o primeiro C, à medida que as duas fileiras passam uma em relação à outra, alcançarão o final da outra fileira no mesmo tempo. Apesar de o primeiro C passar todos os Bs, segue-se que o primeiro B passou metade do número dos As; e assim, afirma Zenão, o tempo transcorrido para o primeiro B é metade do tempo transcorrido para o primeiro C, considerando-se que em ambos os casos temos corpos iguais passando por corpos iguais, [...] e o primeiro C permanece o mesmo tempo ao lado de cada B quanto permanece ao lado de cada A, já que tanto os Cs quanto os Bs permanecem o mesmo tempo passando pelos As. De qualquer maneira, esse é o argumento de Zenão, mas suas conclusões dependem da falácia que mencionei. 


Duas respostas a se é possível passar por infinitos pontos (VIII. 8, 263 a 4  - b 8) 

Devemos dar a mesma resposta para qualquer um que use o argumento de Zenão para perguntar se é sempre necessário primeiro cobrir metade da distância, apontando que há um número infinito de meia distâncias e que é impossível cobrir um número infinito de distâncias. Há também aqueles que apresentam o argumento de outra maneira, e afirmam que quando se está atravessando uma meia distância, é preciso contá-la antes de completá-la, e que é preciso fazer isso para cada meia distância sendo coberta, de maneira que cobrir a distância inteira envolveria ter que contar um número infinito, o que considerado impossível. 

Pois bem, ao discutirmos [em VI. 2, 233 a 21 - 31] o movimento e a mudança, resolvemos essas dificuldades levando em conta o fato de que o tempo contém em si um número infinito de partes. Afinal, não há nada de estranho em que alguém atravesse um número infinito de distâncias em um tempo infinito, e a infinitude é uma propriedade do tempo da mesma maneira que é uma propriedade da distância. Apesar de esta solução ser adequada como resposta à pergunta original, qual seja, se é possível atravessar ou contar infinitas coisas em um tempo finito, ela não serve de resposta para a questão relativa ao que de fato acontece. Pois se o nosso inquiridor fosse ignorar a distância, e ignorar a questão de se um número infinito de distâncias pode ser coberto em um tempo finito, e fizesse a pergunta apenas com respeito ao tempo, dado que o tempo é infinitamente divisível, a solução anterior não seria adequada. Teríamos, pelo contrário, de utilizar o relato verdadeiro que acabamos de apresentar, e dizer que qualquer um que divida uma linha contínua em duas metades está tratando o ponto único em que se dá a divisão como dois pontos, pois está tratando-o tanto como um ponto inicial quanto como um ponto final, e a contagem de metades não é diferente da divisão em metades. Mas fazer essas divisões equivale a destruir a continuidade do movimento, e também a linha, pois o movimento contínuo é um movimento sobre o contínuo, e apesar de haver infinitas metades em um contínuo, eles são potenciais, não atuais. Qualquer divisão atual põe um fim ao movimento contínuo e cria uma parada. É claramente isso o que acontece quando alguém conta metades sucessivas, pois ele inevitavelmente conta um mesmo ponto como sendo dois, dado que a consequência de se contar duas metades ao invés de uma linha contínua é que um único ponto passa a constituir o fim de uma metade e o começo da outra. Assim, a resposta que temos que dar para a questão de se é possível atravessar um número infinito de partes, sejam elas partes do tempo ou da distância, é que em um certo sentido isso é possível e em certo sentido não. Se elas existirem de maneira atual, isso é impossível, mas se elas existirem de maneira potencial, então é possível. Em outras palavras, qualquer um que esteja em movimento contínuo atravessa coincidentemente um número infinito de distâncias, mas isso não é feito sem qualificação; trata-se de uma propriedade coincidente [acidental] de uma linha que ela possui um número infinito de metades, mas isso não faz parte da essência de linha.

* * *

Apresentamos abaixo um artigo da Revista Professor de Matemática (RPM) 39 de 1999, que apresenta a matemática dos paradoxos de Zenão

OS PARADOXOS DE ZENÃO - Geraldo Ávila

Introdução

Vez por outra encontro um artigo tentando explicar os paradoxos de Zenão (descritos adiante). Mas as “explicações” que eles apresentam não passam, a meu ver, de tentativas frustadas, que apenas transferem a dificuldade para outro domínio do conhecimento, sem resolver o problema. O presente artigo tem por objetivo lançar alguma luz sobre esses paradoxos e outras questões a eles relacionadas.

 Zenão e o paradoxo de Aquiles

Os paradoxos de Zenão estão relatados em muitos livros: por exemplo, nas págs. 55 e 56 de [1], uma referência conhecida e de fácil acesso. São quatro paradoxos, mas vamos nos restringir apenas a dois deles.

O primeiro, conhecido como paradoxo da dicotomia, procura interpretar o movimento de um ponto  $A$ a um ponto  $B$  como uma seqüência infinita de movimentos: antes de se chegar ao ponto  $B$  é preciso chegar ao ponto  $C$  tal que $AC = CB$ (figura 1); mas, antes de se chegar a  $C$,  é preciso chegar ao ponto  $D$  tal que $AD = DC$;  e assim por diante, indefinidamente.

A conclusão de Zenão é que o movimento é impossível, pois sequer se iniciará.

O paradoxo de Aquiles (1)  refere-se a uma corrida entre o rápido Aquiles e a morosa tartaruga, esta se posicionando na frente (digamos, no ponto $A_1$ da figura 2, enquanto Aquiles se posiciona em $A$).

O paradoxo está na conclusão de que Aquiles nunca alcançará a tartaruga. De fato, segundo o raciocínio de Zenão, quando Aquiles chegar ao ponto $A_1$, a tartaruga já estará em $A_2$; e quando Aquiles chegar ao ponto $A_2$, a tartaruga já estará em $A_3$; e assim por diante, indefinidamente, um processo que não termina.

Zenão e sua época

Zenão viveu no século V a.C., era discípulo de Parmênides, que ensinava que só o ser imutável é real, portanto, é na imutabilidade do ser que se encontra a realidade e se fundamenta o conhecimento. Essas idéias estavam em direta oposição às de Heráclito, para quem a realidade fundamental está no movimento. Heráclito ensinava que tudo no universo está em permanente mudança, toda a realidade é um “vir-a-ser” contínuo. Ao que parece, Zenão quis evidenciar, com seus paradoxos, a fragilidade dessa idéia de Heráclito, apontando para as contradições a que leva a própria noção de movimento.

Até hoje não se sabe ao certo se é isso mesmo que tencionava Zenão, ou se ele tinha outros objetivos em vista, pois não dispomos de nenhum escrito seu, nem sabemos se ele deixou alguma coisa escrita. Seus paradoxos são relatados por Aristóteles, cujo objetivo era refutar Zenão.

Portanto, Aristóteles pode não ter contado toda a história, ou, pelo menos, não ter retratado todas as intenções de Zenão. O que Aristóteles diz –– e que costuma ser repetido desde então –– é que Zenão queria, com seus paradoxos, demonstrar a impossibilidade do movimento. Mas seria ingênuo acreditar que ele duvidasse de uma realidade tão evidente como o movimento. Mais provável, portanto, é que Zenão quisesse, como dissemos, mostrar a fragilidade das idéias de Heráclito; ou apontar as deficiências dos conceitos formulados e do próprio raciocínio, isto é, as deficiências das bases racionais do conhecimento.

Os paradoxos

Os dois paradoxos descritos anteriormente são essencialmente iguais: o primeiro deles decompõe o movimento numa seqüência infinita de percursos cada vez menores “para trás”, nos trechos $CB,  DC$, etc.; ao passo que o segundo decompõe o movimento numa seqüência infinita de percursos cada vez menores “para a frente”, nos trechos $AA_1, A_1A_2$, etc. Assim, a dificuldade é a mesma nos dois casos.

Suponhamos que, partindo de um ponto $A$, Aquiles alcance a tartaruga ao final de duas horas num ponto $B$.  Assim contemplado, o movimento se apresenta como realizado por inteiro, como fenômeno completo e acabado. Outro modo é contemplar o movimento realizado por etapas, assim: durante a primeira hora Aquiles percorre o trecho $AA_1$, sendo $A_1$ o ponto médio entre $A$ e $B$ (figura 3); durante a meia hora seguinte ele percorre o trecho $A_1A_2$, sendo $A_2$ o ponto médio entre $A_1$ e $B$; durante mais 15 minutos ele percorre o trecho $A_2A_3$, sendo $A_3$ o ponto médio entre $A_2$ e $B$; e assim por diante. Em todos esses percursos ele estará sempre atrás da tartaruga. Poderá Aquiles alcançar a tartaruga no ponto $B$?

Há outras maneiras de interpretar o movimento de Aquiles até alcançar a tartaruga, mediante uma infinidade de movimentos sucessivos; mas basta essa última interpretação para a análise que faremos em seguida.

O paradoxo e a soma infinita

Em geral, as muitas tentativas que têm sido feitas ao longo dos séculos no sentido de resolver o paradoxo consistem simplesmente em aceitar a soma infinita dos percursos como resultando no percurso total, que dura duas horas. Ora, isso não alcança o âmago da questão, apenas transfere a dificuldade para o domínio das séries infinitas, pois se reduz a afirmar que

$$1 + \dfrac{1}{2} + \dfrac{1}{4} + \dfrac{1}{8} + \dfrac{1}{16} + \cdots = 2$$

Mas, somar números, uns após outros, sucessivamente, é uma idéia concebida para uma quantidade finita de números. Não se adapta ao caso de uma infinidade de parcelas, pois, por mais que somemos, sempre haverá parcelas a somar, e o processo de somas sucessivas não termina. E parece ser precisamente essa a dificuldade que Zenão queria apontar.

Os matemáticos têm consciência das dificuldades com as séries infinitas há mais de dois milênios. A primeira soma infinita que aparece na Matemática ocorre num trabalho de Arquimedes, onde ele calcula a área de um segmento de parábola; e faz isso através de um processo finito, justamente para evitar envolvimento com uma soma infinita, como no paradoxo de Aquiles (ver [2]).

A soma infinita é o limite de uma soma finita $S_n$, quando fazemos $n$ tender a infinito. Mas o que significa isso precisamente? A definição de limite, adotada no início do século XIX para fundamentar a Análise Matemática, é feita de maneira a evitar um envolvimento direto com a soma de uma infinidade de parcelas. Assim, dada uma série infinita.

$$a_1 + a_2 + a_3 + \cdots + a_n + \cdots ,$$

formamos a soma finita

$$S_n = a_1 + a_2 + a_3 + \cdots + a_n,$$

e dizemos que o número  S  é a soma da série, isto é, dizemos que

$$ S = a_1 + a_2 + a_3 + \cdots + a_n + \cdots ,$$

se a diferença $|S - S_n|$ puder ser feita menor do que qualquer número positivo, desde que se faça $n$ suficientemente grande. Em linguagem mais precisa, isso quer dizer o seguinte: dado qualquer número $\varepsilon > 0$, existe um índice $N$ tal que, para $n > N$, é verdade que $|S - S_n| < \varepsilon$.

Observe bem: atribuímos significado à “soma infinita” $a_1 + a_2 + a_3 + \cdots$ através de uma definição que “evita o infinito”. $S$ não é a soma de todos os termos da série infinita; ele é o número do qual as somas parciais finitas $S_n$ vão-se aproximando mais e mais quanto for maior for o índice  $n$.

Em vista dessas considerações, para comparar o movimento da figura 3 a uma soma infinita, temos de decompô-lo na seqüência $AA_1, A_1A_2, A_2A_3, \cdots, A_{n-1} A_n$ e $A_n B$, pois é essa seqüência, à execução do último trecho $A_n B$,  que corresponde à soma parcial $S_n$. Aí a dificuldade desaparece por completo, não importa quão grande tomemos  n,  pois estaremos evitando o infinito, exatamente como se faz no tratamento das somas infinitas. Mas esse expediente, como se vê, desfigura completamente o paradoxo, e é justamente por isso que não há como resolvê-lo em termos de séries infinitas.

Hilbert e o infinito

Vale lembrar aqui um artigo sobre o infinito, de um dos mais eminentes matemáticos do século XX, David Hilbert (1962–1943). A partir de 1917, ele se dedicou a investigar os fundamentos da Matemática e em 1925 pronunciou uma conferência que deixou escrita e ficou famosa, na qual aborda a natureza do infinito. Para nós aqui interessa lembrar que nessa conferência Hilbert insiste, de maneira bastante convincente, que o infinito não existe na explicação matemática de fenômenos físicos, certamente estamos procedendo a uma idealização, que necessariamente, passa a ser um modelo que não mais corresponde exatamente à realidade física.

É precisamente isso o que acontece quando construímos modelos matemáticos para movimentos físicos. Por exemplo, quando dizemos que uma bola de bilhar está animada de um movimento com velocidade uniforme de 3 m/s e escrevemos a equação horária do movimento $s=3t$ ($s$ representando o espaço percorrido em metros e $t$ o tempo em segundos), estamos, tacitamente, representando a bola por um de seus pontos, digamos, o centro de massa. A partir desse momento, passamos a contemplar o modelo matemático, deixando para trás o fenômeno físico! O movimento “matemático”, regido pela equação $s=3t$, é contínuo, isto é,  nele o ponto se desloca ao longo de uma reta, passando por todos os (infinitos) pontos que se situam entre a posição inicial do móvel e a posição final.

Completamente outra é a situação do movimento físico. Primeiro que um corpo físico qualquer –– seja uma bola de bilhar, uma bola de gude, um grão de areia, ou mesmo Aquiles ou um tartaruga –– é sempre uma coleção finita de partículas. Quando esse corpo está em movimento, cada uma de suas partículas executa um movimento particular. Mesmo quando procuramos simplificar, falando em corpo rígido, centro de massa, partícula ou elemento material, já estamos idealizando, portanto, saindo do domínio estritamente físico...

Na verdade, estamos tão acostumados a descrever o movimento por meios matemáticos, que acabamos identificando o fenômeno físico “movimento” com seu “retrato matemático”. As coisas que se movem no mundo físico são partículas, não pontos matemáticos. E não há como, rigorosamente, identificar a trajetória de um próton ou um elétron, por exemplo, com uma reta ou curva contínua. É um equívoco imaginar que o móvel físico possa passar por uma infinidade de posições mesmo porque, como nos ensina Hilbert, o infinito não existe no mundo físico.

A racionalização do conhecimento

A fundamentação racional do conhecimento se originou com Tales, no século VI a.C.; e adquiriu grande impulso com Pitágoras, que teve a genial idéia de que todos os fenômenos se fundamentam no número e podem ser explicadas em termos puramente numéricos. No fundo, o que Pitágoras propõe é a possibilidade da matematização do universo, coisa que só vem se tornando realidade –– e com muito sucesso, diga-se de passagem – nos últimos 400 anos, desde os tempos de Galileu, Kepler e Newton.

Com o surgimento da fundamentação racional do conhecimento na Grécia antiga, vários sábios passam a se ocupar do exercício da racionalidade na análise das idéias então em voga. São eles os sofistas, que eram verdadeiros “disseminadores do conhecimento”, que até então houvera sido cultivado em sociedades mais ou menos fechadas, como a dos pitagóricos. Dentre os sofistas havia os menos escrupulosos –– e até charlatães, como acontece mesmo nos dias de hoje, em todas as profissões –– e aqueles que usavam de suas habilidades até mesmo para exibição e divertimento, como bem retrata a história seguinte:

Dois personagens, Protágoras e Euatlus, chegaram a um acordo, segundo o qual Protágoras concordava em ensinar Euatlus a prática do Direito por um certo preço, que deveria ser pago em duas vezes, a metade durante o curso e a outra metade quando Euatlus começasse a praticar a profissão e ganhasse seu primeiro caso num tribunal.

Acontece que Euatlus, após terminar o curso, nunca iniciava sua prática. Protágoras foi ficando impaciente, cobrava e recebia sempre a mesma resposta de Euatlus: “pelo nosso trato, não tenho de lhe pagar ainda, pois não ganhei meu primeiro caso perante um tribunal”. Com sua paciência esgotada, Protágoras decidiu processar Euatlus para conseguir receber o que ele lhe devia.

Mas antes mesma da formalização do processo, numa última tentativa, Protágoras procurou Euatlus e o alertou: “em qualquer hipótese você vai ter de me pagar, pois, se o tribunal decidir a meu favor, você terá de obedecer a essa decisão e me pagar; e, se o tribunal decidir a seu favor, aí você terá ganho seu primeiro caso como advogado e, de acordo com nosso trato, terá de me pagar. Portanto, melhor me pagar antes que eu recorra à justiça”.

“Você está enganado”, respondeu Euatlus a Protágoras, “pois, se o tribunal decidir a meu favor, obedecerei a tal decisão e não lhe pagarei; e, se decidir a seu favor, aí ainda não terei ganho meu primeiro caso, portanto, de acordo com nosso trato, não terei de lhe pagar!”

Zenão, ao que parece, era filósofo sofista (dos sofistas sérios, é claro!), um crítico dos instrumentos que então se criavam para o estudo racional dos fenômenos. Assim, já naquela época se questionavam as bases do conhecimento, pondo em evidência as próprias limitações da racionalidade. Decerto que já se faziam perguntas mais ou menos deste tipo: o intelecto humano é realmente capaz de “penetrar” os fenômenos, de desvendar os segredos da Natureza? Até que ponto o homem realmente adquire o conhecimento? Será esse conhecimento uma revelação completa dos fenômenos? Ou tem apenas um caráter relativo e limitado? Ou será mesmo totalmente ilusório?

Questões como essas são tão atuais nos dias de hoje como teriam sido há mais de dois milênios, nos tempos de Sócrates, Platão, Aristóteles, e mesmo de seus predecessores.

É interessante notar que, com o progresso científico, principalmente a partir do século XVIII, sobretudo no terreno da Física e da Matemática neste nosso século XX, as bases do conhecimento nunca se revelaram tão frágeis. Os físicos têm hoje plena consciência de que suas teorias –– que vivem numa permanente busca de conciliação e consistência –– nada mais são do que instrumentos frágeis de interpretação da realidade, nunca um desvendamento completo dessa realidade.

Dissemos que é provável que Zenão estivesse procurando, com seus paradoxos, evidenciar as deficiências das bases racionais do conhecimento. A ser isso verdade, poderíamos então dizer que Zenão seria muito atual em nossos dias!

Os matemáticos, por seu turno, depois de perseguirem, por séculos, a fundamentação última de suas teorias, sabem hoje que isso é impossível. E um dos elementos centrais das dificuldades de se atingir tal objetivo e o infinito, do mesmo modo que o infinito é a pedra de tropeço dos paradoxos de Zenão.


Notas:

(1) Aquiles é um herói mitológico. Filho de deuses, foi por sua mãe mergulhado de cabeça para baixo nas águas de um rio encantado, tornando-se invulnerável na guerra, exceto pelo calcanhar, por onde sua mãe o segurou; daí a expressão “calcanhar-de-Aquiles”. Ele se notabilizou como o maior guerreiro nas batalhas contra Tróia e o mais rápido dos corredores.

REFERÊNCIAS BIBLIOGRÁFICAS

[1] Boyer, C. B. História da Matemática. São Paulo: Edgard Blücher, 1974.
[2] Ávila, G. Ainda as séries infinitas. RPM 31, págs. 9 e 1wa0.


Para saber mais sobre o infinito e os paradoxos de Zenão, veja esse link.


Curta nossa página no facebook Summa Mathematicae. Nossa página no Instagram.



Matemática: Ciência da Quantidade - Prof. Pedro Miranda

Criação do Cosmos - Cristo criando
o cosmos Gênesis 1 No princípio
- por Ted, 4 de março de 2011

Transcrevemos abaixo trechos da aula do prof. Pedro Miranda sobre Matemática: Ciência da Quantidade

O vídeo pode ser encontrado aqui: Link.

Interlocutor Pablo Cânovas: Sejam muito bem-vindos a mais um podcast da Contra Errores. Estamos aqui novamente com o professor Pedro. Dessa vez, como nós falamos no final do nosso último podcast, para falar sobre matemática. O professor Pedro também é professor de Matemática. O que o nosso professor vai fazer hoje é apresentar o desenvolvimento da Matemática de Aristóteles até hoje.

Professor Pedro Miranda: Bom dia, boa tarde, boa noite a todos os ouvintes. Agradeço mais uma vez ao Pablo por essa oportunidade de falar com vocês e de tratar desse assunto tão interessante, e que poucos falam nos dias de hoje. As Matemáticas são já bem desenvolvidas em diversas civilizações. Podem notar isso pelas descobertas arqueológicas. Como se observa os egípcios, os povos mesopotâmicos e os povos que formaram a civilização chinesa. Isso é algo que é cosmopolita esse trato com essas Matemáticas. No entanto, as Matemáticas, que são duas, estiveram sempre em torno de sua aplicabilidade. A Geometria deveu muito à agrimensura para delimitar o terreno para o plantio. A Aritmética deveu muito à contagem de quantidades de material para comercialização, quantidade de unidades de rebanho ou com unidades fixas de quantidade de grãos, por exemplo. 

A primeira coisa que deve-se salientar é que as técnicas matemáticas se desenvolveram primeiro que sua conceituação. Na Índia antiga tiveram algoritmos que permitem a técnica da divisão, para o mesmo cálculo de áreas de polígonos ou a determinação dos poliedros. Tudo isso é bem cosmopolita. O que eu farei hoje em pouco tempo, pelo menos no meu ponto de vista, é investigar como Aristóteles considera a Matemática. Nós estamos com o pressuposto de que as Matemáticas têm como sujeito de sua ciência o ens quantum em latim ou το ποσό em grego. [ente quantidade]

Em Aristóteles, evidentemente, no seu Tratado dos Complexos nas Categorias, a primeira categoria que nós estudamos é a substância. Não vamos adentrar na substância. A segunda categoria na listagem de Aristóteles, nesta obra, é a quantidade. No entanto, é importante que nós saibamos de antemão que na Metafísica, Aristóteles coloca quantidade em segundo plano enquanto acidente. Acidente é aquilo que acontece na substância, é aquilo que acontece em outro. Ele coloca em primeiro lugar a qualidade. Por quê? Porque já na altura de sua vida ele escreve Metafísica e já estabelece a doutrina de forma e matéria. De onde a qualidade flui imediatamente da forma, enquanto a quantidade flui imediatamente da matéria. Então uma substância, quando possui a categoria quantidade, podemos chamá-la de certo aspecto de corpo. Um exemplo: os anjos não são exatamente corpóreos. Eles não estão restritos à categoria quantidade. Por isso que dizemos que são substâncias separadas. Quando um anjo age, ele não age com base na localidade, pois ele intensifica sua ação no lugar que ele deseja. Ou às vezes ele pode aparecer em forma corpórea, não por necessidade corpórea, mas para se apresentar de uma forma racionalizado para nós.

O que é quantidade? Para Aristóteles, a quantidade é o acidente, cuja característica central é ter parte, pode ser divisível. Vamos fazer uma comparação para podermos enxergar essa afirmação. Quando eu pego uma qualidade, por exemplo, o branco que está na parede. Vou ter uma parede branca diante de mim. A qualidade branca pode ser separada? Ela não tem parte para ser separada. A parede é branca. Mas existe uma tendência linguística de que se diz que essa parede é muito branca, quer dizer que há uma amplitude. A superfície em que ela que é branca é grande. Então, no fundo, muitas vezes a gente diz que é muito branca, porque ela é extensa. A superfície da parede é extensa. É nesse sentido e isso também faz sentido na sintaxe grega. Os gregos falavam que isso aqui é muito branco, no sentido de que a superfície, que tem a qualidade branca, é muito extensa. Notem que a superfície é uma quantidade.

A quantidade é o acidente que têm partes e pode ser dividida em discreta e contínua. E também de acordo com suas partes a quantidade pode ter posição entre as partes ou não. O que é essa posição? Pode haver ordem entre as partes. Pode ser primeira, segunda, terceira, quarta ou não.

Pois bem, então vamos aqui tratar de alguns exemplos de quantidades discretas. Aristóteles chama a atenção para dois tipos de quantidades, que são caracteristicamente discretas que são os números e o discurso. O discurso que ele está se referindo é ao texto mesmo. O número vai quantificar certas unidades. Quando Aristóteles fala [unidade], entenda aqui um número natural: um dois, três, quatro, cinco... Não têm $0,7$. Não temos números reais aqui em Aristóteles. Quando ele fala números, ele está se referindo aos naturais que são aqueles que nós podemos contar. Por outro lado, temos os números contínuos que são os nossos lugares geométricos. A linha, a superfície, o corpo, o tempo e os ciclos. Os ciclos porque tem aspecto de quantidade, a localização, posição dentro do espaço. Que podemos discernir quantidade discreta de quantidade contínua? Quando eu escrevo $5$. Isso aqui é um algarismo que indica um número. O símbolo é o algarismo. (Em algarismo romanos V). O símbolo pode mudar, pois o símbolo corresponde ao número.  O número, no sentido aristotélico, é aquilo que se obtém a partir de uma contagem. [o professor desenha cinco pontos no quadro] O que significa? Indica que alguém contou cinco unidades de alguma coisa, de pessoas, objetos, qualquer coisa que você quiser.

Recapitulando: uma coisa é o algarismo que simboliza o número, são algarismos arábicos e romanos ($5$ e V). Esses algarismos são símbolos que indicam o número. Do ponto de vista aristotélico, o número é o resultado de uma contagem. O que é uma contagem? Uma contagem é quando eu escolho uma unidade de critério de contagem. Por exemplo, aqui na minha mesa eu tenho diversos objetos. Eu crio um critério: o critério de contagem é o objeto individual. Eu vou começar a contar os objetos individuais que estão sob minha mesa: um celular, uma caneta, mouse, uma garrafa d'água. Toda vez que eu identifico uma das unidades, eu apreço uma unidade no meu número.

Notem uma coisa: quando eu desenho assim um “bifurcamento discreto” [há cinco pontos no quadro no formato da letra W], que é um exemplo de representação de uma contagem discreta. É possível notar que cada parte [ponto] não tem um limite em comum. Elas não tem um limite em comum. No entanto, quando estou considerando elas juntas, isso para mim é quantidade. Qual é a característica da quantidade discreta? As partes dessa quantidade não tem um limite em comum.

No caso do discurso, o discurso é composto por letras, por sílabas ou fonemas. O discurso falado são fonemas. Eu posso dividir? Posso tranquilamente. Qualquer palavra pode ser dividida em partes. Essas partes são discretas. Por que são discretas? As sílabas não têm um limite em comum entre elas. Então, por exemplo, a palavra: Nú-me-ro. Não existe nada que a separa, não existe algo que separa essas sílabas ou mesmo esse fonema: Nú-me-ro. É claro que quando eu falo rapidamente, vai diminuindo o intervalo entre os sons para formar a palavra articulada “Número”. Esses são os dois exemplos que Aristóteles traz de quantidades discretas. Hoje em dia a gente tem uma disciplina chamada Matemática Discreta, cujo princípio não mudou. O princípio é o mesmo. É claro que vamos ter teoremas, corolários, proposições acerca do que nós podemos fazer com as quantidades discretas.

Agora vamos para as quantidade contínuas. Temos caracteristicamente exemplos importante. Aqui nós damos o nome de lugares geométricos. A primeira delas é a linha. A linha é potencialmente infinita. O infinito aqui é matemático. Cuidado com isso. Já vou explicar. Agora temos aqui as quantidades contínuas. Nas quantidades contínuas, nós temos três elementos importantes a serem aprendidos. Aqui eu representei uma linha ou reta. Cuidado com isso [o professor desenha uma reta no quadro]. Na Matemática, a linha reta é potencialmente infinita. Significa que ela continua para um lado e para outro lado indefinidamente. É claro que não é possível que eu desenhe uma reta ou linha [por completa]. Eu posso representar um segmento de reta, representando a reta. Eu desenhei um pedaço dela, mas eu quero dizer que ela continua de um lado e continua do outro lado. A linha ou reta é uma quantidade contínua. Se ela é uma quantidade, por definição, ela possui partes, quer dizer, que eu posso dividir ela quantas vezes eu quiser. Quantas partes eu posso potencialmente dividir uma reta ou linha? Infinitas. Não tem limite para isso. Isso vai ser de fato infinito? Não. Em Matemática, dizemos que tende indefinidamente a crescer.

Interlocutor: Eu me lembrei de uma aula de Química que eu tive no Ensino Médio. Nessa aula de química, ele compara a teoria do átomo com uma suposta teoria de Aristóteles, que era justamente quanto a infinitude das divisões da quantidade contínua. Ele dizia que, quando se descobriu o átomo, refutou Aristóteles, porque se descobriu que tinha um limite na divisão.

Professor: Eu vou falar sobre isso. Esse assunto será a cereja do nosso bolo hoje. De fato, nós podemos potencialmente dividir uma reta e infinitas partes. Potencialmente, isso pode ser atualizado, isso pode ser feito? Não. Por que falta tempo e falta ato para isso. Bom, eu tenho infinitas partes, quando eu divido uma reta, quando eu corto* uma reta. Vamos supor que eu pegue uma faca e passe a faca [numa reta]. Eu vou ter quantas partes se eu cortar aqui? Eu vou ter duas partes. Uma de um lado, outra do outro lado. Note uma coisa: se eu cortei eu tenho um ponto. O ponto é uma intersecção da parte à esquerda e da parte da direita. Esse ponto pertence tanto à parte à esquerda quanto à parte direita. Então, qual é a característica essencial da quantidade contínua? Eu sempre terei um limite entre as partes. Existe um limite. Na quantidade discreta, não existe um limite. No caso de entes de uma dimensão que é a reta, (a reta é um ente de uma dimensão) o limite de entes de uma dimensão são entes de dimensão zero que são pontos.

De modo completamente análogo, quando eu tenho uma superfície como plano ou superfície [o professor desenha uma plano no quadro]. A superfície continua é indefinidamente para lá e para cá, mesma coisa (todas as direções). Ela é infinita também e eu desenho ela como um pedaço dela, um fragmento da nossa superfície. Se eu estabelecer uma divisão em nossa superfície, vamos supor agora que eu passe uma reta aqui cortando [o professor desenha no plano uma reta o intersectando diagonalmente]. Portanto, superfície ou área é um ente geométrico de duas dimensões. Enquanto que o limite que eu coloquei na superfície é um ente de uma dimensão. Porque agora o limite das partes que contém essa superfície, (tenho duas partes: a parte de cá [à esquerda] e a parte de cá [à direta]) o limite entre as partes é uma reta.

Eu tenho um sólido, [o professor desenha um cubo no quadro] um cubo torto, um paralelepípedo, agora um tijolo. O sólido é um lugar geométrico de três dimensões. Como é que eu corto* um sólido de modo a produzir partes? Eu tenho que vir aqui agora e traçar um plano no meu sólido [o professor desenha plano intersectando o sólido]. O plano é um ente geométrico de dimensão dois. Se eu quiser, eu posso continuar em todas os lados, mas pode ser do tamanho que eu quiser. Potencialmente infinito. Infinito quantitativamente. Cuidado com isso. Uma coisa é o infinito na Teologia e na Metafísica, outra coisa é o infinito usado na Matemática. Aproveitando para falar sobre o infinito, tem uma pergunta sobre o infinito que daqui a pouco vou responder. 

Interlocutor: Uma pergunta: quando você divide uma quantidade contínua, ela já pode ser considerada como quantidade discreta, enquanto duas partes discretas?

Professor: Não. A quantidade contínua [quando dividida] continua sempre sendo contínua, por que ela continua tendo partes cujos limites existem. Eu não separei o sólido. Eu só identifiquei um limite entre duas partes do sólido aqui. Ele não se tornou discreto.

O que mais que Aristóteles considera como contínuo? O tempo é contínuo para Aristóteles. O tempo pode ser visto de certo ângulo, como uma quantidade. Cuidado com isso. Quais são as partes do tempo? Os instantes. Só que eu posso ter instantes intermediários. Qual é o limite entre passado e futuro? É o instante presente e esse instante presente está sempre caminhando adiante em direção ao futuro. Se eu imaginar o instante presente como um ponto, ele vai caminhando e vai se unindo simultaneamente. Ele vai conectar passado e futuro. Então, nesse sentido, eu posso considerar o tempo como uma quantidade contínua. O que mais é quantidade? O situs, o lugar também é quantidade continua, porque eu posso localizar corpos ou coisas usando pontos dentro do espaço. O espaço é contínuo porque o espaço, as partes do espaço possuem o limite em comum. Quando é uma reta, o limite em comum são pontos. Quando é uma superfície, o limite em comum é uma reta. O que quer dizer limite em comum? Significa que essa reta pertence tanto a esta parte [à esquerda] quanto a esta parte [à direita] (o professor se refere ao plano interceptado por uma reta). No sólido, esse plano vermelho aqui [na lousa] pertence tanto à parte de trás quanto à parte da frente. Então, existe um limite em comum entre as partes da quantidade contínua.

Além disso, existem quantidades cujas partes têm posição recíproca entre si. O que é posição recíproca? Eu tenho uma ordem. Eu posso associar uma reta ou uma direcionalidade, por exemplo, a reta dos números reais. Nós [a] simbolizamos assim [o professor desenha a reta real no quadro]. Hoje se coloca uma direção aqui no meio, o zero. Então, do zero adiante [à direita], eu tenho os números que são positivos e aumentam indefinidamente. Do zero à esquerda, eu tenho os números negativos, que também "aumentam". Na verdade, diminui indefinidamente. Aqui vai para menos infinito ($-\infty$) [lado esquerdo] e mais infinito ($+\infty$) [lado direito]. Quando um matemático e um físico usam esse símbolo ($\infty$), não estão se referindo ao infinito da Metafísica e da Filosofia. [Isso] está querendo dizer que para cá, [esquerda da reta real] os números decrescem indefinidamente. Ou seja, potencialmente tem um potencial infinito para crescer para cá [direita da reta real] para aumentar. Então aqui temos os números grandes [positivos] e para cá, os números pequenos, menores [negativos].

Tudo o que nós falamos até agora, pelo menos para Aristóteles, são quantidades em sentido próprio, per si. Mas nós usamos a quantidade de modo incorreto como, por exemplo, isso aqui é mais branco, ou é mais rápido ou o movimento é mais longo. Então, linguisticamente falamos certas coisas, pronunciamos certas coisas como se fossem quantidades, mas não são. É um recurso linguístico, mas do ponto de vista lógico é incorreto usá-los. 

Agora vamos às três propriedades da quantidade. A primeira propriedade da quantidade é que a quantidade não admite o contrário. Por exemplo, se eu tenho uma quantidade de dois metros, qual é o contrário de dois metros? Não tem sentido lógico. Não é $-2$! O $-2$ também é uma quantidade diferente de dois metros. Na verdade, $-2$ metros não existe. Não existe comprimento negativo. Usamos os números negativos na Matemática, porque são entes de razão, devido a necessidade algébrica. Mas os números negativos não representam coisas. Eles representam a ausência de coisas. Quando eu tiver um saldo negativo no meu banco, vai aparecer um número negativo, mas ele não corresponde a uma concretude, em grego, σύνολον. Ele não representa um σύνολον. Ele é um ente de razão, assim como a privação que vemos na filosofia. A privação também é um ente de razão.

Segunda propriedade da quantidade: a quantidade não admite mais ou menos. Esses são os termos de Aristóteles. O que significa mais ou menos? Se eu tenho a quantidade dois, eu contei dois feijões e depois contei duas vacas. Sobre os dois feijões, o número dois que eu abstraí dessa contagem é mais dois do que as duas vacas que eu contei? Não, são o mesmo. Uma vez que eu tenho uma quantidade igual a outra, não é mais do que a outra. Então não cabe, não faz sentido lógico, dar intensidade às quantidades.

Propriedade três da quantidade. É característico da quantidade (dizemos que é um τόπος, é o modo característico de usar linguisticamente e logicamente a quantidade) a seguinte coisa: é o mais próprio poder ser igual ou desigual. Eu posso comparar duas quantidades ou elas são iguais ou desiguais. Em Matemática, nós desenvolvemos sinais para isso. Nós temos o sinal de igualdade ($=$). Quando uma relação matemática possui um sinal de igualdade, nós damos o nome a essa expressão matemática de equação. Eu tenho sinais de desigualdade, menor ($<$) e maior ($>$). Quando uma relação matemática possui esses sinais, nós damos o nome a essa expressão de inequação, porque expressam desigualdades. Uma desigualdade implica que os números comparados ou um é menor do que outro, ou um é maior do que o outro. Acho que isso é uma das coisas mais importantes a serem ditas a partir das Categorias de Aristóteles. 

É sempre importante relembrar que, quando Aristóteles escreve as Categorias (na verdade, são notas de aula, por isso que a tradução é difícil). Existem diversas interpretações das Categorias e os materiais que nós temos traduzidos e vertido ao português não são muito bons. Eu estou sendo sincero com vocês. O ideal é que vocês aprendam grego e leiam direto para não ter que fazer esse esforço de ter que interpretar a visão do tradutor. Nas Categorias, Aristóteles coloca a quantidade como a segunda categoria. Primeiro a substância, depois a quantidade e depois a qualidade. No entanto, na altura de sua vida, quando ele está escrevendo a Metafísica, ele coloca a qualidade em primazia, porque a qualidade é informada pela forma do ente (do σύνολον), enquanto que a quantidade pela matéria. Aristóteles dá primazia quase sempre para a forma que é o princípio de comunicação do ato daquele ente. Por que isso? Em Aristóteles, temos a quantidade discreta e contínua, mas entre as duas, qual é mais quantidade, caracteristicamente quantidade? É a quantidade continua. A quantidade contínua é mais quantidade do que a quantidade discreta, mas no sentido (é claro que isso é uma figura de linguagem) mais caracteristicamente quantidade.

A nossa realidade física é fundamentalmente contínua. No entanto, como havia colocado o Pablo anteriormente, nós temos unidades que são os átomos. Até hoje em dia, nós imaginamos que os átomos são coisas discretas, mas isso não faz o menor sentido. Na visão de Demócrito e Leucipo, que foram os primeiros a propor a teoria atômica, eles imaginavam que realmente era uma unidade indivisível. Átomos (ἄτομος) . O prefixo “a” é negação e “tomos” vem de parte: sem parte, indivisível. Isso foi encontrado alguma vez, de verdade? Verificamos isso experimentalmente? Não. O que dá a entender, de acordo com os estudos mais avançados, é que cada vez mais há mais partes, que há mais subpartículas. Cada vez mais se estuda, cada vez mais que se divide os átomos, encontramos mais e mais partes. Isso deixa os físicos doidos. Porque daí não conseguem compor o modelo padrão do átomo, da teoria atômica. A realidade, pelo menos, o espaço, nós sabemos que ele é contínuo. Todos os entes contidos no espaço também são contínuos, caracteristicamente contínuos. Os entes contados, as quantidades discretas são arbitrárias. Quem define a unidade é uma arbitrariedade humana. Eu tenho que escolher uma unidade de contagem. A quantidade discreta é mais artificial, por assim dizer, do que a quantidade contínua. Por isso que se dá primazia à caracterização da quantidade, pela quantidade contínua.

Agora vamos à pergunta que foi nos passada. A pergunta é seguinte: o conjunto dos naturais e dos reais possui infinitos elementos, mas a cardinalidade dos naturais é menor que a dos reais, porque não é possível preencher o corpo dos reais com uma bijeção do domínio dos naturais, dando certa ideia de que aquele ser “menos denso” que esse?

É uma excelente pergunta. Estudamos essa questão em Análise. O conjunto dos naturais, que são os números que naturalmente são produzidos pela contagem, é potencialmente infinito. Então eu posso contar, em matemática, indefinidamente. No entanto, na reta real entre o número $1$ e o número $2$, por ser o número real, eu tenho infinitos números. Melhor colocado: tenho potencialmente infinitos números. Significa, como [colocado] nessa pergunta, parece que o [conjunto dos] números reais é mais denso devido a bijeção. Eu posso estabelecer uma bijeção entre reais, entre intervalos dentro dos números reais, mas nenhum entre [intervalos de números] reais e naturais. Isso acontece porque existem em Matemática diferentes tipos de infinitos. Para isso, usamos a primeira letra do alfabeto hebraico. Para os números naturais, usa-se $\aleph_1$ [álefe 1], para os números reais, usa-se $\aleph_3$ [álefe 3]. Esse álefe é o conceito que nós atribuímos a esses conjuntos numéricos, para “estabelecer” quão infinitos eles são, que tipo de infinitude estamos tratando. Aqui é a infinitude matemática. Cuidado com isso. Acho que está respondida a pergunta.

Interlocutor: Importante falar que na Suma Teológica, São Tomás se pergunta se mesmo um corpo infinitamente extenso seria comparável à infinitude de Deus. É óbvio que não, porque mesmo se existisse um corpo infinitamente extenso, ele só pode ser infinitamente extenso se houver uma contagem de suas partes. Em certo momento, para algo ser três, precisou ser um e adicionou um e chegou a dois, adicionou outro e chegou a três. Enquanto Deus é simultaneamente todas suas partes, simultaneamente todas suas qualidades, melhor dizendo. Então essa é a maior diferença entre o infinito da Matemática, das quantidades e o infinito da Teologia: Deus é simultaneamente as perfeições, enquanto na quantidade há sucessão das perfeições. 

Professor: Exatamente. Essa questão também nos induz a falar sobre a questão do universo. O universo não pode ser infinito, do ponto de vista espacial. Isso é impossível pela Física moderna e é conhecido astronomicamente, porque as galáxias estão se afastando. Nós temos notícia experimental de que o universo está se expandindo. Se o universo é infinito, ele não aumenta: é uma contradição lógica. Se você olhar para o céu e ver o espaço, o universo físico está se expandindo e ao mesmo tempo você afirma que ele é infinito, tem que escolher [entre as duas condições]. Muitos físicos caem nisso, porque não pensaram direito sobre isso. O universo que é todo o espaço é finito. No entanto, [o universo] é imenso. O que significa imenso? Analisando a palavra imenso é não mensurado, “menso” é mensuração e “i” negação no português, imenso é sem medida. Porque todas as medidas são feitas dentro do universo. Não tem como sair fora do universo para medir ele. Isso implica em duas coisas: que o universo não pode ser medido de fora e que o universo não tem formato. Não tem formato geométrico, ele não é um cubo, ele não é uma esfera.

Interlocutor: Como diz o professor Nougué: a figura do universo é não ter figura.

Professor: Exatamente porque ele é imenso. Não faz sentido atribuir mensidão ao universo. Isso implica em uma terceira coisa que quase não é falada. O universo é auto-contido espacialmente. O que é auto-contido? Ele não tem um limite, tipo uma parede. Daqui para cá é o nada, daqui pra lá é o universo. Não dá pra fazer isso. O universo é auto-contido. Ele não tem um limite, no sentido de fora dele. Isso é um conceito difícil de ver e difícil de enxergar.

Esses são os três atributos fundamentais do universo. O universo é finito quantitativamente. Ele se apresenta para nós como infinito potencial. Parece que é potencialmente infinito, mas não é. Ele é finito de fato, e tem uma extensão dada. Tem o número que representa a sua extensão. Esse é o ponto. Existe esse número. Nós conhecemos ele? Não, mas ele existe. Então ele é finito.  Ele é imenso, não tem medida e não tem formato ou figura. O termo também usado é figura, como o Carlos Nougué usa. Em consequência de não ter figura e não ter formato, ele é auto-contido. As suas localizações são todas conectadas. 

Uma coisa importante de notar sobre essa questão das quantidades, é que o próprio espaço, visto como conjunto de τοποσ, de τοποι, é contínuo. Ele não é discreto. Então a natureza quantitativa das coisas é fundamentalmente contínua, como havia dito anteriormente.

É sempre importante ressaltar que Aristóteles diz que a Matemática não serve como ferramenta para a Física. A Física tem que usar outros métodos. Por que ele faz isso? Por que ele considera a Matemática uma ciência, um conhecimento que trabalha com quantidades bem conhecidas. Por que ele exclui a questão, por exemplo, da probabilidade. A probabilidade é uma quantidade também. Ela se caracteriza por ser uma quantidade. Como ele desconsidera a probabilidade, a questão de usar a Matemática dentro da Física é excluída.

No entanto, com a Física moderna, com a ciência moderna, tem a exclusão das outras categorias. Não importa mais a qualidade. Todas as qualidades que nós temos são reflexos da quantidade. Todas as relações, todo o tempo, espaço, lugar, posse. Então, dentro da mentalidade moderna, nós temos só quantidade. Essa é uma das pedras fundamentais do materialismo filosófico. Nem a substância eles consideram. 

Interlocutor: Já começa com Descartes, ele que dividiu as coisas entre res extensa e res cogitans, como se o seu mundo concreto fosse só extensidão, só quantidade contínua, do ponto de vista do Descartes.

Professor: É claro que isso é uma loucura. Você tem a substância que existe em si. Os predicamentos ocorrem sobre a substância. Então isso é uma inversão. É claro que a ciência moderna permitiu certos conhecimentos. Só que eles são metafisicamente limitados. Quando ouvimos aquela frase: “o ser humano é poeira estelar”. Você está vendo o ser humano em termos de sua extensão. Compare a minha massa com a massa de uma estrela. Claro que vai ver uma diferença gigantesca. Mas por que eles pensam assim? Porque eles estão considerando, às vezes sem saber, que o tudo o que existe é a quantidade. É claro que vai sair uma afirmação dessa. “O ser humano é poeira de estrelas”. Claro, você está reduzindo o ser humano às suas quantidades e às suas extensões mensuráveis ainda.

Essa é a mentalidade que nós devemos primeiro entender e como é que ela funciona para saber responder essa gente. O Carl Sagan tem uma visão materialista das coisas. Mas se nós pudéssemos falar com ele: “Escuta, por que o senhor afirmou isso? O senhor afirmou isso porque o senhor pegou o ser humano e reduziu ele a suas quantidades. O Senhor pegou as estrelas e reduziu elas a suas quantidades. Aí você comparou essas quantidades. A massa do ser humano é muito menor que a massa da estrela. E disso, você tira esse bordão que nós somos poeira estelar”. Ele não nota quando ele faz isso, ele não sabe disso. 

Interlocutor: É algo poeticamente algo tão pobre. Se for comparar isso com nosso próprio linguajar cristão: “o homem é o pó da terra”. Tem uma mística, um valor poético muito diferente. 

Professor: É porque ele usa a palavra estrela. Nessa tentativa de ser humilde, na verdade, ele está colocando que ele conhece as estrelas. É isso que está por detrás dessa mentalidade materialista quando se arrisca a produzir esses adágios. Só sai coisa ridícula e totalmente desvirtuosa, fora do padrão, desequilibrado. 

Então é importante que conheçamos bem a quantidade, porque a nossa formação escolar é muito fraca nisso. Os professores só ensinam as técnicas de resolução de problemas matemáticos. Nunca nenhum professor me falou que há uma quantidade. Uma vez eu perguntei para um matemático: “o que é a quantidade?” Ele falou que nunca viu isso em nenhum livro. “Que teoria é essa?” Não é nenhuma teoria. Isso é uma coisa com uma categoria muito básica. E aquilo nunca tinha passado pela cabeça dele.

Interlocutor: É o fundamento do que ele faz.

Professor: Eu pensei: “isso é a Matemática, é o ens quantum, é o sujeito da ciência matemática!” O pessoal da universidade, de exatas, têm boa formação porque eles têm boas técnicas nesse sentido. Técnicas, computacionais, teoréticas, lógicas, mas eles mesmos não sabem muito da natureza daquilo que eles estão tratando. Esse é o ponto. Nós devemos estar formados, preparados para isso, para quando encontrarmos um desse, podermos fazer as perguntas certas e darmos as respostas certas também. Eu sei que entre nós, que temos uma formação um pouco mais tomista, tem pouca gente que trabalha com o conhecimento da categoria quantidade e com a própria Matemática. 

Hoje a Matemática está muito desenvolvida. Só que é uma Matemática descolada no seu fundamento. Ela tem a sua conexão com o fundamento que é o ens quantum, mas cada vez mais ela se tornou descolada desse fundamento. Em Matemática, nós temos os constructos, por exemplo, estudamos em álgebra: anéis, grupos, corpos, álgebra mesmo, que são conjuntos estruturados como operações. 

Interlocutor: Professor, antes de entrar em álgebra, eu gostaria de fazer uma pergunta que cai em meus interesses. Eu não sei exatamente qual seria o conceito estrito de álgebra, mas o fato é que mesmo eu trabalhando em pesquisa linguística, tenho de usar algo que eles chamam de álgebra. Tenho de fazer cálculos, seja para mexer em programa de computador, para ele ficar rodando ou para demonstrar alguma coisa. Eles chamam isso de álgebra. O que me parece mesmo eu não tendo nenhum conhecimento técnico aprofundado nisso, é que a álgebra é só uma técnica que pode ser usada em várias ciências. Não é exatamente algo, uma parte da Matemática, mas é uma técnica. Pode ser usado pela Linguística, pela Computação ou pela Matemática. Para o senhor, o que é a álgebra?

Professor: Bom, primeiramente, a Álgebra é uma palavra de origem árabe al-jabr. Que significa a recuperação no sentido de repor um equilíbrio. Esse é o conceito original de Álgebra. A Matemática é dividida em Geometria que vai se aprofundar em Topologia; é dividida em Álgebra, que é um aprofundamento da Aritmética. Primeiro a noção de Álgebra é um aprofundamento da Aritmética. Temos a Análise e temos a Matemática Aplicada. A Álgebra trata de conjuntos estruturados. Esse é o sujeito da ciência Álgebra. E a Álgebra tem suas técnicas.

A palavra álgebra hoje tem conotações que não é a álgebra matemática. Por exemplo, quando você tem que fazer um processo de decisão e você tem um algoritmo. Você pode chamar isso de modo muito aproximado de álgebra. Mas é uma espécie de figura de linguagem. Não é um termo técnico bem definido. Eu vou fazer algo que é uma álgebra dos lugares comuns ou uma álgebra dos topoi. Isso é uma figura de linguagem, porque a álgebra mesmo é a álgebra matemática.

É aquela coisa que falamos na reunião passada da palavra emergência. Hoje em dia, a palavra emergência é usada em diversos contextos que não cabe a ela, porque é um termo bem definido. Isso faz parte de uma língua viva. Esses usos não ortodoxos do conceito principal da palavra. Nesse caso, emergência, e noutro caso, álgebra. Não sei se respondi [sua pergunta].

Por hoje, é isso. É suficiente. Tem bastante coisa.

Obs.: Os grifos e as partes entre colchetes são nossos.

* Quando o professor se refere a corta a reta, ele está se referindo a intersecção desta reta com uma outra, no caso aquela reta pertencente a referida faca. De modo análogo, com o sólido.


Curta nossa página no facebook Summa Mathematicae. Nossa página no Instagram.



Total de visualizações de página