Lista I

1- Leibniz estava interessado em uma caracteristica universalis, uma linguagem universal

composicional que atravs de um clculo raciocinador poderia demonstrar toda e qualquer verdade
servindo-se apenas de manipulaes sintticas, isto , por pura manipulao simblica sem que se
tena que apelar para a sem!ntica destes s"mbolos# $al clculo torna-se poss"vel uma vez que o
problema este%a completamente &ormalizado#
'- (ara )ilbert toda a matemtica pass"vel de ser completamente &ormalizada e por isso cada
problema matemtico deve possuir uma soluo sem que se tena que apelar para a interpretao
dos s"mbolos utilizados no clculo#
*-+egundo o conceito tradicional de a,ioma, estes so verdades evidentes por si e indemonstrveis,
consistindo antes em princ"pios dos quais se derivaria outras verdades, conecidas como teoremas,
segundo certas regras in&erenciais# -ada teorema deve ser demonstrvel ou bem a partir dos
a,iomas ou de verdades % demonstradas pelos a,iomas#
.-+egundo a proposio I dos /lementos de /uclides , dados dois pontos sempre um tri!ngulo
equiltero no qual estes pontos esto inclusos# )ilbert demonstra que esta proposio pressupe,
para que se%a adequadamente demonstrada, um outro a,ioma no e,presso nos /lementos de
/uclides, o qual )ilbert denomina de a,ioma da continuidade0 dado um ponto inscrito em uma
&igura e um outro ponto e,terno a mesma &igura, qualquer ligao1reta ou no2 entre estes dois
pontos possui pelo menos um ponto contido nesta &igura#
3-4o vou colocar aqui por causa das &rmulas e porque muito simples#
5- /m uma lgica de primeira ordem so utilizados constantes nominais e constantes para
conceitos, enquanto as varveis se aplicam unicamente a ob%etos# 6 em uma lgica de ordem
superior variveis tambm para propriedades, sendo poss"vel quanti&icar sobre estas, alargando,
assim, as capacidades e,pressivas da linguagem lgica# 7m bom e,emplo que pode ser e,presso
unicamente em ordem superior a lei da identidade de Leibniz01ler 32
8-)ilbert pensava ser imposs"vel de&inir certos conceitos &undamentais, no sentido tradicional de
de&inio, isto , dizer o que so tais conceitos atravs de suas notas de&initrias# )ilbert estabelece
as regras para o uso de tais conceitos, atravs de sua a,iomatizao e toma isso como a 9nica
de&inio poss"vel de tais conceitos#
:-)ilbert toma certos conceitos &undamentais da geometria1ponto, lina, plano2 sob os quais
cairiam todos os ob%etos geomtricos1posso &alar assim;2 e pretende de&ini-los dando a gramtica de
certas relaes &undamentais estabelecidas entre as coisas que caem sob os conceitos de ponto, lina
e plano#
<- /nquanto a a,iomatizao de )ilbert se restringe a uma rea especi&ica da matemtica, os
a,iomas de (eano pretendem uma &ormalizao de toda a =ritmtica e a &ortiori da geometria, uma
vez que se%a essa redut"vel a aritmtica#
1>- ?s dois primeiros a,iomas de (eano servem para dar todos os ob%etos do dom"nio#14o sei
dizer o resto apesar de ter &icado claro no dia do e,erc"cio em sala, quando &ui responder % no
sabia mais#2
11- ? quinto a,ioma de (eano no pode ser e,presso em uma lgica de primeira ordem, pois vale-
se de variveis para quanti&icar sobre propriedade, o que s pode ser &eito em uma lgica de ordem
superior# $al a,ioma conecido como induo matemtica e a&irma que para qualquer propriedade
se zero possui tal propriedade e qualquer n9mero possuir tal propriedade implica na posse desta
pelo seu sucessor, ento todo n9mero possui tal propriedade#
1'- ?s conceitos tomados como primitivos na a,iomatizao da aritmtica de (eano so o @>A, um
individuo a partir do qual se deriva todos os outros ob%etos do dom"nioB @49meroA uma propriedade
que caracteriza o dom"nio de signi&icao e a &uno @sucessorA uma &uno ordinria que levar de
um ob%eto do dom"nio a outro#
1*-Crege e Dussell pretendiam uma &ormalizao completa da aritmtica em uma linguagem lgica,
mostrando que esta @anteriorA a aritmtica que no consistiria em um conecimento paralelo e
independente da lgica, mas seria totalmente derivada desta# Eostrando-se que os a,iomas de
(eano1ou qualquer outra a,iomatizao da =ritmtica2 so na verdade teoremas derivados de
a,iomas lgicos#
1.- )ilbert pretendia uma &ormalizao completa da geometria partindo de conceitos tomados como
primitivos e estabelecendo a gramtica de certas relaes geomtricas &undamentais entre as coisas
que satis&aam tais conceitos, sem pretender com isso reduzir a geometria a alguma outra rea da
matemtica considerada como mais &undamental, e servindo-se apenas de constantes predicativas,
isto , e,pressando-se apenas em primeira ordem# 6 o pro%eto logicista pretende derivar toda a
matemtica a partir da lgica que seria portanto anterior a aritmtica e a geometria, de&inindo a
partir da lgica os conceitos considerados por )ilbert como primitivos, atravs de uma linguagem
de ordem superior#