[obm-l] demonstrações

2009-04-30 Por tôpico johnson nascimento
Olá amigos! Eu venho aqui na humildade pedir dicas de como melhorar minhas tecnicas em demonstrações. Sendo sincero com voces, tenho muita mais muita dificuldade em entender as demonstrações dos livros e se em cada demonstração eu parar quase 5,6 ou ate 15 dias para entender eu não termino o liv

[obm-l] Re: [obm-l] demonstraçõs matematica

2009-04-15 Por tôpico johnson nascimento
emas dependentes. Não sei se isso te ajuda a entender. Quanto aquela pergunta sobre a axiomatização da teoria dos conjuntos não posso responder pois não tenho muito conhecimento sobre isso. Abraços, Denisson 2009/4/14 johnson nascimento Olá rapaziada Gostaria de pedir uma ajuda sob

[obm-l] demonstraçõs matematica

2009-04-14 Por tôpico johnson nascimento
Olá rapaziada Gostaria de pedir uma ajuda sobre o assunto que esta me atormentando a algum tempo. Eu ate hoje não entendi o por que esse assunto é tão complicado. Seria sobre o tão complicado e dificil metodo axiomatico. Eu ja entendi bem como funciona o metodo em logica mais sobre o metodo matem

[obm-l] Provadores de teoremas

2008-02-21 Por tôpico johnson nascimento
Ola amigos eu estou procurando o "tarski world" mais eu nao estou achando então por favor rapaziada me da uma luz ou me manda por email se puder ok muito obrigado. - Abra sua conta no Yahoo! Mail, o único sem limite de espaço para armazenamento!

[obm-l] provadores de teoremas

2007-11-05 Por tôpico johnson nascimento
Olá amigos !!! Alguem de voçes conhece um bom provador de teoremas "Freeware" que rode no windows ? Por favor me mandem o link Obrigado :) Abra sua conta no Yahoo! Mail, o único sem limite de espaço para armazenamento!

Re: [obm-l] Derivada parcial

2007-09-05 Por tôpico johnson nascimento
Ola amigos ! Eu peço desculpas se minha definição sobre derivadas parciais foi um tanto meio esculachada. Mais algebricamente é exatamente isso que elas são uma soma entre derivadas parcias. Agora geometricamente minha definição esta incompleta pois, seria um plano vetor

Re: [obm-l] Derivada parcial

2007-09-05 Por tôpico johnson nascimento
Giovani a derivada total é a soma das derivadas parcais. Isso significa que voçe ira ter que fazer umas constante e derivar em relação a que voçe considerou variavel, e assim sucessivamente. Exemplo : derivar em relação a x "dz/dx" voçe irar trandormar z = xe^(x - y) + ye^(x + y) em

Re: [obm-l] revistas e publicações on line - onde encontrar

2007-08-19 Por tôpico johnson nascimento
Valeu Saulo muito obrigado eu nao conheci a lista pelo site, entao eu nao sabia. Brigadão :) Flickr agora em português. Você clica, todo mundo vê. Saiba mais.

Re: [obm-l] Re: [obm-l] revistas e publicaç ões on line - onde encontrar

2007-08-19 Por tôpico johnson nascimento
Caramba Eureka mesmo..., dessa eu nao sabia. Valeu ;) Rafael <[EMAIL PROTECTED]> escreveu: Olá ! Conhece a Revista Eureka ? http://www.obm.org.br/frameset-eureka.htm Flickr agora em português. Você clica, todo mundo vê. Saiba mais.

[obm-l] revistas e publicações on line - onde en contrar

2007-08-18 Por tôpico johnson nascimento
Ola amigos ! Gostaria de pedir informações de voçes onde encontrar revistas e blublicações de artigos on line de matematica. de preferencia em portugues por favor sou pessimo em ingles, mais se nao tiver jeito que seja em ingles mesmo. Eu vi o pessoal falando de publicaçõ

[obm-l] criação e formalismo

2007-08-10 Por tôpico johnson nascimento
Ola amigos da lista ! Bom mais uma vez uma duvida sobre fundamentação matemática (agora que entendo sobre completude e incompletude dos sistemas formais), eu tenho uma preocupção muito grande com o que diz a respeito de "Formalismo Matematico". Eu acredito que ae esta todo o poder de fogo

Re: [obm-l] Incompletude dos Sistemas Formais

2007-08-09 Por tôpico johnson nascimento
Ralonso Salve ! Ralonson disse: "Como não li o livro de Göedel todo ...eu posso ter dito besteiras... quem tiver paciência, então, por favor me corrija." Meu velho voçe explicou magnificamente bem ! Eu ja tinha esse pensamento em mente mais nao tinha certeza se era isso mesmo.

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 (Ta1

[obm-l] Incompletude dos Sistemas Formais

2007-08-02 Por tôpico johnson nascimento
Ola amigos ! Eu depois de me desenpenhar muito em matematica aplicada a 1 ano atras venho me intenressando por fundamentação matematica. Compreendi perfeitamente o programa de Hilbert mais nao compreendi o teorema de Godel. O que realmente Godel quer diser com; "Se a matemática é c