[obm-l] Re: [obm-l] Livros de Filosofia Matemática

2018-04-11 Por tôpico Tiago Sandino
Indicaria o "Deus é Matemático?" do autor Mário Lívio. Gostei bastante. Tem alguns chamados matemáticos que também contribuíram para o que hoje chamam de filosofia, na realidade, antes essa distinção não era muito clara. Costumo falar para meus alunos que distingo três faces da matemática; a

[obm-l] Livros de Filosofia Matemática

2018-04-11 Por tôpico Luiz Antonio Rodrigues
Olá, pessoal! Bom noite! Alguém conhece algum bom livro de Filosofia Matemática? Muito obrigado! Um abraço! Luiz -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.

Re: [obm-l] Grade de quadrados

2018-04-11 Por tôpico Pedro José
Boa noite! Sai por indução. para n=1 é claro; é a própria figura 1a. Se vale para n. Vamos verificar para n+1. Para n+1 é uma grade com o dobro de comprimento do lado do que para uma grade n. Logo poderá ser formado pela concatenação de quatro quadrados 2^n x 2^n. A figura acima é uma

[obm-l] Re: [obm-l] PROVA DE NÚMEROS NATURAIS

2018-04-11 Por tôpico Claudio Buffara
Este problema já foi resolvido há poucos dias aqui na lista. E a conclusão não procede. O máximo que dá pra provar é que S contém todos os múltiplos naturais de 3. Por exemplo, nada impede que 1 pertença a S. Neste caso, S = N (estou supondo que 0 não é natural). []s, Claudio. 2018-04-11

[obm-l] Grade de quadrados

2018-04-11 Por tôpico Luiz Claudio Valverde
QUESTÃO Nº 2 Prove que para todo natural 푛, uma grade de quadrados 2^n × 2^n (a Figura1(b) abaixo mostra uma grade 2^4 × 2^4) com qualquer um de seus quadrados removidos pode ser coberta por ladrilhos de tamanho fixo em forma de L (conforme Figura 1(a)). Figura 1a: FIGURA 1B: Prof.ºr Luiz

[obm-l] PROVA DE NÚMEROS NATURAIS

2018-04-11 Por tôpico Luiz Claudio Valverde
Amigos, preciso de uma ajudinha nas questões abaixo: QUESTÃO 1: Considere um conjunto 푆 de números naturais definido recursivamente da seguinte maneira: I. 3 ∈ 푆; II. se 푥 ∈ 푆 e 푦 ∈ 푆 então 푥 + 푦 ∈ 푆. Prove que 푆 é o conjunto dos naturais múltiplos de 3. Obs: 푥, 푦 acima não são

Re: [obm-l] Perguntas pro Claudio Buffara

2018-04-11 Por tôpico Mauricio de Araujo
Fiquei tentado a responder mas, como estou sem paciência, acho que vou deixar para lá... A resposta do Artur está de bom tom, adequada e elegante. -- Abraços, Mauricio de Araujo [oɾnɐɹɐ ǝp oıɔıɹnɐɯ] 2018-04-10 13:09 GMT-03:00 Marcela Costa :

[obm-l] Re: [obm-l] Pontos de condensação

2018-04-11 Por tôpico Claudio Buffara
Vou tentar provar que U é enumerável. Podemos escrever U = Ud união Ue, onde Ud = conjunto dos pontos de condensação à direita de A; Ue definido analogamente. Minha idéia é provar que Ud e Ue são ambos enumeráveis, de modo que U também será. Para cada x pertencente a Ud, existe d(x) > 0 tal que

[obm-l] Filosofia Matemática

2018-04-11 Por tôpico Luiz Antonio Rodrigues
Olá, pessoal! Bom dia! Alguém conhece algum livro de Filosofia Matemática? Eu já li o do Bertrand Russell, mas não gostei muito dele... Muito obrigado! Um abraço! Luiz -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Pontos de condensação

2018-04-11 Por tôpico Pedro José
Bom dia! Cria eu, ter entendido o conceito. Todavia, cheio de dúvidas. O que significa inter ??? A princípio julguei que fosse interseção, mas C e C' estão contidos em A, certo? E B está contido em A, confere? Intuitivamente é razoável. O B será formado por uma união de intervalos, disjuntos,