ADENDO 1: DEFINIES INDUTIVAS E

DEMONSTRAES POR INDUO

1

A gente navega na vida servido por faris
estrbicos (Guimares Rosa)
ESQUEMA
I) Conceitos e procedimentos
1. Um exemplo de demonstrao informal indutiva
2. Justificativa
3. Definies indutivas e demonstraes por induo: exemplos e
caracterizaes
4. Definio indutiva e definio por induo
5. Induo e calculabilidade
II) Formalizao
INTRODUO
Na caracterizao dos sistemas formais introduzidos na Lgica Quantificacional
so considerados trs domnios bsicos de entidades: o dos smbolos (distribudos em
diferentes categorias lexicais, formando os vocabulrios das linguagens), o das
expresses (isto , de sequncias de smbolos) e o das sequncias (eventualmente,
rvores) de expresses
2
. De maneira mais precisa, no tocante a cada um dos dois ltimos

1
G. K Chesterton justificou o dar a lume mais um obra, Ortodoxia, afirmando que fora provocado por
certos crticos a expor suas crenas, visto antes ter publicado uma obra na qual denunciava os erros de
outros (Heresia), e no era necessrio muito para se sentir provocado a publicar uma obra. Quanto a mim,
no necessrio muito para me sentir provocado, no a publicar, mas a escrever umas notas e divulgar
entre algumas pessoas. Um debate com a Silvia, por ocasio de um seminrio, foi o acicate para que
retomasse algumas notas antigas sobre o tema e as reformulasse (incorporando algumas correes
sugeridas pelas observaes da referida professora, a quem no posse deixar de consignar meu
agradecimento).
2
Frmulas e termos, como vimos, so certos tipos de sequncias de smbolos e demonstraes e dedues
em sistemas axiomticos, certos tipos de sequncias de frmulas e, nesse sentido, esses domnios so
formados a partir do domnio dos smbolos. Dado isso, talvez seja exato dizer que se considera um nico
domnio de entidades, o dos smbolos. Mas no convm aqui nos emaranharmos nas disputas ditas
filosficas sobre os critrios de existncia e de distino (s vezes chamados de critrios de
compromissos ontolgicos: quando uma teoria esta comprometida com a existncia de uma entidade ou
gnero de entidades e em particular, com a distino entre duas os mais entidades ou tipos de entidades).
Para justificar a assertiva acima, basta observar que no podemos caracterizar a noo de seqncia de
elementos de um domnio a partir apenas das noes que caracterizam esse domnio, ou seja, que aquela
logicamente (segundo a teoria lgica corrente) irredutvel a essa. Para perceber essa irredutibilidade, basta
atentar para um fato notrio (que pode ser demonstrado de diferentes maneiras): a irredutibilidade do
clculo de predicados polidico ao clculo mondico, visto que relaes podem ser caracterizadas como
propriedades (predicados mondicos) de seqncias do domnio inicial. Ademais, muito razovel crer
que nesse contexto, como de resto em toda a matemtica, no estamos falando propriamente de
existentes, mas de criaes humanas, posto nem serem arbitrrias, nem idiossincrticas, nem dolos
tribais, nem etc. e posto terem um slido fundamento no real, no so propriamente reais (visto que
cremos que atos de criaturas, sejam individualmente, seja coletivamente, no conferem a existncia).
2

domnios, isola-se uma parte deles: dentre as expresses, aquelas que so expresses
bem formadas (com seus dois subdomnios: o dos termos e o das frmulas) e dentre as
seqncias de expresses, mais precisamente, dentre as sequncias (eventualmente
rvores) de frmulas, as demonstraes e as dedues. Manifestamente, cada um desses
trs domnios constitudo por uma infinidade de elementos distintos, o que torna
impossvel listar seus elementos, ou seja, indicar pelo nome cada um de seus
elementos
3
. Mas no caso do vocabulrio, embora no seja possvel listar exaustivamente
seus elementos, fcil determinar para cada uma das categorias lexicais, que
propriedades satisfeitas exatamente pelos elementos da correspondente categoria; por
exemplo, no caso das variveis individuais de uma linguagem formal (a razo
fundamental para introduzir infinitude no domnio dos smbolos), podemos fornecer
uma propriedade simples, satisfeita exatamente pelas entidades que queremos que sejam
nossas variveis individuais (por exemplo, ser a letra x, afetada de um subscrito
numrico
4
). Mas o mesmo no pode ser dito com respeito aos termos, s formulas ou
ainda s demonstraes e dedues de uma teoria de primeira ordem, no tocante a tais
domnios, no parece possvel determinar propriedades simples que permitissem
fornecer uma definio direta e explcita de cada um deles, salvo em casos particulares
5
.
O que facilmente podemos dizer dessas entidades (termos, frmulas e demonstraes )

