Você está na página 1de 25

Revolues conceituais e histria da matemtica:

dois estudos no crescimento do conhecimento (1984) *


JOSEPH DAUBEN
Na maioria das cincias h uma gerao de lgrimas para baixo que uma outra construiu, e
o que uma criou outra desfaz. Cada gerao sozinha constri um novo piso para a antiga
estrutura.
Hermann Hankel
Je le vois, je ne le Mais crois pas.
Georg Cantor
Transformao, atravs da apresentao de cada conceito anterior, a teoria, lei ou
principie como a ocasio de uma inovao, focaliza a ateno sobre a causa, o
possvel razo pela qual apenas um dos muitos cientistas a quem a idia cientfica
era conhecido produzido a transformao em questo.
I. Bernard Cohen
Tem sido frequentemente argumentado que as revolues no ocorrem na histria da
matemtica e que, ao contrrio das outras cincias, matemtica acumula
conhecimento positivo sem revolucionar ou rejeitar o seu passado. Mas h
certos momentos crticos, mesmo em matemtica, que sugerem que as revolues
acontecem, que as novas encomendas so trazidas e, eventualmente, servir para suplantar
uma matemtica mais antia. Embora existam muitos exemplos importantes de tais
inovaes na histria da matemtica, dois so particularmente instrutivo:
a descoberta pelos gregos antigos de magnitudes incomensurveis, e a
criao da teoria dos conjuntos transfinitos por Georg Cantor, no sculo XIX.
Ambos os exemplos so to diferentes em carter como eles so separados no tempo e
mas cada um fornece um exemplo claro de uma grande transformao no pensamento da
matemtica.
Descoberta dos gregos de magnitudes incomensurveis trouxe mudanas que no foram
menos significativa do que a transformao revolucionria matemtica experimentou no
sculo XX como resultado de Georg Cantor.
Teoria dos conjuntos de Cantor. Tomando cada um destes como marcao de transio

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

"Revoluo". desnecessariamente restritiva, e, no caso da matemtica que


define revolues de tal forma que eles so inerentemente impossvel dentro do seu
quadro conceitual. No entanto, momentos revolucionrios foram identificados, no s por
historiadores, mas igualmente por matemticos Em vez de
dizer que o sentido da revoluo, no h razo para no permitir sua possibilidade e sim em
legitimamente descrever certas mudanas penetrar na evoluo da
matemtica. No entanto, antes das mudanas ainda a afirmao de que as revolues
nunca ocorrem na histria da matemtica, importante considerar que o significado da
revoluo como um conceito histrico. Aqui temos a sorte em ter um estudo recente do
professor Cohen para nos guiar. um resumo muito sucinto de resultados, devido em
grande parte a pesquisa do professor Cohen sobre objecto de revolues.
O conceito de revoluo fez sua primeira apario com referncia ao
eventos cientficos e polticos no sculo XVIII, embora com confuso e ambigidade
quanto ao significado do termo, de tal contextos. Em geral, a palavra foi considerado no
sculo XVIII como indicando uma quebra de continuidade, uma mudana de grande
magnitude, apesar de a revoluo velho sentido astronmico como um tambm um
fenmeno cclico que persistiu. Mas, na Revoluo Francesa, o novo significado ganhou
pretgio e, posteriormente revoluo comumente pode implicar uma radical mudana ou
novos modos tradicionais de ser, ou, pode ser aceitvel um pensamento. como uma srie de
descontinuidades de tal magnitude que constitui quebra definitiva. Aps tais episdios,
pode-se dizer que no h retorno para o antigo que foi substitudo.
Bernard de FonteneUe pode muito bem ter sido o primeiro autor a aplicar a palavra
"Revoluo" para a histria da mathernatica, ele refere-se ao pensamento do clculo
infinitesimal de Newton e Leibniz. "O que Fontenelle foi percebida uma mudana to
grande de uma ordem como ter alterado completamente o estado da matemtica. Na
verdade, foi to Fontene de identificar a data em que esta revoluo se reuniu tanta fora
que a sua era inconfundvel. Em seu elogio do matemtico Rolle, publicado
na Histoire de enguias eu Acadmie RoyaIe Cincias de 1719, refere Fontenelle
para a obra do Marqus de l'Hpital, sua Analisar infinimentsimos:
No livro do Marqus de l'Hpital tinha aparecido, e quase todos os
matemticos comearam a virar para o lado de A nova geometria de A infinito, at ento
pouco conhecida. A universalidade superando os seus mtodos, a brevidade elegante de
suas manifestaes, as solues finesses e objetividade e a sua singular
novidade sem precedentes, que embalaram o esprito e criou, no mundo da geometria, uma
revoluo inconfundvel.
evidente que esta revoluo foi no s qualitativa, como rcvolucionria. Foi um
revoluo que Fontenelle percebida em termos de carter e magnitude,
sem invocar qualquer deslocamento princpio de qualquer rejeio do anterior
matemtica antes de a natureza revolucionria da nova geometria do
infinito poderia ser proclamado. Para Fontenelle, geometria de Euclides tinha sido
ultrapassou de uma forma radical pela geometria um novo no clculo e
este foi sem dvida um marco revolucionrio.
Tradicionalmente, ento, as revolues tm sido os episdios da histria em

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:

Os pitagricos como so chamados, iniciaram a pesquisa do 10 em matemtica e ter


