Ol�, pessoal
Sou aluno do 1� ano de Bacharelado de Matem�tica e comecei a me
interessar muito por l�gica e fundamentos da matem�tica. Tenho algumas
d�vidas que gostaria que algu�m me tirasse. A primeira � a seguinte: toda a
matem�tica � constru�da a partir de axiomas, que n�o s�o provados, e a
partir deles s�o deduzidas as verdades matem�ticas dentro desse sistema. Mas
essa rela��o de implica��o � uma verdade matem�tica, e precisa de axiomas
para o provar. Como se d� isso? Os teoremas da l�gica dispensam provas?
Outra coisa: a incompletude de G�del, que diz que a aritm�tica n�o pode ser
deduzida a partir de sistemas de axiomas, s� vale para sistema do tipo
mec�nico?
grato pela aten��o,
Rog�rio
_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.
Share information about yourself, create your own public profile at
http://profiles.msn.com.
