Re: [Logica-l] Re: "Spirit of Contradiction", o filme...

2019-12-15 Por tôpico Eduardo Ochs
Alguém pode fazer algo assim, né?

  https://www.youtube.com/watch?v=QqR459KxDVU

Também não tem figuras, mas achei charmoso.
Sugestão: convidem outras pessoas além do Newton e do Dória.


On Sun, 15 Dec 2019 at 14:25, Adolfo Neto  wrote:

> Acho que seria uma boa ideia alguém fazer um vídeo complementando o
> documentário e colocar no YouTube.
>
> On Sun, Dec 15, 2019, 2:00 PM Eduardo Ochs  wrote:
>
>> Hoje em dia é BEM raro alguém fazer um documentário que nunca mostre
>> nenhum detalhe ou figura, e foi por isso que eu achei que o Fernando
>> Severo e o Newton devem ter decidido _juntos_ que era melhor fazer o
>> documentário desse jeito tão atípico...
>>
>> O Newton ficou feliz com o resultado, e certamente ficou mais feliz
>> com o documentário desse jeito do que ficaria com uma outra edição
>> desse documentário que incluisse algumas cenas curtas com, por
>> exemplo,
>>
>>   1) uma tabela de lógicas paraconsistentes - confesso que eu, mesmo
>>  sendo leigo, fiquei bem incomodado com o Newton falando "_A_
>>  Lógica Paraconsistente" no singular quase o tempo todo -,
>>
>>   2) um diagrama mostrando como o tal do robozinho "pensa", que
>>  informações ele guarda e algumas situações em que ele usa valores
>>  de verdade diferentes de V e F...
>>
>> Não incluir figuras nem detalhes foi uma escolha estilística
>> deliberada que acho - IMNSHO - que faz com que o documentário só fique
>> interessante pra um grupo bem pequeno de pessoas que não inclui nem os
>> meus amigos tipo "grande público" nem os meus amigos tipo "público
>> especializado".
>>
>> Vocês conhecem pessoas que preferem o documentário do jeito atual -
>> "Director's Cut" - a ele numa versão hipotética com figuras em cenas
>> extras - "Eduardo's Cut"?
>>
>>   [[]],
>> Eduardo Ochs
>> http://angg.twu.net/math-b.html
>>
>> On Sun, 15 Dec 2019 at 11:56, Adonai Sant'Anna  wrote:
>>
>>> Caros
>>>
>>> Discordo totalmente de Eduardo e Walter. Um documentário como este não
>>> serve ao propósito de atender aos interesses de lógicos ou demais
>>> pesquisadores. O propósito principal do diretor foi deixar um registro
>>> audiovisual sobre Newton da Costa, disponível para o grande público. E esta
>>> meta foi perfeitamente atingida. Conheço muitos leigos em lógica e ciência
>>> em geral que ficaram encantados com o filme. São pessoas que jamais
>>> imaginariam que alguém como Newton pudesse de fato existir. Vivemos em um
>>> mundo no qual grande parte do público não tem a menor ideia sobre o que
>>> acontece na vida acadêmica. E é sempre importante lembrar que quem sustenta
>>> a pesquisa nas universidades públicas é um povo sem contato algum com
>>> pesquisa. Seria bom lembrar disso de vez em quando. Faz bem para a saúde
>>> mental.
>>>
>>> Além disso, pesa o fato de que cinema e ciência são atividades muito
>>> distantes uma da outra. Este fato torna qualquer tentativa de contato entre
>>> essas áreas sujeita a críticas injustas de ambos os lados. É algo mais ou
>>> menos como aquilo que acontece com produções cinematográficas baseadas em
>>> eventos reais (Amadeus, Uma Mente Brilhante, O Povo Contra Larry Flint
>>> etc). O segredo para não ser criticado é não fazer coisa alguma. Fernando
>>> Severo fez algo importante. Deixou um registro para a posteridade, um
>>> registro sobre uma das figuras mais importantes da história de nosso país.
>>>
>>> É claro que o filme tem falhas! Muitas dessas falhas se devem à
>>> dificuldade gigantesca para angariar recursos para produção, recursos para
>>> distribuição e gente para colaborar. Cinema, caso não saibam, não é uma
>>> atividade que pode ser exercida com uma folha de papel e uma caneta. Mas
>>> criticar este filme em especial, sem levar em conta que existe um mundo um
>>> pouco maior do que lógica e ciência ao nosso redor, é um ato de profunda
>>> ingenuidade.
>>>
>>> É claro que já antecipo eventuais críticas à minha crítica que faço aos
>>> críticos. Por conta disso adianto que dificilmente responderei a qualquer
>>> outra colocação sobre o tema.
>>>
>>> Newton ficou feliz com o resultado. Isso por si só já basta para mim.
>>>
>>> Adonai
>>>
>>> Em sábado, 14 de dezembro de 2019 01:16:38 UTC-3, Walter Carnielli
>>> escreveu:


 Ola Eduardo e tod@s:

 Concordo com Eduardo. O filme  para ser  ruim falta bastante  coisa.
 Não tem nenhum"Spirit of Contradiction", alias não  tem nenhum
 espirito. São 70  minutos  de  lugares-comuns  que nosso mestre Newton fala
 sempre. O diretor certamente não  tem nenhuma ideia sobre logica talvez
 nem sobre  "ciencia... ..