feito grandes progressos na mesma, foram levados por esses estudos para assumir que o
utilizado em principios da matemtica se aplica a coisas ali existentes ... eles eram mais do
que nunca dispostos a dizer que os elementos das coisas que ali eram existentes encontramse em nmeros.
Mas quais foram esses nmeros? Para os novos pitagricos, Aristteles indica
que eram, aparentemente, algo como fsica "mnadas", Na Metafsica, por exemplo, uma
passagem oferece a elaborao seguinte redaco: [A Pitagricos] compor todo o cu de
nurnbers, no de nmeros no sentido puramente aritmtica, embora, mas assumindo que
mnadas tm tamanho.
Este tipo de trabalho encontrou sua realizao no pitagricos "busca a
associar nmeros com coisas ali, e para determinar as propriedades internas,
e as relaes entre nmeros em si. Assim nmeros e pedras foram necessrios para delinear
a figura de um homem ou um cavalo foi tomada pelo Pitgoras
Eurytus como o "nmero" para o homem ou a cavalo. "A essncia de tais coisas era
expressa por um nmero particular. Alm disso, alguns pitagricos procuraram
estabelecer o nmero de justia, ou para o casamento. Outros distinguidos
nmeros que eram perfeitos (o Tetractys, por exemplo, 1 + 2 + 3 + 4 = 10),
amigvel, ou amigvel. Figurate nmeros, incluindo pentagonal e slido
nmeros, foram temas a1so de grande interesse. contra esse pano de fundo de
Numerologia pitagrica, em que o yo de todas as coisas foi pensado para ser
principie uma invariante de universo, expresso em termos de nmeros inteiros
e suas relaes, que a descoberta de magnitudes incomensurveis deve ser
visualizada. Os pitagricos "arithmology sem dvida, teria fornecido
incentivo suficiente para sua busca por os nmeros escondidos, o prevalecente
logos que regem o misticismo r mais importante objetos, por exemplo, o
pentgono ar a seo urea. Tambm possvel que a descoberta foi feita
em contextos menos rarefeito, atravs do estudo dos mais simples de tringulos retngulos,
o tringulo issceles.
Exatamente quando magnitudes incomensurveis foram primeiramente descobertos no
particularmente relevante para o argumento aqui. Da mesma forma, os detalhes da
descoberta inicial tambm so de importncia secundria, e podemos dispensar
o dilema de se a descoberta foi feita pela primeira vez no contexto de que
Aristteles relata que, ao estudar a relao entre o comprimento da borda de um quadrado
com sua diagonal, ar se, como tem sido defendido por K. von Fritz (1945) e por S.
Heller (1958), que Hippasus incornmcnsurability encontrados em considerar a
construo do pentagon.l regular "O que nos preocupa a descoberta e
seus efeitos posteriores. Filosoficamente, teria certamente representou um
crise para os pitagricos.! "Tendo sido tentados pela harmonia sedutora
de generalizao, alguns pitagricos tinham levado longe demais a sua universal
princpio de que todas as coisas eram nmeros. A generalizao completa foi
inadmissvel, e essa percepo foi um grande golpe para o pensamento pitagrico, se
no para a matemtica grega. ln fato, um esclio de Livro X dos Elementos de Euclides

reflete a gravidade da descoberta de magnitudes incommensurab1e na


bem conhecida fbula do naufrgio e o afogamento de Hippasus:
sabido que o homem que pela primeira vez a teoria do pblico de irracionais pereceram
em um naufrgio, a fim de que o inefvel e inimaginvel
deve sempre permanecer velado ... e assim o homem culpado, que
fortuitamente e tocou em estas coisas a esse aspecto, foi levado para o lugar onde comeou
e h sempre batido pelas ondas.
O que merece ateno aqui so palavras "indizvel" e inimaginvel.
difcil, seno impossvel, para ns a apreciar o quo difcil deve ter sido conceber algo
que no poderia determinar ou nome-do inconcebvel-e isso foi exatamente o me dado
diagonal:
Isso reflete o duplo sentido logos deA palavra como palavra, como o dizvel ou
nomevel, e agora o irracional, como o indizvel. Neste contexto, fcil de entender o
comentrio: tinha medo desses homens da teoria dos irracionais, pois foi, literalmente, a
descoberta do "impensvel".
Em ltima anlise, no entanto, os gregos consideravam a descoberta no como uma crise,
mas como um grande avano. Quer ar no descoberta de magnitudes incomensurveis
precipitou uma crise na matemtica grega, e, em caso afirmativo, se afetado apenas os
fundamentos da matemtica e no a prpria matemtica, a
questo importante diz respeito resposta matemticos foram forados a fazer
uma vez que a existncia de magnitudes incomensurveis haviam sido divulgados e
era uma questo de conhecimento geral.
Qual o efeito final que esta descoberta tem sobre o contedo e natureza da
Matemtica grega? Acima de tudo, as teorias de Teeteto e Eudoxo no incio do sculo IV
aC (390-350 aC) serviu para inverter a nfase da matemtica antes. Considere, por
exemplo, a declarao de Arquitas (um incio de Pitgoras e professor de Eudoxo), que
foi enftico que a aritmtica era superior a geometria para o fornecimento de
provas satisfatrias. Aps a descoberta de grandezas incomensurveis,
tal declarao seria praticamente impossvel de justificar o fato, o oposto
estava mais perto da verdade, como o desenvolvimento de geomtrica grega.
Basicamente, a transformao de uma teoria torta sim de mensurvel propores (onde a
geometria e aritmtica pode ser considerado como coextensivo)
a uma teoria capaz de incorporar o magnitudes incomensurveis (para o qual
aritmtica era inadequada) gira em torno das contribuies de Thcaetetus e
Eudoxo. No entanto, sabemos fram Teeteto de Plato de que um grande passo
para a melhor compreenso do irracional. Theodorus, que estabeleceu a
incomensurabilidade de certos magnitudes de at (mas no incluindo) por meio de
construes geomtricas. Apesar de conquistas Theodorus eram limitados devido sua falta
de uma teoria aritmtica suficientemente desenvolvido, alguns historiadores
que ele comeou a desenvolver uma geometria mtrica capaz de lidar com a aritmtica
propriedades em muito a forma de proposies no Livro II dos Elementos de Euclides.

Aps o seu professor Teodoro, Teeteto se interessou pelo