3
Esse o caso em que, mesmo tendo na mente apenas os nomes das coisas, no seria possvel guardar os
nomes de todas as coisas.
4
Obviamente, nessa caracterizao supomos previamente caracterizado um domnio infinito, qual seja, o
dos nmeros naturais (ou, alternativamente, dos nmeros inteiros positivos). Um dos propsitos das
observaes que consignamos aqui, alm daquele de esclarecer certos aspectos das definies e das
demonstraes, chamar a ateno, oferecendo alguns elementos de juzo favorveis, para a tese de que a
noo de reiterao (presente nas definies indutivas e por induo e, em particular, na noo de nmero
natural) uma noo irredutvel (que no pode ser explicada propriamente em termos mais simples) e
fundamental principalmente para lidar com o infinito; por assim dizer, parte (pequena, porquanto diz
respeito apenas s empreitadas cognitivas pouco importantes, como as da cincia e das humanidades,
enfim dos saberes humanos.) de equipamento de que fomos providos para enfrentar nossa jornada terrena,
para lidar com os nossos negcios (lembrando uma expresso freqente nas pginas do Um Ensaio de
John Locke. O importante matemtico do sculo XX, H. Poincar j advertira Hilbert, quando este
pretendida reduzir as noes matemticas, manipulaes simblicas, para a irredutibilidade da noo de
reiterao. H ainda um segundo propsito secundrio (mais muito importante na motivao para
escrever) que alertar para a transformao da Matemtica na sereia que encantou Plato e na esteira dele
muitos (entre eles o pai da cincia moderna, Galileu); ou seja, de tomar a possibilidade de expressar em
termos tidos como matematicamente perspcuos, como o padro para avaliar propostas de inteligibilidade,
saberes (como se a realidade fosse escrita em caracteres matemticos), condenando ao limbo da
obscuridade tudo que no se prestasse expresso matemtica. Enfim, esse texto deve ser lido juntamente
com as obras de Chesterton (incluindo as narrativas das faanhas do Pe. Brown) que denunciavam os
lgicos que no so lgicos (como Bernard Shaw).
5
Por exemplo, numa teoria inconsistente, podemos definir suas demonstraes explicitamente como o
conjunto de todas as sequncias finitas de frmulas. A afirmao acima deve ser tomada com certa boa
vontade, uma vez que nela se recorre a uma noo de contornos um tanto quanto vagos: o de propriedade
simples. Mas se suprimirmos a noo de simplicidade envolvida aqui, a assero seria falsa, uma vez que
possvel oferecer uma definio explcita (no sentido tcnico desse termo) para cada um dos domnios
considerados acima. Por exemplo, o domnio dos termos de uma linguagem de primeira ordem pode ser
definido, explicitamente, supondo determinado o vocabulrio da linguagem, como o menor conjunto de
expresses que contem todas as variveis, todas as constantes e tal que, para qualquer smbolo funcional
n-rio f da linguagem e quaisquer expresses u
1
... u
n
, se elas pertencerem ao conjunto, ento a expresso
fu
1
...u
n
tambm pertence. Tanto a boa vontade para compreender algo, quanto o engenho e arte para
desenvolver dispositivos de operacionalizao so talentos inestimveis, mas cada um tem o seu lugar e
momento. Aqui o momento antes da boa vontade.
3

que so construdas a partir de certos elementos, previamente determinados, por meio da
aplicao reiterada de determinados procedimentos, previamente especificados
explicitamente. E essa caracterizao pode ser tomada como uma maneira especial de
definir, nem listando os elementos, nem dando uma propriedade comum a todos eles,
mas sim, apresentando os objetos tidos por simples do domnio (as constantes e
variveis, no caso dos termos; as frmulas atmicas, no caso das frmulas; e os axiomas
alternativamente, suposies, no caso das demonstraes) e oferecendo procedimentos
para gerar novos elementos do respectivo domnio a partir de elementos previamente
gerados (a adjuno de um smbolo funcional de grau n a uma seqncia constituda por
n termos previamente formados, no caso dos termos; as operaes sintticas de
conjuno, disjuno, condicionar e quantificar universal ou existencialmente, no caso
das frmulas; e as regras de inferncia, no caso das demonstraes). Essas definies
ilustram um mtodo de definio muito valioso para o desenvolvimento de teorias
matemticas, conhecido pela alcunha de definies indutivas (ou, s vezes chamadas de
definies recursivas).
Por outro lado, se quisermos demonstrar que todos os elementos de um dos trs
domnios, mencionados, tm uma determinada propriedade, no podemos demonstrar
inspecionando cada um dos elementos e mostrando que cada um deles tem a referida
propriedade. E s vezes no possvel oferecer um argumento explcito geral (nem
direto, nem por reduo ao absurdo) para isso, ou seja, no somos capazes de mostrar
que um objeto qualquer tem a propriedade e da inferir que qualquer um tem a
propriedade. Por exemplo, podemos facilmente oferecer um argumento geral explicito
para o fato de que toda frmula formada por ocorrncias de smbolos da linguagem
(pois uma frmula qualquer uma expresso e toda expresso , por definio, uma
seqncia de smbolos da linguagem). Mas certamente o leitor encontrar grandes
dificuldades (eventualmente insuperveis) para formular um argumento direto que
demonstre a propriedade elementar segundo a qual todas as frmulas contm um
nmero par (eventualmente zero) de ocorrncias de parnteses. A melhor maneira de
demonstrar isso seria mostrar que as frmulas atmicas contm um nmero par
(eventualmente zero) de ocorrncias de parnteses e que os procedimentos de
construo de frmulas, se introduzirem parnteses, introduzem-nos aos pares. Essa
estratgia de demonstrao ilustra um procedimento de demonstrao muito til em
Matemtica, conhecido pelo nome de Demonstrao por Induo. A denominao no
das mais felizes, uma vez que pode dar azo confuso desse mtodo demonstrativo
com o procedimento, presuntivamente empregado nas cincias empricas para
corroborar afirmaes, chamado de induo. O uso do adjetivo recursivo tambm no
inteiramente adequado, uma vez que esse adjetivo comumente empregado na
matemtica para um sucedneo do adjetivo calculvel (mais preciso e manejvel) e,
como veremos oportunamente, nem todo domnio definido indutivamente calculvel.
Assim, vamos ficar com a denominao que j se tornou tradicional
6
.
H uma ntima conexo entre o mtodo de definir e o mtodo de demonstrar.
Vejamos melhor essa conexo, inicialmente generalizando as noes de definio
indutiva e demonstrao por induo.
DEFINIO INDUTIVA GENERALIZADA
7


6
Ruim por ruim fiquemos com o ruim compartilhado, hehehehehehehehe
7
Consta que o primeiro emprego de definies recursivas seria em HLDER, 1890
4

Um domnio de entidades pode ser bem determinado por clusulas que se
dividem nos seguintes grupos:
Clusulas diretas. So de dois tipos.
i) Clusulas bsicas: estabelecem os objetos iniciais:
ii) Clusulas indutivas: estabelecem os procedimentos (as operaes)
que permitem formar ou determinar novos objetos; i.e., fornecem
as operaes (regras) de gerao de objetos mais complexos, a
partir de objetos mais simples.
Clusula externa: aquela que estabelece que os nicos objetos do domnio
so os que podem ser determinados como tais a partir dos objetos iniciais por
meio das clusulas indutivas (i.e. pelo emprego reiterado das operaes de
gerao).
8

Vale dizer, um domnio de objetos resta bem caracterizado ao estabelecermos:
(i) quais so os objetos iniciais (por meio das clusulas bsicas) e (ii) quais so os
procedimentos (as operaes) que por interao e reiterao do lugar a todos os demais
objetos (o que determinado pelas clusulas indutivas e pela clusula externa)
9
.
fcil perceber que esse mtodo, quando corretamente empregado, permite de
fato determinar o domnio, no incorrendo em nenhuma circularidade (ou, como dizem
os que lidam com computao, em looping). Pois embora pressuponha a possibilidade
de reiterar e interar indefinidamente operaes, a cada passo as reiteraes e interaes
so delimitadas, de sorte que, por assim dizer, se pode sempre voltar atrs, retraar
qualquer elemento aos elementos iniciais, delimitando os passos (as interaes e
reiteraes das regras de gerao) necessrios para determinar o elemento como
membro do domnio, a partir da pertena dos elementos iniciais ao domnio.
Evidentemente, a aceitao como correta de uma aplicao concreta desse mtodo
depender da aceitao como corretas das clusulas bsicas e das clausulas indutivas
que forem empregadas. O que importa salientar que o mtodo como tal no introduz
nenhuma dificuldade maior no tocante a legitimidade de se proceder da maneira
preconizada por ele.
Um exemplo clssico de definio indutiva
O exemplo clssico de definio indutiva a definio, atribuda ao lgico e
matemtico italiano Giuseppe Peano, de nmero natural. Nesta definio, comparecem
como noes primitivas as de zero (que o nico objeto inicial) e de sucessor (a nica
operao de gerao), noes que devem ser compreendidas de tal maneira que zero