> Newton da Costa / questões de estilo
> 
> Eduardo Ochs : Dec 10 05:51PM -0300
>
> Oi pessoas,
> Ontem eu assisti o documentário sobre o Newton da Costa - "Spirit of
> Contradiction" - e achei ele péssimo pelo mesmo motivo que o keynote
> talk
> do 

Re: [Logica-l] Re: "Spirit of Contradiction", o filme...

2019-12-15 Por tôpico Adolfo Neto
Acho que seria uma boa ideia alguém fazer um vídeo complementando o
documentário e colocar no YouTube.

On Sun, Dec 15, 2019, 2:00 PM Eduardo Ochs  wrote:

> Hoje em dia é BEM raro alguém fazer um documentário que nunca mostre
> nenhum detalhe ou figura, e foi por isso que eu achei que o Fernando
> Severo e o Newton devem ter decidido _juntos_ que era melhor fazer o
> documentário desse jeito tão atípico...
>
> O Newton ficou feliz com o resultado, e certamente ficou mais feliz
> com o documentário desse jeito do que ficaria com uma outra edição
> desse documentário que incluisse algumas cenas curtas com, por
> exemplo,
>
>   1) uma tabela de lógicas paraconsistentes - confesso que eu, mesmo
>  sendo leigo, fiquei bem incomodado com o Newton falando "_A_
>  Lógica Paraconsistente" no singular quase o tempo todo -,
>
>   2) um diagrama mostrando como o tal do robozinho "pensa", que
>  informações ele guarda e algumas situações em que ele usa valores
>  de verdade diferentes de V e F...
>
> Não incluir figuras nem detalhes foi uma escolha estilística
> deliberada que acho - IMNSHO - que faz com que o documentário só fique
> interessante pra um grupo bem pequeno de pessoas que não inclui nem os
> meus amigos tipo "grande público" nem os meus amigos tipo "público
> especializado".
>
> Vocês conhecem pessoas que preferem o documentário do jeito atual -
> "Director's Cut" - a ele numa versão hipotética com figuras em cenas
> extras - "Eduardo's Cut"?
>
>   [[]],
> Eduardo Ochs
> http://angg.twu.net/math-b.html
>
> On Sun, 15 Dec 2019 at 11:56, Adonai Sant'Anna  wrote:
>
>> Caros
>>
>> Discordo totalmente de Eduardo e Walter. Um documentário como este não
>> serve ao propósito de atender aos interesses de lógicos ou demais
>> pesquisadores. O propósito principal do diretor foi deixar um registro
>> audiovisual sobre Newton da Costa, disponível para o grande público. E esta
>> meta foi perfeitamente atingida. Conheço muitos leigos em lógica e ciência
>> em geral que ficaram encantados com o filme. São pessoas que jamais
>> imaginariam que alguém como Newton pudesse de fato existir. Vivemos em um
>> mundo no qual grande parte do público não tem a menor ideia sobre o que
>> acontece na vida acadêmica. E é sempre importante lembrar que quem sustenta
>> a pesquisa nas universidades públicas é um povo sem contato algum com
>> pesquisa. Seria bom lembrar disso de vez em quando. Faz bem para a saúde
>> mental.
>>
>> Além disso, pesa o fato de que cinema e ciência são atividades muito
>> distantes uma da outra. Este fato torna qualquer tentativa de contato entre
>> essas áreas sujeita a críticas injustas de ambos os lados. É algo mais ou
>> menos como aquilo que acontece com produções cinematográficas baseadas em
>> eventos reais (Amadeus, Uma Mente Brilhante, O Povo Contra Larry Flint
>> etc). O segredo para não ser criticado é não fazer coisa alguma. Fernando
>> Severo fez algo importante. Deixou um registro para a posteridade, um
>> registro sobre uma das figuras mais importantes da história de nosso país.
>>
>> É claro que o filme tem falhas! Muitas dessas falhas se devem à
>> dificuldade gigantesca para angariar recursos para produção, recursos para
>> distribuição e gente para colaborar. Cinema, caso não saibam, não é uma
>> atividade que pode ser exercida com uma folha de papel e uma caneta. Mas
>> criticar este filme em especial, sem levar em conta que existe um mundo um
>> pouco maior do que lógica e ciência ao nosso redor, é um ato de profunda
>> ingenuidade.
>>
>> É claro que já antecipo eventuais críticas à minha crítica que faço aos
>> críticos. Por conta disso adianto que dificilmente responderei a qualquer
>> outra colocação sobre o tema.
>>
>> Newton ficou feliz com o resultado. Isso por si só já basta para mim.
>>
>> Adonai
>>
>> Em sábado, 14 de dezembro de 2019 01:16:38 UTC-3, Walter Carnielli
>> escreveu:
>>>
>>>
>>> Ola Eduardo e tod@s:
>>>
>>> Concordo com Eduardo. O filme  para ser  ruim falta bastante  coisa.
>>> Não tem nenhum"Spirit of Contradiction", alias não  tem nenhum
>>> espirito. São 70  minutos  de  lugares-comuns  que nosso mestre Newton fala
>>> sempre. O diretor certamente não  tem nenhuma ideia sobre logica talvez
>>> nem sobre  "ciencia... ..
>>>
 Newton da Costa / questões de estilo
 
 Eduardo Ochs : Dec 10 05:51PM -0300

 Oi pessoas,
 Ontem eu assisti o documentário sobre o Newton da Costa - "Spirit of
 Contradiction" - e achei ele péssimo pelo mesmo motivo que o keynote
 talk
 do Newton num EBL em Itatiaia há muitos anos atrás foi a segunda pior
 palestra que eu já assisti na vida... lá na palestra ele passou uma hora
 dando a entender que iria nos mostrar coisas incríveis sobre Lógica
 Paraconsistente e Mecânica Quântica mas ele NUNCA dava NENHUM detalhe de
 NADA, e meia dúzia de vezes ele foi na 