propriedades gerais de incomensurveis e produziu a classificao que
to impressionado Scrates no Teeteto, de Plato, 148b-147C). Alm disso,
Teeteto percebeu que, para tratar com sucesso incomensurveis, geometria
teve que incorporar mais dos resultados da teoria aritmtica, e assim ele procurou
traduzir os resultados necessrios algbrica em termos geomtricos. Aqui ele se concentrou
em a aritmtica propriedades dos nmeros primos relativos, usando o processo de
determinao maiores fatores comuns por meio de sucessiva subtrao Este Teeteto
ativado para reformular a teoria da proporo de incluir certas magnitudes incomensurveis
que ele classificou como o medial, binomial, e estas foram suficientes para os resultados em
que ele estava interessado. Teeteto mas aparentemente no foi inspirada para estudar nova
teoria de proporo algo em si, a morte de sua prematura certamente excluda.
Eudoxo, no entanto, percebeu que o mtodos tinha trazido para
geometria da aritmtica para a finalidade de estudar incomensurveis
realmente pode fornecer a base para uma teoria ainda mais abrangente de
proporo. Ao estudar a construo do pentgono regular,
dodecaedro e icosaedro, Eudoxo parece ter percebido que estes, como
segmentos dividida em razo mdia e extrema, envolvidos em incomensurveis
magnitudes que no foram includos nas trs classes tratadas por Theactetus
(Knorr 1975, pp 286-8). Por causa de seu interesse em um formal, mais
teoria abrangente de propores, ele transformou os mtodos de Teeteto concentrando-se na
teoria da prpria proporo e produzir em grande medida, os teoremas claborated no Livro
V de Euclides Elementos, onde o conceito de mltiplos iguais, foi possvel desenvolver um
teoria da proporo que era geralmente aplicveis a incomensurveis. O
vantagens da teoria LHE Eudoxan novos eram considerveis, e comparao
com a abordagem anthyphairetic Theactetus fez c1ear as diferenas
Aristteles, na verdade, contrastcd LHE dois em vrias ocasies, e assinalou formulao de
Eudoxo y.
Tendo produzido uma teoria abrangente de proporo, no entanto,
Eudoxo e seus seguidores, talvez o principal deles Hermotimus de
Colofo, tambm tiveram interesse em proporcionar um desenvolvimento systemalic da
nova teoria que, eventualmente, desde a estrutura bsica para o livro de Euclides V
do Elentents, um livro por scholiast tentativcly atributos para Eudoxo. Em
lidar com magnitudes incomensurveis ", desconhecido e problemtico"
conceitos como Morris Kline (1972, p. 50) descreveu-os, a necessidade de
formular axiomas e deduzir conseqncias, um por um, para que nenhum erro
possa ser feito foi de especial importncia. Esta nfase, na verdade, reflete
Interesse de Plato, na certeza de dialtica da matemtica e foi sintetizado em
a grande sntese euclidiana, que procurou trazer o rigor da
argumentao axiomtica para a geometria. Era com esse esprito que Eudoxo,
comprometeu-se a fornecer LHE base precisa lgica para as relaes incomensurveis,
e, assim fazendo, deu grande impulso lgica, axiomtica, a priori
revoluo identificada por Kant (1781-7) como LHE grande transformao operada
na matemtica por LHE gregos.

Ao concluir este breve resumo do mathernatics gregos e os


transformao causada pela descoberta de magnitudes incomensurveis,
vrios aspectos dessa transformao merecem destaque especial, principalmente,
duas coisas eram inaceitveis aps a descoberta de incomensurveis: (I) a
Pitgoras interpretao da relao, e (2) a entrada em jogo de provas
tinham dado sobre magnitudes comensurveis. A nova teoria foi
necessrios para acomodar irracional magnitudes e este foi fornecido pela
Theactetus e Eudoxo. A transformao menos dramtica da definio de
o coneept nmero foi um processo, mas ao longo de sculos,
levou a admisso de nmeros irracionais como sendo to aceitvel
ontologicamente como nmeros naturais ou fraes.
Totalmente parte mais lento, mais sutil do nmero
conceito, no entanto, foi o dramtico, a transformao muito mais rpido do
carter da matemtica grega em si. Porque a aritmtica poderia Pythagorcan
no acomodar magnitudes irracional, lgebra geomtrica (pesado
se fosse), desenvolvido em seu lugar. No processo, a matemtica grega foi
diretamente transformado em algo mais poderoso, mais geral, mais
completa. Central para essa transformao foram elementos auxiliares que refletia
a transformao em curso. Uma nova interpretao da matemtica deve ter
descartado como insustentvel a doutrina de Pitgoras mais velhos que todas as coisas
foram nmero havia agora as coisas que no tinha nmeros na
Pitgoras sentido da palavra e sua viso do nmero foi
correspondentemente inadequada. O mais velho conceito de nmeros foi severamente
limitada,
e na realizao dessa inadequao e da criao de um remdio para resolv-lo
carne da revoluo. Novas provas substitudo ones.Soon idade de uma nova teoria da
proporo surgiu, e como resultado, depois de Eudoxo, ningum podia olhar para
matemtica e acho que foi a mesma que tinha sido para os pitagricos.
No era possvel afirmar que Eudoxo tinha apenas acrescentou algo um
teoria de que anteriormente estava perfeitamente bem. A lio do irracional foi
que nem tudo estava bem. Como resultado da nova teoria de proporo, o
mtodos e contedos da matemtica grega foram muito diferentes, e
Comparao do Livro V de EucIid com LHE Pitgoras livros VII-IX (talvez
reftecting diretamente anteriormente aritmtica Irom LHE sculo anterior) revela a
profunda
transformao que Eudoxo e sua teoria da proporo trouxe para o grego
mathernatics. Os mtodos antigos foram suplantados, e evenluaIIy, embora o
mesmas palavras, "nmero" ou "proporo", pode continuar em uso, seu significado,
escopo e contcnt no seria o mesmo.
Na verdade, a transformao na conceituao de magnitudes irracional
nmeros irracionais representou uma revoluo prpria no nmero
conceito, embora este no era um transfonnation realizado pelos gregos.
Nem foi uma reviravolta de alguns anos, assim como as revolues mais poltico, mas uma
mudana bsica, fundamental. Mesmo que a evoluo foi relativamente lenta, isto faz no
alterou o efeito final de transformao LHE. O antigo conceito de nmero, embora a

palavra foi mantida, se foi, e em seu lugar, os nmeros includos


