É possível termos para uma teoria de primeira ordem consistencia e
completude?
Entendemos por teoria de primeira ordem, um conjunto de sentenças
expressas numa linguagem de primeira ordem.
Oi, Eric.
Estou com pouco tempo agora para pensar... A ida eh facil, neh, isto eh,
se eh quadratica entao f(x+h)-f(h) eh afim nao constante.
Quanto aa volta Suponha que f(x+h)-f(h) eh afim nao constante para
qualquer h. Seja c=f(0); a=(f(1)+f(-1))/2 - c e b=f(1)-a-c. Monte
g(x)=
Claro que sim, há vários exemplos de teorias muito simples
de primeira ordem que são consistentes e completas.
O que Gödel provou ser impossível é termos uma teoria
consistente, completa e com um conjunto de axiomas recursivo
que seja pelo menos tão forte quanto a aritmética de Peano.
[]s, N.
On
Consertando,
X1=3 ; 2n+1=3 => n=1 eh quadrado e triangular;
X2=17 ; 2n+1=17 => n=8 eh tq n(n+1)/2 = 36 eh quadrado e triangular.
X3=99 ; 2n+1=99 => n=49 => n(n+1)/2 = 49*25 eh quadrado e triangular.
E em geral, os numeros quadrados e triangulares sao exatamente dados por
n(n+1)/2 onde:
2n+1=Xn =>
Observem o seguinte limite lim (x^2+Ax+8)/(x^2-4x+3) quando x->1
determinar os seguintes valores para que ele exista e seja finito.
Certo, A=-9, pois devemos "forçar" haver indeterminação 0/0. Mas essa é condição
necessária mas não suficiente, pois temos lim 0/0 quando x->a que seja infinito
ou
muito obrigado... ;-)
realmente os arquivos estao em texto.
consegui le-los apos trocar a extensao (.gz para .txt)
agora espero conseguir tempo para ler as mensagens... ;-)
um abraco a todos...
Alexandre
Oi, Cláudio.
Ok, então sabemos que A=-9 é a única chance. Já que x=1 zera ambos os
polinômios no numerador e no denominador, eles devem ser divisíveis por
(x-1), isto é, deve dar para fatorá-los por (x-1), certo? Faça-o e veja se
A=-9 de fato dá um limite razoável
Abraço,
Qual a definição fundamental de módulo, com qual objetivo os módulos
tiveram que ser criados e como surgiu a idéia de fazer o plano de
Argand-Gauss do jeito que ele é?
[]s,
Gustavo
Olá a todos!
Bom, podemos definir módulo usando o conceito de
produto interno. Definimos produto interno em algo que
se chama espaço vetorial (cujos elementos são chamados
vetores). Dizemos que um conjunto é um espaço vetorial
se para todos a, b pertencentes no conjunto a + bx
também pertence ao
9 matches
Mail list logo