Olás,
Eu ia escrever aqui essencialmente o que o Walter já disse sobre a
"definição" de distância, em todo o caso resta uma historinha
engraçada: um (bom) aluno de Geometria Euclidiana (axiomática,
disciplina que para um Lógico é uma delícia de ministrar) uma vez me
perguntou:
- Como eu
humm
algo esta me escapando
nos meus livros de geometria euclidiana
pontos nao tem coordenadas
distancia nao e "definida" por uma formula
e se fosse
a "explicacao" que eu enviei numa msg anterior
nao explicaria por que razao a distancia de um ponto a si mesmo e 0
e nem explicaria como calcular
Oi Petrucio,
Em geometria euclidiana plana "à la Birkhoff" (usando números reais, digamos),
não existem "coordenadas do plano" e tal: isso é uma particularidade
do modelo euclidiano do R2.
Colocamos como axiomas: (i) que a todo segmento podemos associar um
número real positivo, chamado com
Decio:
Concordo plenamente com voce
que isto ai Nao eh uma prova,
apenas uma figurinha...
No entantos vale salientar que
uma simples figurinha pode Sim,
representar uma prova!
Para muitos e lindos exemplos,
de demonstracao por figuras, vide
Roger B. Nelsen (Oct 1993)
Proofs witho
Julio
Ok, touché. Grato pela referência.
Abraço
D
Em sábado, 20 de abril de 2013, Julio Stern escreveu:
> Decio:
>
> Concordo plenamente com voce
> que isto ai Nao eh uma prova,
> apenas uma figurinha...
>
> No entantos vale salientar que
> uma simples figurinha pode Sim,
> representar uma prova!
Caríssimos,
Eu já tenho um exemplo típico de prova da qual eu discordo, que segue o
seguinte esquema:
1. Primeiro vem uma definição qualquer, X =def alpha.
2. Depois vem um teorema que diz a mesma coisa que a definição, Teorema:
Todo X é alpha.
3. Por fim, vem a prova do teorema por indução na
Tony
Deixa eu falar algo, que certamente será complementado por outros.
A noção de "demonstração", ou de "prova", não é absoluta. Posso facilmente dar
um exemplo de sistemas formais com as mesmas linguagens, regras de formação,
etc. mas que difiram quanto à noção de consequência sintática e que
É que eu observo muito bem. Mas, deixe estar.
Em 20 de abril de 2013 15:34, Walter Carnielli
escreveu:
> Ola Tony, eu nunca vi uma prova dessas.
>
> Se você encontrou alguma assim, é melhor mudar de livro... :-)
>
> Walter
>
>
> Em 20 de abril de 2013 14:53, Tony Marmo escreveu:
> > Caríssim
Estou de acordo, principalmente com as primeiras linhas. Aliás, quando uns
fazem as provas que eles mesmos acham ótimas e criticam as provas que os
outros fazem, eles se esquecem de que a noção de prova ou demonstração não
é absoluta.
Em 20 de abril de 2013 15:17, Decio Krause escreveu:
> Tony
>
Ola Tony, eu nunca vi uma prova dessas.
Se você encontrou alguma assim, é melhor mudar de livro... :-)
Walter
Em 20 de abril de 2013 14:53, Tony Marmo escreveu:
> Caríssimos,
>
> Eu já tenho um exemplo típico de prova da qual eu discordo, que segue o
> seguinte esquema:
>
> 1. Primeiro vem
caros
alguns exemplos deste tipo podem ser encontrados em
http://www.uff.br/grupodelogica/slides/unilog_2013_slides_1.pdf
http://www.uff.br/grupodelogica/slides/unilog_2013_slides_2.pdf
embora estes slides nao tenham sido projetados para auto-estudo
abracos
P
-- Original Message --
11 matches
Mail list logo