Re: [Logica-l] Re: "Spirit of Contradiction", o filme...

2019-12-15 Por tôpico Eduardo Ochs
Hoje em dia é BEM raro alguém fazer um documentário que nunca mostre
nenhum detalhe ou figura, e foi por isso que eu achei que o Fernando
Severo e o Newton devem ter decidido _juntos_ que era melhor fazer o
documentário desse jeito tão atípico...

O Newton ficou feliz com o resultado, e certamente ficou mais feliz
com o documentário desse jeito do que ficaria com uma outra edição
desse documentário que incluisse algumas cenas curtas com, por
exemplo,

  1) uma tabela de lógicas paraconsistentes - confesso que eu, mesmo
 sendo leigo, fiquei bem incomodado com o Newton falando "_A_
 Lógica Paraconsistente" no singular quase o tempo todo -,

  2) um diagrama mostrando como o tal do robozinho "pensa", que
 informações ele guarda e algumas situações em que ele usa valores
 de verdade diferentes de V e F...

Não incluir figuras nem detalhes foi uma escolha estilística
deliberada que acho - IMNSHO - que faz com que o documentário só fique
interessante pra um grupo bem pequeno de pessoas que não inclui nem os
meus amigos tipo "grande público" nem os meus amigos tipo "público
especializado".

