1

A MATEMTICA E O PROBLEMA DO INFINITO

A TEORIA DOS CONJUNTOS DE CANTOR
Conjuntos Georg Cantor (1845-1918) introduz a noo de conjunto de forma intuitiva e liberal: conjuntos podem ser finitos (como {1, 2, 3}), infinitos (como {0, 1, 2, 3, ...}) ou vazios (). Em princpio, cada um dos elementos de um conjunto, inclusivamente de {0, 1, 2, 3, ...}, considerado como existente, o mesmo valendo para o conjunto na sua totalidade. Cantor subscreve a tese do infinito atual (ou real): existem conjuntos infinitos, com cada um dos seus elementos. A ideia subjacente teoria de Cantor definir uma linguagem na qual os diversos campos da matemtica possam ser expressos. A prpria noo de nmero, por exemplo, definida com o auxlio do conceito de conjunto. Em 1925, John von Neumann (1903-57), um norteamericano de origem hngara, apresenta uma elegante definio conjuntista de nmero natural, que a seguinte: 0 =df ; n + 1 =df n {n}. Nesses termos, 0 o conjunto vazio, 1 o conjunto cujo nico elemento o vazio, 2 o conjunto cujos elementos so 0 e 1, etc. A sequncia numrica que vai de 0 at 4.999 o nmero 5.000. Ora, se cada sequncia numrica do citado tipo um nmero, o que dizer do prprio conjunto {0, 1, 2, 3,...}? A resposta de Cantor que este ltimo um nmero infinito (ou transfinito), que ele chama de (mega). O nmero tem um sucessor, que + 1. Este sucedido por + 2, de maneira que existe uma sequncia , + 1, + 2, + 3,..., cujos membros so nmeros transfinitos. O nmero o menor nmero transfinito, assim como 0 o menor nmero natural. + 1 um infinito maior do que , etc. H uma infinidade de nmeros infinitos e h infinitos maiores do que outros infinitos. Nmeros transfinitos podem ser definidos pelo mtodo de Von Neumann. Para obter como sucessor de , aplicamos a definio da seguinte forma: =df {}.

2 H uma aritmtica de nmeros tranfinitos, que no mera transposio da aritmtica usual. Com efeito, + 1 = , mas 1 + = ! A aritmtica dos nmeros transfinitos mostra-nos que podemos calcular com o infinito, mas de maneira diferente da costumeira. Ao somar ou multiplicar dois nmeros naturais, ns obtemos nmeros naturais. Porm, o que ocorre com a subtrao? 9 10 = -1. Vemos, ento, que para subtrair nmeros quaisquer, ns temos de ampliar o conjunto dos nmeros naturais {0, 1, 2, 3,...} e admitir nmeros negativos. Temos, ento, o conjunto dos nmeros inteiros positivos ou negativos: {..., -2, -1, 0, 1, 2, ...}. Para que possamos dividir sem restries (salvo com respeito a 0), tambm temos de ampliar o conjunto {0, 1, 2, 3,...}, pois no existe nmero inteiro que corresponda diviso de 1 por 2. Isso nos leva ao conjunto dos nmeros racionais, que inclui os nmeros inteiros e fraes como 1 , 2 , etc. 2 5

Um problema mais complexo surge quando consideramos uma expresso como

2 . Qual o nmero que, multiplicado por si mesmo, tem 2 como resultado? Ao buscar uma soluo para tal problema, ns s obtemos aproximaes, que so ora maiores ora menores do que 2: 10 , 7 , 17 ,... Na verdade, nenhum nmero inteiro e nenhuma 7 5 2 frao corresponde a 2 , que um nmero irracional: 2 = 1, 414214... Os dgitos que

ocorrem aps a vrgula tm de ser calculados caso a caso, pois eles no formam dzimas peridicas, como acontece, por exemplo, com o nmero 2, 19191919... frao 1 corresponde o nmero 0, 333..., mas nenhuma frao igual a 1, 414214... Ao ampliar o conjunto dos nmeros racionais, agregando-lhe os nmeros irracionais, obtemos o conjunto dos nmeros reais: {0, 1, 2,..., 1 ,..., 2 ,..., 1,414214...}. 2 5
Cardinalidade

Consideremos o conjunto {a, b, c}. Quantos elementos tem ele? A resposta simples 3. Na linguagem tcnica dos conjuntos, dizemos que a cardinalidade de {a, b, c} 3. Portanto, a
cardinalidade de um conjunto o nmero dos seus elementos. O conjunto , que vazio,

tem cardinalidade 0.

3 O conjunto dos nmeros naturais infinito, mas, idealmente, possvel enumerar os seus elementos com o auxlio dos prprios nmeros naturais ou de nmeros inteiros positivos. Quando temos um conjunto infinito, mas enumervel (isto , um conjunto cujos membros possam ser contados com o auxlio de nmeros inteiros positivos 1, 2, 3, ...) dizemos que a sua cardinalidade 0 (lefe-zero). A letra (lefe) a primeira do alfabeto hebraico e foi escolhida por Cantor para expressar cardinalidades infinitas. O conjunto dos nmeros inteiros positivos e negativos infinito e enumervel, como vemos por meio da seguinte correlao: 1 0 2 1 3 -1 4 2 5 -2 6 3 7 -3 ... ...

O conjunto dos nmeros racionais enumervel? Aparentemente, no, pois entre dois nmeros racionais sempre possvel inserir um terceiro. Se a racionais, basta aplicarmos a expresso a + c
b+d

e c

so nmeros

para obtermos um nmero racional que

esteja entre aqueles primeiros. Tomemos, por exemplo, os nmeros 1 e 2 . Aplicando a 3 3 citada expresso obtemos 1 + 2
3+3

= 3

(= 1 ). Entre 1 e 1 , por sua vez, est 2 3 2

1+1

3+ 2

= 2 , e assim por diante. Em outras palavras, um nmero natural sempre tem 5

um sucessor, mas o mesmo no vale para as fraes. O sucessor de 1 no 2 , mesmo 3 3 porque entre tais nmeros existe uma infinidade de fraes. O conjunto dos nmeros racionais denso, como dito usualmente. Porm, possvel ordenarmos os nmeros racionais, da seguinte maneira, na qual a ordem das setas possibilita a introduo de um mtodo de contagem. Para efeito de simplificao, restrinjamo-nos aos nmeros positivos.

4
0 1 1 2 3 1 4 5 6 7

...

...

...

...

...

...

...

...
1 m

...
2 m 3

...
m

...
4 m

...
5 m

...
6 m

...
7 m

...
n m

...

Ao inclinar essa figura, podemos formar um tringulo idealmente infinito, da seguinte maneira:

5
0

1 1 1 2

3 1

1 ...

No h qualquer dificuldade em introduzirmos fraes negativas nesses quadros. Para tanto, basta escrevermos ao lado de uma frao qualquer n/m a correspondente frao negativa (- n/m). Graas a esse recurso, existe uma forma de contar os elementos do denso conjunto dos nmeros racionais. Contrariamente ao que parecia de incio, o conjunto infinitoenumervel e tem cardinalidade 0.
O mtodo da diagonal e a hiptese do contnuo

Nmeros racionais podem ser representados como fraes decimais infinitas: 1 = 1/1 = 0,999...; 1/3 = 0, 333.... O mesmo vale para para os nmeros irracionais:
2 = 1, 414214...,

= 3, 14159... O nmero 0 no uma frao decimal infinita. No obstante, j entre 0 e 1

