Re: [obm-l] Incompletude dos Sistemas Formais

2007-08-07 Por tôpico johnson nascimento
Ralonso e Johann, Salve ! Ralonso Voçe eo Johann me ajudaram muito, pois na verdade esses conceitos estavam verdinho quanse maduros e so precisava de um clic basico pra aflorar. Deixa eu ver se entendi, uma teoria A tem os axiomas (a1, a2, a3...,an) e uma seria de teoremas

Re: [obm-l] Incompletude dos Sistemas Formais

2007-08-07 Por tôpico ralonso
1) Deixa eu ver se entendi, uma teoria A tem os axiomas (a1, a2, a3...,an) e uma seria de teoremas (Ta1,Ta2...,Tan) ela é consistente pois seus axiomas nao tem contradição(ou seja todos esses teoremas são deduzidos desses axiomas). Pelo que entendo, uma coisa é conistência dos axiomas e outra

Re: [obm-l] Mostrar que esta serie converge para um irracional

2007-08-07 Por tôpico Johann Peter Gustav Lejeune Dirichlet
Algo mais interessante seria verificar se tal numero é ou não algébrico (mas acho sem-noção demais...) Em 06/08/07, Artur Costa Steiner [EMAIL PROTECTED] escreveu: A minha ideia foi exatamente esta. E eh demonstracao sim, matematicamente perfeita. Na bse k, a expansão de 1/p(n) eh composta

Re: [obm-l] Qual a modo correto de lidarmos com conceitos que fazem sentido mas são contraditórios?

2007-08-07 Por tôpico Johann Peter Gustav Lejeune Dirichlet
Esta me lembra uma frase do Nicolau sobre numeros surreais: eles são tantos que um conjunto é uma entidade pequena demais para conte-los. É mais filosófico do que prático, é o que eu sempre digo. P.S: Existem outras teorias além da ZFC? Em 06/08/07, Artur Costa Steiner [EMAIL PROTECTED] escreveu:

Re: RES: [obm-l] Provar que k + raiz(k^2 +a ) eh irracional

2007-08-07 Por tôpico Demetrio Freitas
O Leandro tem muita razão quando diz que é necessário cuidado neste tipo de raciocínio. Conceitos familiares de cálculo e análise parecem ter utilidade restrita em questões de transcendência ou mesmo irracionalidade. Eu não conheço a prova de Lindemann. Na verdade, eu a vi uma vez e quase tudo o

Re: [obm-l] Indicação de livros

2007-08-07 Por tôpico Celso Souza
Entre em contato com o professor Luís Carlos Rossato, do departamento de matemática do ITA (hoje ele é o coordenador do vestibular). O professor Rossato escreveu uma apostila EXCELENTE sobre EDP, e acho que seria muito bom dar uma olhada na apostila. Entre na página www.ita.br e

[obm-l] material de desenho geometrico

2007-08-07 Por tôpico Sergio Lima Netto
Caros colegas da lista, Organizei um material com solucoes de problemas de desenho geometrico extraidos do livro do Prof E. Wagner, (com JPQ Carneiro) editado pela SBM. Desta vez, fiz uma revisao da versao anterior, eliminando uma serie de erros menores (espero nao ter introduzido outros),

Re: [obm-l] material de desenho geometrico

2007-08-07 Por tôpico João Luís Gomes Guimarães
Excelente material, Sérgio. Nessa altura do campeonato, é chover no molhado elogiar seu trabalho e sua contribuição para todos nessa lista, mas não posso deixar de deixar aqui esse depoimento. Creio que falo em nome de todos aqui: muito obrigado!!! João Luís. - Original Message -

[obm-l] Adicionado na Via6

2007-08-07 Por tôpico alex pereira bezerra
Olá, alex pereira bezerra acabou de se cadastrar na Via6 e adicionou você como contato. http://www.via6.com/[EMAIL PROTECTED]=0e422481e9602fb9919b8fc07462e9b4 = Instruções para entrar na lista, sair da lista e

Re: [obm-l] material de desenho geometrico

2007-08-07 Por tôpico Sergio Lima Netto
Caro Joao, Pelo contrario elogio eh sempre bem-vindo; este retorno eh a minha motivacao. Esta lista eh uma excelente divulgadora e esta forma, meio que off-line, eh a que gosto e que sei contribuir, jah que nao tenho a mesma base que muitos aqui. Abraco, sergio On Tue, 7 Aug 2007,

Re: RES: [obm-l] Provar que k + raiz(k^2 +a ) eh irracional

2007-08-07 Por tôpico silverratio
Gostei muito da sua construção, Demétrio. Agora sim, colocado desta forma mais precisa, nestes termos, me pareceu também uma boa idéia. É uma pena que não tenha dado certo, mas talvez existam certas condições sob as quais uma construção parecida funcione, o que seria algo interessante pra se