Vocês conhecem pessoas que preferem o documentário do jeito atual -
"Director's Cut" - a ele numa versão hipotética com figuras em cenas
extras - "Eduardo's Cut"?

  [[]],
Eduardo Ochs
http://angg.twu.net/math-b.html

On Sun, 15 Dec 2019 at 11:56, Adonai Sant'Anna  wrote:

> Caros
>
> Discordo totalmente de Eduardo e Walter. Um documentário como este não
> serve ao propósito de atender aos interesses de lógicos ou demais
> pesquisadores. O propósito principal do diretor foi deixar um registro
> audiovisual sobre Newton da Costa, disponível para o grande público. E esta
> meta foi perfeitamente atingida. Conheço muitos leigos em lógica e ciência
> em geral que ficaram encantados com o filme. São pessoas que jamais
> imaginariam que alguém como Newton pudesse de fato existir. Vivemos em um
> mundo no qual grande parte do público não tem a menor ideia sobre o que
> acontece na vida acadêmica. E é sempre importante lembrar que quem sustenta
> a pesquisa nas universidades públicas é um povo sem contato algum com
> pesquisa. Seria bom lembrar disso de vez em quando. Faz bem para a saúde
> mental.
>
> Além disso, pesa o fato de que cinema e ciência são atividades muito
> distantes uma da outra. Este fato torna qualquer tentativa de contato entre
> essas áreas sujeita a críticas injustas de ambos os lados. É algo mais ou
> menos como aquilo que acontece com produções cinematográficas baseadas em
> eventos reais (Amadeus, Uma Mente Brilhante, O Povo Contra Larry Flint
> etc). O segredo para não ser criticado é não fazer coisa alguma. Fernando
> Severo fez algo importante. Deixou um registro para a posteridade, um
> registro sobre uma das figuras mais importantes da história de nosso país.
>
> É claro que o filme tem falhas! Muitas dessas falhas se devem à
> dificuldade gigantesca para angariar recursos para produção, recursos para
> distribuição e gente para colaborar. Cinema, caso não saibam, não é uma
> atividade que pode ser exercida com uma folha de papel e uma caneta. Mas
> criticar este filme em especial, sem levar em conta que existe um mundo um
> pouco maior do que lógica e ciência ao nosso redor, é um ato de profunda
> ingenuidade.
>
> É claro que já antecipo eventuais críticas à minha crítica que faço aos
> críticos. Por conta disso adianto que dificilmente responderei a qualquer
> outra colocação sobre o tema.
>
> Newton ficou feliz com o resultado. Isso por si só já basta para mim.
>
> Adonai
>
> Em sábado, 14 de dezembro de 2019 01:16:38 UTC-3, Walter Carnielli
> escreveu:
>>
>>
>> Ola Eduardo e tod@s:
>>
>> Concordo com Eduardo. O filme  para ser  ruim falta bastante  coisa.
>> Não tem nenhum"Spirit of Contradiction", alias não  tem nenhum espirito.
>> São 70  minutos  de  lugares-comuns  que nosso mestre Newton fala sempre. O
>> diretor certamente não  tem nenhuma ideia sobre logica talvez  nem sobre  "
>> ciencia... ..
>>
>>> Newton da Costa / questões de estilo
>>> 
>>> Eduardo Ochs : Dec 10 05:51PM -0300
>>>
>>> Oi pessoas,
>>> Ontem eu assisti o documentário sobre o Newton da Costa - "Spirit of
>>> Contradiction" - e achei ele péssimo pelo mesmo motivo que o keynote talk
>>> do Newton num EBL em Itatiaia há muitos anos atrás foi a segunda pior
>>> palestra que eu já assisti na vida... lá na palestra ele passou uma hora
>>> dando a entender que iria nos mostrar coisas incríveis sobre Lógica
>>> Paraconsistente e Mecânica Quântica mas ele NUNCA dava NENHUM detalhe de
>>> NADA, e meia dúzia de vezes ele foi na direção do quadro negro como se
>>> fosse escrever algo mas quando estava quase chegando no quadro ele
>>> voltava
>>> pra dizer empolgadíssimo que ia nos contar mais coisas incríveis sobre as
>>> quais ele não dava detalhe absolutamente nenhum... só bem no final ele
>>> conseguiu 

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