existe uma infinidade de nmeros reais r1, r2, r3, .... Cada um desse nmeros composto por 0, seguido de uma vrgula, seguido de uma sequncia infinita de dgitos. Por exemplo, o nmero r1 0, a11 a12 a13,... A expresso a11 representa o primeiro nmero que se segue ao 0, nesse seriao de nmeros da linha 1; a12 representa o segundo da mesma seriao, etc. A expresso a95 representa o quinto nmero que se segue ao 0, na seriao da nona linha.

6 Por hiptese, suponhamos que todos os nmeros reais existentes entre 0 e 1 possam ser listados num quadrado infinito. Se existe um quadrado desse tipo, ento ns podemos encontrar um mtodo ideal de contagem para a infinidade dos seus membros. Portanto, a hiptese implica a enumerabilidade do conjunto dos nmeros reais, que, nesse caso, teriam cardinalidade 0. O citado quadrado infinito teria a seguinte forma: r1 r2 r3 r4 r5
M

= = = = = ...

0, a11 0, a21 0, a31 0, a41 0, a51 ...

a12 a22 a32 a42 a52 ...

a13 a23 a33 a43 a53 ...

a14 a24 a34 a44 a54 ...

a15 a25 a35 a45 a55 ...

... ... ... ... ... ...

Cantor observa que a hiptese da existncia de um quadrado como este estar refutada caso ns possamos indicar um nico nmero real que no ocorra nessa listagem. Para tanto, procedamos da seguinte maneira: 1. construamos um nmero x que comece com 0 seguido de vrgula; 2. em seguida, logo aps a vrgula, escrevamos o primeiro elemento de r1, isto , o nmero a11; 3. nos passos seguintes, escrevamos, respectivamente, o segundo nmero de r2, isto a22, o terceiro elemento de r3, isto a33, etc. Resumidamente, x ser construdo conforme o percurso da seta diagonal:

7 r1 r2 r3 r4 r5 = 0, a11 0, a21 0, a31 0, a41 0, a51 ... a12 a22 a32 a42 a52 ... a13 a23 a33 a43 a53 ... a14 a24 a34 a44 a54 ... a15 a25 a35 a45 a55 ... ...

...

...

...

= ...

... ...

Por exemplo, suponhamos que o nmero que, idealmente, obtivemos seja o seguinte: x = 0, 43159997641028... Nesse caso, a11 = 4, a22 = 3, a33 = 1, a44 = 5, a55 = 9, etc. Em seguida, obtenhamos um novo nmero que ser y. Este ser formado por meio do seguinte procedimento: tomemos o nmero x e nele faamos substituies direita da vrgula, escrevendo 2, onde ocorre o nmero 1, e escrevendo 1 em todos os demais casos. Dessa maneira, ns obteremos: y = 0, 11211111112111... O nmero y ocorre no quadrado infinito acima esboado? No. Pelo mtodo de construo proposto por Cantor, y diferente de r1 ao menos quanto ao primeiro dgito (o primeiro dgito de r1 4, enquanto que o primeiro de y 1), diferente de r2 ao menos quanto ao segundo dgito, diferente de r3 ao menos quanto ao segundo dgito e assim por diante. Qualquer nmero que venha a constar no quadrado infinito ser diferente de y quanto a pelo menos um dgito. Em outras palavras, o nmero rn ser diferente de y ao menos no ensimo dgito. Logo, y no ocorre no quadrado infinito. Este ltimo no contm todos os nmeros reais, o que refuta a hiptese de que o respectivo conjunto seja enumervel. O mtodo da diagonal de Cantor prova que o conjunto dos nmeros reais no enumervel e tem cardinalidade superior a 0. Esse mtodo uma forma de reduo ao absurdo.

8 Ao representar o conjunto dos nmeros reais como pontos de uma reta, ns obteramos um segmento contnuo. Por essa razo, o conjunto dos nmeros reais, isto , o conjunto {0, 1, 2,..., 1 ,..., 2 ,..., 1,414214...} , simplesmente, chamado de contnuo. 2 5 Qual a cardinalidade do contnuo? Essa pergunta coincide com uma outra. Sabemos que a cardinalidade do conjunto dos nmeros naturais 0. Porm, qual a cardinalidade do conjunto-potncia do conjunto dos nmeros naturais? Se um conjunto C tem n elementos, ento, (C) tem 2n membros. Ora, como o conjunto dos nmeros naturais tem 0 elementos, o seu conjunto-potncia tem 20 membros. Mas, que nmero este? Ele h de ser maior do que o nmero de elementos do conjunto dos nmeros naturais. Mas, ser que esse nmero corresponde a um conjunto, cujo tamanho o seguinte maior, logo aps o conjunto dos nmeros naturais, ou ser que existem conjuntos infinitos de tamanhos intermedirios? A essa pergunta, Cantor deu uma resposta negativa, recusando a existncia de tais conjuntos infinitos de tamanhos intermedirios. Cantor formulou a sua Hiptese do Contnuo, nos seguintes termos: 1 = 20. Assim como h uma sequncia dos nmeros-mega (, + 1, + 2,...), tambm existe a sequncia dos lefes: 0, 1, 2,..., ,
+ 1,...

A hiptese do contnuo

estabelece que o sucessor de 0 (isto , 1) 2 elevado potncia 0. possvel tornar essa hiptese mais ampla, afirmando que, para qualquer , o respectivo sucessor + 1 obtido a partir do conjunto-potncia de . Tal ampliao a Hiptese Generalizada do Contnuo: + 1 = 2. Cantor no provou a sua hiptese. Se ela est correta, ento a cardinalidade do contnuo 20, o mesmo valendo para o nmero de elementos do conjunto-potncia do conjunto dos nmeros naturais. Em 1906, o matemtico hngaro Julius Knig (1849-1913) provou que a cardinalidade do contnuo, embora no sendo 0, tampouco .1 Em 1908, Ernst Zermelo (1871-1953) axiomatizou a teoria dos conjuntos que Cantor apresentara intuitivamente. Tal axiomatizao recebeu contribuies de Abraham
1

Knig tentou provar que a Hiptese do Contnuo falsa, mas a sua demonstrao continha uma erro.

9 Fraenkel (1891-1965), de maneira que a teoria passou a chamar-se ZF. teoria ZF pode ser acrescentado o controverso Axioma da Escolha, da resultando o sistema ZFC (de choice = escolha)2. Em 1938, o austraco Kurt Gdel (1906-78) provou que a Hiptese Generalizada do Contnuo consistente relativamente a ZFC, isto , ele demonstrou que a hiptese pode ser empregada na teoria sem contradio. Em 1963-4, o norteamericano Paul Cohen (1934-2007), empregando um mtodo muito forte chamado forcing, provou que a negao da Hiptese Generalizada do Contnuo tambm consistente com respeito a ZFC. Os resultados de Gdel e de Cohen provam que a Hiptese Generalizada do Contnuo independente relativamente a ZFC. Em outras palavras, admissvel que se tome ZFC e se lhe agregue a Hiptese Generalizada do Contnuo, assim como admissvel que a negao dessa hiptese seja agregada a ZFC. Se trabalhamos com ZFC + Hiptese Generalizada do Contnuo, saberemos que a cardinalidade do conjunto dos nmeros reais 1, ou seja, 20. Se postularmos ZFC + Negao da Hiptese Generalizada do Contnuo, teremos que a cardinalidade do contnuo pode ser qualquer lefe, salvo alguns poucos, como 0 e . Essa cardinalidade pode ser 346 ou + 7 ou 1. Nesse sentido, a Hiptese Generalizada do Contnuo indecidvel, no contexto de ZFC. Gdel j antecipara a possibilidade desse resultado e, antes da prova de Cohen, notara que tal indecidibilidade seria sinal de insuficincia nos axiomas de ZFC. Se tais axiomas descrevem corretamente a realidade conceptual dos conjuntos, ento, na respectiva teoria, a Hiptese Generalizada do Contnuo verdadeira ou falsa, de maneira que a indecidibilidade que Cohen viria a provar em 1963-4 indica alguma lacuna terica conjuntista.3 Porm, certo que, relativamente a ZFC, a Hiptese Generalizada do Contnuo pode ser postulada ou no, pressupondo-se que os demais axiomas da teoria so consistentes. No obstante, existem tentativas contemporneas de provar que aquela hiptese falsa, caso se empregue um determinado axioma bastante plausvel, que no parte de ZFC.4 Ou seja, os axiomas de ZFC, enriquecidos com o acrscimo do suposto
Basicamente, o Axioma da Escolha tem a seguinte formulao: Seja A um conjunto cujos membros so conjuntos no-vazios e, dois a dois, disjuntos. Ento, existe um conjunto que tem um elemento em comum com cada um daqueles conjuntos que so membros de A. Esse axioma foi formulado por Zermelo em 1904. 3 Fernando Ferreira, Enciclopdia de Termos Lgico-Filosficos, verbete Hiptese do Contnuo, p. 385. 4 Woodin, H. The Continuum Hypothesis, part I, Not. Amer. Math. Soc., 48, 567-76, 2001a; The Continuum Hypothesis, part II, Not. Amer. Math. Soc., 48, 681-90, 2001b.
2