8
Usualmente, a clusula externa omitida, ficando implcita no contexto. Procedemos assim na definio
de frmulas e de termos. Ao longo deste curso, encontraremos diversos exemplos de definies indutivas,
que faro com que o estudante se familiarize com este importante procedimento de definio, introduzido
pela Lgica Contempornea.
9
Na formulao agora dada, a clusula externa est implcita na observao que os procedimentos geram
todos os elementos.
5

no seja sucessor de nada e exista um e apenas um sucessor de cada coisa; Temos,
ento, a seguinte definio
10
:
(Clusula bsica) Zero um nmero natural;
(Clusula Indutiva) Se n for um nmero natural, ento o sucessor de n um
numero natural;
(Clusula Externa) Os nicos nmeros naturais so aqueles determinados pelas
duas clusulas acima.
DEMONSTRAES POR INDUO
Esquema geral da demonstrao por induo
O interessante a observar sobre os domnios caracterizados indutivamente, que
do lugar a procedimentos de demonstrao muito teis e, algumas vezes,
imprescindveis. A fim de demonstrarmos que todos os objetos de certo domnio,
caracterizado indutivamente, tm certa propriedade, suficiente mostrar que os objetos
iniciais do domnio tm a propriedade e que as regras de gerao preservam a
propriedade em questo, ou seja, que a propriedade hereditria: se os antecedentes de
uma regra qualquer tm a propriedade, aqueles gerados a partir deles tambm tm.
A ideia intuitiva que serve de guia para organizar tais demonstraes , ento, a
de demonstrar que os objetos originais tm a propriedade em pauta, e que se objetos
mais simples tm a propriedade, ento os objetos mais complexos tambm tm. Disso
decorre que todos os objetos do domnio tm a propriedade em pauta. Evidentemente, a
noo de simplicidade e complexidade aqui aquela induzida pelos procedimentos de
gerao (os que podem ser gerados antes so mais simples que os que exigem mais
passos).
Desse modo, de maneira geral, essas demonstraes assumem a forma seguinte
i) Base: os objetos originais (determinados na definio do domnio)
tm a propriedade em pauta
ii) Passo da Induo: as regras de gerao preservam a propriedade em
pauta; ou seja, se todos os elementos empregados em um
procedimento qualquer de gerao (daqueles determinados na
definio indutiva do domnio) tm a propriedade em pauta, ento o
objeto gerado a partir deles empregando esse procedimento tambm
tem a propriedade em pauta.
Concluso: todos os objetos tm a propriedade em pauta.
No que se segue vamos denominar esse esquema de esquema generalizado de
demonstrao por induo. Vejamos, ento, como fica esse esquema abstrato quando
consideramos domnios particulares.

10
Estas duas clusulas aparecem, sob a forma de axiomas, nas axiomatizaes hodiernas da Teoria dos
Nmeros, frequentemente denominadas Aritmtica de Peano. Consta que a primeira tentativa bem
sucedida de oferecer tal axiomatizao encontra-se em GRASSMAN, Lehrbuch der Arithmetik, 1861
6

Demonstrao por induo finita
Na teoria dos nmeros, o procedimento de demonstrao por induo pode
assumir diferentes formulaes, equivalentes entre si. Uma delas, conhecida pela
denominao de princpio ou regra da induo finita
11
representada pelo esquema:
i) Base: 0 tem a propriedade P
ii) Passo da Induo: Se n tem a propriedade P, ento o sucessor de n
tem tambm
Concluso: Todos os nmeros naturais tm a propriedade P
Ou, de maneira mais formal, o seguinte princpio de inferncia
P(0) x(P(x) P(x))

x P(x)
Demonstrao por induo em entidades morfolgicas
Como observamos antes, nas consideraes sobre a morfologia de uma
linguagem de primeira ordem, consideramos principalmente trs domnios, o dos
termos, o das formulas e o das derivaes (dedues e demonstraes). Vejamos, ento,
como fica o esquema de demonstrao por induo para cada um desses domnios,
levando em conta a maneira como so definidos.
Demonstrao por induo em termos
i) Base da Induo: as variveis individuais tm a propriedade P;
ii) Passo Indutivo: Para qualquer smbolo funcional f
n
de L quaisquer
termos t
1
,...,t
n
de L, se t
1
,...,t
n
possuem a propriedade P, ento f
n

t
1
,...,t
n
tm a propriedade P;
Concluso: Todos os termos de L tm P
Demonstrao por induo em frmulas.
Nesse caso, as demonstraes por induo assumem, a seguinte forma (Supondo
que a assero a ser demonstrada seja: todas as frmulas de uma dada linguagem L tm
a propriedade P):
i) Base da Induo: as frmulas atmicas de L tm a propriedade P;

11
Essa denominao motivada pelo fato de que tal formulao aplica-se apenas aos casos de
demonstrao por induo quando se considera apenas ordinais finitos (isto , os nmeros naturais), que
so ou o zero ou sucessores imediatos de algum outro, no podendo assim ser generalizada para o caso
em que operamos com ordinais transfinitos (portanto, ordinais que, embora sejam diferentes de zero, no
so sucessores imediatos de nenhum outro ordinal, mas o limite da serie infinita de ordinais).
7