irracionais tambm.
Esta transformao do conceito de nmero, no entanto, implicou mais de
apenas por estender o antigo conceito de nmero pela adio de-LHE irracionais do
conceito de nmero inteiro era inerentemente mudado, transmutado por assim dizer, a partir
de uma viso de mundo em que s estavam inteiros nmeros, a uma viso do nmero que
acabou por ser relacionada com a integridade das syslem inteiro de reais
nmeros.
Na mesma maneira, a criao de Georg Cantor dos nmeros transfinitos em
do sculo XIX transformou a matemtica atravs da ampliao de seu domnio
finita para nmeros infinitos. Acima de tudo, passo o conceitual a partir de conjuntos
transfinitos para nmeros tansfinite representa uma mudana que foi em muitos aspectos o
mesmo que a mudana de magnitudes irracional nmeros irracionais. Do concreto para o
abstrato, a transformao em ambos os casos revolucionou a matemtica no acommodate
magnitudes irracional, lgebra geomtrica (pesado
se fosse), desenvolvido em seu lugar. No processo, a matemtica grega foi
diretamente transformado em algo mais poderoso, mais geral, mais
completa. Central para essa transformao foram elementos auxiliares que retlected
a transformao em curso. Uma nova interpretao da matemtica deve ter
descartado como insustentvel a doutrina de Pitgoras mais velhos que as coisas ali eram
nmeros - foram agora claramente coisas que no tm nmeros na
Pitgoras sentido da palavra e, consequentemente, ver o seu nmero era de
correspondentemente inadequada. O mais velho conceito de nmero foi severamente
limitada, e na realizao dessa inadequao e da criao de um remdio para resolv-lo
vieram as provas revolution.New substitudo os antigos. Em breve uma nova teoria de
proporo surgiu, e como resultado, depois de Eudoxo, ningum podia olhar para
matemtica e acho que foi a mesma que tinha sido para os pitagricos.
No era possvel afirmar que Eudoxo tinha mereIy acrescentou algo a um
teoria de que anteriormente estava perfeitamente bem. A lio do irracional foi
que nem tudo estava bem. Como uma teoria deA novo resultado de proporo, o
mtodos e eontent da matemtica grega foram muito diferentes, e
Comparao do Livro V de Euclides com LHE Pitgoras livros VII-IX revela a profunda
transformao que Eudoxo e sua teoria da proporo trouxe para o grego
matemtica. Os mtodos antigos foram suplantados e, eventualmente, embora o
mesmas palavras, "nmero" ou "proporo", pode continuar em uso, seu significado,
mbito e contedo no seria o mesmo.
Na verdade, a transformao na conceituao de magnitudes irracional
para nmeros irracionais representou uma revoluo de seu nmero inthe prpria
conceito, embora isso no foi uma transformao realizada pelos gregos.
Nem foi uma reviravolta de alguns anos, assim como as revolues mais poltico, mas uma
mudana bsica, fundamental. Mesmo evoluo ifthe foi reJativeJy lento, isso faz
no alterou o efeito final da transformao. O antigo conceito de nmero,
embora a palavra foi mantida, se foi, e em seu lugar, os nmeros includos
irracionais tambm.

Esta transformao deA ofnumber eoneept, no entanto, implicou mais de


apenas estender a coneept velha de nmero pela adio na irracionais-a
conceito de nmero inteiro era inerentemente mudado, transmutado por assim dizer, a partir
de uma viso de mundo em que s estavam inteiros nmeros, a uma viso do nmero que
foi eventuaIIy relacionadas com a integridade de todo o sistema de real
nmeros.
Da mesma maneira, a criao de Georg Cantor dos nmeros transfinitos em
o dcimo nono eentury transformada matemtica, ampliando seu domnio de
finita para nmeros infinitos. Acima de tudo, passo a eoneeptual a partir de conjuntos
transfinitos aos nmeros transfinitos representa uma mudana que foi em muitos aspectos o
mesmo que a mudana de magnitudes irracional nmeros irracionais. Do concreto para o
abstrato, a transformao em ambos os casos revolucionou a matemtica.
4.3. DESENVOLVIMENTO GEORG CANTOR DA TEORIA transfinitos
Nascido em So Petersburgo (Leningrado), em 1845, Georg Cantor deixou a Rssia para
Alemanha com seus pais em 1856.Following estudar no Ginsio de
Wiesbaden, escolas particulares em Frankfurt-am-Main ea Realschule em
Darmstadt, ele entrou em uma Gewerbeschule Hhere (Trade School), tambm em
Dannstadt, onde se formou em 1862 com o aval de que ele foi um aluno muito talentoso e
muito trabalhador "(Fraenkel 1930, p. 192). Mas seu interesses em matemtica levou-o a ir
para a universidade, e a bno dos pais, ele iniciou seus estudos avanados no Outono do
mesmo ano na Polytechnicum em Zurique. Infelizmente, seu primeiro ano tinha
interrompido no incio de 1863 pela morte sbita de seu pai, embora dentro do ano ele
retomou seus estudos, na Universidade de Berlim. L, ele estudou matemtica, fsica e
filosofia, e foi muito influenciado por trs
o maior mathernaticians do dia thc: Kummer, Weierstrass e Kronecker.
Aps o perodo de vero de 1886, que passou em Gttingen, Cantor
voltou a LHE Universidade de Berlim onde se formou em dezembro
com 'magna cum laude "a distino (Fraenkel 1930, p. 194). Seguinte
trs anos de ensino local e estudo como um membro da prestigiada
do seminrio para professores, Cantor Ieft Berlim para Halle, em 1869, a aceitar uma
nomeao como um Priuaidozent no Departamento de Matemtica. L
ele veio sob a influncia de uma ofhis colegas seniores, Eduard Heine, que
era apenas complcting um estudo de sries trigonomtricas. Heine Cantor pediu para
por sua vez seus talentos para um problema particularmente interessante, mas
extremamente difcil:
o de estabelecer a exclusividade da representao de arbitrria
funes por meio de uma srie trigonornetric. Dentro dos prximos trs anos,
Cantor publicou trabalhos tiva o assunto. A mais importante delas foi:
o ltimo, publicado em 1872, no qual ele apresentou um notvel geral e
soluo inovadora para o problema de representao.
Com habilidade impressionante Cantor foi capaz de mostrar que qualquer funo

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

essas teorias podem ser testadas, articulado, melhorado, revisto ou rejeitado.


