Académique Documents
Professionnel Documents
Culture Documents
importante dos perodos em matemtica, este ensaio uma tentativa de investigar o carter
de tais transformaes.
Recentemente, tem havido uma considervel interesse no crescimento e natureza da
matemtica e sua relao com o desenvolvimento dos saberes em geral.
No Outono de 1974, na reunio cinquentenrio da Histria da Cincia
Sociedade, uma sesso inteira foi dedicada historiografia da matemtica e
ao relacionamento entre crescimento do conhecimento e padres foram descritos em
Thomas S. Kuhn 's livro A estrutura da revoluo cientfica (1962, segunda edio,
ampliada, 1970a). Naturalmente, a questo da revolues se levantou, e com ele as
transformaes ou revolues ocorrem. Quando convidado a considerar o exemplo da
teoria Cantoriana, aproveitei a oportunidade para sugerir que as revolues, de fato, ocorrer
em matemtica, embora o exemplo a teoria dos conjuntos transfinitos parecia implicar que
Trabalho revolucionrio de Cantor no se encaixava modelo do quadro do Professor Kuhn
de anomalia-crise-revoluo. Tampouco h, talvez, qualquer razo para esperar que uma
disciplina puramente logico-deductive como a matemtica deve sofrer o mesmo tipo de
transformaes, revolues ou como as cincias naturais.
Interesse semelhante na natureza do conhecimento matemtico e seu crescimento foi
evidenciado no Workshop sobre a Evoluo da Matemtica Moderna realizada no
a Academia Americana ou Artes e Cincias, em Boston, 07-09 agosto de 1974. De
todos os participantes no workshop, ningum questionou o fenmeno da revolues na
matemtica de forma to direta como o fez o Professor Michael Crowe do
Universidade de Notre Dame. Em um breve artigo preparado para o workshop e
posteriormente publicado em Historia Mathematica, ele concluiu enfaticamente
como sua dcima 'lei' que nunca "revolues ocorrem em matemtica.
Minha inteno aqui, no entanto, argumentar que as revolues podem ocorrer na
histria da matemtica, e que a descoberta grega de medidas de incomensurveis
magnitudes e criao de George Cantor da teoria dos conjuntos transfinitos so
exemplos especialmente apropriado de tais transformaes revolucionrias.
4.1. Revolues e histria da matemtica
Se possvel discernir revolues em qualquer disciplina depende do que se
quer dizer com o termo "revoluo". Em insistir que as revolues nunca ocorrem em
Matemtica, Professor Crowe explica que a razo para afirmar isso como "lei"
depende de sua prpria definio de revolues. Como ele diz, "negao de sua existncia
baseia-se numa definio um tanto restrito de "revoluo", que em
meu ponto de vista implica a especificao de que uma entidade previamente aceita dentro
da matemtica propriamente dito para ser rejeitado "(Crowe 1975, p.470).
Dito isto, no entanto, ele est disposto a admitir que a geometria no-euclidiana, por
exemplo, "fez levar a uma mudana revolucionria nas vistas quanto natureza da
matemtica, mas no dentro da prpria matemtica (Crowe 1975, p. 470).
Certamente pode-se questionar a definio Professor Crowe adota para
que a mais nova autoridade, o sistema aceita tem sido prejudicada e melhores autoridades
aparecem em seu lugar. Tais revolues representam violaes
em continuidade, e so de tal grau, como Fontenelle diz que eles so
inconfundvel, mesmo para o observador casual. Fontenelle nos ajudou, de fato, por
enfatizando a descoberta do clculo como um evento como esse, e ele mesmo
leva o trabalho de I'Hpital como o marcador de identificao, tanto quanto de Newton em
Principia de 1687 marcou a revoluo cientfica em fsica ou o Glorioso
Revoluo do ano seguinte marcada revoluo poltica da Inglaterra a partir de
a monarquia Stuart. A monarquia, como sabemos, persistiu, mas sob condies muito
termos diferentes.
Em grande parte o mesmo sentido, as revolues tm ocorrido em matemtica,
No entanto, devido natureza especial da matemtica, no sempre o
caso em que uma velha ordem refutada ou virado para fora. Embora possa persistir, a
velha ordem, no entanto, f-lo em termos diferentes, em radicalmente alterados ou
expandiu contextos. Alm disso, muitas vezes claro que as novas idias nunca
foram permitidos dentro de uma interpretao estritamente interpretada do velho
matemtica, mesmo que a nova matemtica acha possvel acomodar as descobertas antigas
de uma forma compatvel ou consistente. Muitas vezes, muitos dos
teoremas e descobertas da matemtica LHE mais velhos so relegados a um
posio significativamente menor, como resultado de uma revoluo conceitual que traz
toda a teoria inteiramente nova ou disciplina matemtica para a ribalta. Esta foi
certamente, como Fontenelle considerado o clculo. Da mesma forma, tambm possvel
interpretar a descoberta de magnitudes incomensurveis na Antiguidade como a ocasio
para a primeira transformao grande em matemtica, ou seja, a sua
transforrnation de uma matemtica de nmeros discretos e suas relaes a um
nova teoria de propores, tal como apresentado no Livro V dos Elementos de Euclides.
4.2. A DESCOBERTA Pitgoras de grandezas incomensurveis
Aristteles relata a doutrina pitagrica que todas as coisas eram nmeros, e
supe que esta viso, sem dvida, teve origem em vrios tipos de emprica
observao. Por exemplo, em termos de teoria musical pitagrica o estudo da
harmonia havia revelado as constncias marcante matemtica da proporcionalidade.
Quando as relaes de comprimentos de corda ou colunas flauta foram comparados, o
harmnicos produzidos por outros comprimentos, mas proporcionalmente similar, foram os
mesmos. Os pitagricos tambm sabia que qualquer tringulo com lados de 3, 4, 5,
qualquer unidade possam ser tomadas, era um tringulo riqht. Isso tambm apoiaram o seu
e crena de que os rcios de nmeros inteiros reflete certas invariante e universal e em
propriedades. Alm disso, a astronomia pitagrica ligados terrestres, tais harmonias com os
movimentos dos planetas, onde a harmonia numrica, ou
regularidade cclica do dirio, as revolues mensal ou anual, foi to marcante como
as harmonias musicais os planetas foram acreditados para criar como eles se mudaram em
seus ciclos eternos. Ali essas invariantes deu substncia de Pitgoras
doutrina de que os nmeros-os nmeros e suas relaes who1e foram responsveis
para a estrutura oculta da natureza ali, como comentrios de Aristteles:
representada por uma srie trigonomtrica no s foi representada exclusivamente, mas que
no intervalo de representao de um nmero infinito de pontos pode ser exceo contanto
que o conjunto de pontos excepcionais, ser distribudos em um determinado condio dum
modo limitou-se a conjuntos de Cantor descrito como ponto de conjuntos de a primeira
espcie (Dauben 1979, pp 41-2). Dado um conjunto P, a coleo de todos os limites de
pontos p em P defincd seu primeiro conjunto derivada, P '. Da mesma forma, representou a
segunda derivada conjunto de P, e tem pontos limite ali de P '. Processo analogamente, para
qualquer conjunto P Cantor foi capaz de gerar uma seqncia inteira com conjuntos
derivados P ', P ", P .... foi descrito como um ponto se! das primeiras espcies de ir, por
alguns I! ndice P "= 0.
Conforme descrito no artigo de 1872, set-theorctic elernentcry Cantor conceitos
no podia romper em uma nova autonomia prpria. Embora ele teve a idia bsica nmeros
transfinitos deA na seqncia de conjuntos derivados P ',
P ", ..., P <Xl, P <Xl + 1, ..., a base para qualquer diferenciao conceitual articular
entre P "e P '" estava faltando. Ainda, Cantor no tinha base precisa para
definir o primeiro nmero transfinito 00 seguintes todos os nmeros naturais finitos n
Um quadro geral em que estabelecer o significado e utilidade de nmeros transfinitos
estava faltando. O nico guia Cantor poderia oferecer era o
condio vaga que P "= I 0 para todo n, que separou conjuntos de primeira espcie
daqueles segunda deA. Cantor no poderia comear a fazer progressos significativos
at que ele percebeu que havia ainda outras distines a serem feitas no
ordens de magnitude entre os conjuntos discretos e contnuos. At a dose de
1873, Cantor nem sequer suspeitar da possibilidade de tais diferenas.
A fim de defender o seu teorema da unicidade de 1872, Cantor descobriu que ele
necessrios para apresentar uma anlise cuidadosa dos pontos de limite e propriedades de
conjuntos derivados, bem como uma teoria rigorosa dos nmeros irracionais.
Foi o problema do cuidado e preciseJy definir os nmeros irracionais.
Cantor, que forou a enfrentar a complexidade topolgica e
considerar seriamente a estrutura de conjuntos derivados das primeiras espcies.
Depois do sucesso de seu trabalho de 1872, foi um passo natural para pesquisar
propriedades que distinguem o continuum dos nmeros reais de outros
conjuntos infinitos Iike a totalidade dos nmeros algbricos racional 01 '. O que Cantor
logo estabeleceu foi sornething a maioria dos matemticos havia assumido, mas que
ningum tinha sido capaz de formular precisamente: que havia mais real
nmeros nmeros thannatural, racional, ou algbrica (Cantor 1874). Cantor
descoberta de que os nmeros reais eram no-enumervel no estava em itseIf
revolucionrio, mas fez o possvel inveno de novos conceitos e uma
radicalmente nova teoria do infinito. Quando acoplado com a idia de um-para-um
correspondncias, foi possvel distinguir mathernatically para o primeiro
tempo entre magnitudes diferentes, ou poderes, do infinito. Em 1874 ele era apenas
capaz de identificar conjuntos enumerveis e no enumerveis. Mas como seu pensamento
avanados, ele acabou por ser capaz de separar sua teoria frorn especfico
exemplos de conjuntos de pontos, e em 1883 ele estava pronto para publicar seu
Grundlaqen, no qual ele apresentou uma teoria completamente geral dos nmeros
transfinitos.
Foi no Grundlaqen que Cantor introduzido toda a hierarquia de classes nmero infinito em
termos de ordem tipos de conjuntos bem ordenados. Mais de 12 anos mais tarde, em seu
ltimo grande publicao, o Beitrqe de 1895 e 1897, ele formulou o mais radical e
poderosa de suas novas idias, a sucesso inteira de seu cardinal transfinito Numerador.
Introduo de Cantor do infinito, sob a forma de transfinito nmeros foi uma partida radical
frorn prtica tradicional matemtica, mesmo dogma. Isso era especialmente verdadeiro
porque os matemticos, filsofos e telogos, em geral, havia repudiado o conceito, desde a
poca de Aristteles.
Philosophrs e matemticos rejeitado completou largeh infinitos
por causa da sua alegada inconsistncia lgica. Telogos representado
outra tradio de oposio ao infinito real, considerando-a como uma direta
desafio para a natureza nica e absoluta infinito de GGD. Mathematieians,
como filsofos, tinha sido cauteloso do infinito real por causa da
dificuldades e paradoxos que parecia inevitavelmente a intraduce no
mbito da matemtica. Gauss, na maioria dos termos expressou sua autoridade;
oposio ao uso de tais infinidades de matemtica em uma clebre carta a
Heinrich Schumacher.
Mas a respeito de sua prova, eu protesto acima ali contra o uso de uma quantidade infinita.
[GrosseJ como um concludo, que na matemtica no permitido. O infinito apenas
uma fa; na de parler, em que um proper1y fala de limites.
Cantor acreditava, ao contrrio, que, com base em rigorosa, matemtica
distines entre o potencial eo infinito atual, no houve razo para manter as objees de
idade e que era possvel superar objees de matemticos como Gauss, filsofos como
Aristteles, e telogos como Toms de Aquino, e para faz-lo em termos ainda que iria
encontrar impossvel rejeitar. No processo, Cantor foi levado a considerar no somente os
epistemolgica problcms sua nova nmeros transfinitos levantadas, mas a formula tambm
uma metafsica de acompanhamento. Na verdade, ele argumentou convincentemente que a
idia de infintsimos deA real foi implicitamente parte de qualquer potencial e que a nica
razo pela qual os matemticos tinham evitado usando o infinito real foi porque eles foram
incapazes de ver como os paradoxos conhecidos de infinitsimos.
Ele argumentou que uma vez que a auto-consistncia de seus nmeros transfinitos foi
reconhecido, no podia ser recusado um lugar ao lado do outro, mas aceitos
uma vez disputada membros da famlia matemticos, incluindo irracional e
nmeros complexos (Cantor 1883, p. 182). Na criao da teoria dos conjuntos transfinitos.
Cantor estava fazendo uma contribuio significativa para a constelao de
ideias matemticas.
Uma preocupao central com a defesa toda de Cantor da teoria dos conjuntos transfinitos
foi a natureza da matemtica ea questo do que cri trios determinou a
aceitabilidade dos conceitos matemticos e argumentos. Ele reforou sua
suppart da teoria dos conjuntos transfinitos com uma anlise torta sim dos familiares e
aceita nmeros inteiros positivos. Na medida em que foram considerados como bem
definidos na mente, distintas e diferentes componentes frorn ali outras de pensamento,
serviram em um sentido connectional ou relacionais, disse ele, para modificar a substncia
do prprio pensamento (Cantor 1883, p. 181). Cantor descreveu esta realidade que
nmeros inteiros, consequentemente, assumido como sua intrasubjective ou simplesmente
a realidade. Em contraste com os nmeros a realidade poderia assumir em estrita em termos
de esprito, no entanto, foi a realidade que poderia assumir em termos de corpo, manifestar
em objetos do mundo fsico. Cantor explicou ainda que esta segundo tipo de realidade
surgiu a partir do uso de nmeros como expresses ou imagens de processos no mundo dos
fenmenos naturais. Esse aspecto dos nmeros inteiros, ser eles finito ou infinito, Cantor
descrito como transubjective ou transitrios realidade.
Cantor alegou especificamente a realidade dos aspectos fsico e ideal
ofhis abordagem do conceito de nmero. A realidade dual, na verdade, eram sempre
encontrada em um sentido juntou, na medida em que um conceito que possui uma realidade
imanente sempre possuiu uma realidade transitria tambm. Cantor acreditava que para
determinar as conexes entre os dois tipos de reaJity foi uma das difceis da maioria dos
problemas da metafsica.
Enfatizando a natureza intrasubjective da matemtica, Cantor conc1uded
que era possvel estudar apenas as realidades imanentes, sem ter que confirmar ou
correspondam a qualquer contedo subjetivo. Como observado anteriormente, este
conjunto de matemtica para alm de outras cincias ali e deu-lhe uma independncia
do mundo fsico que proporcionou uma grande liberdade para os matemticos na
criao de conceitos matemticos. Foi sobre estas graunds que Cantor
ofereceu seu dictum agora Iamous que a essncia da matemtica a sua liberdade.
Como ele mesmo disse na Grundlaqen (Cantor 1883, p. 182):
Devido a esta situao extraordinria que distingue a matemtica a partir de outros ali
cincias, e que produz uma explicao para a forma relativamente Iree-e-casy de
persegui-lo, especialmente merece a offi'ee narne 1 /! Q (lzelllalics, uma designao que
eu, se
Eu tivesse a escolha, preferiria a j tradicional matemtica "pura" .
Cantor estava afirmando a liberdade dentro da matemtica para permitir a criao
e aplicao de novas idias com base na consistncia intelectual sozinho.
Matemtica era, portanto, absolutamente livre no seu desenvolvimento e vinculado apenas
exigncia de que seus conceitos no perrnit contradies internas, mas que
eles seguem em relao definitiva com as definies dadas anteriormente, axiorns, e
teoremas. Matemtica, Cantor beJieved, foi a nica cincia que foi justificada em liberar-se
Irorn qualquer grilhes metafsica. Sua liberdade, insistiu Cantor, foi a sua essncia.
O destacamento de maihematics das restries de uma estrutura imposta
incorporados no mundo natural libera-lo a partir dos problemas metafsicos inerentes
em qualquer tentativa de compreender as cincias estatuto final deA fsica e da vida.
Matemticos no enfrentam a preocupao de cientistas que deve tentar
tornar a teoria de acordo com algum tipo de dado da realidade externa, contra a qual
at mesmo seu prprio desconforto com o infinito para fundamentar sua transfinite
nmeros. Talvez no haja melhor qualidade de deA indicao revolucionrio ou um novo
avano na matemtica do que a medida em que ele se encontra com oposio. A revoluo,
ento, consiste tanto em ovcrcoming estabelecimento oposio como faz em visionrio
LHE idias qualidade deA prprios novos.
A partir dos exemplos que temos aqui investigados, parece claro que
matemtica pode ser revolucionado pela descoberta de algo inteiramente
novo e completamente inesperado dentro dos limites da teoria anterior.
Descoberta de magnitudes incomensurveis ea eventual criao oi
nmeros irracionais, os nmeros imaginrios, o clculo, no-euclidiana
geometria, nmeros transfinitos, os paradoxos da teoria dos conjuntos, mesmo de Gdel "
como prova de incompletude, so todos os revolucionrios, eles vieram alterar as oformas
de contedo e as formas pelas quais a matemtica considerada. Eles so cada fez mais do
que simplesmente adicionar matemtica, que tm cada
transformou. Em cada caso, a matemtica no mais velha o que parecia
ser, talvez j no interesse mesmo ofrnuch quando comparado com o novo e
idias revolucionrias que suplant-la.
AGRADECIMENTOS
Esta pesquisa foi originalmente realizado durante 1977-8, quando o autor era um
membro do Instituto de Estudos Avanados, Princeton, sob os auspcios de LHE
uma bolsa Herdoto. Apoio adicional tambm foi fornecido por doaes
da Universidade ofNew York PSC-BHE Programa Prmio de Pesquisa.
5
Apndice (1992): revolues revisitado
JOSEPH DAUBEN
Revolues nunca ocorrem em matemtica.
Michael J. Crowe
Cauchy foi o responsvel pela primeira grande revoluo no rigor matemtico
LHE desde o tempo dos gregos ancienl.
J. V. Grabiner
Anlise Nonslandard revolucionrio. Revolues so raramente weJcomed por
LHE estabelecida partido, embora muitas vezes so revolucionrios.
G. R. Blackley
Argumentei em meu artigo de 1984 (reimpresso como captulo 4 deste volume) que
revolues em matemtica ocorrem, e desde os detalhes com dois exemplos:
(1) a descoberta de magnitudes incommensurablc na Antiguidade, e os
problern dos nmeros irracionais que engendcred;
(2) a criao da teoria dos conjuntos transfinitos e da revoluo LHE trouxe bj:
Nova matemtica Georg Cantor do infinito no sculo XIX ..
No que se segue, dois adicionais, histrias de casos intimamente relacionados so
considerados,
cach do que representa mais um exemplo de mudana revolucionria na
mathernatics:
(I) a introduo de novos padres de rigor para o clculo por
Augustin-Louis Cauchy no sculo XIX;
(2) a criao, neste sculo, de no-padro de anlise por Abraham Robinson.
Cada um destes exarnplcs pode ser considerado como muito mais do que simplesmente
uma outra,
partida da novela para a matemtica. Cada um representa uma nova maneira de fazer
mathcmatics, por meio do qual a sua cara e frarnework foram drarnatically
altercd de forma que, na verdade provou ser revolucionrio.
5.1. REVOLUO NO RIGOR Cauchy
A revoluo provocada por Newton e Leibniz (ver captulos 8 e 7,
respectivamente) no foi sem a sua problerns, como LHE penetrante crticas
Bishop Berkeley, Bernhardt Nieuwentijdt, e Michel Rolle atestam (Boyer
1959; Grattan-Guinness 1969; Guiceiardini 1989). Em Faet, o dcimo oitavo
sculo, despi te a sua vontade de usar o clculo, a secms ha ve sido atormentado
por um sentimento concomitante de dvida sobre se seu uso foi realmente legtimo ou
no. Funcionou, e, na falta de alternativas, rnathcmaticians persistiu em
aplic-lo em diversas situaes. No entanto, thc deA validade fundacional
clculo foi muitas vezes objecto de discusso, debate, e problemas de prmio. O
mais conhecido deles foi o concurso anunciado em 1784 pelo Berlin
Academy of Sciences. Joseph-Louis Lagrangc tinha sugerido questo de thc
as bases do clculo e do concurso, por sua vez resultou em dois livros
na subjeet, Simon L'Exposition Huilier's llllellwire e Lazare Carnot
Ia Rfiexions Sul 'mtapliysique du calcul infinitesimal.
Nem Dessas, entretanto, foi totalmente satisfatria, e ningum pensava que
mudando rea, s vezes, absorvendo novos sistemas e, por vezes, eliminando as antigas, ou
relegando-os para o sto. (Rabinson 1973, p. 14)
Robinson, claro, estava liderando at a maneira em que no-padro
anlise tinha quebrado os limites do tradicional Cantor-Dcdekind
compreenso dos nmeros reais, assim como Cantor e Dedekind teve
substancialmente transformada como continuao foram compreendidos um sculo antes,
em termos de Dedekind 'cortes', ou ainda mais radieally com a teoria de Cantor de
transfinite nmeros ordinais e cardinais (Dauben 1979).
Houve uma importante lio a ser aprendida, Robinson acredita, no
eventual aceitao de novas idias de nmero, apesar de sua novidade ou a
controvrsias que possam provocar. Em ltima anlise, as realidades no pode ser utilitria
negligenciado 'ignorado para sempre. Com um olho no futuro da no-padro
anlise, Robinson ficou impressionado com o destino de uma outra teoria concebido no
final de do sculo XIX, que tambm tentou, como os de Hamilton, Cantor,
e Robinson si mesmo, para desenvolver e expandir as fronteiras do nmero.
Na dcada de 1890 Kurt Hensel apresenta o seu j familiar p-adic nmeros em
fim de investigar praperties dos nmeros inteiros e outros nmeros. Ele tambm
percebeu que os mesmos resultados eould ser obtido de outras maneiras. Consequntemente
muitos matemticos vieram a considerar o trabalho Hensel como um jogo agradvel, mas
como Robinson (1973, p. 16) se observou, "rnany dos contemporneos de Hcnsel foram
reluetant para adquirir o teehnques envolvidos na manipulao de os novos nmeros e
pensei que eles constituam uma carga desnecessria.
O mesmo pode ser dito de no-padro de anlise, particularmente luz da
Robinson princpio de transferncia que, para qualquer prova fora do padro em R * (o
sistema no-padro prolongado de nmeros reais contendo ambos os infinitesimais
e infinitamente grandes nmeros), h uma prova padro correspondente,
complicado que seja. Alm disso, muitos so relutentes para dominar a maquinaria lgica
da teoria com a qual o modelo de Robinson desenvolveu sua verso original no-padro de
anlise. Graas a Jerome Keisler (1976) e WAJ Luxemburg (1964), entre outros, no
anlise padro agora acessvel para os matemticos, sem terem de
mathematicallogie aprender como pr-requisito. Para aqueles que vem no-padro
anlise como um modismo, no mais do que um jogo agradvel atualmente como p-Adie
nmeros, a histria posterior de idias Hensel deveria dar uma cticos exarnple para
ponderar.
Hoje nmeros so considerados co-igual com os reais, e tm
provou ser uma rea frtil de investigao matemtica.
O mesmo tem sido demonstrado por no-padro anlise, por sua
aplicaes nas reas de anlise, a teoria de variveis complexas,
fsica matemtica, economia, e uma srie de outros campos tm mostrado a
utilidade da prpria extenso de Robinson LHE conceito de nmero. Como Hensel
p-adic nmeros, anlise no-padro pode ser evitado, apesar de faz-lo pode
provas complica te e tornar as caractersticas bsicas de um argumento menos intuitivo.