2019-12-15 Por tôpico Giorgio Venturi
Caros membros da lista de lógica,

Escrevemos a respeito do artigo recentemente (5 de dezembro) publicado
nesta lista: "Twist-Valued Models for Three-Valued Paraconsistent Set
Theory", de Carnielli e Coniglio. Em razão do tema, tão próximo ao nosso
trabalho, sentimos a necessidade de apontar alguns aspectos importantes,
para que as afirmações não induzam em erro os pesquisadores que trabalham
nessa área.

Em primeiro lugar, a validade nas estruturas Twisted, que são as novas
estruturas introduzidas no artigo, é booleana e, portanto, o primeiro
resultado principal Teorema 8.21 (como todos os lemas precedentes) é uma
consequência direta (e não uma extensão) do resultado bem conhecido de que
as estruturas a valores booleanos validam todos os axiomas ZFC (veja o
livro do Bell "Set Theory"). A razão é que

(i) a validade é definida apenas em função do primeiro componente do
produto (definição 4.7),
(ii) as operações "meet", "join", "arrow", e "~" da Twist-algebra são as
mesmas da álgebra booleana, no primeiro componente,
(iii) o conjunto de valores designados de álgebra booleana twisted é tomado
como {(1,a) : a é qualquer elemento da álgebra}.

o que leva ao fato de que as álgebras booleanas twisted com as operações
mencionadas em (ii) e o conjunto de valores designados mencionado em (iii)
não são nada além de álgebras booleanas. Portanto, as estruturas twisted
não oferecem novos modelos para ZFC.

O segundo resultado principal do artigo Theorem 9.4 e Remark 9.5 afirma que
a estrutura twisted para PS_3 (introduzida como reasonable implication
algebra, necessária para produzir modelos de teoria de conjuntos no artigo
"Generalized algebra-valued models of set theory", de Loewe e Tarafder) é
um modelo de todos os axiomas de ZFC. Embora não haja provas desta
afirmação no artigo, é fácil mostrar que isto é falso. De fato, há
instâncias (do esquema) de separação que não são válidas no modelo a
valores na álgebra PS_3.

Atenciosamente,
Sourav Tarafder
Giorgio Venturi

Il giorno gio 5 dic 2019 alle ore 19:54 Joao Marcos  ha
scritto:

> Coincidentemente (?), o Sourav Tarafder fez uma excelente exposição do
> trabalho precursor dele sobre o tema, esta tarde, na USP:
>
> 1st Workshop "Studies in Mathematical Workshop"
> https://sites.google.com/site/studiesinmathematicallogic/programa
>
> Vocês têm sorte de poder dialogar diretamente com ele sobre o assunto,
> dado que ele é atualmente Professor Visitante aí mesmo na UNICAMP,
> trabalhando com o Giorgio Venturi!
>
> Abraços,
> JM
>
>
> On Thu, Dec 5, 2019, 12:36 Walter Carnielli 
> wrote:
>
>> Caros colegas:
>>
>> Em vista do interesse do assunto, julgamos apropriado divulgar,
>> abraços,
>> Walter
>> =
>> Twist-Valued Models for Three-valued Paraconsistent Set Theory
>> W. Carnielli and M. E. Coniglio
>> https://arxiv.org/pdf/1911.11833.pdf
>>
>>  Light abstract:
>>
>>  Paraconsistent  set theory (PST)  is the theoretical move to maintain
>> the freedom of defining sets, while stripping the theory of
>> unnecessary principles, so as to avoid triviality -- a disastrous
>> consequences of contradictions involving sets in  ZF. A  hard problem
>> is to  find good models for PST.
>>
>> B. Löwe and S. Tarafder proposed in 2015 a class of algebras based on
>> a certain kind of implication which satisfy several axioms of ZF. From
>> this class, they found a specific 3-valued model called PS3 which
>> satisfies all the axioms of ZF, and can be expanded with a
>> paraconsistent negation *, thus obtaining a paraconsistent model of
>> ZF. The logic (PS3 ,*) coincides (up to  the language) with da Costa
>> and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have
>> been proposed independently in the literature by several authors and
>> with different motivations such as CluNs, LFI1 and MPT.
>>
>>  We propose in this paper a family of algebraic models of ZFC based on
>> LPT0, another linguistic variant of J3 introduced by us in 2016. The
>> semantics of LPT0, as well as of its first-order version QLPT0, is
>> given by twist structures defined over Boolean algebras.
>>
>> Twist-valued models are natural generalizations of  the Boolean-valued
>> models of set theory independently introduced by Scott, Solovay and
>> Vopěnka.
>>
>> Our twist-valued models are adapted to provide a class of twist-valued
>> models for (PS3,*), thus generalizing Löwe and Tarafder's  results. It is
>> shown that they are in fact models of ZFC (not only of ZF).
>>  
>>
>> Walter Carnielli
>>  https://waltercarnielli.com/
>>
>> Centre for Logic, Epistemology and the History of Science and
>> Department of Philosophy
>> State University of Campinas –UNICAMP
>> 13083-859 Campinas -SP, Brazil
>>
>>  CV Lattes : http://lattes.cnpq.br/105496835379
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um 