Matemticos, se preocupar a todos, precisam faz-lo apenas em termos do mercado interno
consistncia de seu trabalho. Isso efetivamente elimina a possibilidade de mais tarde
discrepncias. Assim, os fundamentos no parecem apresentar dentro da matemtica
gerando anomalias e crise, ou para deslocar anteriormente com algumas novas teorias
incompatveis.
Uma conseqncia importante, de fato, da insistncia sobre a auto-consistncia
dentro da matemtica que seu avano necessariamente cumulativo. Novas teorias
no pode substituir o antigo, assim como o clculo no deslocaram geometria. Embora
revolucionrio, o clculo no foi um avano incompatveis requerendo
geraes subseqente ao rejeitar Euclides; nem transfinitos de Cantor
matemtica requerem deslocamento e rejeio do previamente estabelecido
trabalho na anlise, ou em qualquer outra parte da matemtica.
Avanos na matemtica, portanto, so geralmente cornpatible e consistente
previamente estabelecidos com a teoria, eles no confrontar e desafiar the
correo ou validade das conquistas anteriores e teoria, mas aumentar,
articular, e generalizar o que foi aceito antes. Trabalho de Cantor
conseguiu transformar ou influenciar uma grande parte da matemtica moderna
sem a necessidade de deslocamento ou rejeio prcia da matemtica.
4.4. Avano revolucionrio em MATEMTICA
Ser que isso significa, ento, que a matemtica, porque representa uma forma de
conhecimento em que o progresso genuinamente cumulativo, no pode experimentar
perodos de revoluo legtima? Certamente no. Dizer que a matemtica cresce
pela sucessiva acumulao dos saberes, ao invs de pelo deslocamento
da desacreditada teoria passado pela teoria nova, no o mesmo que negar
avano revolucionrio. Prova de Cantor do denumerability no do real
nmeros, por exemplo, levou crcation do nurnbers transfinitos. Esta foi
conceitualmente impossvel dentro dos limites da matemtica tradicional, mas dentro
nenhuma maneira o fez contradizer ou comprometer a matemtica finita. Trabalho de
Cantor fez e no substitui, mas fez aumentar a capacidade da teoria anterior de uma forma
que foi revolucionrio, que de outra forma ha ve sido impossvel, ele foi
revolucionrio a romper os laos e as limitaes da anlise anterior, assim como
nmeros imaginrios e complexos realizados mathcmatics a novos nveis de
generalidade e fez as possveis solues que poderiam ter sido
impossvel frmula te. Alm disso, a extensa reviso devido transfinite set
teoria de grande parte da matemtica, envolvendo a reescrita de livros didticos e
precipitando debates sobre fundaes, so resultados ali do que Thomas Kuhn
diagnosticou como companheiros de revolues. E ali so reftected em
o desenvolvimento histrico do cantoriana teoria dos conjuntos.
4.5. A NATUREZA DA RESOLUO CIENTFICA

Tenho deliberadamente justapostos "revoluo" as palavras e 'resoluo' fim ia


emphasizc para o que eu considero ser a natureza do progresso cientfico refletido no
desenvolvimento da histria da matemtica, seja ela a descoberta de grego
incomensurveis ea criao concomitante de uma teoria da proporo
acomod-los, ou profunda descoberta de Cantor do dcuumerablity no
deA nmeros reais e seus nmeros oftransfinite posterior criao e
o desenvolvimento de uma teoria geral de set, transfinitos. Porque a matemtica
restrito apenas pelos limites impostos pela consistncia, o structurc inerente
determina a estrutura lgica da evoluo matemtica. Eu j sugeri a maneira em que que a
evoluo necessariamente cumulativo. Como a teoria
desenvolve, fornece mais completa, mais poderoso, mais abrangente
problern solues, s vezes cedendo inteiramente novo e revolucionrio
teorias no Processo Mas o carter fundamental de tal avano
consubstanciado na idia de resoluo. Como o microscopista frorn, movendo-se menor a
nveis mais altos de resoluo, sucessivas geraes de matemticos podem
limpar para entender mais, com maior estoque de resultados e cada vez mais
tcnicas refinadas sua disposio. Como a matemtica transforma cada vez mais
articulados, o processo de resoluo traz Arcas thc de pesquisa e temas
para a resoluo de problemas em maior foco, at que as solues so obtidas ou novas
abordagens desenvolvidas para estender as fronteiras do conhecimento matemtico.
Descobertas se acumulam, e alguns levam inevitavelmente a nova e revolucionria
teorias unindo entirc ramos de estudo, produzindo novos pontos de vista,
s vezes totalmente novas disciplinas que teria sido impossvel produzir
dentro dos limites da teoria anterior.
Isto to verdadeiro como descobertas de magnitudes incomensurveis como do
advento dos nmeros irritational, imaginrio, e transfinitos, da inveno do
clculo, ou a descoberta de no-euclidiana gcometries, Nenhum destes
envolvidos crise ou a rejeio de mathernatics mais cedo, embora cada
representou uma resposta falhas e limitaes da teoria vigente.
Novas descobertas, particularmente aquelas de importao revolucionrio como os
diseussed aqui, fornecer novos modos de pensamento no qual mais poderoso
e os resultados gerais so possveis do que nunca. Como Hermann Hankel (1871,
p. 25) uma vez escreveu: "Em cada generalion mathernatics sozinho constri um novo
andar para a antiga estrutura. " Este o sentido mais bvio em que eu quero dizer que a
natureza do progresso cientfico pode ser compreendido diretamente, em termos da lgica
do argumento e mathcmatics, como um dos resoluo cada vez mais poderosos.
4.6. RESISTNCIA MUDANA
Uma ltima caracterstica da evoluo da matemtica pode ajudar a corroborar
ainda o fato de que ele faz transformaes experincia revolucionria, por
resistncia a novas descobertas podem ser tomadas como uma de suas fortes rneasure
qualidade revolucionria. Uma forma dessa resistncia se refletiu no gregos
inabiJity para conceber algo como o nmero, exceto os inteiros - embora
eventualmente, este preconceito foi superado, assim como eventualmente superou Cantor

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

nenhum deles resolveu o problema da validade de LHE clculo. A maioria