ii) Passo Indutivo: Para quaisquer frmulas A e B de L, se elas tm a
propriedade P, ento as frmulas formadas a partir delas por
conjuno, negao condicionalizao, quantificao universal ou
existencial tambm tm a propriedade P;
Concluso: Todas as frmulas de L tm P
Normalmente, as demonstraes da base e do passo indutivo se desdobram
ainda em demonstraes por casos, conforme as diferentes maneiras de se compor uma
frmula a partir de smbolos ou de frmulas mais simples, de sorte que, de maneira
ainda mais detalhada, o esquema da demonstrao o seguinte:
Base da Induo:
i) A constante proposicional tem a propriedade P;
ii) As frmulas da forma Pt
1
, ..., t
n
, tm a propriedade P;
Passo Indutivo:
Hiptese da induo: Sejam B e C frmulas quaisquer que tm P
Caso 1: [...] Ento B. tem P.
Caso 2: [...] Ento B C). tem P.
Caso 3: [...] Ento (B C). tem P.
Caso 4: [...] Ento (B C). tem P.
Caso 5: [...] Ento x A tem P.
Caso 5: [...] Ento x A tem P.
Esquema no qual os colchetes com reticncias dentro indicam o raciocnio que,
assumindo a hiptese da induo leva concluso referida aps os colchetes.
Esse esquema de demonstrao, derivado diretamente da definio indutiva de
frmula e plenamente justificado por ela, como veremos posteriormente, inteiramente
anlogo ao princpio de induo finita. Em particular, o esquema permite assumir, pela
hiptese da induo, que a propriedade em questo vale para as subfrmulas imediatas
da frmula que se deve mostrar que tem a propriedade. Facilmente percebemos ser
exatamente o anlogo ao procedimento fundado no princpio da induo finita, em que
assumimos que um nmero tem certa propriedade e mostramos que seu sucessor tem a
propriedade.
Demonstraes por induo em derivaes
O esquema bsico para demonstrar propriedades de derivaes por induo o
seguinte:
i) Base da Induo: as derivaes simples (formadas por um nico
axioma ou uma nica suposio) tm a propriedade P;
8

ii) Passo Indutivo: Para qualquer regra de inferncia, se as derivaes
cujas concluses so premissas da regra de derivao tm a
propriedade P, ento derivao formada a partir dessas derivaes,
conjugando-as e adicionando o passo inferencial dado pela regra
tambm tm a propriedade P;
Concluso: Todas as derivaes tm P
Assim, se considerarmos o sistema de deduo natural apresentado antes, o
passo indutivo se desdobra numa demonstrao por casos, contemplando todas as
possveis regras de inferncia, demonstrao na qual se assume a hiptese de induo.
Ou seja, supondo que ,
1
,
2
sejam derivaes que satisfazem a propriedade em
pauta, cabe mostrar que, em todos os casos abaixo as derivaes mencionadas tem a
propriedade em pauta:
Caso 1.
() ()

A, B_ A, B_
A B
Caso 2.
(1) (2)
1 2
A B_
A B
Caso 3
() ()

A B _
A B A B
Caso 4
(1)[A] (2)[B]
1 2
A v B C C
C
Caso 5.
()[A]

B
9

A B
Caso 6
(1) (2)
1 2
A A B
B
Caso 7
(1)[A] (2) [A]
1 2
B B
A
Caso 8
()

A
A
Caso 9
()

xA
A (x/a)
Caso 10
()

A(x/a)
xA
(onde o parmetro a no ocorre nem em A, nem em sentenas de )
Caso 11
()

Ax/a
xA
Caso 12
() (1)[ Ax/a]
1
10

xA C
C
DEFINIES POR INDUO.
Se for possvel oferecer uma definio indutiva de um domnio de objetos, ento
no apenas podemos demonstrar propriedades de seus objetos, lanando mo das
clusulas que serviram para defini-lo, como podemos tambm caracterizar novas
propriedades e definir operaes (em particular, funes) lanando mo dos mesmos
recursos, desde que a definio original satisfaa uma condio adicional. A condio
necessria que os procedimentos de gerao sejam unvocos (ou seja, cada elemento
do domnio s pode ser determinado como elemento do domnio de uma nica maneira
atravs dos procedimentos de gerao). Destarte, a propriedade (ou a operao) pode ser
definida inicialmente com respeito aos objetos iniciais e, em seguida, define-se para os
demais objetos segundo os procedimentos de gerao, supondo j definida para os
elementos mais simples.
Seguindo e generalizando a prtica em (KLEENE, 1950) vamos denominar tais
definies de definies por induo e reservar o termo definio indutiva para aquelas
em que o que definido um domnio de objetos.
Exemplos numricos
Produto:
n. 0 = 0
n. (m+1) = (n.m) + n
Fatorial (n! = 1. 2 .... (n-1) . n)
1! = 1
(n+1)! = (n!) (n+1)
Somatria de n termos (

= a
1
, +... + a
n
)

= a
1

= (

)+a
n+1

Exponenciao (a
n
= a....a)
a
0
= 1 a
1
= a a
n+1
= a (a
n
)
importante destacar, como aprendemos com Dedekind em Was sind und was
sollen die Zahlen sein
12,
que as condies de legitimidade das definies por induo
so mais restritas que as correspondentes para a demonstrao por induo, no que toca
definio indutiva do domnio. As demonstraes por induo reclamam apenas que
todos os objetos possam ser gerados (ainda que no univocamente), a partir dos objetos
iniciais, pela aplicao reiterada (uma ou mais vezes) e composta das operaes de
gerao. Ao passo que as definies por induo reclamam que, para cada objeto, haja
um nico procedimento (um nico caminho) de gerao dele, i.e., que um mesmo objeto

12
Literalmente, Dedekind chamara a ateno para a diferena entre o teorema da demonstrao por
induo e o teorema da definio por induo, oferecendo exemplos de domnios onde valeria o primeiro,
mas no o segundo (no estaria assegurada a existncia da funo) (op. cit., pp. 85-90)
11

no possa ser determinado de duas ou mais maneiras diferentes (seja por partirem de
objetos iniciais distintos, seja por empregarem outras regras, seja ainda por empregarem
as mesmas regras em ordem diferente).
Exemplos no numricos
A definio de satisfao em uma estrutura. A definio de valorao booleana.
Falsos exemplos
Exemplos de funes mal definidas. Se na definio de frmulas, eliminarmos
os parnteses, sem os substituirmos por algum outro recurso, a definio antes oferecida
de valorao booleana seria incorreta.
Seja T uma teoria formal de primeira ordem, definimos mal uma funo do
conjunto dos teoremas em nmeros naturais se oferecermos as seguintes clusulas: i) o
valor da funo para os axiomas zero iii) o valor da funo para os teoremas um
mais a soma dos valores das premissas.

EXERCCIOS
1. Mostre, usando induo, as proposies abaixo:
A) Morfolgicas:
1. O nmero de ocorrncias de parntese numa frmula par
2. O conjunto das subfrmulas de uma frmula sempre finito.
B) Aritmticas: (Para os que tm familiaridade com a Teoria dos Nmeros
basta a familiaridade que se deveria adquirir na escola)
1.

2. (1 + r + r
2
+ ... + r
n
) = (r
n+1
1)/r-1, se r >1
3. a
n + m
= a
n
+ a
m

4. (a
n
)
m
= a
n.m