10 novo axioma plausvel, implicariam a falsidade da Hiptese Generalizada do Contnuo. Sob tal quadro, talvez o novo conjunto de axiomas descreva melhor as relaes conceptuais entre conjuntos, o que contornaria as dificuldades que Gdel antecipou. atribuda ao grande matemtico alemo David Hilbert (1862-1943) a clebre frase que expressa o entusiasmo causado pelas ideias de Cantor em amplos crculos de matemticos: Nunca sairemos do paraso no qual Cantor nos introduziu. De fato, a teoria dos conjuntos produziu uma notvel unificao no universo da matemtica de fins do sculo XIX e incios do sculo XX. No obstante, a teoria dos conjuntos que Cantor desenvolveu intuitivamente apresentou paradoxos, como aquele descoberto pelo prprio Cantor em 1895: o conjunto universo U, que tudo rene, o maior de todos os conjuntos; porm, o conjunto-potncia do universo (U) maior do que o conjunto-universo, ou seja: U < (U). Alm disso, o conjunto-potncia do conjunto-potncia do universo maior do que o conjunto-potncia do universo: U < (U) < [(U)]. Esse raciocnio pode ser repetido ao infinito, o que conduz a um resultado inaceitvel: U o maior conjunto, mas existe uma infinidade de conjuntos maiores do que U! O trabalho de axiomatizao da teoria dos conjuntos elaborado por Zermelo visou eliminar o paradoxo de Cantor. Por essa razo, Zermelo no define conjunto-universo e nem tampouco o conceito de complemento absoluto de um conjunto. Ele postula como axiomas to somente aqueles princpios dos quais ele carece para desenvolver a teoria. Ao fim e ao cabo, o paraso de Cantor ficou livre da sua serpente, mas perdeu a beleza natural. Cabe-nos observar que, no universo da filosofia, a tese da existncia de um infinito real completo h muito est presente. Na Idade Mdia, o infinito foi frequentemente identificado com Deus. Na Idade Moderna, a discusso sobre o infinito ganhou densidade epistemolgica, como o comprovam as seguintes linhas de Ren Descartes (1596-1650):
E no devo imaginar que no concebo o infinito por uma verdadeira ideia, mas somente pela negao do que finito, do mesmo modo que compreendo o repouso e as trevas pela negao do movimento e da luz: pois, ao contrrio, vejo que h mais realidade na substncia infinita do que na substncia finita e, portanto, que, de alguma maneira, tenho em mim a noo do infinito anteriormente do finito, isto , de Deus antes de mim mesmo. Pois, como seria possvel que eu pudesse conhecer que duvido e que desejo, isto , que

11
me falta algo e que no sou inteiramente perfeito, se no tivesse em mim a ideia de um ser mais perfeito do que o meu, em compreenso ao qual eu conheceria as carncias da minha natureza?.5

Em termos contemporneos, aqueles que admitem a existncia extramental de um infinito completo, so chamados de realistas. Realistas, portanto, aceitam a tese de que os nmeros independem da mente humana e que os conjuntos que os contm como elementos tambm gozam de anloga independncia. Nmeros, conjuntos de nmeros, etc., embora no sejam tangveis, nem por isso so menos reais do que galxias, mares ou edifcios. As relaes que h entre eles no so estabelecidas pela mente humana, mas apenas por ela descobertas. Exemplo particularmente adequado para tal posio so as seguintes frases de Bertrand Russell (1872-1970), publicadas em 1903:
[A] aritmtica deve ser descoberta, precisamente, no sentido em que Colombo descobriu as ndias Ocidentais, e ns no criamos os nmeros, como ele tampouco criou os ndios. O nmero dois no puramente mental, mas uma entidade que deve ser objeto de pensamento. Tudo o que pode ser objeto de pensamento tem ser e o seu ser pr-condio, e no resultado, do seu ser pensado. 6

Um problema ontolgico do realismo quanto a entidades matemticas reside no fato de que elas no exercem efeitos causais. A brisa move a folhagem das rvores, o que envolve relao de causa-efeito. Mas nmeros ou conjuntos de nmeros no movem objetos fsicos nem os transformam, assim como no so por eles movidos ou transformados. O realismo tem de admitir que causa e efeito no se aplicam a entidades matemticas. Uma vez admitida a formulao realista, h que admitir tambm a existncia real dos nmeros, dos conjuntos numricos, dos megas, dos lefes, etc. O INTUICIONISMO O intuicionismo do sculo XIX Apesar do entusiasmo de Hilbert, nem todos os matemticos das ltimas dcadas do sculo XIX e das primeiras do sculo XX aprovaram a teoria dos conjuntos de Cantor e seus mtodos inifinitistas. O grande matemtico francs Henri Poincar (1854-1911) ops-se ao infinitismo cantoriano e defendeu uma forma de matemtica finitista. Seguindo Kant neste particular, Poincar admite a existncia de juzos sintticos a priori, que se manifestariam
5

Ren Descartes. Meditaes, III, 23. Traduo de J. Guinsburg e Bento Prado Jnior. Volume Descartes (Os Pensadores), 3a ed. So Paulo: Abril Cultural, 1983, pp. 72-211. 6 Russell, Bertrand. The Principles of Mathematics, apud Peter Hilton: Russell, Idealism and the Emergence of Analytic Philosophy. Oxford: Clarendon Press, 1990, pp. 172.

