OK, Walter Oportunamente farei isso.
Abraço Adonai Em terça-feira, 17 de dezembro de 2019 08:51:46 UTC-3, Walter Carnielli escreveu: > > Caro Adonai: > > Obrigado pela continuação da discussão. Certamente termos um filme nessas > condições é melhor que não ter nada, e reconheço obviamente que um filme > não se faz com.papel e lápis,mas continuo pensando que o filme poderia ter > sido muito, muito melhor. > > Pode passar também minhas opiniões ao diretor Fernando Severo , > > abraços, > > Walter > > Em ter, 17 de dez de 2019 08:10, <logi...@dimap.ufrn.br <javascript:>> > escreveu: > >> logica-l@dimap.ufrn.br >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> >> Grupos >> do Google >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> >> >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> >> >> Resumo por e-mail dos temas >> Ver todos os temas >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> >> >> >> - "Spirit of Contradiction", o filme... >> >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_group_thread_0> >> >> - 5 atualizações >> - Uma nova classe de modelos para a Teoria Paraconsistente de >> Conjuntos >> >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_group_thread_1> >> >> - 1 atualização >> - [Proof Complexity] 11 Fully Funded Doctoral Positions in Computer >> Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020 >> >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_group_thread_2> >> >> - 1 atualização >> >> "Spirit of Contradiction", o filme... >> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/191265dfe1c26c28?utm_source=digest&utm_medium=email> >> >> Cassiano Terra Rodrigues <cassia...@gmail.com <javascript:>>: Dec 16 >> 03:50AM -0800 >> >> Colegas, sobre o filme, perdoem-me o pitaco. Deixo aqui meus 2%. >> Eu discordo veementemente do q falou o colega Adonai, a quem admiro >> muito, aliás, mas com quem não partilho algumas ideias sobre o filme e >> sobre ciência e cinema. >> Poucas atividades artísticas são tão investigativas qto fazer um filme. >> Se o objetivo não é exatamente o mesmo da atividade científica, no entanto >> o modo coletivo de produção e as decisões de manipulação experimental >> envolvidas no processo de filmagem e decupagem be aproximam ciência e >> cinema. Além disso, esse filme não será visto pelo grande público, seja por >> razões comerciais ou de qsq outras ordens. A questão (como para qualquer >> outro filme) é já foi visto por alguém, não quem ou qtos o viram. E mesmo q >> num mundo imaginário fosse visto por um "grande público" (seja lá o q >> quiser dizer essa expressão), em q isso impediria o filme de usar >> diagramas, fórmulas ou qsq outros recursos audiovisuais q não a mera >> filmagem fotonovelística q o filme usa em praticamente 100% do tempo? Não >> estarei o grande público interessado em diagramas ou fórmulas? Pq? Não >> seriam as fórmulas e diagramas, as demonstrações matemáticas ou conceitos >> como quase verdade e explosão compreensíveis ao tal grande público? Pq? >> Acho eu, humildemente, q qq público estaria interessado nessas coisas e q >> poderia compreendê-las, seja por via de um filme, de uma aula ou de >> conversas e leituras. Em princípio, tanto na vida como no cinema (q faz >> parte da vida). Seria mais difícil fazer um filme assim? É impossível >> dizer. Só o diretor pode responder por si, outros realizadores teriam >> respostas diferentes. >> Agora, com relação ao filme em si, o fato do prof Newton ter gostado ou >> não pouco diz sobre as qualidades estéticas do filme e pouco deveria >> importar para um juízo estético do filme. Bem como o fato de não trazer >> fórmulas ou diagramas como o Edu sugere (concordo q seria interessante). >> Nesse sentido, concordo com o Walter, o filme é ruim pois não tem, na >> decupagem, nenhuma contradição. É uma apresentação insossa da personagem, >> chapa branca. Seria possível ter feito outra coisa com melhor qualidade >> estética, mais contradição, de modo a aores estar ao público - seja ele de >> qual origem for - um retrato mais interessante e menos planificada da >> personagem. Exemplos de documentários sobre pessoas q são grandes filmes e >> q se mostraram sucessos comerciais não faltam. Bem como exemplos de grandes >> filmes eivados de contradição q nem por isso deixaram de ser populares Tb >> não faltam. Deixo a cada um q busque exemplos em seus repertórios, eu tenho >> minhas preferências e posso ser mal entendido se der algum exemplo >> certamente não será unânime. Mas fazer filmes assim envolve bem mais q >> opções do diretor e respeito à personagem. >> Um abraço a todos, >> Cass. >> Adonai Sant'Anna <ado...@ufpr.br <javascript:>>: Dec 16 04:37AM -0800 >> >> Caros >> >> A visão de Cassiano é intrigante. Claramente meu modo de percepção do >> filme >> é diferente. Paciência. O que seria do mundo se todos pensassem da mesma >> maneira? Aí sim a vida seria uma película chata de doer. >> >> Se houver interesse do grupo, posso intermediar uma troca de ideias entre >> os críticos (Walter, Eduardo, Cassiano e demais interessados) e o >> diretor, >> Fernando Severo. Ele é um diretor e montador que tem uma visão sobre >> cinema. Talvez isso rendesse algo interessante. >> >> Adonai >> >> Em segunda-feira, 16 de dezembro de 2019 08:50:26 UTC-3, Cassiano Terra >> Rodrigues escreveu: >> Eduardo Ochs <eduar...@gmail.com <javascript:>>: Dec 16 11:08AM -0300 >> >> Oi Adonai! >> Quero sim! >> Fica à vontade pra repassar os meus e-mails pra ele! >> [[]], E. >> >> Famadoria <fama...@gmail.com <javascript:>>: Dec 16 02:58PM -0300 >> >> Não vi o filme e nem sabia que estava nele. >> >> Sent from my iPhone >> >> Eduardo Ochs <eduar...@gmail.com <javascript:>>: Dec 16 05:26PM -0300 >> >> Oi Dória! >> Você não aparece no filme e nem é mencionado pelo nome nele, mas achei que >> o estilo do Newton - o modo dele evitar detalhes - é parecido com o seu. >> Você é bem vindo na discussão! >> [[]], E. >> >> >> Voltar ao início >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_digest_top> >> >> Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos >> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/4b22b5f574efbf0e?utm_source=digest&utm_medium=email> >> >> Marcelo Esteban Coniglio <coni...@unicamp.br <javascript:>>: Dec 16 >> 04:45PM -0300 >> >> Caros Sourav e Giorgio, >> >> Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo, >> mas >> gostaríamos de esclarecer alguns enganos de vossa parte na apreciação dos >> resultados. >> >> (1) Vocês afirmam "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") [...] o que leva ao fato >> de >> que as álgebras booleanas twisted [...] não são nada além de álgebras >> booleanas. Portanto, as estruturas twisted não oferecem novos modelos para >> ZFC." >> >> Há aqui um engano. As estruturas twist para a lógica 3-valorada LPT0, a >> partir das quais construímos os modelos de ZFC, formam uma variedade de >> álgebras que é termwise equivalente à variedade MV3 de MV-álgebras que são >> a classe de modelos de L3, a lógica 3-valorada de Lukasiewicz. Isto é >> consequência do fato de que LPT0 coincide (a menos de linguagem) com a >> lógica J3 de da Costa e D'Ottaviano, a qual é por sua vez equivalente (no >> sentido introduzido por Blok e Pigozzi em "Abstract algebraic logic and >> the >> deduction metatheorem") com L3. Logo, do ponto de vista algébrico, os >> twist-valued models que nós introduzimos para a teoria de conjuntos vão >> além dos Boolean-valued models: as MV álgebras de MV3 não são Boolean >> algebras em geral. Checar a satisfação dos axiomas de ZFC nessas >> estruturas >> requer uma análise minuciosa da longa demonstração apresentada no referido >> livro de Bell, adaptando em certos pontos alguns detalhes técnicos para o >> contexto mais geral das twist-structures. As estruturas twist para LPT0 >> contém álgebras de Boole como subestruturas (por exemplo, o conjunto dos >> pares da forma (a,~a)), mas há mais coisas nesses modelos: a segunda >> coordenada dos pares nao é necessariamente o complemento booleano da >> primeira, há uma negação paraconsistente, e há conjuntos "inconsistentes" >> x >> tais que (x=x) e não (x=x) é o caso, onde obviamente "não" é a negação >> paraconsistente. Assim, os Boolean-valued models foram levados para um >> contexto mais geral. >> >> Se a proximidade dos twist-valued models com os Boolean-valued models no >> fragmento sem negação paraconsistente (o ZF "puro") é visto como uma >> limitação, essa limitação já aparece no (único) modelo de ZF "puro" >> apresentado no artigo de Lowe e Tarafder, PS3. Com efeito, o raciocínio >> que >> vocês apresentam para as estruturas twist para LPT0 no início da sua >> mensagem pode ser aplicado mutatis mutandis às estruturas twist para PS3, >> também apresentadas no nosso paper: aqueles items (i) a (iii) valem também >> para as estruturas twist para PL3. Logo, a classe de modelos de ZF >> baseados >> nessas estruturas (em particular PS3!) seriam Boolean-valued models de ZF, >> segundo seu raciocínio. Mas já esclarecemos acima que esse não é bem o >> caso. >> >> Justamente um ponto interessante do nosso artigo é que apresentamos uma >> abordagem diferente daquela apresentada por Lowe e Tarafder, abstraindo a >> estrutura de PS3 para estruturas twist em lugar de analisar as >> propriedades >> das implicações (como é feito naquele artigo, que de todas maneiras >> explora >> muito bem diferentes implicações para definir novos modelos algébricos de >> fragmentos de ZF), o que permitiu obter uma classe de modelos de ZF, um >> modelo para cada álgebra de Boole completa. Analisar as coisas desde essa >> perspectiva permitiu provar que PS3 é *também* modelo do axioma da >> escolha, >> adaptando a prova para LPT0 dada no paper (adaptada, por sua vez, da prova >> de Bell, como foi mencionado antes). Os detalhes não foram dados no artigo >> porque é realmente uma adaptação imediata do caso de LPT0. Isto nos leva à >> segunda questão: >> >> (2) Vocês mencionam no final da mensagem que "O segundo resultado >> principal >> do artigo [...] afirma que a estrutura twisted para PS_3 [...] é 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." >> >> Esta frase é curiosa, dado que Lowe e Tarafder mostram no Corollary 11 que >> PS3 é modelo de ZF. Em particular, o esquema de Separação é satisfeito por >> PS3 (é uma consequência dos Theorems 4 e 9). Evidentemente houve aqui >> também um engano. O que é mostrado nesse artigo, na seção "Comparison to >> other paraconsistent set theories" (Theorem 15), é que PS3 não satisfaz >> algumas instâncias do esquema de *Compreensão* da teoria ingênua de >> conjuntos, que no entanto é satisfeito por algumas teorias >> paraconsistentes >> de conjuntos apresentadas na literatura. >> >> Finalmente, consideramos que é muito bom que a área de teoria >> paraconsistente de conjuntos tenha novas propostas, saindo da tradicional >> abordagem da teoria ingênua de conjuntos e tentando, no seu lugar, >> analisar >> (extensões de) ZF/ZFC. Alguns anos atrás nós propusemos uma variante >> paraconsistente de ZF, baseada em lógicas da inconsistência formal (LFIs), >> no artigo "Paraconsistent set theory by predicating on consistency" >> publicado em 2013 no Journal of Logic and Computation. Ali nos baseamos em >> LFIs muito fracas, não algebrizáveis, e apresentamos uma versão >> axiomática, >> sem modelos. O passo seguinte era utilizar lógicas mais fortes, e J3 era a >> opção mais óbvia. Assim, motivados pelo belo artigo de Lowe e Tarafder, >> decidimos retomar a questão, introduzindo os twist-valued models. Achamos >> que esta semântica pode oferecer uma perspectiva interessante para >> diversas >> teorias paraconsistentes de conjuntos. >> >> Um abraço >> >> Walter e Marcelo >> >> Em dom., 15 de dez. de 2019 às 13:04, Giorgio Venturi <gio.v...@gmail.com >> <javascript:>> >> escreveu: >> >> Voltar ao início >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_digest_top> >> >> [Proof Complexity] 11 Fully Funded Doctoral Positions in Computer >> Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020 >> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/fe0dfec779318c20?utm_source=digest&utm_medium=email> >> >> Camilo Thorne <camilo...@gmail.com <javascript:>>: Dec 16 07:33PM +0100 >> >> Camilo Thorne >> >> Rheinhäuser Str. 9A >> 68165, Mannheim, Germany >> mobile: +49(0)15202380352 >> http://www.camilothorne.com <http://camilothorne.com/> >> >> "Exegi monumentum aere perennius" >> (Horatius, Ode III-30) >> >> >> ---------- Forwarded message --------- >> From: Mihaela Rozman <mihael...@tuwien.ac.at <javascript:>> >> Date: Mon, Dec 16, 2019 at 7:11 PM >> Subject: [Proof Complexity] 11 Fully Funded Doctoral Positions in Computer >> Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020 >> To: <proof-co...@math.cas.cz <javascript:>> >> >> >> TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for >> our joint doctoral program Logical Methods in Computer Science (logiCS). >> The >> LogiCS doctoral college focuses on interdisciplinary research topics >> covering >> >> - computational logic, and applications of logic to >> >> - databases and artificial intelligence, >> >> - computer-aided verification, >> >> - security and privacy, >> >> - cyber-physical systems, as well as to >> >> - distributed systems. >> >> >> >> THE PROGRAM >> >> Our PhD program LogiCS is focusing on logic and its applications in >> computer >> science. Successful applicants will work with and be mentored by leading >> researchers in the fields of computational logic, databases and knowledge >> representation, computer-aided verification, security and privacy, >> cyber-physical systems, and distributed systems. >> >> >> >> FACULTY MEMBERS >> >> M. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / T. Eiter / G. Gottlob >> / >> R. Grosu / L. Kovacs / M.Maffei / M. Ortiz / U. Schmid / M.Seidl / S. >> Szeider / G. Weissenbacher / S.Woltran >> >> The LogiCS faculty comprises 15 renowned researchers with strong records >> in >> research, teaching and advising, complemented by 15 associated members who >> further strengthen the research and teaching activities of the college. >> >> >> >> POSITIONS AND FUNDING >> >> *We are looking for 11 very strong doctoral students. >> >> *We offer internationally competitive salaries funded for at least 3 years >> according to the funding scheme of the Austrian Science Fund (with full >> health benefits) >> >> *The funding can be extended for one additional year contingent on a >> placement at one of our international partner institutions. >> >> >> >> CURRENT RESEARCH AREAS >> >> Students can pursue doctoral research within the following areas: >> >> * Automated Software Verification >> >> * Description Logics >> >> * Epistemic logic in distributed computing >> >> * Game-based Semantics >> >> * Fixed-Parameter Algorithms and Complexity >> >> * Formal Verification of hybrid systems >> >> * Knowledge Representation and Reasoning >> >> * Model Checking >> >> * Modeling and analysis of digital integrated circuits >> >> * Ontology-based Data Access >> >> * Security and Privacy >> >> * Scheduling and logic programming >> >> * Topology in distributed computing >> >> * Quantified Boolean Formulas >> >> >> >> HOW TO APPLY >> >> For more information about the PhD program and application process, as >> well >> as faculty profiles, please visit our website at: >> https://logic-cs.at/phd/admission/ >> >> >> >> *The applicants are expected to have completed an excellent diploma or >> master's degree in computer science, mathematics, or a related field. >> >> *Candidates with comparable achievements will be considered on a >> case-by-case basis. >> >> *Applications by the candidates need to be submitted electronically. >> >> >> >> Next application deadline: January 11, 2020. >> >> >> >> LOGIC IN AUSTRIA >> >> Austria has a highly active and successful logic in the computer science >> community. Recent activities include: >> >> www.arise.or.at (Austrian Research Network in Rigorous Systems >> Engineering) >> >> www.vcla.at (Vienna Center for Logic and Algorithms) >> >> www.kgs.logic.at (International Kurt Goedel Society) >> >> >> >> HIGHEST QUALITY OF LIFE >> >> The Austrian cities Vienna, Graz, and Linz, located close to the Alps and >> surrounded by beautiful nature, provide an exceptionally high quality of >> life, with a vibrant cultural scene, numerous cultural events, >> world-famous >> historical sites, a large international community, a varied cuisine and >> famous coffee houses. >> >> >> >> If you have any questions, feel free to get in touch: in...@logic-cs.at >> <javascript:> >> >> >> >> WEBSITE: >> >> http://www.vcla.at/2019/12/several-open-phd-positions-in-the-doctoral-progra >> m-on-logical-methods-in-computer-science-logics/ >> < >> http://www.vcla.at/2019/12/several-open-phd-positions-in-the-doctoral-program-on-logical-methods-in-computer-science-logics/ >> > >> >> _______________________________________________ >> Proof-Complexity mailing list >> proof-co...@math.cas.cz <javascript:> >> https://list.math.cas.cz/listinfo/proof-complexity >> Voltar ao início >> <#CA+ob58MheTvprRCBKFmCz=7+25XTAYNFj01xnQVVBvMBCso3CQ@mail.gmail.com_m_4744220096658665383_digest_top> >> >> Você recebeu esse resumo porque está inscrito para receber atualizações >> deste grupo. Você pode alterar suas configurações na página de >> associação do grupo >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join> >> . >> Para cancelar sua inscrição neste grupo e deixar de receber e-mails do >> mesmo, envie um e-mail para logi...@dimap.ufrn.br <javascript:>. >> > -- 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/f924a99c-4eb7-444c-a51d-8f7d158d5633%40dimap.ufrn.br.
