[Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.
47 views
Skip to first unread message
Marcio Cunha
May 12, 2013, 3:39:18 PM5/12/13
to logi...@dimap.ufrn.br
Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar
as motivações e implicações filosóficas das traduções entre lógicas (em
particular, as traduções conservativas)?
Outra coisa, alguém tem em pdf do texto *"Translation between logics: a
manifesto*." ?
Obrigado.
as motivações e implicações filosóficas das traduções entre lógicas (em
particular, as traduções conservativas)?
Outra coisa, alguém tem em pdf do texto *"Translation between logics: a
manifesto*." ?
Obrigado.
Tony Marmo
May 12, 2013, 3:42:30 PM5/12/13
to Marcio Cunha, logi...@dimap.ufrn.br
As motivações incluem a própria questão da preservação da verdade e a
necessidade de estudar lógicas-objeto a partir de meta-lógicas.
> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
necessidade de estudar lógicas-objeto a partir de meta-lógicas.
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
Marcio Cunha
May 12, 2013, 3:52:02 PM5/12/13
to Tony Marmo, logi...@dimap.ufrn.br
Você pode explicar melhor? Pode dar um exemplo mais concreto sobre a
"questão da preservação da verdade" que envolva a necessidade de uma função
tradução entre dois sistemas lógicos? Estou falando, claro, do ponto de
vista da motivação e implicação filosóficas.
"questão da preservação da verdade" que envolva a necessidade de uma função
tradução entre dois sistemas lógicos? Estou falando, claro, do ponto de
vista da motivação e implicação filosóficas.
Joao Marcos
May 12, 2013, 9:09:27 PM5/12/13
to Marcio Cunha, logi...@dimap.ufrn.br
Olá, Marcio:
Sobre este assunto, do ponto de vista técnico, este é um dos artigos
mais importantes dos últimos anos:
The ubiquity of conservative translations
Emil Jeřábek
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8757256
http://arxiv.org/abs/1108.6263
Do ponto de vista filosófico, não deixe de conferir o capítulo XX do livro
Classical Mathematical Logic: The Semantic Foundations of Logic
Richard L. Epstein
Abraços,
Joao Marcos
2013/5/12 Marcio Cunha <marcioc...@gmail.com>:
http://sequiturquodlibet.googlepages.com/
Sobre este assunto, do ponto de vista técnico, este é um dos artigos
mais importantes dos últimos anos:
The ubiquity of conservative translations
Emil Jeřábek
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8757256
http://arxiv.org/abs/1108.6263
Do ponto de vista filosófico, não deixe de conferir o capítulo XX do livro
Classical Mathematical Logic: The Semantic Foundations of Logic
Richard L. Epstein
Abraços,
Joao Marcos
2013/5/12 Marcio Cunha <marcioc...@gmail.com>:
> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
http://sequiturquodlibet.googlepages.com/
Tony Marmo
May 12, 2013, 9:15:52 PM5/12/13
to Marcio Cunha, logi...@dimap.ufrn.br, jean-yves beziau
Caro Márcio,
A resposta de Jean-Yves cobre com muita propriedade o assunto.
Quanto à pergunta abaixo é simples: simplificando muito e de modo muito
resumido, duas linguagens lógicas são dois modos de formalizar o
pensamento. Acontece que para falar dos teoremas de uma na/ pela outra é
preciso não apenas traduzir de uma linguagem para outra, mas interessa não
perder a propriedade de teorema, ou seja, interessa que o que é verdade num
dos idiomas seja verdade no outro. Comparando é como se você escrevesse
"chove ou não chove" em Português e depois passasse para outro idioma: se
"chove ou não chove" em Português é tautológico também deveria sê-lo em
Alemão. Daí há que se estabelecer princípios para essa tradução de modo que
no outro idioma não se perca a verdade do enunciado.
A resposta de Jean-Yves cobre com muita propriedade o assunto.
Quanto à pergunta abaixo é simples: simplificando muito e de modo muito
resumido, duas linguagens lógicas são dois modos de formalizar o
pensamento. Acontece que para falar dos teoremas de uma na/ pela outra é
preciso não apenas traduzir de uma linguagem para outra, mas interessa não
perder a propriedade de teorema, ou seja, interessa que o que é verdade num
dos idiomas seja verdade no outro. Comparando é como se você escrevesse
"chove ou não chove" em Português e depois passasse para outro idioma: se
"chove ou não chove" em Português é tautológico também deveria sê-lo em
Alemão. Daí há que se estabelecer princípios para essa tradução de modo que
no outro idioma não se perca a verdade do enunciado.
Walter Carnielli
May 12, 2013, 9:53:46 PM5/12/13
to Tony Marmo, logi...@dimap.ufrn.br, Marcio Cunha, jean-yves beziau
Não se trata só de traduzir linguagens. Isso é simples demais. Trata-se
de traduzir relações de consequência
(portanto, ' verdades absolutas', isto é, teoremas, ou 'verdades
relativas´, isto é, deduções).
Walter
--
-----------------------------------------------
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
de traduzir relações de consequência
(portanto, ' verdades absolutas', isto é, teoremas, ou 'verdades
relativas´, isto é, deduções).
Walter
-----------------------------------------------
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
Tony Marmo
May 13, 2013, 8:46:17 AM5/13/13
to Walter Carnielli, logi...@dimap.ufrn.br, Marcio Cunha, jean-yves beziau
Por outro lado, é preciso que o Márcio se familiarize com as diferentes
lógicas, para ter uma ideia mais concreta. Antes de ler as referências do
João Marcos e do Jean-Yves, talvez seja melhor consultar os capítulos 1 e 2
de Carnielli e Pizzi, "Modalities and Multimodalities": lá se encontram
alguns exemplos mais simples de como fazer traduções entre lógicas.
Em 12 de maio de 2013 22:53, Walter Carnielli
<walter.c...@gmail.com>escreveu:
lógicas, para ter uma ideia mais concreta. Antes de ler as referências do
João Marcos e do Jean-Yves, talvez seja melhor consultar os capítulos 1 e 2
de Carnielli e Pizzi, "Modalities and Multimodalities": lá se encontram
alguns exemplos mais simples de como fazer traduções entre lógicas.
Em 12 de maio de 2013 22:53, Walter Carnielli
<walter.c...@gmail.com>escreveu:
Marcos Alves
May 13, 2013, 10:02:53 AM5/13/13
to Walter Carnielli, logi...@dimap.ufrn.br, Marcio Cunha, jean-yves beziau
Prezado Walter,
tenho duas dúvidas, se achar conveniente respondê-las:
1) por que você identifica verdades absolutas com teoremas? Teoremas podem
ser verdades de uma dada teoria, mas não ser de outras. Em que sentido
está utilizando verdades absolutas neste caso?
2) em que sentido você identifica verdades relativas e dedução? A verdade
parece ser um atributo de proposições, de sentenças, não de deduções.
abço,
Marcos.
> Não se trata só de traduzir linguagens. Isso é simples demais.
> Trata-se
> de traduzir relações de consequência
> (portanto, ' verdades absolutas', isto é, teoremas, ou 'verdades
> relativas´, isto é, deduções).
>> Caro Márcio,
>> muito
>> resumido, duas linguagens lógicas são dois modos de formalizar o
>> preciso não apenas traduzir de uma linguagem para outra, mas interessa
>> não
>> perder a propriedade de teorema, ou seja, interessa que o que é verdade
>> num
>> dos idiomas seja verdade no outro. Comparando é como se você
>> escrevesse
>> "chove ou não chove" em Português e depois passasse para outro idioma:
>> se
>> "chove ou não chove" em Português é tautológico também deveria
>> sê-lo em
>> Alemão. Daà há que se estabelecer princÃpios para essa tradução de
>> modo que
>> no outro idioma não se perca a verdade do enunciado.
>> > Você pode explicar melhor? Pode dar um exemplo mais concreto sobre a
>> > "questão da preservação da verdade" que envolva a necessidade de
>> uma
>> função
>> > tradução entre dois sistemas lógicos? Estou falando, claro, do
>> ponto de
>> > vista da motivação e implicação filosóficas
tenho duas dúvidas, se achar conveniente respondê-las:
1) por que você identifica verdades absolutas com teoremas? Teoremas podem
ser verdades de uma dada teoria, mas não ser de outras. Em que sentido
está utilizando verdades absolutas neste caso?
2) em que sentido você identifica verdades relativas e dedução? A verdade
parece ser um atributo de proposições, de sentenças, não de deduções.
abço,
Marcos.
> Não se trata só de traduzir linguagens. Isso é simples demais.
> Trata-se
> de traduzir relações de consequência
> (portanto, ' verdades absolutas', isto é, teoremas, ou 'verdades
> relativas´, isto é, deduções).
>> Caro Márcio,
>>
>> A resposta de Jean-Yves cobre com muita propriedade o assunto.
>> Quanto à pergunta abaixo é simples: simplificando muito e de modo
>> A resposta de Jean-Yves cobre com muita propriedade o assunto.
>> muito
>> resumido, duas linguagens lógicas são dois modos de formalizar o
>> pensamento. Acontece que para falar dos teoremas de uma na/ pela outra
>> é
>> preciso não apenas traduzir de uma linguagem para outra, mas interessa
>> não
>> perder a propriedade de teorema, ou seja, interessa que o que é verdade
>> num
>> dos idiomas seja verdade no outro. Comparando é como se você
>> escrevesse
>> "chove ou não chove" em Português e depois passasse para outro idioma:
>> se
>> "chove ou não chove" em Português é tautológico também deveria
>> sê-lo em
>> Alemão. Daà há que se estabelecer princÃpios para essa tradução de
>> modo que
>> no outro idioma não se perca a verdade do enunciado.
>> > Você pode explicar melhor? Pode dar um exemplo mais concreto sobre a
>> > "questão da preservação da verdade" que envolva a necessidade de
>> uma
>> função
>> > tradução entre dois sistemas lógicos? Estou falando, claro, do
>> ponto de
>> > vista da motivação e implicação filosóficas
Marcio Cunha
May 13, 2013, 10:12:27 AM5/13/13
to Tony Marmo, boto...@gmail.com, logi...@dimap.ufrn.br, Walter Carnielli, jean-yves beziau
Obrigado a todos pelas respostas e indicações de referências, estão sendo
muito úteis para elucidar as minhas dúvidas. O meu interesse é entender os
aspectos conceituais que envolvem traduções entre lógicas. É aquela velha
história: o estudante entende a demonstração do teorema da correção e da
completude mas não entende a razão de ser necessária tal demonstração. Na
questão de traduções entre lógicas é mais ou menos a mesma coisa (no que
diz respeito à compreensão da razão por trás) que eu quero entender: eu
compreendo, razoavelmente, os aspectos técnicos de como efetuar uma
tradução, mas a razão conceitual por trás (digamos assim), não. Por
exemplo, como o professor Carnielli disse, trata-se de traduzir teoremas
(verdades absolutas) e deduções (verdades relativas), a questão é: (1) o
que se pode entender (conceitualmente, não formalmente) por traduzir um
teorema (uma verdade absoluta) ou uma dedução (uma verdade relativa)? (2)
Quais as implicações conceituais ou filosóficas? As implicações na
epistemologia, por exemplo?
Abraço a todos.
muito úteis para elucidar as minhas dúvidas. O meu interesse é entender os
aspectos conceituais que envolvem traduções entre lógicas. É aquela velha
história: o estudante entende a demonstração do teorema da correção e da
completude mas não entende a razão de ser necessária tal demonstração. Na
questão de traduções entre lógicas é mais ou menos a mesma coisa (no que
diz respeito à compreensão da razão por trás) que eu quero entender: eu
compreendo, razoavelmente, os aspectos técnicos de como efetuar uma
tradução, mas a razão conceitual por trás (digamos assim), não. Por
exemplo, como o professor Carnielli disse, trata-se de traduzir teoremas
(verdades absolutas) e deduções (verdades relativas), a questão é: (1) o
que se pode entender (conceitualmente, não formalmente) por traduzir um
teorema (uma verdade absoluta) ou uma dedução (uma verdade relativa)? (2)
Quais as implicações conceituais ou filosóficas? As implicações na
epistemologia, por exemplo?
Abraço a todos.
Tony Marmo
May 13, 2013, 11:00:10 AM5/13/13
to marco...@cle.unicamp.br, logi...@dimap.ufrn.br, Walter Carnielli, Marcio Cunha, jean-yves beziau
Achava que era Márcio, agora vejo Marcos.
Teoremas são verdades para aquela teoria justamente, não dependem de
hipóteses. Por exemplo, numa lógica clássica A implica A é teorema, ou
ainda diremos que é uma tautologia, ou seja, tem sempre valor 1. Mas, e se
não for a lógica clássica? Se a lógica permitir infinitos valores no
intervalo [0,1], então A pode ser 1/2, donde o valor de A implica A pode
ser 1/2, se A implica A :=max{1-A, A}.
Teoremas são verdades para aquela teoria justamente, não dependem de
hipóteses. Por exemplo, numa lógica clássica A implica A é teorema, ou
ainda diremos que é uma tautologia, ou seja, tem sempre valor 1. Mas, e se
não for a lógica clássica? Se a lógica permitir infinitos valores no
intervalo [0,1], então A pode ser 1/2, donde o valor de A implica A pode
ser 1/2, se A implica A :=max{1-A, A}.
Marcio Cunha
May 13, 2013, 7:49:47 PM5/13/13
to Tony Marmo, jean-yves beziau, logi...@dimap.ufrn.br, Walter Carnielli
É Márcio mesmo. Esse Marcos é outra pessoa, não sou eu.
>> >> > vista da motivação e implicação filosóficas.
>> >> verdade e a
>> >> >> necessidade de estudar lógicas-objeto a partir de meta-lógicas.
>> >> para
>> >> >>> estudar
>> >> >>> as motivações e implicações filosóficas das traduções entre
>> >> lógicas (em
>> >> >>> particular, as traduções conservativas)?
>> >> >>>
>> >> >>> Outra coisa, alguém tem em pdf do texto *"Translation between
>> > State University of Campinas –UNICAMP
>> Marcos Alves
>> Centro de Lógica, Epistemologia e História da Ciência - CLE
>> Universidade Estadual de Campinas - UNICAMP
>> http://www.cle.unicamp.br
>> =============================================================
>>
>>
>>
>
>> >> >
>> >> >
>> >> > Em 12 de maio de 2013 16:42, Tony Marmo <marmo...@gmail.com>
>> >> escreveu:
>> >> >
>> >> > As motivações incluem a própria questão da preservação da
>> >> >
>> >> > Em 12 de maio de 2013 16:42, Tony Marmo <marmo...@gmail.com>
>> >> escreveu:
>> >> >
>> >> verdade e a
>> >> >> necessidade de estudar lógicas-objeto a partir de meta-lógicas.
>> >> >>
>> >> >> Em 12 de maio de 2013 16:39, Marcio Cunha <marcioc...@gmail.com
>> >> >escreveu:
>> >> >>
>> >> >>> Olá. Alguém pode me dizer por onde eu devo começar a pesquisar
>> >> >> Em 12 de maio de 2013 16:39, Marcio Cunha <marcioc...@gmail.com
>> >> >escreveu:
>> >> >>
>> >> para
>> >> >>> estudar
>> >> >>> as motivações e implicações filosóficas das traduções entre
>> >> lógicas (em
>> >> >>> particular, as traduções conservativas)?
>> >> >>>
>> >> >>> Outra coisa, alguém tem em pdf do texto *"Translation between
>> >> logics: a
>> >> >>> manifesto*." ?
>> >> >>>
>> >> >>> Obrigado.
>> >> >>> _______________________________________________
>> >> >>> Logica-l mailing list
>> >> >>> Logi...@dimap.ufrn.br
>> >> >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >> >>>
>> >> >>
>> >> >>
>> >> >
>> >> _______________________________________________
>> >> Logica-l mailing list
>> >> Logi...@dimap.ufrn.br
>> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >>
>> >
>> >
>> >
>> > --
>> > -----------------------------------------------
>> > Prof. Dr. Walter Carnielli
>> > Director
>> > Centre for Logic, Epistemology and the History of Science – CLE
>> >> >>> manifesto*." ?
>> >> >>>
>> >> >>> Obrigado.
>> >> >>> _______________________________________________
>> >> >>> Logica-l mailing list
>> >> >>> Logi...@dimap.ufrn.br
>> >> >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >> >>>
>> >> >>
>> >> >>
>> >> >
>> >> _______________________________________________
>> >> Logica-l mailing list
>> >> Logi...@dimap.ufrn.br
>> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >>
>> >
>> >
>> >
>> > --
>> > -----------------------------------------------
>> > Prof. Dr. Walter Carnielli
>> > Director
>> > State University of Campinas –UNICAMP
>> > 13083-859 Campinas -SP, Brazil
>> > Phone: (+55) (19) 3521-6517
>> > Fax: (+55) (19) 3289-3269
>> > Institutional e-mail: walter.c...@cle.unicamp.br
>> > Website: http://www.cle.unicamp.br/prof/carnielli
>> > Phone: (+55) (19) 3521-6517
>> > Fax: (+55) (19) 3289-3269
>> > Institutional e-mail: walter.c...@cle.unicamp.br
>> > Website: http://www.cle.unicamp.br/prof/carnielli
>> > _______________________________________________
>> > Logica-l mailing list
>> > Logi...@dimap.ufrn.br
>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >
>>
>>
>> =============================================================^M
>> > Logica-l mailing list
>> > Logi...@dimap.ufrn.br
>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> >
>>
>>
>> Marcos Alves
>> Centro de Lógica, Epistemologia e História da Ciência - CLE
>> Universidade Estadual de Campinas - UNICAMP
>> http://www.cle.unicamp.br
>> =============================================================
>>
>>
>>
>
Alvaro Augusto (L)
May 14, 2013, 9:18:03 AM5/14/13
to logi...@dimap.ufrn.br
Em seu livro "Memórias de um matematiqueiro", o professor Carlos Pereira
de Novaes defende a existência de um tipo"diferenciado" de matemática:
http://www.youtube.com/watch?v=jmW8Uek3JjE
Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler
é igual a um. Comentei sobre isso em
http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html
Abraços,
Alvaro Augusto
de Novaes defende a existência de um tipo"diferenciado" de matemática:
http://www.youtube.com/watch?v=jmW8Uek3JjE
Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler
é igual a um. Comentei sobre isso em
http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html
Abraços,
Alvaro Augusto
Walter Carnielli
May 14, 2013, 10:41:41 AM5/14/13
to Alvaro Augusto (L), logi...@dimap.ufrn.br
Caros,
quanta estupidez e ignorância!
Ninguém "proibe" ninguém de publicar e inventar, basta ter uma
teoria correta (e se possível, interessante) ! Cadê os "teoremas"
do tal "matimatiqueiro"?
Propostas certamente muito melhores que as dele existem há anos- os
números surreais ( John H. Conway), os números hipercomplexos
(quatérnios coquatérnios, etc) originado já em 1844 na proposta de
William Rowan Hamilton, “On quaternions, or on a new system of
imaginaries in algebra”, Philosophical Magazine. Vol. 25, n 3. p.
489–495. 1844, os inteiros de Eisenstein-Jacobi
(ver em http://mathworld.wolfram.com/EisensteinInteger.html), etc.
Agora, quando nao se tem nada a dizer, arranja-se uma
entrevistinha idiota e se coloca culpa "neles", nos cientistas
que "nao deixam publicar"...
Alguém viu o livro?
Abs
Walter
Em 14 de maio de 2013 10:18, Alvaro Augusto (L)
<alv...@lunabay.com.br> escreveu:
State University of Campinas –UNICAMP
quanta estupidez e ignorância!
Ninguém "proibe" ninguém de publicar e inventar, basta ter uma
teoria correta (e se possível, interessante) ! Cadê os "teoremas"
do tal "matimatiqueiro"?
Propostas certamente muito melhores que as dele existem há anos- os
números surreais ( John H. Conway), os números hipercomplexos
(quatérnios coquatérnios, etc) originado já em 1844 na proposta de
William Rowan Hamilton, “On quaternions, or on a new system of
imaginaries in algebra”, Philosophical Magazine. Vol. 25, n 3. p.
489–495. 1844, os inteiros de Eisenstein-Jacobi
(ver em http://mathworld.wolfram.com/EisensteinInteger.html), etc.
Agora, quando nao se tem nada a dizer, arranja-se uma
entrevistinha idiota e se coloca culpa "neles", nos cientistas
que "nao deixam publicar"...
Alguém viu o livro?
Abs
Walter
Em 14 de maio de 2013 10:18, Alvaro Augusto (L)
<alv...@lunabay.com.br> escreveu:
> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--
-----------------------------------------------
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--
-----------------------------------------------
Prof. Dr. Walter Carnielli
Director
State University of Campinas –UNICAMP
Manuel Doria
May 14, 2013, 11:09:09 AM5/14/13
to Alvaro Augusto (L), Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Lembrei-me da "demonstração" do valor correto de Pi ser exatamente 3.125:
http://www.correctpi.com
Mais matemáticos revolucionários em:
http://www.crank.net/maths.html
Abraços.
http://www.correctpi.com
Mais matemáticos revolucionários em:
http://www.crank.net/maths.html
Abraços.
Décio Krause
May 14, 2013, 11:09:56 AM5/14/13
to Alvaro Augusto (L), logi...@dimap.ufrn.br
Alvaro
Acho que todos deveriam ver este vídeo. Incrível.
Abraço
D
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
Acho que todos deveriam ver este vídeo. Incrível.
Abraço
D
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
Marcelo Finger
May 14, 2013, 9:07:50 PM5/14/13
to Walter Carnielli, logi...@dimap.ufrn.br, Alvaro Augusto (L)
Caros.
A beleza da ciência é a reprodutibilidade dos resultados.
Em anexo, um planilha que reproduz (o que eu acho que seja) a prova de que
e=lim_{n -> oo} (1 + (1/n))^n = 1.
Só mesmo um especialista em cálculo numérico pra chegar nesta conclusão.
[]s
Marcelo
2013/5/14 Walter Carnielli <walter.c...@gmail.com>:
Marcelo Finger
Department of Computer Science, Cornell University
on leave from:
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger
A beleza da ciência é a reprodutibilidade dos resultados.
Em anexo, um planilha que reproduz (o que eu acho que seja) a prova de que
e=lim_{n -> oo} (1 + (1/n))^n = 1.
Só mesmo um especialista em cálculo numérico pra chegar nesta conclusão.
[]s
Marcelo
2013/5/14 Walter Carnielli <walter.c...@gmail.com>:
Department of Computer Science, Cornell University
on leave from:
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger
Joao Marcos
May 14, 2013, 9:09:55 PM5/14/13
to Alvaro Augusto (L), logi...@dimap.ufrn.br
2013/5/14 Alvaro Augusto (L) <alv...@lunabay.com.br>:
> Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler é
> igual a um. Comentei sobre isso em
> http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html
O pior é o cara se dizer "professor de Cálculo Numérico há mais de 30
anos", e não ter entendido ainda aprendido a trabalhar com erros de
truncamento.
Como está provado, com uma "álgebra mais abrangente" tudo se resolve.
JM
--
http://sequiturquodlibet.googlepages.com/
> Em seu livro "Memórias de um matematiqueiro", o professor Carlos Pereira de
> Novaes defende a existência de um tipo"diferenciado" de matemática:
> http://www.youtube.com/watch?v=jmW8Uek3JjE
Muito bom. Todos temos que comprar este livro. :-b
> Novaes defende a existência de um tipo"diferenciado" de matemática:
> http://www.youtube.com/watch?v=jmW8Uek3JjE
> Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler é
> igual a um. Comentei sobre isso em
> http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html
anos", e não ter entendido ainda aprendido a trabalhar com erros de
truncamento.
Como está provado, com uma "álgebra mais abrangente" tudo se resolve.
JM
--
http://sequiturquodlibet.googlepages.com/
Elaine Pimentel
May 14, 2013, 9:22:57 PM5/14/13
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Eu achei o vídeo simplesmente fantástico! Devo confessar que me dá um certo
alívio depois que uma aluna minha provou que raiz de 2 é racional porque
vale "aproximadamente" 1,4... Acho que agora tá explicado, todo número é
racional e e=1 :)
Elaine.
2013/5/14 Joao Marcos <boto...@gmail.com>
-------------------------------------------------
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
htps://sites.google.com/site/elainepimentel/
--------------------------------------------------------
alívio depois que uma aluna minha provou que raiz de 2 é racional porque
vale "aproximadamente" 1,4... Acho que agora tá explicado, todo número é
racional e e=1 :)
Elaine.
2013/5/14 Joao Marcos <boto...@gmail.com>
> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
--
Elaine.
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
--
-------------------------------------------------
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
htps://sites.google.com/site/elainepimentel/
--------------------------------------------------------
Alvaro Augusto (L)
May 14, 2013, 9:49:25 PM5/14/13
to logi...@dimap.ufrn.br
Em engenharia elétrica a vida seria um pouquinho mais fácil se pi fosse
igual a 3.125, mas seria muito, muitíssimo mais difícil se os números
complexos não existissem.
[ ]s
Alvaro Augusto
igual a 3.125, mas seria muito, muitíssimo mais difícil se os números
complexos não existissem.
[ ]s
Alvaro Augusto
Marcelo Finger
May 14, 2013, 9:59:24 PM5/14/13
to Alvaro Augusto (L), logi...@dimap.ufrn.br
Caros.
O problema sério é que em nossas instituições públicas não se pode
DEMITIR um sujeito que dá cabal demonstração de ser um incompetente
naquilo em que professa ser um especialista. Errar, todo mundo erra,
mas incompetência crônica é outra história.
Imagine um aluno tendo aula com um professor que afirma que e=1, pi é
racional, e por aí abaixo. Quem nunca teve aula com um maluco desses?
Depois a evasão é alta e ninguém sabe por quê. Ou sabe, mas não há
nada para se fazer. Afinal, é só o dinheiro público e a vida do
coitado que estão sendo disperdiçados.
[]s
Marcelo
O problema sério é que em nossas instituições públicas não se pode
DEMITIR um sujeito que dá cabal demonstração de ser um incompetente
naquilo em que professa ser um especialista. Errar, todo mundo erra,
mas incompetência crônica é outra história.
Imagine um aluno tendo aula com um professor que afirma que e=1, pi é
racional, e por aí abaixo. Quem nunca teve aula com um maluco desses?
Depois a evasão é alta e ninguém sabe por quê. Ou sabe, mas não há
nada para se fazer. Afinal, é só o dinheiro público e a vida do
coitado que estão sendo disperdiçados.
[]s
Marcelo
Décio Krause
May 14, 2013, 11:38:48 PM5/14/13
to Alvaro Augusto (L), logi...@dimap.ufrn.br
Na mecânica quântica idem.
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
Décio Krause
May 14, 2013, 11:39:58 PM5/14/13
to Joao Marcos, logi...@dimap.ufrn.br, Alvaro Augusto (L)
Basta uma álgebra trivial...
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------
Joao Marcos
May 15, 2013, 12:28:20 PM5/15/13
to Elaine Pimentel, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
E o que será que diria a sua aluna se você mostrasse para ela que o
conjunto dos números racionais menores do que raiz de 2 possui uma
cota superior mas não um supremo? :-)
JM
2013/5/14 Elaine Pimentel <elaine....@gmail.com>:
http://sequiturquodlibet.googlepages.com/
conjunto dos números racionais menores do que raiz de 2 possui uma
cota superior mas não um supremo? :-)
JM
2013/5/14 Elaine Pimentel <elaine....@gmail.com>:
Elaine Pimentel
May 15, 2013, 12:34:58 PM5/15/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Ah, João, mas na álgebra alternativa (ou pseudo-real), não existe o
conceito de cota superior: cota superior não entra na minha HP :)
Então tá tudo certo :)
Bj!
2013/5/15 Joao Marcos <boto...@gmail.com>
conceito de cota superior: cota superior não entra na minha HP :)
Então tá tudo certo :)
Bj!
2013/5/15 Joao Marcos <boto...@gmail.com>
Elaine Pimentel
May 15, 2013, 12:39:28 PM5/15/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Joao Marcos
May 15, 2013, 12:41:53 PM5/15/13
to elaine....@gmail.com, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Tem razão: como todos que trabalhamos com Computação sabemos, os
Números Reais são uma mentira. :-b
(Uma mentira útil, sem dúvida.)
Bom saber que você já estudou o livro do colega, e já está
des-embarazada na álgebra pseudo-real. :-o
JM
2013/5/15 Elaine Pimentel <elaine....@gmail.com>:
--
http://sequiturquodlibet.googlepages.com/
Números Reais são uma mentira. :-b
(Uma mentira útil, sem dúvida.)
Bom saber que você já estudou o livro do colega, e já está
des-embarazada na álgebra pseudo-real. :-o
JM
2013/5/15 Elaine Pimentel <elaine....@gmail.com>:
http://sequiturquodlibet.googlepages.com/
Tony Marmo
May 15, 2013, 9:24:15 PM5/15/13
to Walter Carnielli, Alvaro Augusto (L), logi...@dimap.ufrn.br
Caro Walter,
Você está correto ao diagnosticar o caso como algo que contribui mais para
a ignorância das pessoas. Sem dúvida. Mas, não sei se o sujeito estava de
brincadeira ou falando a sério. Por outro lado, você já viu o velho
documentário Cosmos de Carl Sagan? O Carl Sagan conhecia muito bem os
assuntos que abordou e, no entanto, se espremer o que se diz lá não sai
nada: é uma miscelânia só que mistura o canto das baleias com a história do
traçado urbano de Nova Iorque, um dente de leão que vira uma super-navel
espacial que se move além da velocidade da luz e dos limites do tempo, etc.
Cada povo faz sua sci fi com os recursos que tem.
Em 14 de maio de 2013 11:41, Walter Carnielli
<walter.c...@gmail.com>escreveu:
Você está correto ao diagnosticar o caso como algo que contribui mais para
a ignorância das pessoas. Sem dúvida. Mas, não sei se o sujeito estava de
brincadeira ou falando a sério. Por outro lado, você já viu o velho
documentário Cosmos de Carl Sagan? O Carl Sagan conhecia muito bem os
assuntos que abordou e, no entanto, se espremer o que se diz lá não sai
nada: é uma miscelânia só que mistura o canto das baleias com a história do
traçado urbano de Nova Iorque, um dente de leão que vira uma super-navel
espacial que se move além da velocidade da luz e dos limites do tempo, etc.
Cada povo faz sua sci fi com os recursos que tem.
Em 14 de maio de 2013 11:41, Walter Carnielli
<walter.c...@gmail.com>escreveu:
Joao Marcos
May 15, 2013, 9:35:59 PM5/15/13
to Tony Marmo, logi...@dimap.ufrn.br, Walter Carnielli, Alvaro Augusto (L)
E no entanto foi com o Cosmos que aprendi, na tenra adolescência,
sobre a irracionalidade da raiz de 2 (e sobre hipercubos, sobre o
espaço-tempo e a teoria da relatividade, sobre a Biblioteca de
Alexandria... e até mesmo sobre computadores, quando por aqui
praticamente ninguém ainda tinha um em casa). Está tudo no livro, se
você quiser conferir.
Cada povo tem a BBC que merece. :-)
JM
2013/5/15 Tony Marmo <marmo...@gmail.com>:
sobre a irracionalidade da raiz de 2 (e sobre hipercubos, sobre o
espaço-tempo e a teoria da relatividade, sobre a Biblioteca de
Alexandria... e até mesmo sobre computadores, quando por aqui
praticamente ninguém ainda tinha um em casa). Está tudo no livro, se
você quiser conferir.
Cada povo tem a BBC que merece. :-)
JM
2013/5/15 Tony Marmo <marmo...@gmail.com>:
Tony Marmo
May 15, 2013, 10:12:44 PM5/15/13
to Joao Marcos, logi...@dimap.ufrn.br, Walter Carnielli, Alvaro Augusto (L)
Mas, é óbvio que eu conferi, João Marcos. Eu vi o seriado e o livro, posso
criticar sim. O seriado Cosmo tem centenas de fans, como já era o caso
nessa época que as pessoas buscavam o livro, punham para gravar, e achavam
o máximo. Só que outros matemáticos e professores de ciência aqui mesmo no
Brasil fizeram coisas bem melhores. Aliás, você pode conferir, como eu
conferi, outra obra que é mais sci fi do que divulgação do mesmo autor:
"Dragões do Éden". Como o Sidney Sheldon e a Agatha Christie, depois de um
livro você já leu todos, ainda que o assunto mude. É que o Sagan tem classe
e não precisa dizer que é um "astronomeiro" para conseguir muito barulho
por nada.
> http://sequiturquodlibet.googlepages.com/
>
criticar sim. O seriado Cosmo tem centenas de fans, como já era o caso
nessa época que as pessoas buscavam o livro, punham para gravar, e achavam
o máximo. Só que outros matemáticos e professores de ciência aqui mesmo no
Brasil fizeram coisas bem melhores. Aliás, você pode conferir, como eu
conferi, outra obra que é mais sci fi do que divulgação do mesmo autor:
"Dragões do Éden". Como o Sidney Sheldon e a Agatha Christie, depois de um
livro você já leu todos, ainda que o assunto mude. É que o Sagan tem classe
e não precisa dizer que é um "astronomeiro" para conseguir muito barulho
por nada.
>
Joao Marcos
May 15, 2013, 10:21:53 PM5/15/13
to Tony Marmo, logi...@dimap.ufrn.br, Walter Carnielli, Alvaro Augusto (L)
* * *
Esta merece até uma epígrafe:
"Inzisti una tradiçó morale braziliana chi é priciso adisgobri. Vamos apricurá."
-- Juó Bananère
* * *
Daqui a pouco vocês vão falar mal também do Jacques Cousteau. :-)
(pois ele não andou fazendo uma pilantragem qualquer durante a 2a
Guerra Mundial?)
Sem dúvida, no Brasil fizeram coisas bem melhores.
E tenho dito.
--
http://sequiturquodlibet.googlepages.com/
Esta merece até uma epígrafe:
"Inzisti una tradiçó morale braziliana chi é priciso adisgobri. Vamos apricurá."
-- Juó Bananère
* * *
Daqui a pouco vocês vão falar mal também do Jacques Cousteau. :-)
(pois ele não andou fazendo uma pilantragem qualquer durante a 2a
Guerra Mundial?)
Sem dúvida, no Brasil fizeram coisas bem melhores.
E tenho dito.
http://sequiturquodlibet.googlepages.com/
Tony Marmo
May 15, 2013, 10:59:15 PM5/15/13
to Joao Marcos, logi...@dimap.ufrn.br
Não, ao contrário, o Jacques Cousteau fazia documentários muito sérios e
muito a propósito para o campo de estudo dele, o das ciências
oceanográficas (biologia, arqueologia marinhas, etc.). O trabalho dele
embora no campo do cinema científico tem também o valor de registro nas
ciências empíricas e aproxima-se do que as agências espaciais dos EUA e da
URSS fizeram quando fotografaram corpos celestes. Quando Cousteau começou a
produzir seus documentários, a vida submarina era tão pouco documentada e
fotografada que uma foto de peixes na zona abissal equivalia às fotos do
lado escuro da Lua tiradas pela sonda soviética Luna 3 em 1959, cerca de
uma década antes de Armstrong por os pés lá. Lembrando que o primeiro
trabalho de cinema científico de Cousteau é de 1946 e já não tinha nenhum
caráter de sci fi, mas sim de genuína documentação. É fácil discernir as
coisas.
muito a propósito para o campo de estudo dele, o das ciências
oceanográficas (biologia, arqueologia marinhas, etc.). O trabalho dele
embora no campo do cinema científico tem também o valor de registro nas
ciências empíricas e aproxima-se do que as agências espaciais dos EUA e da
URSS fizeram quando fotografaram corpos celestes. Quando Cousteau começou a
produzir seus documentários, a vida submarina era tão pouco documentada e
fotografada que uma foto de peixes na zona abissal equivalia às fotos do
lado escuro da Lua tiradas pela sonda soviética Luna 3 em 1959, cerca de
uma década antes de Armstrong por os pés lá. Lembrando que o primeiro
trabalho de cinema científico de Cousteau é de 1946 e já não tinha nenhum
caráter de sci fi, mas sim de genuína documentação. É fácil discernir as
coisas.
Joao Marcos
May 17, 2013, 12:19:46 AM5/17/13
to Elaine Pimentel, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
2013/5/14 Elaine Pimentel <elaine....@gmail.com>:
(Não sei se estão acessíveis para quem não curte Carl Sagan, rsrss...)
- A raiz quadrada de qualquer número primo é irracional.
- A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1.
Racionalmente, sua aluna deveria apreciar isto. :-)
Abraços, JM
--
http://sequiturquodlibet.googlepages.com/
> Eu achei o vídeo simplesmente fantástico! Devo confessar que me dá um certo
> alívio depois que uma aluna minha provou que raiz de 2 é racional porque
> vale "aproximadamente" 1,4... Acho que agora tá explicado, todo número é
> racional e e=1 :)
Meus dois fatos favoritos dos quais segue a irracionalidade da raiz de 2.
> alívio depois que uma aluna minha provou que raiz de 2 é racional porque
> vale "aproximadamente" 1,4... Acho que agora tá explicado, todo número é
> racional e e=1 :)
(Não sei se estão acessíveis para quem não curte Carl Sagan, rsrss...)
- A raiz quadrada de qualquer número primo é irracional.
- A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1.
Racionalmente, sua aluna deveria apreciar isto. :-)
Abraços, JM
--
http://sequiturquodlibet.googlepages.com/
Joao Marcos
May 17, 2013, 8:45:34 AM5/17/13
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Respondendo a perguntas em PVT para quem mais tiver interesse a mesma
curiosidade:
"A raiz quadrada de qualquer número primo é irracional."
Segue direto do Teorema Fundamental da Aritmética.
"A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1."
É corolário do Último Teorema de Fermat. :-D
JM
curiosidade:
"A raiz quadrada de qualquer número primo é irracional."
"A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1."
JM
Tony Marmo
May 17, 2013, 10:45:59 AM5/17/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Elaine Pimentel
É óbvio que essas coisas da matemática elementar são noções tão acessíveis
que qualquer um pode brincar com elas e fazer o video que o sujeito
matematiqueiro fez. Também posso brincar e dizer que um aluno "provou" que
"a raiz quadrada de 1 é +/-i". Isso é fácil demais para quem quiser fazer
brincadeiras e não tiver o que fazer.
Quero ver é falar de matemática avançada e não de números primos,
divisibilidade, etc. Aí sim, quando alguém souber fazer brincadeira com
isso terá atingido o nível de refinamento da ficção do Sagan, que de tão
boa passa por divulgação científica.
que qualquer um pode brincar com elas e fazer o video que o sujeito
matematiqueiro fez. Também posso brincar e dizer que um aluno "provou" que
"a raiz quadrada de 1 é +/-i". Isso é fácil demais para quem quiser fazer
brincadeiras e não tiver o que fazer.
Quero ver é falar de matemática avançada e não de números primos,
divisibilidade, etc. Aí sim, quando alguém souber fazer brincadeira com
isso terá atingido o nível de refinamento da ficção do Sagan, que de tão
boa passa por divulgação científica.
Joao Marcos
May 17, 2013, 10:56:04 AM5/17/13
to Tony Marmo, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Tony:
Não há nada "óbvio" aqui.
A demonstração do Último Teorema de Fermat certamente é "matemática
avançada". Outra coisa: a nossa civilização moderna *depende* de
números primos (e do nosso amplo desconhecimento a respeito deles):
você já ouviu falar em criptografia RSA? e da hipótese de Riemann?
Acho, sinceramente, que você não entendeu a piada.
JM
2013/5/17 Tony Marmo <marmo...@gmail.com>:
Não há nada "óbvio" aqui.
A demonstração do Último Teorema de Fermat certamente é "matemática
avançada". Outra coisa: a nossa civilização moderna *depende* de
números primos (e do nosso amplo desconhecimento a respeito deles):
você já ouviu falar em criptografia RSA? e da hipótese de Riemann?
Acho, sinceramente, que você não entendeu a piada.
JM
2013/5/17 Tony Marmo <marmo...@gmail.com>:
Tony Marmo
May 17, 2013, 11:40:29 AM5/17/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Claro que dá para entender a piada. E é óbvio que eu já ouvi falar dessas
coisas ainda que eu nem mesmo estivesse a fim de ouvir delas. Ou você acha
mesmo que no nosso meio a gente consegue evitar pessoas que falem delas?
Agora, quem quer estudar mesmo matemática avançada que cuide de tensores
por exemplo, coisas que são realmente tema de pesquisa. Pode até ser
verdade que todo par é soma de dois números primos e que não houve quem
demonstrasse isso, mas isso ainda não é matemática avançada e é tão banal
que qualquer brincalhão auto-declarado "matematiqueiro" faz joguetes com
isso e muitos caem na pilha.
>
coisas ainda que eu nem mesmo estivesse a fim de ouvir delas. Ou você acha
mesmo que no nosso meio a gente consegue evitar pessoas que falem delas?
Agora, quem quer estudar mesmo matemática avançada que cuide de tensores
por exemplo, coisas que são realmente tema de pesquisa. Pode até ser
verdade que todo par é soma de dois números primos e que não houve quem
demonstrasse isso, mas isso ainda não é matemática avançada e é tão banal
que qualquer brincalhão auto-declarado "matematiqueiro" faz joguetes com
isso e muitos caem na pilha.
> 2.
> >> (Não sei se estão acessíveis para quem não curte Carl Sagan, rsrss...)
> >>
> >> - A raiz quadrada de qualquer número primo é irracional.
> >>
> >> (Não sei se estão acessíveis para quem não curte Carl Sagan, rsrss...)
> >>
> >> - A raiz quadrada de qualquer número primo é irracional.
> >>
> >> - A raiz n-ésima de 2 é irracional para todo n inteiro maior do que 1.
> >>
> >> Racionalmente, sua aluna deveria apreciar isto. :-)
> >>
> >> Abraços, JM
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >>
> >> Racionalmente, sua aluna deveria apreciar isto. :-)
> >>
> >> Abraços, JM
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >> _______________________________________________
> >> Logica-l mailing list
> >> Logi...@dimap.ufrn.br
> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
> >
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
> >> Logica-l mailing list
> >> Logi...@dimap.ufrn.br
> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
> >
>
>
>
> --
>
Joao Marcos
May 17, 2013, 11:57:49 AM5/17/13
to Tony Marmo, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Obviamente queremos dizer coisas diferentes com a expressão
"matemática avançada" ("avançado" = "eu acho difícil"?). Você poderia
talvez nos ilustrar com alguma conjectura avançada sobre tensores que
esteja no mesmo nível de uma Hipótese de Riemann? (bem, eu conheço
uma, indiretamente)
Peço desculpas adiantadamente por não achar tudo tão "óbvio". No que
diz respeito ao UTF, da sua resposta só posso depreender que a teoria
das funções elípticas seja algo "trivial", que nem chega a ser
"realmente tema de pesquisa". Pode ser, claro, que a sua matemática
seja "avançada" demais para mim.
(Acho que esta discussão já está saindo bastante do escopo da lista,
então vou parando por aqui.)
--
http://sequiturquodlibet.googlepages.com/
"matemática avançada" ("avançado" = "eu acho difícil"?). Você poderia
talvez nos ilustrar com alguma conjectura avançada sobre tensores que
esteja no mesmo nível de uma Hipótese de Riemann? (bem, eu conheço
uma, indiretamente)
Peço desculpas adiantadamente por não achar tudo tão "óbvio". No que
diz respeito ao UTF, da sua resposta só posso depreender que a teoria
das funções elípticas seja algo "trivial", que nem chega a ser
"realmente tema de pesquisa". Pode ser, claro, que a sua matemática
seja "avançada" demais para mim.
(Acho que esta discussão já está saindo bastante do escopo da lista,
então vou parando por aqui.)
http://sequiturquodlibet.googlepages.com/
Tony Marmo
May 17, 2013, 2:44:05 PM5/17/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Já que você cutucou, que tal colocar aluas suas de geometria diferencial,
topologia e análise matemática no youtube? Ou você quer que aritmética de
Peano seja o limite da matemática moderna?
Eu posso sugerir a você que, ao invés de debater comigo, leia e acompanhe
periódicos como o Journal of the American Mathematical Society onde você
encontrará uma variedade muito grande de assuntos, mas que geralmente vão
além desses temas já muito popularizados. Ou então a revista da Tensor
Society.
Mas, de um modo geral, como eu não sou matemático e sim lógico, não me
inteiro dessas coisas que, ao contrário das conjecturas tão citadas,
requerem mais do que matemática do ensino médio para sequer serem
enunciadas. Obviamente, já me cansei de ver enunciados simples provados de
modo muito complicado, canhões matando moscas. Tipo: usar de teoria de
curvas algébricas para demonstrar uma conjectura cujo enunciado é bem
elementar. É muito pano para pouca manga, mas que você encontra facilmente
no noticiário científico de divulgação, fora das revistas especializadas.
Sei que existem verdadeiros assuntos em matemática avançada, que são
objetos maiores em importância, de tamanho compatível com as balas de
canhão, e que não estão popularizados o suficiente como esses enigmas de
Fermat e Goldbach, ou como a noção de número complexo e número real. Por
que você não lê teoria das cascas? Devia ser mais interessante para você do
que o video do suposto "matematiqueiro".
topologia e análise matemática no youtube? Ou você quer que aritmética de
Peano seja o limite da matemática moderna?
Eu posso sugerir a você que, ao invés de debater comigo, leia e acompanhe
periódicos como o Journal of the American Mathematical Society onde você
encontrará uma variedade muito grande de assuntos, mas que geralmente vão
além desses temas já muito popularizados. Ou então a revista da Tensor
Society.
Mas, de um modo geral, como eu não sou matemático e sim lógico, não me
inteiro dessas coisas que, ao contrário das conjecturas tão citadas,
requerem mais do que matemática do ensino médio para sequer serem
enunciadas. Obviamente, já me cansei de ver enunciados simples provados de
modo muito complicado, canhões matando moscas. Tipo: usar de teoria de
curvas algébricas para demonstrar uma conjectura cujo enunciado é bem
elementar. É muito pano para pouca manga, mas que você encontra facilmente
no noticiário científico de divulgação, fora das revistas especializadas.
Sei que existem verdadeiros assuntos em matemática avançada, que são
objetos maiores em importância, de tamanho compatível com as balas de
canhão, e que não estão popularizados o suficiente como esses enigmas de
Fermat e Goldbach, ou como a noção de número complexo e número real. Por
que você não lê teoria das cascas? Devia ser mais interessante para você do
que o video do suposto "matematiqueiro".
Joao Marcos
May 17, 2013, 4:04:21 PM5/17/13
to Tony Marmo, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Oi, Tony:
Peço desculpas por não ser o matemático moderno e avançado que você
respeitaria, mas apenas um pesquisador de pouca monta na área de
Lógica, com um conhecimento muito raso sobre análise tensorial e
topologia algébrica --- quase esquecido da época em que eu trabalhava
com Física Matemática, no início da década de 90. Realmente eu não
deveria debater com você.
Assumo daquilo que você disse que conjecturas com enunciados simples
deveriam ter demonstrações simples (ou refutações igualmente simples),
usando uma matemática pedestre como aquela que uma besta quadrada como
eu conhece e ensina. Devo reconhecer, contudo, que muitas destas
conjecturas e discussões na realidade acabam é pondo meus próprios
limites à prova.
Abraços óbvios, e bom trabalho para você,
Joao Marcos
2013/5/17 Tony Marmo <marmo...@gmail.com>:
--
http://sequiturquodlibet.googlepages.com/
Peço desculpas por não ser o matemático moderno e avançado que você
respeitaria, mas apenas um pesquisador de pouca monta na área de
Lógica, com um conhecimento muito raso sobre análise tensorial e
topologia algébrica --- quase esquecido da época em que eu trabalhava
com Física Matemática, no início da década de 90. Realmente eu não
deveria debater com você.
Assumo daquilo que você disse que conjecturas com enunciados simples
deveriam ter demonstrações simples (ou refutações igualmente simples),
usando uma matemática pedestre como aquela que uma besta quadrada como
eu conhece e ensina. Devo reconhecer, contudo, que muitas destas
conjecturas e discussões na realidade acabam é pondo meus próprios
limites à prova.
Abraços óbvios, e bom trabalho para você,
Joao Marcos
2013/5/17 Tony Marmo <marmo...@gmail.com>:
http://sequiturquodlibet.googlepages.com/
Tony Marmo
May 17, 2013, 4:59:14 PM5/17/13
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Você já é um excelente lógico e o que você escreve sobre lógica é do meu
proveito. Ninguém pode abarcar o mundo e o que você fez já é lógica boa e
não precisa entrar em outras paragens.
proveito. Ninguém pode abarcar o mundo e o que você fez já é lógica boa e
não precisa entrar em outras paragens.
Joao Marcos
May 17, 2013, 5:10:56 PM5/17/13
to Tony Marmo, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Não pretendo abarcar o mundo, mas apenas cuidar para não dizer (muita) besteira.
Sigo tentando decidir o problema das minhas paragens. Enquanto isso,
sei bem que meu conhecimento sobre Aritmética permanecerá para sempre
incompleto. E ponto.
--
http://sequiturquodlibet.googlepages.com/
Sigo tentando decidir o problema das minhas paragens. Enquanto isso,
sei bem que meu conhecimento sobre Aritmética permanecerá para sempre
incompleto. E ponto.
http://sequiturquodlibet.googlepages.com/
Reply all
Reply to author
Forward
0 new messages