Re: [Logica-l] Re: "Spirit of Contradiction", o filme...

2019-12-15 Por tôpico Adolfo Neto
Adonai,

Infelizmente ainda não consegui assistir, apesar de ter passado de graça
aqui em Curitiba.
Já existe em algum lugar?
Será que não seria interessante o Severo (imagino que você tenha contato
com ele) cadastrá-lo no imdb?
https://www.imdb.com/name/nm2073903/?ref_=fn_al_nm_1

On Sun, Dec 15, 2019 at 11:56 AM Adonai Sant'Anna  wrote:

> Caros
>
> Discordo totalmente de Eduardo e Walter. Um documentário como este não
> serve ao propósito de atender aos interesses de lógicos ou demais
> pesquisadores. O propósito principal do diretor foi deixar um registro
> audiovisual sobre Newton da Costa, disponível para o grande público. E esta
> meta foi perfeitamente atingida. Conheço muitos leigos em lógica e ciência
> em geral que ficaram encantados com o filme. São pessoas que jamais
> imaginariam que alguém como Newton pudesse de fato existir. Vivemos em um
> mundo no qual grande parte do público não tem a menor ideia sobre o que
> acontece na vida acadêmica. E é sempre importante lembrar que quem sustenta
> a pesquisa nas universidades públicas é um povo sem contato algum com
> pesquisa. Seria bom lembrar disso de vez em quando. Faz bem para a saúde
> mental.
>
> Além disso, pesa o fato de que cinema e ciência são atividades muito
> distantes uma da outra. Este fato torna qualquer tentativa de contato entre
> essas áreas sujeita a críticas injustas de ambos os lados. É algo mais ou
> menos como aquilo que acontece com produções cinematográficas baseadas em
> eventos reais (Amadeus, Uma Mente Brilhante, O Povo Contra Larry Flint
> etc). O segredo para não ser criticado é não fazer coisa alguma. Fernando
> Severo fez algo importante. Deixou um registro para a posteridade, um
> registro sobre uma das figuras mais importantes da história de nosso país.
>
> É claro que o filme tem falhas! Muitas dessas falhas se devem à
> dificuldade gigantesca para angariar recursos para produção, recursos para
> distribuição e gente para colaborar. Cinema, caso não saibam, não é uma
> atividade que pode ser exercida com uma folha de papel e uma caneta. Mas
> criticar este filme em especial, sem levar em conta que existe um mundo um
> pouco maior do que lógica e ciência ao nosso redor, é um ato de profunda
> ingenuidade.
>
> É claro que já antecipo eventuais críticas à minha crítica que faço aos
> críticos. Por conta disso adianto que dificilmente responderei a qualquer
> outra colocação sobre o tema.
>
> Newton ficou feliz com o resultado. Isso por si só já basta para mim.
>
> Adonai
>
> Em sábado, 14 de dezembro de 2019 01:16:38 UTC-3, Walter Carnielli
> escreveu:
>>
>>
>> Ola Eduardo e tod@s:
>>
>> Concordo com Eduardo. O filme  para ser  ruim falta bastante  coisa.
>> Não tem nenhum"Spirit of Contradiction", alias não  tem nenhum espirito.
>> São 70  minutos  de  lugares-comuns  que nosso mestre Newton fala sempre. O
>> diretor certamente não  tem nenhuma ideia sobre logica talvez  nem sobre  "
>> ciencia... ..
>>
>>> Newton da Costa / questões de estilo
>>> 
>>> Eduardo Ochs : Dec 10 05:51PM -0300
>>>
>>> Oi pessoas,
>>> Ontem eu assisti o documentário sobre o Newton da Costa - "Spirit of
>>> Contradiction" - e achei ele péssimo pelo mesmo motivo que o keynote talk
>>> do Newton num EBL em Itatiaia há muitos anos atrás foi a segunda pior
>>> palestra que eu já assisti na vida... lá na palestra ele passou uma hora
>>> dando a entender que iria nos mostrar coisas incríveis sobre Lógica
>>> Paraconsistente e Mecânica Quântica mas ele NUNCA dava NENHUM detalhe de
>>> NADA, e meia dúzia de vezes ele foi na direção do quadro negro como se
>>> fosse escrever algo mas quando estava quase chegando no quadro ele
>>> voltava
>>> pra dizer empolgadíssimo que ia nos contar mais coisas incríveis sobre as
>>> quais ele não dava detalhe absolutamente nenhum... só bem no final ele
>>> conseguiu afinal chegar no quadro, e aí escrever algo - que eu não
>>> lembro o
>>> que era, mas que não era muito mais comprido do que f(x) = \psi(x).
>>>
>>> Então, o filme é exatamente a mesma coisa - não tem UMA ÚNICA fórmula ou
>>> figura, nem mesmo mostrada de relance... aliás o Newton também não
>>> gesticula, nunca desenha uma figura no ar - e achei isso uma péssima
>>> escolha do dietor, que deve ter decidido isso junto com o Newton, mesmo
>>> com
>>> ambos sabendo que o público do filme incluiria uma boa porcentagem de 1)
>>> matemáticos, 2) cientistas da computação, 3) pessoas que gostam de ver
>>> imagens que têm coisas com detalhes que elas não entendem - diagramas,
>>> fórmulas, máquinas, tabletes em cuneiforme...
>>>
>>> (Thread pras pessoas conversarem sobre a relação delas com figuras,
>>> palestras, documentários, e com o Newton e com o Dória)
>>>
>>> [[]], E.
>>> http://angg.twu.net/math-b.html
>>> Voltar ao início
>>> 