histrias de mathernatics crdito Augustin-Louis Cauchy com a concesso da
'formulao razoavelmente bem-sucedido rigoroso "primeiro do clculo (Grabiner
1981, p. viii). Isto no s inclua uma definio precisa de Iimits, mas aspectos
(Se no ali) das teorias modernas de LHE convergenee, continuidade, derivadas e
integrais. Como Judith Grabiner disse em seu ofCauchy estudo detalhado, ele whal
realizado foi nada menos do que um 'break aparente com o passado ". O
quebrar tambm foi revolucionria, especialmente em termos do que Cauchy introduziu
metodologicamente. Como Grabiner mantm (1981, p. 166), Cauchy foi
responsvel pela primeira grande revoluo no rigor matemtico, desde o tempo
dos gregos antigos.
Isso, presurnably, uma revoluo na matemtica que Michael Crowe, por
exemplo, aceitaria, para a revoluo de Cauchy estava preocupado com rigor na
um nvel metamatemtica afetando os fundamentos da matemtica. Mas, como
ser discutido aqui, as mudanas nas fundaes no podem deixar de afetar o
estruturas que suportam, e no caso de novas exigncias de Cauchy para
rigorosa argumentos matemticos em anlise, o clculo infinitesimal
passou por uma revoluo no estilo que estava prestes a revolucionar o seu contedo como
tambm.
A fim de apreciar o sentido em que o trabalho de Cauchy pode ser visto como
revolucionrio, ele vai ajudar a lembrar que para a maioria deA sculo XVIII
(Com algumas notveis excees) matemticos como thc Bernoullis, l'Hpital,
Taylor, Euler, Lagrange, Laplace e foram intcrested principalmente em resultados. O
mtodos de clculo eram poderosos e geralmente workcd com notvel
sucesso, embora deva ser acrescentado que os matemticos thcse no foram
alheio s perguntas sobre por que o clculo trabalhou ou se houve
fundaes aceitvel para a apresentar o seu indispensvel, mas tambm
mais questionvel, clement-infinitesimais. Tais preocupaes, no entanto,
permaneceu por questes mais parte secundria.
No sculo XIX tornou-se cada vez mais questes fundamentais da
interesse e importncia, em parte, por razes que dizem respeito sociologia da
matemtica que envolve tanto questes de institucionalizao e proessionalization.
Como matemticos eram cada vez mais confrontados com teachinq o clculo,
perguntas sobre como definir e justificar Iimits, derivativos e somas infinitas,
para examnple, tornou-se inevitvel.
Cauchy no estava sozinho, no entanto, na sua preocupao para o tratamento de
matemtica com maior rigor conceitual (pelo menos quando ele estava ensinando na cole
Polytechnique ou escrevendo livros como o seu Courss danalyse de l'cole
Poiytechnique). Outros, como Gauss e Bolzano, estavam preocupados tambm com
problemas como o tratamento de convergncia com mais cuidado, especialmente sem
rcferenee para intuitions.Whether geomtricas ou physieal ou no Cauchy com base
sua prpria rigorization de anlise sobre a sua leitura de Bolzano-como lvor
Grattan-Guinness (1970) sugeriu - ou modificando uso de Lagrange

incqualities eo desenvolvimento de uma lgebra de desigualdades - como Grabiner


(1981, p. 11,74) afirma- verdade que Cauchy foi um dos pioneiros na escrita
livros que se tornaram modcls para disseminar o novo clculo "rigorosa"
e que os outros logo comeou a trabalhar em LHE esprito inovador de Cauchy
rigor aritmtica.
Niels Henrik Abel estava entre LHE primeiros a aplicar tcnicas de Cauchy em
conexo com os seus prprios resultados importantes em matria de convergncia. Um
pouco mais tarde, Bernard Riemann revista a teoria de Cauchy de integrao, e Karl Weier
strass trabalho mais sistematizado de Cauchy com cuidado definir nmeros reais e
enfatizando as diferenas cruciais entre o uniforme de convergncia,
convergncia, continuidade, e continuidade uniforme;
Muito do que Cauchy realizou, no entanto, tinha sido antecipado por
Lagrange, talvez tanto quanto Barrow e outros tinham preparado o caminho para
Newton e Leibniz. Por exemplo, Lagrange j tinha dado um rigoroso
definio dos derivados e, surpreendentemente, talvez, ele usetl agora
mtodo familiar de deltas e psilons, ActuaJJy, os deltas e psilons foram
Cauchy, mas a idia era de Lagrange, a diferena symbolie s o fato de
que Lagrange usados D (donne) para epsilon Cauchy e i (indetermine) para
Delta de Cauchy. Ambos Lagrange e Ampere em Faet utilizado desigualdades como um
mtodo de expediente, mas vi que eles Cauehy eould tambm ser usado mais.
essencialmente, em definies. Grabiner como disse, Cauchy estendida este mtodo
para definir Iimits e continuidade, e ao faz-lo:
... conseguido exatamente o que tinha dito Lagrange deve ser feito no subttulo do
Por sua vez, a maior preciso possvel graas a novas fundaes de Cauchy
levou descoberta e aplicao de conceitos como a convergncia uniforme e
continuidade, de soma, e expanses assintticas - nenhum dos quais poderia ser
estudados ou at mesmo expressa no quadro conceptual do sculo XVIII
matemtica. Nomes s: o teorema de Abel de convergncia, a Cauchy
critrio, Riemann integrais, a thcorem Bolzano-Weierstrass, Dedekind LHE
corte, Cantor seqncias, todos so conseqncias e reflexos da nova LHE
anlise.
Alm disso, h que importante indicador visual de revolues, uma mudana
em linguagem refiected nos smbolos para ubiquitously associados com o novo
clculo, ou seja, deltas e psilons, ambos aparecem pela primeira vez em Cauchy
leetures sobre o clculo em 1823.
Em um exemplo extremo, mas revelador da diferena conceitual que
separou Newton e Cauchy, pelo menos quando se carne para conceber e
justificando suas respectivas verses de LHE clculo, Grabiner (1981, p. 1) diz
a histria de um estudante que pergunta o 'speed' ou 'velocidade' mcans, e dada uma
resposta em termos de deltas e psilons: "O aluno pode muito bem responder em
choque ", diz ela," Como algum consegue pensar em tal resposta? "

A questo igualmente importante o "porqu" por que Cauchy reformular o