5. 4
n+2
+ 5
2n+1
divisvel por 21, para qualquer n
6. Mostre que, para n 1, cada um dos nmeros abaixo divisvel por 6:
a) 3n +3n
2

b) n (n+1)(n+2)
c) n(n
2
+5)
Para resolver esse exerccio, necessrio ter em mente alguns fatos aritmticos
elementares, entre os quais os assim chamados produtos notveis e que se um
nmero divide os dois membros de uma soma
7. Nesse exerccio, considere a serie (infinita) dita de Fibonaci a
0
, a
1
....,a
n
, ....
definida por induo da seguinte maneira:
a
0
=0, a
1
=1 e para i 2, a
i
= a
i-2
+ a
i-1

Mostre que

< a
n+2
para qualquer n 1
12

Converta a demonstrao seguinte, de que existem infinitos nmeros primos,
numa demonstrao na qual o princpio de induo seja empregado de maneira
explcita.
Vamos mostrar que para cada nmero natural, existe um nmero primo maior que
ele. Seja n um nmero natural qualquer. Consideremos, agora, o nmero n! + 1.
Se esse nmero for primo, ento o problema est resolvido. Caso contrrio, existe
um nmero m
1
distinto de 1 que divisor de n! + 1. Tal nmero deve ser maior do
que n, pois, do contrrio, ele dividiria n! (pois, se um nmero divide um dos
membros da soma e divide a soma como um todo, ento divide tambm o outro
membro) e, assim, dividiria 1 (isto seria igual a 1). Assim, se ele for primo,
teremos chegado ao resultado, e se no for, pelo mesmo raciocnio, existiria m2
divisor de n! + 1 maior do que n e divisor de m1. Reiterando o raciocnio,
chegamos enfim a uma seqncia de nmeros n! + 1, m
1
, m
2
,..., em que cada
elemento divisor do elemento anterior (e, portanto de todos os anteriores); ora,
como os termos tornam-se cada vez menores e, portanto que devem ter um termo
final e este necessariamente um primo maior do que n. Ou seja, tal
demonstrao fornece um meio de encontrar, para cada nmero natural n, um
primo maior do que n, porm menor do que n!+2. (Demonstrao tomada de
Gentzen, The Consistency of Elementary Number Theory, p. 144)
A JUSTIFICAO DOS PROCEDIMENTOS INDUTIVOS
Da definio indutiva e da definio por induo
A explicitao, em textos do final do sculo XIX, da estratgia de caracterizao
indutiva de um domnio como uma definio e a caracterizao (definio) por induo
de propriedades e operaes suscitou certo debate sobre sua legitimidade, uma vez que
aparentemente feriria um princpio bsico da definio: que o definiendum no ocorra
no definiens (circularidade)
13
.
Ora, se por definio de um predicado (noo, conceito) entendemos a
determinao das entidades que o satisfazem (ou seja, a apresentao de um critrio
simultaneamente necessrio e suficiente para que uma entidade satisfaa o predicado em
pauta), podemos denominar os procedimentos acima apresentados de definies. Mais
ainda, essas sero exemplos definies em que o definiendum ocorre no definiens,
porm, como vimos isso no introduz nenhuma circularidade no procedimento, uma vez
que sempre humanamente possvel retraar o conceito sua caracterizao para os
elementos iniciais (evidentemente, aqui o conceito no pode ocorrer).
Aqueles que estiverem convencidos da legitimidade dos conceitos bsicos da
Teoria de Conjuntos, mas ainda no esto convencidos da legitimidade do procedimento
aqui denominado de definio indutiva, devero se convencer disso se atentarem para o
fato de que toda definio indutiva (bem como toda definio por induo) pode ser
convertida em uma definio explcita, lanando mo do instrumental fornecido pela
teoria dos conjuntos. Para isso, basta definir o domnio desejado como o menor

13
A circularidade claramente um vcio de definio, pois se definies devem servir para esclarecer uma
noo (conceito, predicado), a compreenso da noo a ser definida no pode ser pressuposta pela
definio. A circularidade uma caracterstica dos dicionrios, mas estes no visam esclarecer o conjunto
dos lexemas, mas apenas um ou outro lexema, supondo que o usurio j conhea alguns, antes de abrir o
dicionrio.
13

conjunto que contem os elementos iniciais e fechado pelas operaes indicadas (ou,
pelas clusulas indicadas, no caso das definies por induo).
Da demonstrao por induo
Observemos que a validade do procedimento de demonstrao ora introduzido
repousa simplesmente no fato do domnio ser exaustivamente caracterizado, a partir dos
elementos iniciais, atravs dos procedimentos de gerao. Ou seja, qualquer objeto pode
ser visto como o resultado da aplicao reiterada dos diferentes procedimentos em
alguma ordem. Dito de outro modo, o que assegura a validade da demonstrao por
induo, enquanto procedimento propriamente demonstrativo (logicamente vlido) ,
justamente, o fato de que todos os objetos so gerados a partir dos objetos iniciais pela
aplicao das regras. Assim, se os objetos iniciais tm a propriedade e se as regras
preservam-na, ento no possvel que algum objeto do domnio carea da propriedade
em pauta.
O passo da induo fornece, em verdade, um esquema que permite construir,
para cada objeto do domnio, uma demonstrao direta de que tal objeto possui a
propriedade em pauta. Pois seja a um elemento determinado do domnio. Se ele for um
elemento inicial, a demonstrao de que ele tem a propriedade em pauta dada na base.
E se ele no for um elemento inicial ele, o passo indutivo fornece um procedimento
para, a partir de uma demonstrao de que seus geradores tem a propriedade em pauta,
construir uma demonstrao de que ele tem a propriedade em pauta; assim, se
reiterarmos o raciocnio, agora com respeito aos geradores dele e em seguida, se for o
caso, com os geradores desses geradores e assim sucessivamente construiremos a
demonstrao de que o elemento considerado tem a propriedade em pauta.
Isso pode ser facilmente visto no caso dos nmeros naturais. Suponhamos, ento
que se demonstrou que 0 tem a propriedade em pauta e que se um nmero a tem, o seu
sucessor tambm a possui. Assim, dado um nmero n pode se construir uma
demonstrao de que n tem a propriedade em pauta, sem usar o princpio de induo.
Pois, pela clusula externa da definio de nmero natural, n o sucessor reiterado de 0
n vezes (i.e., n 0..., onde a operao de sucessor ocorre n vezes). Construmos a
demonstrao de que n tem a propriedade em pauta, simplesmente, reproduzindo
inicialmente a demonstrao de que 0 tem a propriedade e apondo a demonstrao de
que se um nmero qualquer tem a propriedade em questo, o seu sucessor tem e
aplicamos n vezes a regra de instanciao (na primeira vez instancia-se com 1, da
segunda com 2 e assim sucessivamente) seguida imediatamente de um modus ponens
em que a premissa maior a instncia resultante e a premissa menor ou a afirmao de
que zero tem a propriedade, ou a concluso do emprego imediatamente anterior desse
procedimento. Ou seja, temos a derivao que se segue:
P(0)
x (P(x) Px))
P(0) P(1)
P(1)
.
.
.
14

