[obm-l] criação e formalismo

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] EPCAR

Oi Bom, como é uma prova teste, pra não perder tempo é só fazer n=2. Aí pode fazer 3 solutos: 1 com cada comprimido e 1 com os dois. Sobra só a alternativa D. Acho que uma resolução simples é pensar que cada comprimido pode estar ou não dissolvido nesse copo. Então há 2 opções pra cada

[obm-l] O Mínimo de Pontos Magros

Este é de uma olimpiada japonesa, que ja vi ha bastante tempo e nao consegui resolver. Um ponto e chamado ´magro´ quando exatamente duas retas passam sobre ele. Dado um conjunto finito de retas, com pelo menos dois pontos de encontro entre elas, determine o número mínimo de pontos magros de

Re: [obm-l] criação e formalismo

Olá johnson suas perguntas são muito profundas para serem respondidas sem ficar off-topic demais, mas vamos lá. johnson nascimento wrote: 1) Qual a diferença entre a criação matematica e a logica formal? Eu diria que nenhuma se pensarmos classicamente, isto é, determinísticamente. Se

Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.

opss... esqueci que estou dentro da fundação ... Enviei o paper para seu e-mail... []s [EMAIL PROTECTED] wrote: Devo estar fazendo besteira, porque só consegui ver o abstract... Cai no site springerlink.com e lá ou pede login ou pede pra você comprar o texto completo. - Leandro.

[obm-l] Re: [obm-l] BETONEIRA e a média harmônica....

Olá Nehab, você é um educador como poucos pois consegue tratar assuntos desde o mais elementar, como este, até os que estão na fronteira do conhecimento com uma clareza invejável. Muitas vezes eu vejo assuntos sendo tratados aqui, que é uma lista aberta, com uma linguagem despreocupada em

Re: [obm-l] EPCAR

Creio que seja : C(n, n) + C(n, n-1) + C(n, n-2) + ... + C(n, 1) = 2^n - 1 Onde C(n, p) é a combinação de n tomado p a p. Note que C(n, n) + C(n, n-1) + C(n, n-2) + ... + C(n, 0) = 2^n No caso, C(n, 0) = 1 não faz sentido. [ ]´s arkon [EMAIL PROTECTED] escreveu:

Re: [obm-l] EPCAR

Creio que seja : C(n, n) + C(n, n-1) + C(n, n-2) + ... + C(n, 1) = 2^n - 1 Onde C(n, p) é a combinação de n tomado p a p. Note que C(n, n) + C(n, n-1) + C(n, n-2) + ... + C(n, 0) = 2^n No caso, C(n, 0) = 1 não faz sentido. [ ]´s arkon [EMAIL PROTECTED] escreveu:

[obm-l] EPCAR

Alguém pode resolver essa, por favor; (EPCAR-2000) Têm-se n comprimidos de substâncias distintas solúveis em água e incapazes de reagir. Quantos solutos distintos podem ser obtidos, dissolvendo num copo d’água um ou mais desses comprimidos? a) 2n. b) n!. c) n.

Re: [obm-l] BETONEIRA e a m�dia harm�nica....

Oi, Ojesed , At 02:04 10/8/2007, you wrote: Seria correto dizer que se as massas não fossem iguais a resposta seria a média harmônica ponderada, com as massas sendo os ponderadores ? Sim, vale... Veja: A média harmônica das densidades, ponderadas pelas massas é, por definição: o inverso da

Re: [obm-l] Re: [obm-l] BETONEIRA e a m�dia harm�nica....

Oi, Ojesed Fico muito orgulhoso (de verdade) pelo comentário, pois meu grande barato é de fato a sala de aula e o resolver problemas está em segundo lugar (papai do céu é esperto, pois me deu muito mais aptidão para ensinar do que para resolver problemas). Mas ainda bem que você e outros

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

--- ralonso [EMAIL PROTECTED] escreveu: a essas construções. A pergunta que fica no ar é quando uma sequência de números algébricos tende a um número transcendente. Olá Ronaldo. Apenas para registro, porque acho que não acrescenta à discução, eis um exemplo de uma série obtida por