[Logica-l] Re: "Spirit of Contradiction", o filme...

2019-12-15 Por tôpico Adonai Sant'Anna
Caros

Discordo totalmente de Eduardo e Walter. Um documentário como este não 
serve ao propósito de atender aos interesses de lógicos ou demais 
pesquisadores. O propósito principal do diretor foi deixar um registro 
audiovisual sobre Newton da Costa, disponível para o grande público. E esta 
meta foi perfeitamente atingida. Conheço muitos leigos em lógica e ciência 
em geral que ficaram encantados com o filme. São pessoas que jamais 
imaginariam que alguém como Newton pudesse de fato existir. Vivemos em um 
mundo no qual grande parte do público não tem a menor ideia sobre o que 
acontece na vida acadêmica. E é sempre importante lembrar que quem sustenta 
a pesquisa nas universidades públicas é um povo sem contato algum com 
pesquisa. Seria bom lembrar disso de vez em quando. Faz bem para a saúde 
mental. 

Além disso, pesa o fato de que cinema e ciência são atividades muito 
distantes uma da outra. Este fato torna qualquer tentativa de contato entre 
essas áreas sujeita a críticas injustas de ambos os lados. É algo mais ou 
menos como aquilo que acontece com produções cinematográficas baseadas em 
eventos reais (Amadeus, Uma Mente Brilhante, O Povo Contra Larry Flint 
etc). O segredo para não ser criticado é não fazer coisa alguma. Fernando 
Severo fez algo importante. Deixou um registro para a posteridade, um 
registro sobre uma das figuras mais importantes da história de nosso país. 

