Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Walter Carnielli
Caros, esta não é uma prova, ou não deveria ser: é uma justificativa para a noção de *definição* da distancia entre dois pontos na Geometria Analítica bidimensional. Obviamente, a definição se generaliza para n dimensões (e a continha ali mostra apenas que a definição não contraria o Teo

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Decio Krause
Pede pra ele aplicar isso com dois pontos sobre uma superfície esférica... Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Jorge Petrucio Viana
o que mais me chama a atencao nesta "prova" e em todas as versoes dela que eu conheco e que o(a) autor(a) "pega" dois pontos genericos no plano e eles *** sao distintos *** *** estao no primeiro quadrante *** genericos, distintos e no primeiro quadrante! se voces procurarem mais vao encontrar

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Marcelo Finger
Na "prova" mencionada pelo Petrucio, se "esquceram de enunciar o teorema. Pouco espanta que, depois, as pessoas só se lembrem de matemática como uma decoreba de formuleira. []s 2013/4/19 Décio Krause : > A "demonstração" faz uso de figuras. Já vi muito disso por aí. O que fazer > com esses prof

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Décio Krause
A "demonstração" faz uso de figuras. Já vi muito disso por aí. O que fazer com esses professores? O que foi apresentado não passa de uma justificativa heurística. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Cata

[Logica-l] Lógica Parcial

2013-04-19 Por tôpico SB Presente
Ola a todos, Alguém possui algum material sobre Lógica Parcial? Cordialmente, SB ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Julio Stern
Petrucio:  Voce tem toda a razao,  pois este texto nao Prova coisa alguma.  Para comeco de conversa,  de que Distancia se esta falando,  qual a Metrica, ou qual o Grupo de Invariancia.  Se se explicitar uma destas respostas,  fica obvio oq eh que se veve demonstrar...  ---Julio      --

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Jorge Petrucio Viana
ola desculpem-me pela intromissao aqui esta uma prova com a qual eu nao estou de acordo http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm ela aparece em praticamente todos os textos que tratam do assunto sejam livros do ensino medio ou livros de calculo abracos P -

Re: [Logica-l] Manifesto a favor da Open Access Publication

2013-04-19 Por tôpico Marcelo Finger
Gostei bastante! On Thu, Apr 18, 2013 at 11:29 PM, Valeria de Paiva wrote: > super bem feito ne', Petrucio! > valeu, > valeria > > > 2013/4/18 Jorge Petrucio Viana > >> nao sei se todos ja assistiram >> >> desculpem-me se ha repeticao >> >> abracos >> P >> >> http://www.youtube.com/watch?v=L5rVH

[Logica-l] CONCEPTS AND MODAL EPISTEMOLOGY

2013-04-19 Por tôpico jean-yves beziau
CONCEPTS AND MODAL EPISTEMOLOGY, Lyon, May 13-14, 2013 The Center for the Epistemology of Cognitive Science of the Ecole Normale Supérieure de Lyon is happy to announce the Workshop "Concepts and Modal Epistemology" that will take place at the Ecole Normale Supérieure de Lyon (ENSL), France, on Ma