Mostrar código-fonte de Infinito

{{Mais notas|data=agosto de 2020}}
{{Ver desambig}}
[[Imagem:St@ff@ge.jpg|thumb|240px|direita|Ilusão artística de infinito, lembrando a obra de [[Escher]].]]
'''Infinito''' (do latim, ''infinitus'', símbolo: <math>{\infty}</math>) é a qualidade daquilo que não tem fim.<ref>{{Citar web|url=https://www.significados.com.br/infinito/|titulo=Significado de Infinito (O que é, Conceito e Definição)|acessodata=2022-12-08|website=Significados|lingua=pt-br}}</ref> 

É um conceito usado em vários campos, como a [[matemática]], [[filosofia]] e a [[teologia]]. É representado pelo símbolo ∞, e na matemática é uma noção quase-numérica usada em proposições. Mas é na matemática que o conceito tem as suas raízes mais profundas, sendo a disciplina que mais contribuiu para a sua compreensão.<ref name=Maor>{{Citar livro | autor=Maor, Eli | título = To infinity and beyond : a cultural history of the infinite | ano = 1991 | editora= Princeton University Press | local = Princeton, N.J. |isbn= 978-0-691-02511-7 | idioma = inglês | url = http://books.google.pt/books?id=lXjF7JnHQoIC }}</ref>

== Formas de infinito ==
=== Infinito potencial ===
{{Ver artigo principal|Infinito atual e infinito potencial}}
O ''infinito potencial'' é a forma mais natural e intuitiva de conceber o infinito, sendo por isso de aceitação geral e não controversa. Nesta concepção o infinito corresponde a algo que pode ser aumentado, continuado ou estendido, tanto quanto se queira.<ref name=":0">{{Citar web|ultimo=Schechter|primeiro=Eric|url=https://math.vanderbilt.edu/schectex/courses/thereals/potential.html|titulo=Potential vs. Completed Infinity|data=2009-12-05|acessodata=2022-12-08|website=math.vanderbilt.edu|lingua=inglês}}</ref>

Um exemplo é a [[sequência numérica|sequência]] dos [[número natural|números naturais]]: é sempre possível somar mais um, estendendo-a indefinidamente:
:<math>{1; 2; 3; 4; 5; 6; 7; ...}</math>

Para [[Platão]] (428 a.C.? – 347 a.C.?) o potencial de extensão era considerado limitado, finito; podia ser adjetivado de ''peiron'' (limitado, claramente determinado). O conceito de infinito propriamente dito era algo irracional, impensável, sem sentido. Inclusive pareceu natural pensar que não faria sentido que Deus tivesse tão indesejada característica.

[[Aristóteles]] (384 – 322 a.C.), discípulo de Platão, cuja doutrina marcou muitos pensadores da história, como [[Tomás de Aquino]], também recusou a existência do infinito como algo real ou pensável. Em boa parte, isso deveu-se aos paradoxos que o conceito de infinito encerra, como [[Paradoxos de Zeno|mostrou Zenão]], que levavam a concluir o infinito como um conceito negativo, irracional e não pensável.

Apesar disso, Aristóteles aceitou a noção de [[infinito absoluto]], ''[[Ápeiron|apeiron]]'' (ilimitado, ininteligível, caótico). O [[método dedutivo]], essencial à geometria aristotélica, determina que "''não podemos conhecer os objetos posteriores que não derivem de elementos primeiros''". Mas estes postulados primeiros são indemonstráveis, estão fora da ciência, estando no domínio da ''metamatemática''. São o [[motor imóvel]] - absoluto - de todo o resto: Deus. Portanto, o infinito seria algo para além da razão, mas que pode ser pensado como sendo transcendental ou no domínio do divino.<ref name=Heller>{{Citar livro| autor= Achtner, Wolfgang | editor=Heller, Michaeł; Woodin, W. Hugh | título = Infinity : new research frontier | ano = 2011 | editora = Cambridge University Press | local = Cambridge ; New York |isbn= 978-1-107-00387-3 | idioma = inglês | url=http://books.google.pt/books?id=PVNbIGS37wMC}}</ref>{{rp|9,23}}<ref name=Radice/>

A infinidade potencial é caraterística da forma intuitiva de conceber o espaço e o tempo, mas não é evidente ou unânime se o infinito potencial será um atributo efetivo do espaço e tempo reais. Ao longo da história vários pensadores tentaram explorar e levar mais longe o conceito de infinito. Por necessidade da [[matemática]], surgiu muito mais tarde a concepção de infinito em ato, que só foi apresentado de forma convincente no [[século XIX]] pela mão de [[Georg Cantor]].

=== Infinito absoluto ===
{{Artigo principal|Infinito absoluto}}
O ''infinito absoluto'', a par do infinito potencial, foi a única outra forma de infinito tomada em linha de conta pelos pensadores durante milénios.<ref name="Radice">{{citar livro|autor=Radice, Lucio Lombardo|título=O Infinito: de Pitágoras a Cantor itinerários filosóficos matemáticos de um conceito base|editora=Editorial Notícias|ano=1981|local=Lisboa}}</ref>{{rp|11}}

[[Aristóteles]] considera o infinito potencial, mas afirma não fazer sentido pensar a sua concretização como um todo completo, um infinito em ato. Impõe-se portanto um limite do processo de atuação, um "fim último", uma ''[[entelequia]]'', usando o termo que os gregos introduziram na linguagem da filosofia.<ref name=Radice/> {{rp|13,16}}

Este conceito de infinito como absoluto entrou na doutrina filosófica cristã. No [[século XIII]] esta contém muitos elementos da ''[[Suma Teológica]]'' de [[Tomás de Aquino]], o qual, por sua vez, absorvera a estrutura filosófica de Aristóteles.
A concepção do infinito aristotélico-tomista manteve-se dominante desde a civilização greco-latina até ao [[Renascimento]].<ref name="Radice"/> {{rp|16-17}}

No [[século XIX]], [[Georg Cantor]] desafiou a visão do infinito como algo que não podia ser tratado racionalmente e desenvolveu a sua teoria dos [[transfinito]]s. Esta teoria, apesar de ter permitido aumentar a compreensão do infinito, tinha os seus próprios limites, pelo que Cantor foi levado a concluir a existência de um infinito Absoluto, que consegue estar para além de toda a criação racional.

=== Infinito atual ===
{{Ver artigo principal|Infinito atual e infinito potencial}}
O ''infinito atual'', ''infinito real'' ou ainda ''infinito completo'', é um conceito mais abstrato e controverso: faz sentido a existência por completo de uma entidade com um número infinito de elementos?<ref name=":0" />

O [[aristotelismo]] nega a existência do infinito atual, que ele seja físico ou abstrato, tendo sido esta a posição dominante durante milénios. Pontualmente surgiram algumas vozes dissonantes, que admitiam pensar o infinito para lá do potencial como atual: Deus poderia ter uma natureza infinita atual, e não apenas um processo com potencial. São exemplos disso [[Gregório de Níssa]], [[Nicolau de Cusa]] e, muito mais tarde, [[Georg Cantor]]. Em bom rigor, os pioneiros do conceito de infinito atual ainda o associavam ao ''apeiron'' - algo logicamente incoerente. Foi Cantor o primeiro a mostrar que o conceito poderia ser trabalhado de forma lógica e racional .

Na matemática, notou-se que existe uma grande diferença qualitativa entre uma [[Sucessão matemática|sucessão potencial infinita]] de elementos, [[matemática discreta|discretos]], e a sucessão de pontos de um [[segmento de reta]], aquilo que é chamado de linha contínua.
No primeiro caso podemos acrescentar sempre mais um elemento, dando mais um passo para o elemento seguinte. Uma sucessão é infinitamente extensível.
No caso do contínuo não faz sentido falar do elemento seguinte: entre um determinado ponto e outro posterior, tão próximo quanto se queira, é sempre possível encontrar um ponto intermédio, e assim consecutivamente, até ao infinito.
Um segmento contínuo é infinitamente divisível.

Este segundo tipo de infinito levanta grandes questões sobre o infinito potencial, pois parte-se de um todo dado (o segmento de reta) que pode conter um si uma infinidade de elementos. O infinito em ato parece ser um propriedade necessária do ''contínuo''.<ref name=Radice/>

Estas propriedade do segmento de reta foram explicadas através do conceito de ''[[infinitésimo]]'': "números" indefinidamente pequenos, menores do que qualquer número real. Este conceito tem raízes na [[Grécia Antiga]], no [[atomismo]] de [[Leucipo de Mileto]] (século V a.C.) e seu discípulo [[Demócrito de Abdera]] (460 - 370 a.C.). O atomismo foi criticado ao longo da história, tendo sido [[Zenão de Eleia]](495 - 430 a.C.) o protagonista de um dos mais marcantes ataques, através dos [[Paradoxos de Zeno|seus paradoxos]].
Foi recuperado mais tarde, para servir de fundamento ao [[cálculo infinitesimal]] de [[Leibniz]] (1646 - 1716) e [[Newton]] (1643 - 1727). Apesar da sua eficácia na matemática e na física, os infinitésimos apresentavam inconsistências, presentes no facto de serem simultaneamente não-finitos e não-nulos.

Os infinitésimos acabaram por ser banidos da matemática com a formulação do [[cálculo|cálculo diferencial e integral]] por [[Karl Weierstrass]] (1815-1897), que substitui o infinitésimo pelo conceito de [[limite]].
Os infinitésimos foram mais tarde recuperados na matemática por [[Abraham Robinson]] (1918-1974), que em 1966 apresenta uma nova teoria para a análise matemática baseada nos infinitésimos, chamada de [[análise não-standard]], que fornece um fundamento teórico para a utilização dos infinitésimos tal como Leibniz idealizou.<ref name=DeCarvalho>DE CARVALHO, T.,D’OTTAVIANO, I.. [http://revistas.pucsp.br/index.php/emp/article/view/544 Sobre Leibniz, Newton e infinitésimos, das origens do cálculo infinitesimal aos fundamentos do cálculo diferencial paraconsistente]. Educação Matemática Pesquisa ISSN 1983-3156, América do Norte, 8, mar. 2008. Acedido em 20 de abril de 2011.</ref>

[[Georg Cantor]] (1845 - 1918) foi considerado como sendo o primeiro a dar um tratamento lógico e racional ao infinito atual. Criou o conceito de [[número transfinito]], que denota a "potência" da cardinalidade de um conjunto. O primeiro transfinito, <math>\alef_0</math> (aleph-zero) representa a "quantidade" dos números naturais, sendo por isso um infinito em ato.
Cantor mostrou que existem infinitos com diferentes potências, sendo a [[cardinalidade]] do conjunto dos [[número real|números reais]] superior à dos números naturais e [[número racional|racionais]].

== Paradoxos e antinomias ==
* [[Paradoxo de Russell]]

=== Paradoxos de Zenão ===
[[Imagem:Paradoxo de Zenão.PNG|thumb|250px|O paradoxo de Zenão envolve a noção de infinito.]]
{{Artigo principal|Paradoxos de Zeno}}
[[Zenão de Eleia]] (490? - 430 a.C.?) foi um filósofo, discípulo de [[Parménides de Eleia]]. Como método de argumentação usava [[paradoxo]]s para demonstrar o absurdo das teses que combatia, tendo criado vários que ficaram conhecidos até aos dias de hoje. Zenão opunha-se às teses [[atomismo|atomistas]] e ao conceito positivo de infinito. Para as criticar, criou paradoxos que concluiam que a subdivisão infinita levava a uma contradição, logo não podia fazer sentido.

Os paradoxos mais conhecidos são a "''Dicotomia''" e "''Aquiles e a tartaruga''":
* '''''Dicotomia''': Um objeto, para percorrer determinada distância, precisa primeiro chegar a metade dessa distância. Para isso, precisa antes chegar a um quarto da distância, e assim indefinidamente. Logo, nunca conseguirá chegar ao seu destino, sendo o movimento impossível.''
* '''''Aquiles e a tartaruga''': Aquiles corre contra uma tartaruga, sendo que a tartaruga começa dez metros adiantada, mas Aquiles corre ao dobro da velocidade da tartaruga. Quando Aquiles chega ao ponto onde a tartaruga começou, esta já avançou cinco metros. Quando Aquiles chega a esse ponto, a tartaruga voltou a adiantar-se 2,5 metros, e assim indefinidamente: Aquiles nunca consegue apanhar a tartaruga.''

Este paradoxo só foi resolvido muito mais tarde, com o advento do [[cálculo]] e das [[série convergente|séries convergentes]]. Com efeito, o paradoxo da [[Dicotomia]] corresponde à seguinte formalização matemática {{rp|42}}:
: <math>{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+\cdots+{1 \over 2^n}+\cdots = \lim \sum_{n=1}^{\infty} \frac{1}{2^n} = 1</math>.<ref name=Radice/>

=== Paradoxo de Galileu ===
[[Galileu Galilei]] (1564 - 1642) apresentou o [[Paradoxo de Galileu|paradoxo dos quadrados]] no seu livro ''Discorsi e dimostrazioni matematiche a due nuove scienze''. Galileu retoma a comparação anteriormente feita por Nicolau de Cusa (1401 - 1464) entre a sequência dos números naturais e a sequência dos seus quadrados: é intuitivo dizer que existem "menos" quadrados do que naturais, pois é possível encontrar números naturais que não são quadrados. Mas, ao mesmo tempo, cada número natural tem o seu quadrado, pelo que não é correto dizer que há "menos" quadrados do que números naturais. Estamos perante um dilema.<ref name=Radice/> {{rp|47}}

Galileu expõe o raciocínio e as conclusões a que chega através de um diálogo entre três personagens - Salviati, Simplício e Sagredo (o próprio Galileu, um sábio aristotélico e um homem do senso comum). O discurso conclui:

{{Citação2|quotetext=(...) que o conjunto dos números, dos quadrados, das raízes é infinito; que o total dos números quadrados não é inferior ao conjunto dos números, nem este superior àquele. E finalmente, que os atributos igual, maior e menor não têm sentido para quantidades infinitas, mas somente para quantidades finitas.|personquoted=Galileo Galilei|quotesource=Discorsi e dimostrazioni matematiche a due nuove scienze}}

A solução encontrada para o paradoxo é que não faz sentido usar as operações de [[Desigualdade|"maior" e "menor"]] para comparar conjuntos infinitos. E, por exclusão de partes, conclui também que se pode dizer que os quadrados são tantos quanto os naturais, pois é possível estabelecer um [[bijeção]] entre os dois conjuntos infinitos. Seria nesta ferramenta que estaria a chave para o desenvolvimento da teoria dos infinitos desenvolvida já no [[século XIX]] por [[Georg Cantor]].<ref name=Radice/> {{rp|50-51}}

Mais recentemente, [[David Hilbert]] (1862-1943) apresentou uma outra formulação deste paradoxo, que conclui que o dobro do infinito é "igual" a infinito, conhecida por [[Hotel de Hilbert]].

=== Tempo infinito ===
Ver [[Teorema do macaco infinito]] e [[A Biblioteca de Babel]].

== Na matemática ==
Em [[matemática]], [[conjunto]]s infinitos foram primeiramente considerados por [[Georg Cantor]], por volta de [[1873]]. Cantor observou que conjuntos infinitos podem ter tamanhos diferentes, distinguindo entre conjuntos [[infinito contável|infinitos contáveis]] e [[infinito incontável|incontáveis]], e desenvolveu sua teoria de [[número cardinal|números cardinais]] baseado nesta observação. A matemática moderna aceita o infinito real. Por exemplo, as linhas e superfícies da geometria são interpretadas pela matemática contemporânea como conjuntos infinitos de pontos.
Certos sistemas numéricos estendidos, tais como os [[número surreal|números surreais]], incorporam os números (finitos) [[número ordinal|ordinais]] e os [[números infinitos]] de diferentes tamanhos.

É necessário abandonar a intuição sobre objetos finitos ao lidar com conjuntos infinitos. Isso é provado pelo [[paradoxo do Grand Hotel de Hilbert]].

=== O símbolo de infinito === <!-- [[Infinity symbol]] and [[Lemniscate (infinity symbol)]] redirect here --> <!-- Infinity symbol and Lemniscate (infinity symbol) redirect here -->
[[Imagem:John Wallis by Sir Godfrey Kneller, Bt.jpg|thumb|200px|direita|[[John Wallis]] introduziu o símbolo de infinito na literatura matemática.]]

O símbolo de infinito <math>\infty</math> é por vezes chamado de [[lemniscata]], do [[latim]] ''lemniscus''. [[John Wallis]] é creditado pela introdução do símbolo em 1655 no seu ''De sectionibus conicis''.<ref>{{citation|título=The mathematical work of John Wallis, D.D., F.R.S., (1616-1703) |edição=2 |primeiro1 =Joseph Frederick |último1 =Scott|publicado=AMS Bookstore|ano=1981|isbn=0-828-40314-7|página=24|url=http://books.google.com/books?id=XX9PKytw8g8C}}</ref><ref>{{citation|título=COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988: proceedings |primeiro1 =Per|último1 =Martin-Löf|primeiro2 =G. E.|último2 =Mints|publicado=Springer|ano=1990|isbn=3-540-52335-9 |página=147|url=http://books.google.com/books?id=nfnGohZvXDQC}}</ref> Uma [[conjectura]] sobre o porquê ter escolhido este símbolo é ele derivar de um [[numeral romano]] para 1000 que, por sua vez foi derivado do numeral [[etruscos|etrusco]] para 1000, que se assemelhava a <span style="font-family:Arial Unicode MS, Lucida Sans Unicode;">CIƆ</span> e era por vezes usado para significar "muitos". Outra conjectura é que ele deriva da letra grega ω - [[Omega]] - a última letra do [[alfabeto grego]].<ref>[http://www.roma.unisa.edu.au/07305/symbols.htm#Infinity The History of Mathematical Symbols] {{Wayback|url=http://www.roma.unisa.edu.au/07305/symbols.htm#Infinity |date=20060821061824 }}, By Douglas Weaver, Mathematics Coordinator, Taperoo High School with the assistance of Anthony D. Smith, Computing Studies teacher, Taperoo High School.</ref> Também, antes de máquinas de composição serem inventadas, <big>∞</big> era facilmente impresso em tipografia usando o algarismo 8 deitado sobre o seu lado.

O símbolo de infinito está disponível no padrão [[HTML]] como <code>&amp;infin;</code> e em [[LaTeX]] como <code>\infty</code>. Em [[Unicode]], é o caractere de código U+221E (ထ), ou 8734 em notação [[Sistema de numeração decimal|decimal]].

A curva matemática que gera o símbolo <math>\infty</math> é a [[lemniscata]].

Na [[teoria dos conjuntos]], o infinito é representado pela letra hebraica '' [[aleph]] '' ( <math> \aleph </math> ).

=== Definição matemática formal ===
O infinito tornou-se uma ferramenta fundamental para o [[Cálculo|cálculo infinitesimal e diferencial]], que apesar dos seus bons resultados práticos, não estava ainda formalmente definido de forma satisfatória para os padrões de rigor matemáticos. E sem uma definição formal sólida não era possível resolver de forma convincente os paradoxos que ainda persistiam.

[[Dirichlet]] (1805 - 1859) apresentou o ''princípio da gaveta'', conhecido desta forma apesar de nunca ter sido publicado por este, também referido como ''[[princípio da casa dos pombos]]''. Afirma que se tivermos mais do que ''n'' objetos arrumados em ''n'' gavetas, então há pelo menos uma gaveta com mais de um item.
De forma mais abstrata, podemos dizer: ''Se M é um conjunto finito, é impossível estabelecer uma correspondência de um para um de elementos de M com outros elementos de M de forma a que fiquemos com algum elemento que não tenha correspondente''.

[[Richard Dedekind]] (1831 - 1916), em [[1888]], propôs na sua obra ''O que são e o que precisam ser os números'' uma definição de infinito, hoje conhecida como [[infinito de Dedekind]], partindo de propriedades bem conhecidas dos conjuntos finitos, equivalente à também proposta em [[1887]] por [[Giuseppe Peano]]: ''um conjunto é infinito se existe uma [[função (matemática)|função]] de um para um ([[bijeção]]) entre todo o conjunto e um subconjunto próprio''.

Usando uma linguagem matemática, podemos dizer: ''Sendo M um conjunto finito, é impossível encontrar uma função de um para um com um subconjunto próprio de M''. Dedekind definiu como conjunto infinito todo aquele que tem uma bijeção com um conjunto próprio, e por oposição, como [[conjunto finito]] todo aquele que não é infinito.<ref name=Dedekind>{{Citar livro | autor = Dedekind, Richard | título = Gesammelte mathematische Werke | capítulo = Was sind und was sollen die Zahlen? | idioma = alemão | local = Braunschweig | editora = Friedr. Vieweg & Sohn | ano = 1932 | ref = Dedekindwassindzahlen | volume = III | url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN23569441X}}</ref>{{rp| 335−391 }} <ref name=Jacobs> {{Citar livro | autor = Jacobs, Conrad| título = Invitation to mathematics | ano = 1992 | editora = Princeton University Press | local = Princeton, N.J. |isbn= 978-0-691-02528-5 | idioma = inglês | url= http://books.google.pt/books?id=Mgajuf62voQC}}</ref>

== Na física ==
Em [[física]], são usados [[Número real|números reais]] aproximados para medições contínuas e [[Número natural|números naturais]] para medições discretas (ou seja, contagens). No entanto, os físicos partem do princípio de que nenhuma [[Observável|quantidade mensurável]] pode ter um valor infinito, seja tendo uma precisão infinita, ou por corresponder a uma contagem de um número infinito de eventos. Por exemplo, presume-se impossível para qualquer corpo ter massa infinita ou energia infinita. Conceitos de coisas infinitas, tal como uma [[onda plana]] infinita, existem, mas não existem meios para os gerar experimentalmente.

A prática de recusar valores infinitos para quantidades mensuráveis não vem de motivações ideológicas ou filosóficas ''a priori''. Resulta de motivações pragmáticas e metodológicas. Um dos propósitos de qualquer teoria física e científica é dar fórmulas utilizáveis que correspondem à realidade, pelo menos aproximada. Por exemplo se existisse algum objeto de massa gravitacional infinita, usar uma fórmula para calcular a sua força gravitacional conduziria a um resultado infinito, o que não teria qualquer utilidade.
Por vezes, um resultado infinito para uma quantidade física pode significar que a teoria está sendo usada para calcular numa situação em que, a teoria se aproxima do seu limite para conseguir explicar a realidade. Ou seja, ela está fundamentada em algum erro e deve ser corrigida.

Este ponto de vista não significa que o infinito não possa ser usado em física. Por uma questão de conveniência, cálculos, equações, teorias e aproximações frequentemente usam séries infinitas, [[Função (matemática)|funções]] sem limites, etc., podendo implicar quantidades infinitas. Os físicos, no entanto, requerem que o resultado final seja fisicamente significativo. Na [[teoria quântica de campos]] surgem infinidades que precisam ser interpretadas de forma a conduzir a um resultado final com significado físico, através de um processo chamado [[renormalização]].

Existem também algumas circunstâncias teóricas onde o resultado final é infinito. Um exemplo é a singularidade na descrição dos buracos negros. Algumas soluções das equações da teoria da relatividade geral permitem distribuições finitas de massa e volume de tamanho zero, e por isso de densidade infinita. Este é um exemplo do que é chamado de uma [[singularidade matemática]], ou um ponto onde uma teoria física deixa de funcionar. Isso não significa necessariamente a existência de infinidades físicas ; pode simplesmente significar que a teoria é incapaz de descrever adequadamente a situação. Dois outros exemplos ocorrem nas leis de força inversamente proporcionais ao quadrado da distância, na equação de força gravitacional de gravidade newtoniana e na lei de Coulomb da eletrostática. Nestas equações, quando d = 0 obtemos infinitos

== Na cosmologia ==
Na antigas cosmologias, o céu era considerado como uma cúpula sólida, ou [[firmamento]].<ref name="Mesopotamia">{{Citar web|url=http://faculty.gordon.edu/hu/bi/Ted_Hildebrandt/OTeSources/01-Genesis/Text/Articles-Books/Seely-Firmament-WTJ.pdf |título=The Firmament and the Water Above | publicado= Westminster Theological Journal 53 (1991), 232–233|acessodata=2010-02-20}}</ref> Em 1584, [[Giordano Bruno]] propôs um universo sem limites na sua obra ''Sobre o Infinito, o Universo e os Mundos'': "existem incontáveis sóis; incontáveis terras giram em torno destes sóis de maneira semelhante à forma como os sete planetas giram em torno do nosso sol".<ref>{{citar web|url=http://bibliotecaideale.signum.sns.it/gb1PageNavigation.php?indexName=gb1_OO&pbSuffix=36%2C261433&queryStructId=ts.4e01148a.651dd.10.ts&queryName=gb1OOSearchFreqList&posSL=2&resetPageNav=1&tokenViewMode=asPortion|ligação inativa=|título=De l'infinito, universo e mondi|acessodata=21 de junho de 2011|autor=Giordano Bruno|coautores=|data=|ano=1584|mes=|formato=|obra=|publicado=La Biblioteca Ideale de Giordano Bruno|páginas=436|língua=italiano|citação=}}{{Ligação inativa|data=maio de 2019 }}</ref>

Os [[Cosmologia|cosmólogos]] há muito procuram descobrir se o infinito existe no nosso [[universo]]: haverá um número infinito de estrelas? O universo tem volume infinito? O espaço continua indefinidamente? Esta é uma questão em aberto na [[Cosmologia física|cosmologia]]. De notar que a questão de ser infinito difere da questão de ter fronteiras de descontinuidade. A superfície bidimensional da terra, por exemplo, é finita, e apesar disso ainda não tem nenhuma descontinuidade. Viajando numa linha reta irá acabar por retornar ao ponto exato de partida. O universo, pelo menos em princípio, pode ter uma [[Topologia (matemática)|topologia]] semelhante; se viajar em linha reta através do universo, é concebível que acabe por revisitar o seu ponto de partida.

Se, por outro lado, o universo for curvado como uma esfera, mas tiver uma topologia simples, lisa, então poderia ser ilimitado e infinito. A curvatura do universo pode ser medida através de momentos multipolares no espectro da [[radiação cósmica de fundo em micro-ondas]]. Até à data, a análise dos padrões de radiação gravada pelo satélite [[WMAP]] sugere que o universo tem uma topologia simples. Isso seria coerente com um universo físico infinito. Espera-se que a [[Planck (sonda espacial)|sonda Planck]], lançada em 2009, grave a radiação cósmica de fundo com uma precisão 10 vezes maior e dê melhores indicações sobre a questão de saber se o universo é infinito ou não.

== Na filosofia ==
=== Argumento da regressão infinita ===
É uma argumentação usada em muitos ramos da filosofia, em que um raciocínio exige um precedente, que por sua vez exige outro precedente, ''ad infinitum''. Para evitar esta regressão infinita alega-se a necessidade de um princípio fundamental não demonstrável. Esta argumentação foi usada também por [[Aristóteles]] e [[Platão]].<ref name=Nicholas>{{Citar livro  | autor = Bunnin, Nicholas; Yu, Jiyuan | título = The Blackwell Dictionary of Western Philosophy | ano = 2004 | editora = Wiley, J | local = New York, NY |isbn= 978-1-4051-0679-5 | url = http://books.google.pt/books?id=OskKWI1YA7AC | idioma = inglês }}</ref>

== Na teologia ==
Desde a antiguidade que, na [[Índia]], a religião [[Jainismo|jainista]] considera o mundo como sendo infinito.

As religiões [[Monoteísmo|monoteístas]] geralmente induzem a noção de infinito, mais precisamente, as noções de [[eternidade]] e de [[transcendência (religião)|transcendência]]), ainda que estas  não sejam formalizadas com o detalhe que a matemática o faz.

Uma das primeiras manifestações do conceito remonta ao [[Egito antigo]], ao período de [[Aquenáton]], autor do culto ao deus [[Aton]].<ref>(1939) [[Sigmund Freud]] ''Der Mann Moses und die monotheistische Religion'', Éd. Suhrkamp Verlag, Frankfurt am Main - 1964 (tradução para francês [http://classiques.uqac.ca/classiques/freud_sigmund/moise_et_le_monotheisme/moise_et_monotheisme.html em linha].</ref><ref>[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Jaina_mathematics.html Jaina mathematics], J J O'Connor et E F Robertson.</ref>

O conceito de transcendência está associado à noção de espaço ou tempo infinito.
Na época moderna, Cantor associou-a também ao infinito numérico, chegando a considerar que o seu trabalho sobre os números cardinais e ordinais tinha implicações teológicas.<ref>§3.2, {{citar periódico|autor =Ignacio Jané |título=The role of the absolute infinite in Cantor's conception of set |periódico=Erkenntnis |volume=42 |número=3 |data=maio de 1995 |páginas=375-402 |doi=10.1007/BF01129011}}</ref>

== Nas artes ==
=== Pintura e artes visuais ===
[[Imagem:Fotothek df tg 0007101 Architektur ^ Geometrie ^ Perspektive ^ Säule ^ Pyramide.jpg|thumb|Técnica de aplicação de pontos de fuga, por Hans Vredeman de Vries (1608).]]
Na [[artes visuais|arte]], a  [[Perspectiva (gráfica)|perspectiva]] utiliza o conceito de um [[ponto de fuga]] imaginário, ou [[Ponto impróprio|pontos no infinito]], localizados a uma distância infinita do observador. Isso permite aos artistas criar pinturas que retratam de forma realística o espaço, distâncias e os objetos.
A principal diferença entre a arte da Idade Média e a do Renascimento foi a introdução da terceira dimensão. A pintura renascentista é caraterizada pelo realismo, introduzido pela perspectiva com o auxílio da matemática. Isso implicava um processo de racionalização que agradava ao pintor, pois o artista renascentista era também um cientista.
<ref>{{citar livro|título=Mathematics for the nonmathematician |autor=Morris, Kline |editora=Courier Dover Publications |ano=1985 |isbn= 0-486-24823-2 |idioma=inglês |página=229 |url=http://books.google.com/books?id=f-e0bro-0FUC&pg=PA229}}</ref>

[[M. C. Escher]] é um artista que se tornou conhecido pelo interesse que os seus trabalhos despertam em matemáticos e físicos. Teve bastante sucesso a fazer representações do infinito. Fê-lo através de duas técnicas: uma foi usar dentro da imagem uma superfície não plano, como seja uma esfera, onde conseguia desenhar uma padrão que se repetia infinitamente. Outra foi usar [[geometria não euclidiana|geometrias não euclidianas]], que aprendera com o matemático [[Harold Scott MacDonald Coxeter|H.S.M. Coxeter]], como é o caso dos famosos padrões com serpentes e peixes. Também não podem deixar de ser referidas as figuras "impossíveis", tais como a escadaria que, embora sendo finita, forma uma espiral sem fim. Cada detalhe parece perfeitamente normal ao abservador, no entanto a imagem global confronta a realidade.<ref>{{Citar livro | autor = Behrends, Ehrhard | título = Five-minute mathematics | ano = 2008 | editora = American Mathematical Society | local = Providence, R.I. |isbn= 978-0-8218-4348-2 | idioma = inglês | url = http://books.google.pt/books?id=EpkyE6JFmkwC }}</ref>

=== Literatura ===
O autor argentino [[Jorge Luís Borges]] destacou-se por escrever sobre temas relacionados com a filosofia e metafísica. Nos seus contos descreve labirintos, repetições cíclicas e alusões ao infinito. O seu conto "[[A Biblioteca de Babel]]" é exemplar dessa forma de escrita. Descreve um mundo constituído por uma biblioteca que teria todos os livros possíveis, discursando sobre as implicações de tal biblioteca.<ref name=Tcherepashenets>{{Citar livro | autor = Tcherepashenets, Nataly | título= Place and displacement in the narrative worlds of Jorge Luis Borges and Julio Cortázar | ano = 2008 | editora = Lang | local = New York, NY |isbn= 978-0-8204-6395-7 | idioma = inglês | url= http://books.google.com/books?id=EaDCj7e-WA0C }}</ref>

== História do conceito ==
Os povos anteriores aos gregos, como os árabes, hindus, chineses, babilónios ou os egípcios, tinham já uma matemática desenvolvida. No entanto, esta debruçava-se exclusivamente sobre problemas do dia-a-dia, de cariz prático, como o cálculo de áreas, volumes, peso e tempo.
Não existia espaço para um termo ambíguo como o infinito, pois nada na vida do dia-a-dia era infinito.<ref name=Maor/> {{rp|2-3}}

Apesar disso, existem relatos da utilização do infinito na matemática hindu, relacionada com a utilização do zero. [[Brahmagupta]] definiu a [[divisão por zero]] como tendo resultado ''a/0'', sem especificar o significado. Mais tarde [[Bhaskara II]] (1150) e Ganesa (1558) fizeram a ligação explícita com o conceito de infinito. Ganesa afirmou que ''a/0'' é "uma quantidade indefinida e ilimitada, ou infinita: não possivel determinar o quão grande é. É inalterada pela adição ou subtração de quantidades finitas".<ref name=Baron>{{Citar livro | autor = Baron, Margaret E | título = The origins of the infinitesimal calculus | ano = 2003 | editora = Dover Publications | local = Mineola, N.Y. |isbn= 978-0-486-49544-6 | idioma = inglês | url= http://books.google.pt/books?id=S0L9Njm3xp8C}}</ref>

=== Grécia Antiga ===
[[Imagem:Pi archi approx.svg|thumb|500px|direita|Método de aproximação ao número π usado por Arquimedes.]]
Só se sentiu a necessidade de pensar sobre o infinito quando a matemática passou de uma disciplina exclusivamente prática para uma disciplina teórica, o que veio a acontecer na [[Grécia Antiga]], no [[século VI a.C.]].<ref name=Maor/> {{rp|3}}

Apesar de o infinito matemático ser reconhecido por filósofos como [[Pitágoras]], [[Parménides]] e [[Platão]], era tomado como um conceito "negativo": algo irracional, inacessível, até mesmo intratável.<ref name="Heller"/> {{rp|20,55}}

O pensamento de [[Aristóteles]] (384 - 322 a.C.) foi o que permaneceu dominante tendo uma forte influência de pensar o infinito, pela filosofia e teologia até ao século XVII.<ref name=Radice/>
Aristóteles nega a existência do infinito tomado como completo, quer ele seja físico ou abstrato.
O [[método dedutivo]], central na geometria aristotélica, determina que "não podemos conhecer os objetos posteriores que não derivem de elementos primeiros". Estes postulados primeiros são indemonstráveis, estão fora da ciência, estando no domínio da ''[[metamatemática]]''. São o "atual" de onde parte todo o "potencial".
Os eventos futuros são por isso a consequência da realização dos eventos anteriores, sendo admitido o infinito em potência, mas não faz sentido pensar o futuro como um infinito todo dado, completo, já realizado.
Impõe-se um limite do processo de atuação, um "fim último", uma ''[[entelequia]]'', para usar o termo introduzido pelos gregos na linguagem da filosofia.<ref name=Radice/>
Apesar de rejeitar o infinito como algo com uma existência concreta, Aristóteles foi pioneiro ao discutir a diferença entre infinito potencial e infinito em ato.<ref name=Silva>{{Citar livro| autor= Silva, Jairo José da| título = Filosofias da matemática | ano = 2007 | editora = UNESP | local = São Paulo |isbn= 978-8-571-39751-4 | url=http://books.google.pt/books?id=GbjVBs_P3hYC}}</ref>

Em contraste com a doutrina aristotélica, uma linha de pensamento opositora, o [[atomismo]], considerava a matéria como sendo composta de uma quantidade infinita de [[átomos]], indivisíveis, admitindo desta forma o infinito.
[[Eudoxo de Cnido]] (390 - 338 a.C) e [[Demócrito de Abdera]] (460 - 370 a.C) são considerados os fundadores do atomismo, e estabeleceram uma técnica prática, o [[método da exaustão]], que recorria ao infinito potencial para resolver problemas matemáticos.

Este método foi incorporado por  [[Euclides]]  (360 - 295 a.C) nos seus ''Elementos'' (livros V e XII) e foi depois refinado por [[Arquimedes]]  287 – 212 a.C.), que o utilizou para descobrir resultados cuja prova faria depois através de outros métodos.<ref name=Heller/> {{rp|?}}

Em particular, foi notável á utilização por Arquimedes do método da exaustão para calcular o valor de [[Pi]], usando aproximações graduais de [[poliedro]]s a uma circunferência. Conseguir pela primeira vez apresentar um método de cálculo que permitia obter o valor de Pi com a precisão que se desejasse. Ainda assim, o método era considerado uma [[heurística]], um técnica auxiliar, não uma ferramenta matemática de pleno direito, capaz de fazer prova.<ref name=Maor/> {{rp|5}}

Ainda na antiguidade, [[Plotino]] (205 - 270 d.C.) foi o primeiro a conceber um infinito absoluto, com semelhanças ao infinito em ato, mas que continua a estar para além do racional. Trata-se de um infinito que existe como um todo, mas é, transcendental, sendo uma caraterística do divino. Esta visão de infinito absoluto, atual mas não pensável, manteve-se na doutrina filosófica cristã, como mais tarde a obra de [[Gregório de Níssa]] (330 - 395 d.C.) também mostra.<ref name=Heller/> {{rp|24,28}}

=== Idade Média ===
No [[século XIII]], [[Tomás de Aquino]], fortemente influenciado pela estrutura filosófica de Aristóteles, admitiu também a infinidade absoluta como uma característica de Deus, mas considera o infinito em ato como não sendo admissível na "criação", no mundano.<ref name=Heller/> {{rp|278}} Esta concepção do infinito aristotélico-tomista manteve-se dominante desde a civilização greco-latina até ao [[Renascimento]].<ref name="Radice"/>

[[Nicolau de Cusa]] (1401 - 1464), já no final da Idade Média, introduz uma forma de pensar "''prius inaudita''" - nunca antes vista. Abandona a ideia de infinito como algo não pensável e transformou-o num conceito científico, que podia ser usado em matemática desprendido da sua carga teológica. Argumenta que o infinito tem uma forma única, que não pode ser medido em termos de "maior" ou "menor". Compreendeu que os inteiros são tantos quantos os quadrados dos inteiros, apesar de os últimos serem "menos" que os inteiros. Aos fenómenos contraintuitivos do infinito chamou de ''Coincidentia Oppositorum'' - a coincidência dos opostos. Este discernimento abriu portas a um novo espaço conceptual que viaria a ser aproveitado por figuras como [[Galileu Galilei]], [[Bernard Bolzano]], [[Georg Cantor]], [[Kurt Gödel]] e [[Gerhard Gentzen]].<ref name=Heller/> {{rp|38}}

=== Renascimento ===
[[Giordano Bruno]] (1548 - 1600) foi uma voz discordante da doutrina aristotélico-tomista dominante. Na sua obra de 1584, ''Sobre o Infinito, o Universo e os Mundos'' discute as consequências filosóficas da substituição do modelo do mundo de [[Nicolau Copérnico]] (1473 - 1543), fechado por uma esfera exterior, pelo modelo de [[Thomas Diggs]] (1546 - 1595), que questionava a existência dessa esfera. Bruno defende a existência do infinito não transcendental e discute a argumentação finitista de Aristóteles e Tomás de Aquino.<ref name="Neuser">{{Citar livro | autor = Neuser, Wolfgang | título = A infinitude do mundo: notas acerca do livro de Giordano Bruno Sobre o infinito, o universo e os mundos (1584) | ano = 1995 | editora = EDIPUCRS | local = Porto Alegre | url= http://books.google.pt/books?id=xMeAyq3mGXIC&pg}}</ref>

[[Galileu Galilei]] (1564 - 1642), [[atomismo|atomista]] e contra a tradição aristotélica dominante, deu um passo ousado ao afirmar claramente a possibilidade de divisão de um [[segmento de reta]] numa infinidade de elementos "primeiros", não quantos, isto é, sem extensão: "(a subdivisão) pressupõe que as partes são infinitas, porque de contrário a subdivisão seria terminável; e o serem partes infinitas, extrai-se como consequência do serem não quantas". Apesar de ousado na filosofia, Galileu era prudente como matemático, e não deu o passo seguinte de aceitar o infinito em ato como parte da matemática.
Com base nas ideias de Galileu, os seus discípulos desenvolveram a "geometria do indivisível", que foi fundada por [[Bonaventura Cavalieri]] (1598–1647) e desenvolvida por [[Evangelista Torricelli]] (1608 - 1647). [[John Wallis]] (1616 - 1603), autor de ''Arithmetica Infinitorum'' (1656), foi o terceiro grande nome do método dos indivisíveis, que seria a premissa para o desenvolvimento do [[cálculo]] infinitesimal (ou diferencial).<ref name="Radice"/>

[[Gottfried Leibniz]] (1646 - 1716) publicou a primeira exposição do cáclulo diferencial em 1664, na ''Acta Eruditorum'', no ensaio ''Nova methodus pro maximis et minimis, itemque tangentibus'' (novo método para achar os máximos e mínimos, assim como as tangentes). Em paralelo e de forma independente, [[Isaac Newton]] (1642 - 1727) desenvolveu um método equivalente, mas que só foi publicado em 1687, no ''Philosophiae naturalis principia mathematica''.<ref name="Radice"/>
Esta descobertas independentes geraram uma disputa azeda sobre a autoria, que chegaram a ter contornos políticos derivados do prestígio para os seus países, [[Alemanha]] e [[Grã-Bretanha]]. Os métodos de Leibniz e Newton marcaram o triunfo do infinito na matemática, mas restava ainda muita controvérsia sobre a natureza destes infinitesimais. São mesmo zero? São átomos muito pequenos mas maiores que zero? A expressão mais acutilante desta questão foi a do bispo [[George Berkeley]] (1685 - 1753), que em 1753 publicou uma obra satirizando e ridicularizando os fundamentos do cálculo infinitesimal.<ref name="Maor"/> {{rp|13}}

=== Idade Contemporânea ===
[[Bernard Bolzano]] (1781 - 1848) mostrou que a maioria das antinomias do infinito podiam ser reduzidas a paradoxos (algo que parece contraditório ao senso comum, mas não o é efetivamente) através de raciocínio lógico.<ref name=Heller/> {{rp|42}}

[[Georg Cantor]] (1845 - 1918) foi o primeiro a conseguir um tratamento racional e matemático do infinito, e a afirmar o infinito atual como objeto pensável e tratável de forma racional, e contra a filosofia de [[Immanuel Kant|Kant]], que prevalecia na época.
Até esse momento, o conceito de infinito atual tinha sido rejeitado por grandes pensadores como Galileu, Leibniz, Newton e até mesmo Gauss, devido às dificuldades geradas pelas suas contradições.
Cantor terá se inspirado no trabalho de [[Nicolau de Cusa]], a quem se refere em notas de rodapé em ''Grundlagen'', e caraterizou o infinito pela sua [[cardinalidade]]. Chamou [[conjunto contável]] aos conjuntos infinitos para os quais é possível estabelecer uma correspondência [[biunívoca]] de todos os seus elementos com o conjunto de todos os [[Número natural|números naturais]]. A essa correspondência chama-se [[equipotência]].
Cantor mostrou que os [[Número racional|números racionais]] são contáveis, mas que os [[Número real|números reais]] não. Através do seu [[Argumento de diagonalização de Cantor|argumento de diagonalização]] provou por [[prova por absurdo|absurdo]] que não é possível estabelecer essa correspondência. Os números reais são "mais" que os naturais, ou dizendo melhor, têm uma cardinalidade superior. Correspondem a uma ordem de infinito superior à dos naturais.<ref name=Heller/>
Cantor estabeleceu a existência de uma escala ordenada de potências de infinito, potencialmente infinita, o que levantava a questão da existência ou não de um infinito absoluto, superior a todo e qualquer infinito. Esse conceito parece estar para além do racional.<ref name="Radice"/>

== Ver também ==
{{Refbegin|3}}
* [[0,999...]]
* [[1 − 2 + 3 − 4 + · · ·]]
* [[A Biblioteca de Babel]], de Jorge Luís Borges
* [[Axioma do infinito]]
* [[Teorema do macaco infinito]]
* [[Número surreal]]
* [[Reta real estendida projetivamente]]
{{Refend}}

{{Referências|col=3}}

== Ligações externas ==
{{Wikiquote|Infinito}}
{{Wikcionário}}
* Freitas,Cristina; Gonçalves, Elsa; Silva, Ema. [http://w3.math.uminho.pt/~jcosta/O%20Infinito.pdf O Infinito - projeto de estágio de licenciatura em matemática. Universidade do Minho.], acedido em 17 de abril de 2011. ([http://www.webcitation.org/5y0gdVsm9 Arquivado por WebCite®])
* ''[http://www.earlham.edu/~peters/writing/infapp.htm A Crash Course in the Mathematics of Infinite Sets]'', de Peter Suber.  Um anexo de ''Infinite Reflections'', fazendo uma introdução à matemática dos infinitos de Cantor.
* ''[http://www.earlham.edu/~peters/writing/infinity.htm Infinite Reflections]'', de Peter Suber. Sobre a forma como a matemática dos infinito de Cantor resolve um conjunto de problemas filosóficos.
* [http://pespmc1.vub.ac.be/INFINITY.html ''Infinity'', Principia Cybernetica]
* [https://web.archive.org/web/20040910082530/http://www.c3.lanl.gov/mega-math/workbk/infinity/infinity.html Hotel Infinity], um ''site'' didático sobre o infinito.
* [https://www.webcitation.org/query?url=http://uk.geocities.com/frege%40btinternet.com/cantor/Phil-Infinity.htm&date=2009-10-25+04:16:26  Fontes sobre escritos medievais e modernos acerca do Infinito]
* [http://www.washingtonpost.com/wp-srv/style/longterm/books/chap1/mysteryaleph.htm O Mistério Do Aleph: Matemática, a Cabala, e a busca do Infinito]
* [http://dictionary.of-the-infinite.com Dicionário do Infinito](compilação de artigos sobre o infinito na física, matemática e filosofia)
* [https://www.newadvent.org/cathen/08004a.htm Catholic Encyclopedia: Infinity]

{{infinito}}
{{Análise}}
[[Categoria:Filosofia]]
[[Categoria:Infinito]]