clculo como ele fez? Uma resposta, para maior clareza e rigor, secms bvio.
Ao eliminar infinitesimais de conversa educada no clculo, e por
substituindo o rigor aritmtica das desigualdades, Cauchy transformou um grande
parte da matemtica, especialmente a anlise da lngua usaria e os
padres pelos quais suas provas seriam julgados, para o prximo sculo e muito mais.
lronicaliy, talvez, em infinitesimais que Cauchy tinha to bem evitada,
lanar as sementes de mais uma revoluo contempornea em matemtica.
5.2. Anlise no padro como um revoluo contempornea
Historicamente, os conceitos duais dos infinitesimais e infinitos sempre foram
no centro das crises e das fundaes na matemtica, a partir do primeiro
crise fundacional "que alguns, pelo menos, tm associado com a descoberta de
nmeros irracionais (ou magnitudes incomensurveis) pelo pitagricos, '
para os debates entre os do sculo XX lntuitionists e formalistas
entre descendentes de LHE Kronecker e Brouwer por um lado, e
os de Cantor e Hilbert na outra. Reccntly, uma nova "crise" tem sido
identificados pela construtivista Errett Bishop (1975, p. 507);
H uma crise na matemtica contempornea, e qualquer um que no tem notado
ser deliberadamente cego. A crise devido nossa negligncia de questes filosficas ...
[nfase Bispo]

Argumentando que os formalistas equivocadamente concentre na "verdade" ao invs de


"Sentido" em matemtica, Bishop (1975, pp, 513-14) criticou no-padro
anlise de como "as multas formais se ', acrescentando que" difcil acreditar que o
significado poderia ser earried at agora ". Matemticos no ali, no entanto, so
preparado para concordar que h uma crise na matemtica moderna, ou que
Trabalho de Robinson constitui qualquer rebaixamento de significado em tudo.
Kurt Gdel, por exemplo, que belicved Robinson, "mais do que ningum",
conseguiu trazer a matemtica ea lgica juntos, e ele elogiou
Criao de Robinson no-padro de anlise para alistar as tcnicas de
lgica moderna para fornecer Ioundations rigorosa para o clculo usando LHE real
infinitesimais. A nova teoria foi dada ampla publicidade, em 1961, quando
Robinson delineada a idia bsica de sua "no-padro" anlise em um artigo
apresentado em uma reunio conjunta da American Mathematical Society ea
Associao matemticas de America. Posteriormente, aplicaes impressionante
abordagem de Robinson para infinitesimais confirmaram suas esperanas
que a anlise no-padro pode servir para enriquecer 'standard' em matemtica
maneiras substantivas.
Usando as ferramentas da lgica matemtica e teoria de modelos, Robinson

conseguiu definir rigorosamente infinitesimais. Ele irnrnediately viu este trabalho


no s no LHE tradio de outros como Leibniz e Cauchy antes Hirn, mas
mesmo como reivindicar e justificar suas opinies. A relao do seu trabalho,
No entanto, 10 pesquisas do prprio Robinson igualmente significativa (como Robinson
se percebeu), principalmente para tbat razes so de particular interesse para o historiador
da matemtica.
Este no o lugar para rehcarse a longa histria de infinitesimais. No h
uma figura histrica, no entanto, que Robinson cspecially interessadas, nomeadamente,
Cauchy, cuja obra fornece um foco para considerar o historiogrfica
importncia do prprio trabalho de Robinson. Na verdade, seguindo o exemplo de
Robinson,
outros como JP Cleave, Charles Edwards, Detlef Laugwitz e Wim
Luxemburgo tem USCD no-padro de anlise para reabilitar ou 'vindicare'
infinitesimalisls anterior (Cleave 1971; CH Edwards, 1979; Laugwitz 1975,
1985; Luxemburg, 1975). Leibniz, Euler, Cauchy e esto entre os mais
matemticos proeminentes que foram "racionalmente reconstructed', mesmo para
Do ponto de thcir ter tido, na opinio de alguns comentadores,
No-padro 'robinsoniana "infinitesimais em mente Irem o incio. O
mais detalhada e metodologicamente sofisticada de tratamentos como a data
fornecida por Imre Lakatos.
5.3. LAKATOS, ROBINSON, ANO NO STANOARD INTERPRETAES DO Cauchy
do Infinitesimal CLCULO
Em 1966, Imre Lakatos ler um artigo que provocou muita discusso na
a reunio Colquio Internacional Logic naquele ano, em Hanover. O
objetivo primrio de papel Lakatos foi feita c1ear em seu ttulo: "Cauchy e
continuum: O significado de no-padro de anlise para a histria e
filosofia da matemtica ". Lakatos reconheceu seu intercmbio com
Robinson sobre o tema da no-padro de anlise, o que levou a vrios
revises deA trabalhando rascunho de seu papel. Embora nunca tenha sido publicado
Lakatos o arigo teve uma circulao bastante ampla e, eventualmente, privados
apareceram aps a morte de Lakatos (em 1974) no Volume 2 de seus papis na
matemtica, cincias e epistemologia (Lakatos, 1978).
Lakatos percebeu que duas coisas importantes que aconteceu com o
aparecimento de uma nova teoria de Robinson, endividados como o era para os resultados e
tcnicas de matemtica moderna. Ele tomou-o acima ali como um sinal de que a
matemtica foi se afastando de sua filosofia original para comear sua
remonta origem e foi crescendo em um importante ramo da matemtica (Lakatos
1966, p. 43). Agora, mais de vinte anos depois, esta viso parece plenamente justificada.
Segundo Lakatos a anlise a no padronizao revoluciona a imagem do historiador da
histria do clculo. O motivos para esta afirmao so menos claras e sujeitas a questiono
Nas palavras de Lakatos:

Trabalho de Robinson ... oferece uma reconstruo racional da ininitesimal desacreditado