P(n-1)
P(n-1) P(n)
P(n)
Observe que isso oferece, para cada nmero natural n, uma prova de que n tem a
propriedade em pauta, sem recurso ao princpio de induo. Porm, no oferece ainda
uma prova direta de que todos os nmeros tm a propriedade em pauta, sob as mesmas
hipteses, uma vez que no oferece um procedimento uniforme de demonstrao de que
n tem a propriedade (os trs pontinhos tero que ser, em cada caso, substitudos por
nmeros distintos de passos). Portanto, isso no uma demonstrao do postulado de
Peano da Induo.
Se for possvel delimitar as variaes possveis no nmero e/ou nos tipos de
passos inferenciais que poderiam substituir as reticncias no esquema acima, facilmente
obteramos uma prova direta, sem uso de induo, de que todos os nmeros tm a
propriedade em pauta. Eventualmente, a demonstrao seria uma demonstrao por
casos, cada caso cobrindo uma das variaes possveis.
DEFINIES INDUTIVAS E EFETIBILIDADE
Observemos que, se as clusulas diretas da definio indutiva de um domnio
forem decidveis (i.e., se dispormos de um procedimento de deciso para determinar se
algo ou no um objeto inicial, bem como para determinar se a aplicao de uma regra
de gerao correta), ento a definio indutiva fornece uma mquina (um algoritmo)
para gerar todos os objetos do sistema. Em condies anlogas, a definio por induo
fornece um procedimento de clculo. Porm, dai no se segue que todo conjunto
indutivamente definido, ainda que suas clusulas definitrias sejam decidveis, seja
decidvel, pois a definio indutiva envolve um quantificador existencial ilimitado (a
existncia de um procedimento de gerao do objeto a partir dos objetos iniciais).
15

DEMONSTRAO POR INDUO COMPLETA
Induo completa ou por curso de valores
Frequentemente, em contextos aritmticos, mais fcil demonstrar uma
propriedade usando uma maneira alternativa de raciocinar por induo, na qual o passo
indutivo (mais precisamente, a hiptese da induo) faz referencia no apenas ao
predecessor imediato de um dado nmero, mas a todos os menores. Nesses casos, a
demonstrao por induo assume a forma seguinte:
i) Zero tem propriedade P
ii) Para qualquer nmero natural n, se todos os nmeros menores que n
tiverem a propriedade P, ento n tambm tem a propriedade P
Concluso: Todos os nmeros naturais tm P
Esse princpio conhecido como induo por curso de valores ou induo
completa, e facilmente se mostra que equivalente ao princpio de induo finita.
Exerccio
Mostre que o p.i.f (o princpio de induo finita)., o p.i.c. (princpio de induo
completa), princpio do mnimo e a afirmao de que o conjunto dos nmeros naturais
o menor conjunto que contm o zero e fechado pela operao de sucessor so todas
equivalentes entre si. Ou seja, mostre a equivalncia entre as quatro afirmaes
seguintes:
Princpio da induo finita (p.i.f):
Dada uma propriedade qualquer de nmeros naturais, se Zero tem a propriedade
e, para qualquer natural n, vale que se n tem a propriedade, ento o sucessor de n
tambm tem, disso decorre que todos os nmeros naturais tem a propriedade em
questo.
Princpio da induo completa (p.i.c.)
Dada uma propriedade qualquer de nmeros naturais, se Zero tem a propriedade
e se, para qualquer natural n, vale que se todos os menores que n tem a propriedade,
ento n tambm tem, disso decorre que todos os nmeros naturais tem a propriedade
em questo.
Princpio do mnimo
Todo conjunto no vazio de nmeros naturais tem um menor elemento.
Assero
O conjunto dos nmeros naturais o menor conjunto que contm o zero e tal que
se contm um nmero contm o seu sucessor imediato.
Esquema geral
No apenas em contextos aritmticos nos deparamos com a situao em que, na
tentativa de demonstrar por induo algo sobre um domnio definido indutivamente,
parea-nos mais fcil (ou mesmo imprescindvel) mostrar, no prpria e somente, que as
regras de gerao do domnio preservam a propriedade em pauta (no sentido explicado
antes), mas sim mostrar que um elemento qualquer do domnio possui a propriedade,
16

supondo que os elementos menos complexos possuem. Somos, assim, levados a pensar
num esquema geral anlogo ao da induo completa, uma sorte de princpio
generalizado da induo completa. Podemos considerar o seguinte esquema inferencial
(denominaremos de esquema generalizado da induo completa)
i) Base: Os elementos simples tm P
ii) Passo Indutivo: Para qualquer elemento e do domnio, se todos os
elementos menos complexos que e tm a propriedade P, ento e
tambm tem a propriedade P.
Concluso: Todos os elementos do domnio tm P
Na verdade, o emprego desse procedimento inferencial no exige
necessariamente que o domnio seja definido por induo, basta (e necessrio) que
seja possvel caracterizar uma noo de complexidade tal que no exista sries infinitas
descendentes de elementos desse domnio, ou seja, no possvel determinar uma serie
indefinida de objetos na qual o elemento anterior estritamente mais complexo que o
subseqente. Pois, nesse caso teremos que qualquer coleo no vazia de elementos do
domnio possui um elemento minimal (isto , tal que ele no mais complexo que
nenhum elemento da referida coleo). Assim, oi raciocnio seguinte permite justificar o
padro inferencial representado por esse esquema. Consideremos um domnio para qual
possvel definir uma noo de complexidade satisfazendo a condio enunciada antes
e seja P definida para elementos desse domnio tal que os elementos simples tem P e tal
que qualquer elemento e do domnio, se todos os elementos mais simples que e tm a
propriedade P, ento e tambm tem a propriedade P.. Suponhamos, ento, por absurdo
que algum elemento do domnio no tenha a propriedade P. Ora, como no existem
seqncias infinitas descendentes, h um elemento minimal que no tem P (ou seja, tal
que ele no tem a propriedade, embora todos os menos complexos tenham). Seja e um
elemento minimal. Ou ele um elemento simples ou existem elementos menos
complexos; o primeiro caso contradiz imediatamente a base (que todos os elementos
simples possuem a propriedade) e o segundo caso, contradiz o passo indutivo, dado que
tomamos um elemento minimal (assim todos os menos complexos que ele possuem a
propriedade).
Induo completa em frmulas
No caso das demonstraes por induo em frmulas tambm podemos pensar,
como um anlogo do principio de induo completa, o seguinte esquema inferencial:
i) Base da Induo: as frmulas atmicas tm a propriedade P;
ii) Passo Indutivo: Para qualquer frmula A, se todas as frmulas mais
simples que A tm a propriedade P, ento A tambm tem a
propriedade P;
Concluso: Todas as frmulas tm P
Lanando mo do procedimento de demonstrao assim esquematizado, a
demonstrao da base ficaria como dantes, e a do passo indutivo compreenderia,
inicialmente, a instanciao da assero, seguida de uma demonstrao por casos, que
17