12 na rea na qual a matemtica exibe a sua mxima pureza, vale dizer, a aritmtica dos nmeros inteiros.7 Por isso mesmo, Poincar aceita o assim chamado Princpio da Induo Completa, proposto pelo italiano Guiseppe Peano (1858-1932).8 Poincar v nesse princpio a essncia do raciocnio matemtico. Outros matemticos franceses como mile Borel (1871-1956) e Henri-Lon Lebesgue (1875-1941) aproximaram-se da posio de Poincar. O adversrio mais enftico do tipo de matemtica proposto por Cantor, entretanto, foi o alemo Leopold Kronecker (1823-1891), docente na Universidade de Berlim e membro de vrias instituies cientficas de alto nvel, como a Royal Society, por exemplo. Na verdade, Cantor no foi o nico matemtico da poca a produzir resultados novos com o emprego de pressupostos e procedimentos infinitistas, pois, dentre outros, Richard Dedekind (1831-1916) e Karl Weierstrass (1815-97) tambm o fizeram. Dedekind desenvolveu contribuies importantes teoria de nmeros irracionais. Em particular, ele concebeu a ideia de que nmeros racionais e irracionais poderiam formar um contnuo, desde que nmeros reais pudessem ter uma relao biunvoca com pontos de uma linha. Weierstrass, por sua vez, o pai dessa parte da matemtica que se chama anlise e o fundador da teoria da funes. Os trabalhos de Cantor, Dedekind e Weierstrass, entretanto, foram objeto de srias restries por parte de Kronecker. Atribui-se a Kronecker a clebre frase que resume o ponto de vista do assim chamado construtivismo: O bom Deus nos deu os nmeros naturais; o resto foi feito pelos homens.9 A ideia que os nmeros naturais formam uma base intuitiva a partir da qual ns podemos construir outras entidades, com o auxlio de regras. Podemos tomar 0, 1, 2 e seguir adiante, aplicando a regra de adicionar a unidade para obter o nmero seguinte: 3 obtido por adio de 1 a 2, etc. Esse procedimento de seguir adiante jamais se exaure, razo por que o infinito jamais est completo, ele to somente um infinito potencial. Segundo Kronecker, pressupor que infinito est completo ilegtimo. Quando, em 1882, Ferdinand von Lindemann (1852-1939) provou que um nmero transcendental, Kronecker louvouTal referncia pureza mxima da matemtica na aritmtica est em M. Amoroso Costa: A filosofia matemtica de Poincar. In As ideias fundamentais da matemtica e outros ensaios. So Paulo: Editora Convvio, 1981, p. 94. 8 O Princpio da Induo Completa pode ser formulado da seguinte maneira: A propriedade que convm a 0 e, convindo a n, convm a n + 1, convm a todos os nmeros. Poincar fala sobre essa tese como Princpio da Recorrncia. 9 A expresso O bom Deus (Der liebe Gott) no tem contao religiosa, mas sim irnica.
7

13 lhe a elegncia da demonstrao, mas obtemperou que nada fora provado, porquanto nmeros transcendentais no existem.10 Kronecker objetava contra a prova por absurdo, pois nela se pretende demonstar que certa entidade existe fazendo ver que a hiptese de no-existncia conduz a contradies. Mas tal procedimento no constri o objeto cuja existncia deve ser provada. Logo, ele ilegtimo, segundo Kronecker. Em 1887, ele elaborou o programa ber den Zahlbegriff (Sobre o conceito de nmero), para o estudo de objetos matemticos passveis de construes a partir de nmeros inteiros, em nmeros finitos de operaes.11 A nfase sobre construes levou Kronecker a rejeitar tambm o importante teorema de Bolzano-Weierstrass. Weierstrass fora amigo e colega de Kronecker em Berlim, mas nem por isso deixou de ser criticado. Kronecker era membro influente da direo do Crelles Journal, uma importante revista cientfica na qual ele evitou publicar trabalhos de Dedekind e Cantor. No obstante, apesar dos atritos pessoais que suas crticas provocaram, Kronecker sempre apresentou razes objetivas para as suas crticas a terceiros. Graas reputao internacional que angariou, a palavra de Kronecker era amplamente aceita nos meios acadmicos europeus. Cantor jamais se tornou professor em Berlim, depois das objees que lhe foram dirigidas por to forte crtico. No obstante, em 1891, Cantor convidou Kronecker para presidir um encontro cientfico, o que acabou por no acontecer em virtude da morte deste ltimo. O intuicionismo de Brouwer Kronecker lanou as bases da crtica finitista e construtivista matemtica do infinito que se desenvolveu na segunda metade do sculo XIX. No obstante, foi o holands Luitzen Egbertus Jan Brouwer (1881-1966) quem desenvolveu essa crtica nos campos da filosofia, da lgica e da matemtica. Brouwer foi o primeiro a empregar a expresso intuicionismo como designao daquela linha de pensamento por ele privilegiada.12 Ainda jovem, em 1905, Brouwer publicou um trabalho eivado de ideias msticas e pessimistas, no qual esto presentes influncias de Arthur Schopenhauer (1788-1860), do

Transcendental um nmero que no satisfaz nenhuma equao algbrica com coeficientes racionais. A prova de Lindemann implica que no existe soluo para o problema da quadratura do crculo, problema esse j colocado na Grcia antiga. 11 Procedimentos construtivos existem tambm na matemtica usual e nela so plenamente aceitveis. 12 Por vezes, Brouwer designado como neointuicionista, de maneira a se ressaltar o papel fundador de Kronecker. O mais comum, porm, que Brouwer seja chamado de intuicionista.

10

14 mestre Eckhart (1260-1327) e de formas hindustas de religio (Bhagavadgt (em snscrito: Cano de Deus), Krishna). Esse ensaio de juventude tem ntido carter subjetivista e descreve a linguagem como mscara do intelecto.13 Sintomaticamente, em uma antologia de trabalhos de filosofia da matemtica publicada nos anos 1980, os editores suprimiram linhas de um artigo de Brouwer que evidenciavam a sua conexo com o hindusmo.14 Em 1907, Brouwer apresenta a sua tese de doutorado sobre os fundamentos da matemtica, com ntida influncia de Kant.15 Na tese, tal como na filosofia kantiana da matemtica, a intuio do tempo tomada como forma subjacente s construes mentais que se realizam quando noes numricas, por exemplo, so constitudas. Nmeros e conjuntos de nmeros no existem fora do pensamento humano. Eles so construdos mentalmente, no tempo e segundo um regra. Suponhamos que tenhamos um intuio da unidade: 1. Tomemos a regra de adicionar 1 ao elemento previamente estabelecido. Adicionando 1 a 1, obtemos 2; adicionando 1 a 2, obtemos 3, adicionando 1 a 3, obtemos 4, etc. Para que isso seja possvel, precido tempo. Se o presente exemplo est correto, ele serve para ilustrar a construo de nmeros intiros positivos: 1, 2, 3,... O resultado desse procedimento de sucessivas adies, em cada etapa, finito, mas sabemos que nada nos impede de prosseguir adiante. Por isso mesmo, segundo Brouwer, o infinito essa possibilidade de avanar, possiblidade que jamais se completa. Esse o infinito potencial, o nico intuicionisticamente admissvel.16 Quando dispomos de construes elaboradas no tempo, podemos demonstrar ou refutar certas relaes. A demonstrao de que 2 + 1 = 3 pode ser pensada nos seguintes termos rudimentares, que mostram a coincidncia entre 2 + 1 e 3, em termos das suas respectivas construes:
L. E. J. Brouwer. Life, Art and Mysticism. Traduo de W. P. van Stigt. In Notre Dame Journal of Formal Logic, vol. 37, no 1996, p. 381-429. Sobre a vida e obra de Brouwer, ver tambm o livro de Dirk van Dalen: Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer, 2 vols. New York: Oxford University Press, 1999-2005. tambm recomendvel o livro de W. P. van Stigt: Brouwers Intuitionism. Amsterdam: NorthHolland/New York: Elsevier Science, 1990. 14 Cf. John P. Burgess: Philosophical Logic. Princeton/Oxford: Princeton University Press, 2009, p. 141. Os artigos de Brouwer esto na ntegra nos seus Collected Works, vol. I, A. Heyting (ed.). Amsterdam: North Holland, 1976. 15 L. E. J. Brouwer. Over de Grondslagen der Wiskunde. Akademisch Proefschrift. Amsterdam/Leipzig, 1907. Acesso na internet: www.archive.org/details/overdegrondslage00brouuoft 16 Cf. Alexander George & Daniel Velleman: Philosophies of Mathematics. Oxford: Blackwell, 2005 (2002), p. 95-7.
13

