Eu também apoio o liberallismo linguístico da Elaine! []s
Marcelo 2011/11/6 Elaine Pimentel <elaine.pimen...@gmail.com> > Prezados, > > Eu já, há muito tempo, dei minha opinião sobre essa terminologia. Vou > fazer coro à Valéria. > > Em primeiro lugar, as palavras prova e demonstração existem em > português e, em matemática ou em lógica, possuem o mesmo significado. > Portanto, escolher entre "teoria da prova" ou "teoria da demonstração" > é uma pura questão de gosto. > > Não acho que deveríamos seguir os espanhóis ou os franceses em nenhuma > tradução, não acredito que eles estão mais ou menos certos, ou nós > mais ou menos errados. > > Eu sim, como "proof-theorist" vou continuar comentendo a leviandade e > o dis-serviço (como diz o João Marcos) de traduzir proof-theory como > teoria da prova. Por uma questão de (bom) gosto. Por exemplo, não acho > agradável aos ouvidos traduzir "proof objects" como objetos de > demonstação. E por aí vai. > > Além do que, todos os profissionais brasileiros da área de teoria da > prova que conheço traduzem dessa forma. E tenho certeza que seus > alunos, e os alunos desses alunos vão chamar a área de teoria da > prova. Assim a notação fica por vez estabelecida e essa discussão > esquecida. > > Quanto ao termo "provável", esse seria o único argumento convincente > para utilizar demonstração, mas nesse caso se troca por demonstrável e > pronto! Não sei por que tudo tem que ter a mesma raiz. Agora, vai > traduzir proof search, proof objects, proof systems, etc como > demons*etc. Vai ser um monstro de notação :) E, como escrevo esses > termos todos os dias, me dou ao direito de utilizar prova*etc e > pronto. > > Abraços, > > Elaine. > > 2011/11/5 Valeria de Paiva <valeria.depa...@gmail.com>: > > ok, ok. e' verdade Andrea, deducoes sem premissas... > > > > abs, > > valeria > > > > 2011/11/5 Andrea Loparic <alopa...@gmail.com>: > >> Ois, > >> > >> Eu sempre vi e usei "prova"como sinônimo de "demonstração" e ambas > >> como *deduções* sem premissas hipotéticas - nesse sentido, por exemplo > >> é que temos a expressão "Teorema da Dedução" - e não da Demosntração. > >> > >> Mas há um ponto em que acho que o João tem razão: a expressão "provável" > >> não é uma tradução feliz para "provable", por ser já uma tradução usual > de > >> "probable"; e, apesar de "provabilidade" não significar "probability", > também > >> não creio merecer ser inventada em português. Na minha > opinião,"demonstrável" > >> e "demonstrabilidade" são ótimas traduções e devem poder ser adotadas; > >> não acho, no entanto, que seja o caso de descartar por essa razão o uso > >> consagrado de "prova" e "provar" nas ciências formais. > >> > >> Abraços > >> Andrea > >> _______________________________________________ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > > > > > > > -- > > Valeria de Paiva > > http://www.cs.bham.ac.uk/~vdp/ > > http://valeriadepaiva.org/www/ > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Elaine. > ------------------------------------------------- > Elaine Pimentel - DMat/UFMG > > Address: Departamento de Matematica > Universidade Federal de Minas Gerais > Av Antonio Carlos, 6627 - C.P. 702 > Pampulha - CEP 30.161-970 > Belo Horizonte - Minas Gerais - Brazil > Phone: 55 31 3409-5970/3409-5994 > Fax: 55 31 3409-5692 > http://www.mat.ufmg.br/~elaine > ------------------------------------------------- > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