contemplaria as vrias estruturas morfolgicas que a frmula poderia ter. Ou seja,
assumiriam a forma seguinte
Base da Induo:
A constante proposicional tem a propriedade P;
As frmulas da forma Pt
1
, ..., t
n
, tm a propriedade P;
Passo Indutivo:
Seja A uma frmula no atmica
Hiptese da induo: quaisquer frmulas menos complexas que A tm P
Caso 1: A da forma B. [...] Ento A tem P.
Caso 2: A da forma B C). [...]Ento A tem P.
Caso 3: A da forma (B C). [...]Ento A tem P.
Caso 4: A da forma (B C). [...]Ento A tem P.
Caso 5: A da forma x B [...]Ento A tem P.
Caso 6: A da forma x B [...]Ento A tem P.
Tal como antes, os colchetes com reticncias dentro indicam o raciocnio que,
assumindo a hiptese da induo, permite concluir que a frmula A tem a propriedade
em pauta.
Induo generalizada e nmeros naturais.
Na caracterizao acima das indues completas, deixamos na sombra uma
dificuldade para o uso do esquema generalizado de induo, a saber, a noo de
complexidade a que faz referncia: como compreend-la? Em que condies um
elemento do domnio pode ser dito mais complexo que outra? primeira vista, os
prprios procedimentos de gerao forneceriam diretamente as respostas adequadas
para essas questes. Consideremos o caso dos nmeros naturais. Nesse caso, a
complexidade determinada pela relao menor que, relao essa que pode ser
facilmente caracterizada a partir do procedimento de gerao do conjunto dos nmeros
naturais (isto , da noo de sucessor)
14
. A generalizao dessa noo de menor para
qualquer domnio definido indutivamente a noo de ancestral (imediato ou no)
15
,
Todavia, isso nos levaria a uma caracterizao muito restrita da complexidade; por
exemplo, no caso das frmulas de uma linguagem, apenas as sub-frmulas de uma dada
frmula poderia ser ditas menores que elas, embora haja um sentido intuitivamente
bvio em que se pode comparar frmulas, sem que uma delas seja sub-formula da outra;

14
Podemos dizer que um nmero natural menor que outro se existe uma srie de nmeros, tal que o
primeiro elemento da srie aquele dito ser menor e o ltimo aquele dito ser maior e tal que cada
elemento da sria, com exceo do primeiro, sucessor do elemento imediatamente aps ele na srie.
15
Um elemento ser dito ser ancestral de outro se existir uma srie de elementos, tal que o primeiro
elemento da srie aquele dito ser ancestral e o ltimo aquele dito ser o descendente, tal que cada
elemento da srie, com exceo do ltimo, gerador (eventualmente junto com outros elementos que
tambm ocorrem na srie) de algum elemento subseqente. Um elemento dito um gerador de outro, se
houver algum procedimento que, a partir dele (eventualmente com mais outros) gere esse outro.
18