15 2 + 1: 1 + 1 +1

3:

1+1+1

Por sua vez, em termos igualmente rudimentares, a refutao de que 2 + 1= 4 consistiria em exibir algo do seguinte tipo: 2+1 1+1+1 ?

4:

1 + 1 + 1 +1

Se o exemplo for adequado, o ltimo elemento da construo de 4 no tem correspondente em 2 + 1, o que est indicado pelo ponto de interrogao. Ento, refuta-se a afirmao de que 2 + 1 = 4. Na linha de Kant, Brouwer admite que o juzo matemtico sinttico a priori, de maneira que a demostrao permanece sob quaisquer circunstncias, uma vez realizada, valendo princpio anlogo, mutatis mutandis, para a refutao. Aquilo que o matemtico consegue provar um resultado definitivo, embora meramente conceptual. O trabalho do matemtico demonstrar ou refutar. Se ele demonstra um proposio p mentalmente construda, ento, de iure, ele pode afirmar que p verdadeira. Se ele refuta um proposio p, ento, e s ento, ele pode afirmar, de iure, que p falsa. Porm, em muitos casos, o matemtico no consegue provar nem refutar certa proposio. O melhor exemplo de tal possibilidade a Hiptese de Goldbach, cuja formulao a seguinte: Todo nmero par, maior do que 2, igual soma de dois nmeros primos.17 Realmente, 4 = 2 + 2, 6 = 3 + 3, 8 = 5 + 3, etc. H enumeraes de casos como estes, feitas por computadores, com bilhes de exemplos, porm, passados mais de dois sculos e meio, ningum conseguiu uma demonstrao para esse enunciado e nem tampouco uma refutao, que consistiria em exibir ao menos um nmero par maior do que 2 que no seja igual soma de dois nmeros primos. Portanto, a Hiptese de Goldbach no est

A Hiptese de Goldbach aparece em 1742, numa carta do matemtico alemo Christian Goldbach (16901764) ao colega suo Leonhard Euler (1707-83).

17

16 demonstrada nem refutada. Ela mera conjectura.18 Com que direito podemos atribuir-lhe de antemo os valores V ou F? Com nenhum direito, a resposta intuicionista, pois a atribuio de verdade ou de falsidade pressupe que exista, respectivamente, uma demonstrao ou uma refutao passveis de serem exibidas. Para esclarecer melhor esse ponto crucial, consideremos a seguinte frase: Existe vida inteligente fora da Terra. razovel admitir que o universo seja constitudo por tomos, molculas, formas de matria, energia, corpos dos mais variados tipos e dimenses, etc. que formam um complexo reino, por assim dizer, independente do esprito humano. Se, no universo, existe ao menos um lugar extraterrestre no qual haja vida inteligente, ento a frase ora selecionada verdadeira. Caso contrrio, ela falsa. At o presente, ns no sabemos se existe ou no um tal lugar, mas afirmamos que uma dessas possibilidades deva ser o caso. Portanto, apesar da nossa ignorncia a respeito do assunto, dizemos que a frase verdadeira, ou falsa. Afinal, o universo um reino independente do nosso esprito. Em princpio, o intuicionista no objeta contra tal tomada de posio. O assim chamado Princpio do Terceiro Excludo (Tertium non datur), segundo o qual uma proposio verdadeira ou falsa (simbolicamente: p p), pode ser legitimamente aplicado ao reino das coisas fsicas. A dificuldade relativamente ao Terceiro Excludo surge quando estamos no campo da matemtica, tal como o intuicionista a concebe. Se a tarefa do matemtico provar ou refutar, no contexto de objetos mentalmente construdos no tempo por ele prprio, afirmar que uma proposio p verdadeira ou falsa o mesmo que dizer que p est demonstrada ou refutada. Ora, o exemplo da Hiptese de Goldbach mostra que tal afirmao falsa, pois no existe demonstrao e nem tampouco refutao para tal conjectura. Logo, o Princpio do Terceiro Excludo no admissvel na matemtica, onde o seu emprego considerado por Brouwer como onbetrouwbar (inconfivel). Kronecker j criticara a prova por absurdo, fazendo ver que ela no construiria nenhum objeto matemtico. Brouwer segue na mesma linha. Com efeito, a prova por absurdo pressupe o Princpio do Terceiro Excludo, na medida em que afirma a verdade de

Seria um erro dizer que a Hiptese de Goldbach teria um terceiro valor de verdade, como indeterminado, por exemplo. A lgica intuicionista pede provas ou refutaes. admissvel a afirmao de verdade aps a prova; lcito dizer que p falsa posteriormente respectiva refutao. A mera conjectura permanece como desafio, como problema em aberto.

18

17 uma assero, caso a sua negao conduza a contradies. Por conseguinte, tambm uma das formas da Lei da Dupla Negao, que a passagem de no-no p para p (p p), tambm deve ser intuicionisticamente rejeitada. O construtivismo brouweriano uma forma de antirrealismo, embora restrito matemtica. Realistas como Cantor, Frege e Russell aceitam que os reinos das coisas fsicas e das entidades matemticas independem do esprito humano, de maneira que o Princpio do Terceiro Excludo aplicvel a ambos. Brouwer nega que entidades matemticas independam do homem, o que o caracteriza como antirrealista. O antirrealismo de Brouwer no enfrenta o problema de explicar o carter no-causal de nmeros, por exemplo, porquanto eles so construes meramente mentais. Nas primeiras dcadas do sculo XX, formalizar uma teoria era o mesmo que lhe dar um conjunto adequado de axiomas (frmulas aceitas sem prova) e regras de inferncia. Por isso mesmo, Brouwer no aprovava a ideia de formalizar a lgica intuicionista, de vez que esta deveria proceder de maneira intuitiva, com grande liberdade para adaptar-se aos diversos problemas que fosse chamada a resolver. Ele rejeitava a pretenso logicista de desenvolver a aritmtica (ou toda a matemtica) a partir da lgica. Muito ao contrrio: segundo Brouwer, a lgica pressupe elementos de matemtica. A lgica intuicionista Em 1928, a Sociedade Matemtica (Wiskundig Genootschap) holandesa anunciou um prmio para quem respondesse seguinte questo: Como seria uma lgica intuicionista formalizada? Apesar da oposio de Brouwer, o seu discpulo e compatriota Arend Heyting (1898-1980) aceitou o desafio e recebeu o prmio. Pacientemente, Heyting tomou os Principia Mathematica e estudou um a um os teoremas ali provados, para selecionar os que podiam ou no pertencer a uma lgica intuicionista. Feita essa seleo, Heyting tratou de apresentar um sistema de axiomas e regras para os teoremas relevantes.19 Heyting toma os conectivos , como primitivos. O conectivo tem a definio usual. Os axiomas de Heyting para a lgica proposicional intuicionista so os seguintes:

19

A.Heyting. Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der preuischen Akademie der Wissenschaften. Berlin, 1930, pp. 42-56.

18 1. p (p p) 2. (p q) (q p) 3. (p q) [(p r) (q r)] 4. [(p q) (q r)] (p r) 5. q (p q) 6. [p (p q)] q 7. p (p q) 8. (p q) (q p) 9. [(p r) (q r)] [(p q) r] 10. p (p q) 11. [(p q) (p q)] p As regras de inferncia so: Regra do modus ponens: A, AB B Regra da substituio: Uma varivel proposicional pode ser substutuda por uma frmula, desde que a mesma varivel, em todas as suas ocorrncias, seja substituda pela mesma frmula. A partir do sistema enunciado por Heyting, possvel mostrar que teoremas valem ou no na lgica intuicionista, em contraposio lgica clssica. As seguintes frmulas so teoremas da lgica clssica dos Principia Mathematica, mas no tm validade intuicionista, de maneira que no podem ser demonstrados no sistema de Heyting e nem tampouco em nenhum sistema intuicionista: p p (Princpio do Terceiro Exludo) p p (Forma do Princpio da Dupla Negao) p p (Forma padro do Princpio da Dupla Negao) p (p q) (p q) (q p) [(p q) p] p (Lei de Peirce)