É claro que o filme tem falhas! Muitas dessas falhas se devem à dificuldade 
gigantesca para angariar recursos para produção, recursos para distribuição 
e gente para colaborar. Cinema, caso não saibam, não é uma atividade que 
pode ser exercida com uma folha de papel e uma caneta. Mas criticar este 
filme em especial, sem levar em conta que existe um mundo um pouco maior do 
que lógica e ciência ao nosso redor, é um ato de profunda ingenuidade. 

É claro que já antecipo eventuais críticas à minha crítica que faço aos 
críticos. Por conta disso adianto que dificilmente responderei a qualquer 
outra colocação sobre o tema. 

Newton ficou feliz com o resultado. Isso por si só já basta para mim. 

Adonai

Em sábado, 14 de dezembro de 2019 01:16:38 UTC-3, Walter Carnielli escreveu:
>
>
> Ola Eduardo e tod@s:
>
> Concordo com Eduardo. O filme  para ser  ruim falta bastante  coisa. 
> Não tem nenhum"Spirit of Contradiction", alias não  tem nenhum espirito. 
> São 70  minutos  de  lugares-comuns  que nosso mestre Newton fala sempre. O 
> diretor certamente não  tem nenhuma ideia sobre logica talvez  nem sobre  "
> ciencia... ..  
>
>> Newton da Costa / questões de estilo 
>> 
>>  
>> Eduardo Ochs >: Dec 10 05:51PM -0300 
>>
>> Oi pessoas,
>> Ontem eu assisti o documentário sobre o Newton da Costa - "Spirit of
>> Contradiction" - e achei ele péssimo pelo mesmo motivo que o keynote talk
>> do Newton num EBL em Itatiaia há muitos anos atrás foi a segunda pior
>> palestra que eu já assisti na vida... lá na palestra ele passou uma hora
>> dando a entender que iria nos mostrar coisas incríveis sobre Lógica
>> Paraconsistente e Mecânica Quântica mas ele NUNCA dava NENHUM detalhe de
>> NADA, e meia dúzia de vezes ele foi na direção do quadro negro como se
>> fosse escrever algo mas quando estava quase chegando no quadro ele voltava
>> pra dizer empolgadíssimo que ia nos contar mais coisas incríveis sobre as
>> quais ele não dava detalhe absolutamente nenhum... só bem no final ele
>> conseguiu afinal chegar no quadro, e aí escrever algo - que eu não lembro 
>> o
>> que era, mas que não era muito mais comprido do que f(x) = \psi(x).
>>  
>> Então, o filme é exatamente a mesma coisa - não tem UMA ÚNICA fórmula ou
>> figura, nem mesmo mostrada de relance... aliás o Newton também não
>> gesticula, nunca desenha uma figura no ar - e achei isso uma péssima
>> escolha do dietor, que deve ter decidido isso junto com o Newton, mesmo 
>> com
>> ambos sabendo que o público do filme incluiria uma boa porcentagem de 1)
>> matemáticos, 2) cientistas da computação, 3) pessoas que gostam de ver
>> imagens que têm coisas com detalhes que elas não entendem - diagramas,
>> fórmulas, máquinas, tabletes em cuneiforme...
>>  
>> (Thread pras pessoas conversarem sobre a relação delas com figuras,
>> palestras, documentários, e com o Newton e com o Dória)
>>  
>> [[]], E.
>> http://angg.twu.net/math-b.html
>> Voltar ao início 
>> <#CA+ob58PVrbm2TnhbYk8HWBxje6cWV+a7-Qzz3jGHivAqUG42yQ@mail.gmail.com_m_1538398476821232928_digest_top>
>>  
>>
>>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/877fc0a3-fe5d-461e-bb69-bd03550c51fa%40dimap.ufrn.br.