por exemplo, se A e B so frmulas quaisquer, ento parece se intuitivamente bvio
que a frmula A B mais simples que a frmula A (B C).
Uma noo mais ampla de complexidade parece ser imprescindvel; por
exemplo, se quisermos demonstrar que, n uma estrutura completa (isto , na qual todos
os objetos do universo so nomeados, vale dizer, qualquer objeto do universo
denotado por algum termo fechado), uma seqncia qualquer satisfaz uma frmula
(eventualmente aberta) se e apenas se a seqncia satisfaz a sentena formada a partir da
formula em pauta, substituindo-se todas as ocorrncias livres de variveis pelos nomes
dos objetos que a seqncia associa correspondente varivel. Nesse caso, a hiptese de
induo deve fazer referncia no apenas as sub-frmulas imediatas de uma dada
frmula, nem mesmo apenas a todas as sub-frmulas, mas tambm instncias de sub-
frmulas (que no so propriamente sub-frmulas da frmula original).
Uma maneira de introduzir a noo de complexidade comparar, em termos de
complexidade, antes os processos de gerao que os prprios objetos gerados e
caracterizar um objeto do domnio como mais simples que outro (ou eventualmente
como de igual complexidade) se o processo (ou, antes, o mais simples dos processos,
visto que um objeto pode vir a ser gerado de diferentes maneiras) para gerar aquele for
mais simples que o processo de gerao do outro. Todavia, a noo de processo mais
simples no parece bem definida (o que seria mais simples duas aplicaes iteradas de
uma regra muito simples, ou uma nica aplicao de uma regra de gerao
extremamente complexa do ponto de vista intuitivo). Assim, parece no restar
alternativa, salvo a introduo explcita de uma medida de complexidade, ou seja,
associar a cada elemento do domnio um nmero natural que seria o grau de sua
complexidade. Dessa maneira, todas as demonstraes por induo completa em um
domnio distinto do domnio dos naturais se converteriam em demonstraes completas
no domnio dos naturais.
Assim, por exemplo, nas consideraes lgico-morfolgicas, supondo
determinada a medida de complexidade, os esquemas de demonstrao por induo
seriam os seguintes.
A) Para termos
B) Para frmulas
i) Base da Induo (n=0): as frmulas de grau zero tm a propriedade
P;
ii) Passo Indutivo: Para qualquer n, se todas as frmulas de grau menor
que n tm a propriedade P, ento as frmulas de grau n tambm tm
P;
Concluso: Para qualquer, todas as frmulas de grau n tm P
C) Para derivaes
Assim, como a todo objeto morfolgico associado um grau, segue-se que todos
tm a propriedade em pauta. Vemos, pois, que essas demonstraes por induo
completa tornam-se casos particulares da induo completa (ou por curso de valores)
em nmeros. Para perceber isso, basta considerar Q a propriedade numrica ser o grau
objetos morfolgicos (termos, frmulas ou derivaes) que tm a propriedade P (dito
19

de outro modo, Q a propriedade expressa pela assero de que os objetos de grau n
tm a propriedade P), assim, os esquemas acima so instncias do esquema de
inferncia da induo completa em nmeros:
i) Zero tem a propriedade Q
ii) Para qualquer n, vale que, se todos os menores que n tm a
propriedade Q, ento n tm a propriedade Q:
Logo, todos os nmeros tm a propriedade Q;
A medida pode ser (mas no precisa ser) exatamente a de nmero de passos no
processo mais curto de gerao (de aplicaes iteradas das regras). No caso das
consideraes morfolgicas, se tomarmos como medida da complexidade de um objeto
sinttico o nmero (eventualmente o minimal) de passos necessrios para ger-lo, as
medidas de induo sero: para termos e derivaes: o comprimento (o nmero de
ocorrncias de smbolos, no caso dos termos, ou de frmulas, no caso das derivaes), e
para as frmulas, o nmero de ocorrncias de smbolos lgicos. Deste modo, estaremos
associando a cada objeto morfolgico, um nmero natural. Mas pode ser interessante,
em certas circunstncias, considerar outras medidas de induo. Por exemplo, no
Clculo Proposicional, se quisermos mostrar que toda frmula equivalente a uma
frmula na qual a negao ocorre no mximo aplicada diretamente a uma letra
sentencial, evidentemente a boa medida a soma total do nmero de outros smbolos
lgicos no escopo de negaes.
Tambm as definies por induo anteriormente apresentadas podem ser
transformadas em definies por induo em nmeros naturais. Por exemplo, em vez de
definir o imediatamente o conceito de frmula, define-se inicialmente o conceito de
frmula de grau n, por induo completa (ou por curso de valores) em n, e, em seguida,
definem-se as frmulas como as entidades que so frmulas de grau n para algum n.
Outro exemplo, se considerarmos uma teoria axiomtica de primeira ordem, os seus
teoremas podem ser definidos pelas seguintes clusulas:
i) Clusula bsica: Axiomas so teoremas
ii) Clausulas indutivas:
a. Se A for um teorema, ento xA um teorema
b. Se A e A B forem teoremas, ento B teorema.
Isso equivale a definir por induo, o conceito de ser um teorema, induo na qual a
medida o nmero de passos (aplicaes de regras de inferncia) em uma demonstrao
dele.
Vemos, portanto, que possvel retraar os procedimentos lgicos (de definio
ou de demonstrao) aos correspondentes na teoria de nmeros. Assim, h um sentido
em que os procedimentos lgicos (definitrios e demonstrativos) recursivos so mais
bsicos quando se considera o domnio nmeros naturais. Exatamente, porque a
caracterizao de nmero natural o caso mais simples de definio indutiva de um
domnio, aquele em que h apenas um objeto inicial, uma nica operao de gerao e
essa uma operao simples unria e que induz uma ordem total estrita. Assim, s h
uma noo de complexidade que respeita o procedimento de gerao. Nesse sentido, os
20

nmeros naturais so paradigmticos, mas da no se segue que a noo de nmero
natural seja mais clara e distinta que, por exemplo, a noo de frmula, de sorte que
devamos empregar aquela para esclarecer essa. Enfim, no devemos nos desencaminhar
por essa observao, e passar a crer que a induo em nmeros naturais mais clara e
distinta que os procedimentos indutivos em outros domnios. No se segue uma sorte de
pitagorismo na ordem da inteligncia, visto que seja a noo de nmero, como qualquer
noo de domnio indutivo depende da noo bsica de reiterar uma operao e essa
noo nunca pode ser completamente explicitada e tornada, por assim dizer, clara e
distinta.
O conceito de nmero natural, no nem mais nem menos claro e distinto que
nossa compreenso (intuitiva: obscura e indistinta) de reiterao. Pois, decorre do
primeiro teorema de incompletude, demonstrado pelo jovem Gdel, que os nmeros
naturais no podem ser exaustivamente caracterizados por meio de um sistema formal
estrito; exatamente porque no podemos nos assegurar, formalmente, que os objetos do
universo de um modelo de uma teoria formal estrita exatamente aqueles gerados a
partir de um dado por reiterao da operao de sucessor. Por conseguinte, a noo de
nmero to clara e distinta quanto for a nossa compreenso, tcita, da reiterao, e
reiterar algo que sabemos fazer (ou no, mas sempre um como que ponto cego da
inteligncia finita)
16
.
A reduo dos procedimentos generalizados de induo completa induo
completa em nmeros fornece apenas uma medida da complexidade, mas essa no
necessria para legitimar o procedimento, bastaria uma noo de mais ou menos
complexa, sem que seja necessrio delimitar esse mais ou menos (medir).
A Matemtica fornece valiosos recursos para contar, medir, enfim, num sentido
amplo, calcular. Mas querer substituir a inteligncia, pela matematizao apenas criar
uma iluso de inteligibilidade infinita.


RESTOS
Para aqueles que aderiram ao pitagorismo, observemos que as demonstraes
por induo em um domnio definido indutivamente, se forem corretas, como nos casos
anteriores, podem ser transformadas em demonstraes por induo em nmeros,
transformando-as em uma induo no nmero de passos necessrios para gerar o objeto
(o nmero de interaes de regras de gerao), o que permite associar a cada elemento
do domnio um nmero natural, dito o grau do elemento. No caso dos domnios
morfolgicos Teremos assim determinado uma medida da induo, como se costuma
dizer, uma medida que expressa em termos numricos a noo de complexidade.




16
Um das conseqncias interessantes dos teoremas de limitao (em particular, aqueles ditos de Godel)
enterrar definitivamente o sonho faustiano da completa explicitao, da perfeita clareza e distino.
Vide a epgrafe do texto.
21


Mais formalmente. Observemos inicialmente que dado um domnio S definido
indutivamente, podemos definir uma relao binria R em S por meio da clusula:
ab em S (a R b se e somente se existem a
1,
a
2
, ... ,a
n
e uma operao de gerao ,
tal que (a
1,
a
2
, ... ,a
n)
b e a um dos a
1,
a
2
, ... ,a
n
)
Ou seja, R , de um ponto de vista intuitivo, a relao ser um gerador imediato. A
validade dos demonstrao por induo esta condicionada apenas ao fato de que o
domnio como um todo seja o fecho por tal relao do conjunto de objetos iniciais.
No necessrio que a relao seja bem fundada esquerda (ela pode ter
loopings), basta que exista um caminho bem fundado. (acho eu)