19 (q p) (p q) (Forma da Lei da Contraposio) (p q) (q p) (Forma padro da Lei da Contraposio) (p q) (p q) (Forma de uma das leis de De Morgan) (p q) (p q) (Forma padro de uma das leis de De Morgan) (p q) (p q) As seguintes frmulas, entretanto, so vlidas na lgica dos Principia Mathematica e tambm na lgica intuicionista: (p p) (Dupla Negao do terceiro Excludo p p (Outra forma do Princpio da Dupla Negao) (p q) (q p) (Outra forma da Lei da Contraposio) (p q) (p q) (Outra forma de uma das leis de De Morgan) (p p) q (Lei de Clvio) p p A demonstrabilidade de (p p) interessante, de vez que p p no pode ser demonstrada. Esse ponto torna-se mais claro se ns tivermos em mente que, na lgica intuicionista, duas negaes no se anulam. No obstante, nessa lgica uma negao equivale a trs. De um modo mais geral, o matemtico russo V. Glivenko (1896-1940) provou que se A um teorema clssico, ento A teorema intuicionista; alm disso, se A um teorema intuicionista, ento A tambm um teorema clssico.20 Portanto, embora p p seja apenas teorema clssico mas no intuicionista, (p p), vale em ambas as lgicas, clssica e intuicionista. O Princpio de No-Contradio, (p p), que uma frmula de tipo A, vale intuicionstica e classicamente. O sistema elaborado por Heyting deixa claro um resultado importante: a lgica intuicionista um subclculo da lgica clssica, ou seja, tudo o que se prova na lgica intuicionista prova-se tambm na clssica, mas no inversamente.

V. Glivenko. Sur quelques points de la logique de M. Brouwer. Bulletins de lAcademie Royale des Sciences de Belgique. 15 (1929), pp. 183-88.

20

20 A matemtica intuicionista A crtica de Brouwer matemtica ento desenvolvida com mtodos infinitistas no se concentra no problema dos paradoxos que surgiram nos trabalhos de Cantor e de Frege. Muito ao contrrio, Brouwer entende que paradoxos so o resultado de um tipo de matemtica inadequadamente desenvolvida. A matemtica intuicionista ser construda de tal modo que nela ser impossvel a ocorrncia de resultados aberrantes. Heyting d um exemplo interessante sobre a diferena entre matemtica clssica e intuicionista.21 Consideremos as seguintes definies: 1. k um nmero primo tal que k 1 tambm primo; k = 1, se aquele primeiro no existir. 2. l o maior nmero primo tal que l 2 tambm primo; l = 1, se aquele primeiro no existir. Para o intuicionismo, a definio de k admissvel, pois tal nmero pode ser construdo e exibido: k = 3. A definio de l, por sua vez, ser to somente admissvel para a lgica clssica. H uma sequncia de pares que satisfazem a condio de l e l - 2 serem primos: (3, 5), (5, 7), (11, 13), (17, 19),... Porm, ns no sabemos se tal sequncia ou no finita. Diante dessa dificuldade, o matemtico clssico far o seguinte raciocnio: a srie finita, ou no ; se for, o segundo membro do respectivo ltimo par ser o maior l tal que l e l 2 so primos; se no for, ento no haver um ltimo par a satisfazer a citada condio; nesse caso, l = 1. O ponto inaceitvel no raciocnio clssico que ele jamais exibe um nmero que satisfaa a condio relevante, salvo no caso l = 1. O raciocnio baseia-se no Princpio do Terceiro Excludo (A sequncia finita, ou no !). Ao tratar de qualquer dos lados da disjuno, o matemtico clssico no aponta para um nmero especfico tal como o intuicionista fez com respeito a 3, no exemplo anterior. O matemtico clssico trata o infinito como algo pronto, completo, no qual existe ou no o nmero procurado, que, entretanto, permanece obscuro e no-indicado. Um outro exemplo de matemtica no-construtiva o Axioma da Escolha. Suponhamos a sequncia infinita de conjuntos A1, A1, A2, A2, A3, A3,..., tais A1 A1 = , A2 A2 = , A3 A3 = ,... Os citados conjuntos, cujo nmero infinito, so dois a

21

A. Heyting. Intuitionism An Introduction. Amsterdam/London: North-Holland Publishing Company, 1971, pp. 2-3.

21 dois disjuntos, isto , no tm elementos em comum. Mas o Axioma da Escolha afirma que existe um conjunto C que tem um elemento em comum com cada um dos conjuntos dados, ou seja: x1 A1 e x1 C, x1 A1 e x1 C, x2 A2 e x2 C, x2 A2 e x2 C, etc. Ora, esse axioma no indica nenhum mtodo para que C seja construdo, mas apenas afirma que C existe. Portanto, o Axioma da Escolha intuicionisticamente inaceitvel. A matemtica intuicionista toma como ponto de referncia o matemtico ideal, que constri entidades no tempo, de modo livre. Nesses termos, no existe entidade matemtica no-intuda ou no-construda. O matemtico ideal demonstra ou refuta, sempre de iure. Ele exibe o resultado do seu trabalho mental. Ao passar ao mbito da linguagem, porm, algo do processo mental perde-se. As posies filosficas assumidas pelo intuicionismo levam-no a rejeitar grande parte da matemtica contempornea, como a teoria dos conjuntos, dos nmeros transfinitos, grande parte do clculo diferencial, etc. No obstante, isso no implica desconhecimento da potencial importncia desses resultados. A teoria cantoriana do contnuo e o mtodo das diagonais, por exemplo, despertaram o interesse de Brouwer, que tratou de elaborar a sua prpria teoria do contnuo de maneira finitista. O contnuo intuicionista potencialmente infinito, ou seja, no est completo. Portanto, a pergunta sobre a cardinalidade desse conjunto no lhe aplicvel. O alemo Hermann Weyl (1885-1955), um dos maiores matemticos do sculo XX, tentou elaborar uma teoria alternativa do contnuo, mas abandonou-a, em favor daquela desenvolvida por Brouwer. A matemtica intuicionista mais restrita do que a clssica, em virtude do seu carter construtivo, que exige mltiplas restries conceptuais. Tal como o fizeram os precursores franceses do intuicionismo, Brouwer admite a prova por induo completa. Mas a matemtica intuicionista carece de categorias prprias, a comear pela noo de sequncias de livre escolha. Estas so finitas, tm um primeiro elemento e uma lei para obteno de novos elementos. A sequncia 1, 2, 3,..., representada por , sequncia de livre escolha. Com o seu auxlio, novas sequncias podem ser construdas, at mesmo conforme uma lei arbitrria. Podemos, por exemplo, jogar um dado e enumerar os resultados, empregando elementos de . Podemos parar a qualquer momento, ou mudar os termos da lei at ento empregada. Essas sequncias afirmam a liberdade criativa do esprito e do a Brouwer elementos para tratar de seriaes numricas.

22 Uma categoria peculiar importante para o intuicionismo so as expanses (spreads), que, grosso modo, estendem-se como os pontos de uma rvore:

Por fim, cabe-nos indicar o tratamento intuicionista dos conjuntos. Primeiramente, elementos devem ser gerados: 2, 4, 6,... Em seguida, uma propriedade deve ser indicada como, por exemplo, x par. Dados os elementos e a propriedade, conjuntos podem ser entendidos como reunies daqueles elementos, em nmero finito, embora potencialmente infinito, que tm aquela propriedade: {2, 4, 6, ...}. Portanto, ao contrrio da matemtica clssica que afirma que conjuntos e seus elementos existem, a matemtica intuicionista constri elementos e depois os conjuntos, com o que evita paradoxos. O intuicionismo desenvoveu uma teoria das espcies como sucedneo da teoria dos conjuntos. A lgica intuicionista um subclculo da lgica clssica, mas o mesmo no pode ser afirmado com respeito matemtica intuicionista. Em geral, os procedimentos intuicionistas valem tambm classicamente, mas nem sempre. O exemplo do teorema do valor intermedirio serve de ilustrao:
Uma funo contnua f que tenha o valor 1 em 0 e o valor 1 em 1 alcana o valor 0 para algum ponto entre 0 e 1, de acordo com a matemtica clssica. Mas isso no acontece no caso construtivo: no podemos dizer, de uma funo f que se mova linearmente do valor 1 em 0 para o valor a em a at

1 , que se mantenha no valor 3

2 , e que se mova depois linearmente para 1, que chega ao valor 0 em um ponto especfico, se no 3

23
soubermos se a > 0, a = 0, ou a < 0, pois se a > 0, o valor ser menor do que

1 ; se a < 0, ser maior do que 3

2 . Uma vez que no h nenhum mtodo para resolver esse ltimo problema em geral, no se pode 3
determinar um valor x, quando f(x) = 0.22

Portanto, a matemtica intuicionista no um subclculo da matemtica clssica, apesar da admissibilidade de grande parte dos procedimentos e resultados daquela no mbito desta ltima. A lgica intuicionista fascina os filsofos, mas a matemtica intuicionista tem pouco apelo entre os profissionais da rea, mesmo porque as mltiplas restries procedimentais lhes dificultam sobremaneira o trabalho tcnico. Burgess observa que, em matemtica, Brouwer foi seguido apenas por uns poucos holandeses. Fora da Holanda, h igualmente poucos matemticos intuicionistas, entre os quais se destaca o sueco Per Martin-Lf (1942-).23 Entre os filsofos, o ingls Michael Dummett (1925-) desenvolve uma forma de antirrealismo que leva filosofia temas centrais do intuicionismo. Observemos, porm, que o nmero de adeptos , em princpio, irrelevante, no que diz respeito validade de uma tese. Tanto a lgica quanto a matemtica intuicionistas sobreviveram ilesos ao impacto do Teorema de Gdel, que fez naufragar o formalismo e grande parte do programa logicista. Como opes intelectuais, elas esto disponveis at hoje. O grande mrito de Brouwer foi partir de uma posio filosfica clara e plausvel a respeito da natureza das entidades matemticas. Ele soube desenvolver coerentemente as suas posies nos campos da lgica e da matemtica, recusando o Princpio do Terceiro Excludo, o que foi uma grande novidade poca. Ao rejeitar amplas pores da lgica e da matemtica clssicas, Brouwer tentou habilmente encontrar sucedneos que mantivessem resultados importantes das teorias anteriores. A sua lgica , a rigor, o prottipo da lgica no-clssica. Brouwer pagou algum preo pelas suas posies peculiares. Em 1928-9, ele foi excludo da direo da prestigiosa revista cientfica alem Mathematische Annalen (Anais de Matemtica). Progressivamente isolado, ele tendeu a desenvolver um comportamento
22 Dick de Jongh, verbete Intuicionismo. Joo Branquinho et al. Enciclopdia de termos lgico-filosficos. So Paulo: Martins Fontes, 2006, pp. 431-2. 23 Burgess, op. cit, p. 121.

24 solitrio. Em 1966, aos 85 anos de idade, Brouwer morreu num acidente, atropelado por um veculo em frente sua prpria casa. De volta lgica intuicionista: a interpretao BHK24 Os trabalhos de Brouwer, Heyting e do russo Andrey Kolmogorov (1903-87) deram origem a uma interpretao da lgica intuicionista que, abreviadamente, chamada BHK (Brouwer-Heyting-Kolmogorov). Na verdade, os sistemas lgicos clssico e intuicionista tm diferenas fundamentais de concepo. Na lgica clssica, uma proposio p, por exemplo, tomada de antemo como uma frmula qual os valores V ou F podem ser atribudos. Na lgica intuicionista, a frmula elementar p verdadeira se temos uma demonstrao para ela, no sentido de uma construo como aquela apresentada mais atrs. Ns provamos que 2 + 1 = 3 por meio dos seguintes passos: construmos aqueles nmeros (pressupondo uma intuio para 1); construmos a correspondente adio; por fim, comparamos os respectivos resultados, mostrando que so harmnicos. No caso da refutao, os passos so anlogos, salvo quanto ao ltimo, no qual evidenciamos que os resultados no se harmonizam. A interpretao BHK procura apresentar a lgica intuicionista como uma lgica da demonstrao construtiva. Graas a ela, percebem-se claramente as diferenas de concepo subjacentes s duas lgicas, de modo especial, no que diz respeito ao condicional e negao. Digamos que , , ,... so construes.25 Ento, o par <, > uma construo, vale dizer, construes podem ser justapostas. Alm disso, construes podem ser aplicadas sobre construes: se um construo, pode ser aplicada sobre uma construo , da resultando uma terceira construo (). Em outras palavras, construes podem ser acopladas umas s outras. Tomemos os conectivos , e como primitivos. Tomemos como smbolo primitivo constante para representar uma proposio indemonstrvel, como 1 = 0, por exemplo.26 A negao intuicionista pode ser definida da seguinte forma:
A presente exposio de BHK baseia-se, com adaptaes nossas, em A. J. Franco de Oliveira. Sistemas dedutivos. Universidade de vora, Departamento de Matemtica, 2004, pp. 28-9. 25 A noo de construo pode ser tomada como intuicionisticamente primitiva. Segundo Brouwer, o esprito humano tem inmeros recursos para inventar construes, o que torna desaconselhvel a tentativa de definir tal conceito. 26 O smbolo frequentemente lido como Falsum (o falso).
24

25 A =df A . Ou seja: negar A significa dizer que A conduz ao indemonstrvel. A interpretao BHK consiste nas seguintes estipulaes: 1. Uma demonstrao de A B consiste numa demonstrao de A e numa demonstrao de B. Em outras palavras, demonstra A B se, e somente se, o par ordenado <, > tal que demonstra A e demonstra B. 2. Uma demonstrao de A B consiste numa demonstrao de A e/ou numa demonstrao de B. Em outras palavras, demonstra A B se, e somente se, o par ordenado <, > tal que 0 ou 1; se = 0, ento demonstra A; se = 1, ento demonstra B. 3. Uma demonstrao de A B uma construo que converte toda demonstrao de A numa demonstrao () de B. 4. Nenhuma construo demonstra . Informalmente: segundo o item 1, a demonstrao de uma conjuno a prova de ambos os seus membros; segundo 2, a demonstrao de uma disjuno a prova de ao menos um dos seus membros; segundo 3, a demosntrao de um condicional a prova de que a demonstrao do antecedente conduz demostrao do consequente; segundo 4, no existe demonstrao para . Provar A refutar A, demonstrando que A conduz a resultados indemonstrveis como 1 = 0, por exemplo. Esses itens apenas estendem aos conectivos a ideia de demonstrabilidade construtiva j exemplificada para proposies elementares. A interpretao BHK, na verdade, uma semntica de demonstraes construtivas para a lgica intuicionista. A melhor forma de complement-la construir uma sistema de deduo natural para tal tipo de lgica. No obstante, ns seguiremos outro caminho.

26 A interpretao intensional da lgica intuicionista Em 1933, o austraco Kurt Gdel (1906-78) apresentou importantes conexes entre a lgica intuicionista e o sistema modal S4.27 Aproximadamente, a ideia de Gdel interpretar a tese intuicionista de que A demonstrvel como sendo equivalente afirmao ~A. Por conseguinte, a frmula intuicionista A B ser o mesmo que ~A ~B; A B ser equivalente a ~A ~B; A B ser ~(A B).28 Por fim, A deve ser interpretada como A (A impossvel), ou seja, ~A. Essa proposta de Gdel tem a vantagem de fazer ver que as frmulas intuicionistas A e A no so mutuamente contraditrias. Com efeito, ~A e ~A podem ser ambas falsas, se A for uma proposio contingente. Como observa Priest, o advento da semntica dos mundos possveis, nos anos 1959 e seguintes, e o desenvolvimento da tcnica dos tableaux possibilitaram a formulao da lgica intuicionista, com o auxlio de tableaux intensionais.29 Com certeza, os citados recursos modais envolvem o discursos sobre mundos possveis, verdade, falsidade e a tcnica da reduo ao absurdo, ou seja, envolvem uma metalinguagem clssica, na qual a nfase de Brouwer sobre construes mentais e a sua desconfiana relativamente linguagem no mais esto presentes. No obstante, um sistema desse tipo possibilita, precisamente, a prova de tudo aquilo que intuicionisticamente admissvel. O sistema a ser desenvolvido no contexto sugerido pioneiramente por Gdel , no mnimo, plausvel, embora possa ser filosoficamente discutvel. A linguagem intuicionista LI Para ressaltar o carter peculiar do condicional e da negao intuicionistas, ns os representaremos por meio dos smbolos e , respectivamente. A sintaxe de LI a seguinte: Smbolos primitivos de LI: Variveis proposicionais: p, q, r, s, p1, q1, r1, s1, p2,...
27

Kurt Gdel. Eine Interpretation des intuitionistischen Aussagenkalkls. Ergebnisse eines mathematisches Kolloquiums 4 (1933): 39-40. Traduo ao ingls de J. Dawson in S. Feferman et al (eds.). Collected Works of Kurt Gdel, vol I. Publications 1929-1936. Oxford: Oxford University Press, pp. 300-3. 28 ~(A B) o condicional estrito da lgica modal, usualmente representado por meio da notao A B. 29 Graham Priest. Op. cit., p. 116-7.

27 Conectivos: , , , ; Parnteses: (,). Definio de expresso formal de LI: qualquer sequncia finita de smbolos primitivos. Definio de frmula de LI: 1. Variveis proposicionais so frmulas; 2. Se A frmula, ento A frmula; 3. Se A e B so frmulas, ento (A B), (A B) e (A B) so frmulas; 4. Nada frmula, salvo o estabelecido em 1, 2 e 3. As demais definies sintcticas so as usuais. A semntica de LI a seguinte: Sejam W, R e v, respectivamente, um conjunto no-vazio de mundos possveis30, uma relao de acesso simtrica e transitiva definida sobre os elementos de W e uma atribuio de valores (valorao) 1 ou 0 (isto : V ou F) sobre as frmulas de LI. Ento I = <W, R, v> uma interpretao de LI. A notao vw representa a valorao de uma frmula no mundo w W. A valorao de frmulas de LI d-se conforme as seguintes regras: 1. para qualquer w W e para qualquer varivel proposicional p, se vw(p) = 1 e wRw, ento vw (p) = 1; 2. vw(A B) = 1 vw(A) = vw(B) = 1. Nos demais casos, vw(A B) = 0; 3. vw(A B) = 1 vw(A) = 1 e/ou vw(B) = 1. No caso restante, vw(A B) = 0; 4. vw(A) = 1 para todo w, tal que wRw, vale: vw(A) = 0. Nos demais casos, vw(A) = 0; 5. vw(A B) = 1 para todo w, tal que wRw, vale: vw(A) = 0 e/ou vw(B) = 1. No caso restante, vw(A B) = 0. Neste sistema, ns no empregamos os operadores modais ~ e . Porm, como queremos que A diga o mesmo que A (ou ~A) e que A B seja equivalente frmula ~(A B), ns caracterizamos tais conectivos com as condies de verdade
30

Um mundo possvel pode ser um conjunto de estados de coisas, um cenrio, um conjunto de pontos, de momentos no tempo e assim por diante.

28 empregadas na lgica modal, isto , com mundos possveis. A condio semntica 1, chamada de condio de hereditariedade. Ela captura a ideia intuicionista de que uma frase elementar, uma vez demonstrada, vale em quaisquer condies. Gdel expressou essa condio ao sugerir que p seja interpretado como ~ p. A relao semntica de consequncia a usual: A1, A2,..., An B toda valorao vw baseada em qualquer interpretao <W, R, v>, sempre que atribuir valor 1 s frmulas A1, A2,..., An atribuir o mesmo valor a B O clculo de tableaux intuicionista (CCI) Os tableaux tm as definies usuais, com algumas adaptaes. Um ponto de um tableau uma expresso da forma A, + i ou, ento, B, j. Nessa notao, A e B so frmulas de LI, i e j so mundos possveis, nos quais aquelas frmulas so, respectivamente, verdadeiras (+) ou falsas (). Uma haste est fechada se, e somente se, nela ocorrem pontos das formas A, + i e A, i. Um tableau est fechado se, e somente se, todas as suas hastes esto fechadas. Os postulados de CCI so as seguintes regras:
Reflexividade (Refl.) iri irk Transitividade (Tr.) irj jrk A, + i B, + i A, i B, i Verdade do (+ ) A B, + i Falsidade do ( ) A B, i

Independentemente de Se o mundo i tem acesso Se A B verdadeira em Se A B falsa em i, premissas, o mundo i tem a j e j tem acesso a k, i, ento cada um de seus ento, A falsa em i e/ou acesso a si mesmo. ento i tem acesso a k. membros tambm o . B o . Verdade do (+ ) A B, + i Falsidade do ( ) A B, i A, i B, i A, j B, + j Verdade do (+ ) A B, + i irj A, + i B, + i irj A, +j Falsidade do ( ) A B, i

Se A B verdadeira em Se A B falsa em i, Se A B verdadeiro em B, j i, ento A verdadeira em ento ambos os seus i e se irj, ento A falso i e/ou B o . membros tambm o so. em j e/ou B verdadeiro Se A B falso em i, em j. ento introduza-se a relao irj (j novo), sendo A verdadeiro em j e B falso em j.

29

Verdade do (+) A, + i irj

Falsidade do ( ) A, i

Hereditariedade (H) p, + i irj

irj A, j A, +j p, + j

Se A verdadeiro em i, que tem Se A falso em i, ento Se p verdadeiro em i, que tem acesso a j, ento A falso em j. introduza-se a relao irj (j novo), acesso a j, ento p verdadeiro em sendo A verdadeiro em j. j.

A seta (eventualmente inclinada) indica a passagem da premissa para a concluso. A expresso irj significa que existe relao de acesso do mundo i ao mundo j. O sinal + significa verdade no respectivo mundo e indica falsidade. Essas regras reproduzem fielmente as definies semnticas acima estabelecidas. As definies de deduo e demonstrao so as usuais.31

Esta caracterizao da linguagem intuicionista linguagem e do respectivo clculo foram retirados de Priest, op. cit. p. 102-12.

31