teoria que satisfaz requirernents modernos de rigor e que no mais fraca do que a Teoria
de Weierstrass. Esta reconstruo faz teoria infinitesirnal uma quase antepassado
respeitvel de pleno direito, a teoria do moderno e potente, elevadores-lo do status de prcientfico jargo, e renova o interesse em sua parte esquecida, em parte falsificados da
histria. (Lakatos 1966, p. 44)
Errett Bishop, um pouco mais cedo do que Lakatos, tambm estava preocupado com
thefalsification da histria, mas por um motivo diferente. Ele explicou a "crise"
viu em matemtica contempornea em termos um pouco mais dramtico:
Eu acho que deveria ser uma preocupao fundamental para os historiadores que esto
fazendo potencialmente perigoso. O perigo superficial que ele vai ser e de fato tem
sido sistematicamente distorcida, a fim de apoiar o status quo. E h uma profunda
perigo: to fcil de aceitar os problemas que tm sido historicamente considerada como
significativa como sendo realmente significativa. (Bishop 1975, p. 508)
Curiosamente, Robinson, por vezes, fez praticamente a mesma coisa em sua prpria
escrita histrica. Ele estava compreensivelmente preocupado com a aparente
historiadores triunfo muitos (e matemticos tambm) tm vindo a associar
com o sucesso de Cauchy-Weierslrassian epsilontics mais infinitesimais em
fazendo "rigorosa" do clculo. De fato, um dos mais importante nas realizaes do trabalho
de Robinson foi sua demonstrao conclusiva graas no-padro de anlise da pobreza
deste tipo de historicismo matemtico e Whiggish insiste numa interpretao da histria
da matemtica como um dos mais rigor cada vez maior matematicamente injustificvel
como os infinitesimais "bacilo de clera" de matemtica para usar Georg Cantor na
colorida descrio dos infinitesimais.
Robinson (1973), no entanto, mostrou que no havia nada a temer
infinitesimais, e, neste contexto parecia mais profundo, estrutura
teoria matemtica, por mais garantias: "Nurnber sistemas, como estilos de cabelo,
entram e saem de moda +-o que est por baixo que conta. " Esta poderia muito bem
ser tomado como o marco de grande parte da carreira de Robinson, por sua
superando o interesse desde os dias de sua dissertao (escrito na Universidade
de Londres em 1940 Ia te) foi a teoria de modelos, e as maneiras pelas cspcciaIly
que a lgica matemtica pode no s matemtica, mas tm illumnale
aplicaes muito real e til dentro virtuaIly ali seus ramos, Para
Teoria Robinson, rnodel foi de sueh utilitrio superando como metarnathematical
ferramenta por causa de sua potncia e universalidade.
Ao discutir systerns nmero, Robinson quis dernonstrate, como ele disse
ele que:
... o conjunto dos sistemas nmero ali no uma totalidade terminou cuja descoberta foi
completa por volta de 1600, ou 1700, ou 1800, mas que foi e ainda uma crescente e

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.

Que prazer Robinson sobre no-padro de anlise (tanto quanto o


juros que gerou desde o incio entre os matemticos) foi o
forma como ele demonstrou a indispensabilidade, bem como o poder, de tcnicos
lgica:
Se o carter revolucionrio da no-padro de anlise deve ser medido em
produo de livros didticos e oposio teoria LHE, ento ele atende a esses critrios
tambm. O primeiro livro didtico para ensinar o clculo utilizando a anlise no padro
escrito por Jerome Keisler, foi publicado em 1971, e da oposio foi
esperado. Como GR Blackley advertiu publisher Keisler do (Prindle, Weber &
Schmidt) em um letler quando ele foi convidado para revisar o livro antes de sua nova
publicao:
Problemas como podem surgir com o livro ser poltica. revolucionrio.
As revolues so sei dom recebido pela parte estabelecida, embora revoJutionaries
muitas vezes so. (Sullivan 1976, p. 375)
Um membro do estabelecimento que fez cumprimentar o trabalho de Robinson com
entusiasmo e esperanas alta foi Kurt Gdel, Acima de tudo, reconheceu que Gdel
Abordagem de Robinson conseguiu unir a matemtica ea Jogic em um
maneira essencial, fundamental. Que a unio provou ser no s de
importncia matemtico considervel, mas de substancial filosficas e
contedo histrico tambm.
5.4. REVOLUES EM MATEMTICA
Novas descobertas, particularmente aquelas de importncia revolucionria em matemtica,
fornecer novos modos em que mais powerfuJ e resultados gerais
possvel que nunca. Eles no vm, pelo menos nos exemplos
explorado aqui, por uma extenso de torta sim dos mtodos e matemtica no lugar
no momento. Em vez disso, quando uma verdadeira revoluo teve lugar, uma parte
significativa a matemtica "mais velhos" deA vir a ser substitudo ou dramaticamente
aumentada por conceitos e tcnicas que visivelmente mudar o vocabulrio ea gramtica da
matemtica. Isto to verdadeiro de Cauchy ea linguagem de que
em (um distines mais finas possvel, por exemplo, de continuidade e
convergncia, como de no-standard de Robinson nmeros reais.
Matemticos como tornar-se confortvel com a nova matemtica,
aprendendo o seu vocabulrio e suas tcnicas, seu pensamento correspondentemente
transformadas, e assim a matemtica que eles produzem como resultado. Como a sua
histria tem mostrado, a matemtica no uma progresso torta sim de resultados que
conduz em um contnua, Antiguidade Irom ininterrupta cadeia at o presente. lt tem o seu
prprio momentos revolucionrios, e estes so como ncccssary para o seu progresso como
revolues foram para ali da cincia.

a revoluo que a matemtica tem tido, os episdios ssmicos


marcado pela descoberta de grandezas incomensurveis, o infinitesimal
clculo, epsilontics Cauchy, a teoria de Cantor conjunto transfinito, e Robinson
no-padro de anlise (para mencionar apenas alguns), que o trouxe a partir do
simples, os nveis de contagem emprica ea geometria encontrado em praticamente ali
civilizaes no passado, para o corpo extraordinariamente rico e poderoso de
matemtica conhecimento moderno representa hoje.
Cada gerao, cada poca define suas prprias fronteiras, limites, viseiras para o
possvel, o que aceitvel. Revolues na matemtica tomar a prxima
gerao para alm do que foi estabelecido para possibilidades inteiramente novo,
normalmente inconcebvel do ponto a gerao anterior de vista. O verdadeiramente
idias revolucionrias abriram a mente para novas conexes e
possibilidades, novos elementos, diversos mtodos, e maiores nveis de
abstrao e generalidade. Revolues, obviamente, ocorrem dentro mathemtics.
Se no este o caso, ns ainda estaramos contando com nossos dedos.