Re: Re: [Logica-l] [OUF!] Boycott Norway to Stop Rampant Antisemitism
Joao Marcos [2024-03-28 19:49]: > Olha, será que já não chega de "[OUF]"? > > Talvez este tipo de conversa *sem nenhum esforço de conexão com os > temas centrais desta lista* deveria ir para os "grupos de WhatsApp da > família"? Lembro que a *primeira* mensagem que enviei para esta lista, a alguns anos, foi bloqueada por moderadores (e depois liberadas, com um pequeno pedido de desculpas). -- Juan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2eu625z5enzmxoly6o5nv4mksfzsx67ma4yy2wyrfsdydc2utm%404rlgpyv4tyji.
Re: [Logica-l] "Funções são conjuntos"
Joao Marcos [2024-01-24 17:08]: > O que vocês pensam desta asserção? Podem registrar suas opiniões aqui: > https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ=19 “That's what *you* think!” -- Juan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/qf5x573j7k7h3uppmj6xgnbstrqbo5bqamz2ws3jwwz6pterqz%40zwgfjdd3ekys.
Re: Re: [Logica-l] Consultinha rápida: "Odds"
Marcelo Finger [2024-01-02 17:29]: > Na falta de um termo neutro, eu chamaria de razão favorável. O termo não é > neutro porque se a razão é menor que 1, a razão é > desfavorável. Favorabilidade é um termo possível, mas muito longo. > Favorecimento tb é possível, e é mais neutro. > > Talvez uma tradução mais fidedigna seja razão de auspício ou > auspiciosidade, mas soa estranho. “Chance”? -- Juan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/zlxh3shwqwjchxjy3altr47w2qawaea2i2f5onu4f277qslqge%40xvpzhpgrqfw5.
Re: [Logica-l] ChatGPT quis matar Newton da Costa
Joao Marcos [2023-04-11 21:43]: > Das utilidades do raciocínio paradoxal (da série "humor a uma hora > dessas?"): > https://www.instagram.com/p/Cq6IuxJPj1Y/?igshid=YmMyMTA2M2Y= https://www.youtube.com/watch?v=GbMHAaB0uI0 -- juan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/ga2aaayvfs46fzje5fntfft7tuorlz5lcxj6qsroneeuq76uy2%40nh7tstbq2vru.
Re: [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais
'samuel' via LOGICA-L [2022-06-06 17:40]: > Porém se concebermos a existência da "família vazia de subconjuntos de X", > i.e. a família é vazia mas a gente imagina que todos os moradores dessa > família vazia são subconjuntos de X... some o paradoxo da intersecção do > vazio ser o universo: pois aí > a intersecção da família vazia de subconjuntos de X dá... X !!! (bom > exercício para os estudantes que estão lendo). > > Assim como a intersecção da família vazia de subconjuntos de Y dá Y, > a intersecção da família vazia dos subconjuntos de Z dá Z... Para cada > conjunto uma família vazia de seus subconjuntos, e para cada uma delas uma > intersecção que funciona e que realmente ajuda na formação da tal base de > topologia que o carinha dos anos 50 queria, bem simples > e bem rápido... Inclusive, isso é bem mais intuitivo e natural quando se está trabalhando dentro de uma teoria de tipos (ou, ouso dizer, talvez até uma teoria categorial de conjuntos). Fato é que não faz tanto sentido falar de “intersecções de tipos” e coisas do gênero. O ideia de conjunto é facilmente substituída pela de subconjunto! Para cada tipo, há o tal tipo dos seus subconjuntos, que funciona muito como aquilo que você está descrevendo. -- Juan -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/20220607115258.rsderfr27x6mkgjh%40grimnir.localdomain.
Re: [Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google
Olá Walter, Obrigado por compartilhar o texto! É bom ser informado logo do colapso iminente da infraestrutura digital da universidade que habito, e digo isso honestamente. Olá colegas, Felizmente, posso dizer que não serei pessoalmente afetado por qualquer eventual consequência dessa mudança, já que desde a transição da USP ao uso de produtos da Google, me esforcei para usar essas plataformas somente quando obrigado por normas internas. Não posso dizer o mesmo de muitos colegas, no entanto. O fato é que esse tipo de manobra só não é mais manjado do que é previsivel o fato de que instituições e pessoas continuam caindo nessas armadilhas. Não sei o quanto estou ensinando a missa ao padre, mas vale reiterar: é por isso que o uso de software livre não é apenas uma questão monetária, mas sim ética e estratégica. Eu estenderia isso mais além: não só é imperativo que, se não todas as pessoas, pelo menos as instituições públicas usem somente software livre, também é necessário buscar usar apenas padrões livres de dados (não, nada de .xls) e tecnologias que sigam padrões públicos e bem estabelecidos! O momento em que os dados da universidade estão numa base de dados de formato proprietário é o momento em que ela perde a capacidade de migra-lo facilmente, e portanto perde sua autonomia – e a constituição que se cale. Rogo aos excelentíssimos professores que leem e se põe de acordo, não obstante possivelmente já o terem feito, que se oponham ruidosamente à adoção oficial de padrões proprietários na tecnologia de informação de seus respectivos institutos. Precisamos preservar a ciência. Walter Carnielli [2022-05-22 19:53]: > The Intercept Brasil > > QUANTO CUSTA O GRATUITO? > Sábado, 21 de maio de 2022 > > *Como universidades brasileiras se tornaram reféns do Google.* > Daqui a dois meses, milhares e milhares de arquivos de universidades > brasileiras podem correr risco. O Google passará a limitar o armazenamento > do Google Workspace for Education, pacote de programas fornecidos > gratuitamente a universidades e escolas, a partir de julho deste ano. > > O pacote educacional do Google, propagandeado pela empresa como > "super seguro e de graça", reúne Gmail, Meet, Drive, aplicativo de > planilhas e outras ferramentas. Era oferecido a instituições de ensino no > Brasil de forma agressiva desde 2014, apresentado como uma alternativa > altamente tecnológica, simples e, sobretudo, ilimitada. > > Várias universidades sucumbiram ao canto da sereia e adotaram com > entusiasmo as ferramentas da gigante do Vale do Silício. Tecnologia > gratuita, confiável, que poderia ser adotada sem licitação, modernizando as > instituições. Parecia bom demais. > > O Google garantia que seu pacote faria as universidades economizarem com > tecnologia da informação. A USP chegou a anunciar uma economia de R$ 6 > milhões ao ano. Na Universidade Federal de São João Del Rei, a adoção do > pacote do Google foi saudada como uma "nova etapa". Na Universidade > Estadual do Pará, como uma "inovação". > > Mas a lua-de-mel acabou. > > Em fevereiro do ano passado, o Google decidiu que o armazenamento > "ilimitado" passaria a ter limites. A partir de julho, as instituições > terão direito a apenas 100 TB de armazenamento, cada. Parece muito para > nós, usuários individuais, mas estamos falando de muitos anos de produção > acadêmica e de uma quantidade monumental de documentos, vídeos, PDFs, > e-mails, planilhas, apresentações, teses, dissertações, livros digitais, > arquivos de pesquisas etc. Qual a solução? Se uma universidade precisar de > mais espaço, vai precisar comprar – e do Google, se quiser manter as > ferramentas atualmente em uso. > > Só na Universidade Federal de Juiz de Fora, a UFJF, por exemplo, a > comunidade universitária usa 700 TB de dados – sim, sete vezes mais do que > o Google vai oferecer gratuitamente. Então, o professor Paulo Vilela, do > departamento de engenharia da universidade, resolveu recorrer ao Procon > contra a empresa. > > "Vários usuários, se quiserem manter o que já têm armazenado no Google, > terão que pagar pelo uso do armazenamento adicional", ele explicou ao > Intercept. O professor também diz que a empresa entrou nas universidades > sem licitação porque oferecia um serviço gratuito. Agora que passará a > cobrar, será preciso submeter o fornecimento das tecnologias à licitação > pública. E isso, com toda a demora, pode prejudicar o funcionamento das > universidades. > > Nós lemos a resposta do Google ao Procon de Juiz de Fora. Ela é puro suco > de cinismo corporativo: a empresa diz que, por exemplo, as instituições > concordaram com os termos de uso do produto, que preveem “atualizações > comercialmente viáveis nos serviços periodicamente” mediante informação > prévia ao usuário. Também diz que o contrato "estipulou a possibilidade > de a Google descontinuar qualquer serviço do produto ou funcionalidade > relevante associada a ele", desde que comunicados com 12 meses de > antecedência. >
Re: [Logica-l] ModelOOOO
Oi Eduardo (e membros da lista), Apoio a sua proposta! Afinal, parece que resolveria a questão que estão levantando sobre a misoginia, além de ser tão efetiva quanto a outra em levar a proposta de JYB em diante. A dizer, - Certamente questiona aquilo que é “politicamente correto”, como é do desejo de Jean-Yves; - Rejeita dogmas estabelecidos sobre o que deve ou não deve ser sexualidade (padrões heteronormativos, rejeitando comportamentos queer, etc); - São representações de uma pessoa vestindo roupas com muita exposição de pele – mais ainda do que a original –, claramente um desafio à ideia de que devemos censurar fotos de semi-nudez, como foi bem pontuado num email à Lógica-l; - É bem humorado, eu diria, o que parece ser muito importante para alguns membros da comunidade; - É militante pela visibilidade e direitos LGBTQI+, o que está na linha da militância feminista que alguns outros também alegaram sobre a foto da moça, além de ter sido explicitamente defendido na thread “pandemia paraconsistente”. - É um humor que chega a ser de terceiro grau. Uma expressão honesta de sexualidade desse tipo, em resposta àquela expressão irônica de sexismo, proferida – que fique claro – como *crítica* ao sexismo, se qualifica nesse grau. Claramente, todos os membros da comunidade valorizam os graus. Quanto mais graus, de mais qualidade é o humor. Mais sofisticação no humor levará, certamente, a um aumento no nível de compreensão do humor, como tão bem colocou o JYB naquela mesma thread. - Depois de chegar a um acordo, poderemos todos rir dessa situação. E o riso é o único traço divino do ser humano, chegaram a dizer. - As fotos certamenta exaltariam a dedicação aos estudos acadêmicos, melhor mesmo que a original. Afinal, é muito difícil estudar seriamente deitado na grama. - Quebra o “esteriótipo difundido na cultura norte-americana de que pessoas intelectualizadas são nerds feios e sem graça”. Todos concordamos que o dono dessa conta não é sem graça. - Empodera minorias “ao colocar um como representante de uma geração saudável de mente e de corpo, mas sintonizada com as causas sociais do seu tempo”. (ver aquela mesma thread) - Acabaria de vez com a discussão política, que é um dos grandes males acometendo a lógica no Brasil. Espero que meus pontos contribuam para que JYB adote a proposta. Realmente, acredito ser uma situação ganha-ganha. Parabens. On 2020-09-21 11:26, Eduardo Ochs wrote: > Eu sigo um cara no instagram - o @amphibianworship - que tem postado > uns selfies sensuais incríveis, e acho que se eu conversar com ele e > explicar a situação toda ele pode topar fazer uma série de fotos pra > gente cobrando barato - eu me voluntario pra pagar sozinho, mas aceito > contribuições... pensei em pedir pra ele fazer uma série de fotos > segurando livros de capa dura, e aí a gente photoshopa as melhores > delas toscamente depois, troca as capas pra capas de livros de Lógica, > põe no site da Paraconsistent Newsletter, e espera as reações. O que > vocês acham? Pode ser um modo de fazer a discussão avançar... > > [[]], E. > > -- > 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/CADs%2B%2B6hy4%3DjzriniD1Hoq4tMMrqbTkhhEzsX-Oj0ad-JeG-nJg%40mail.gmail.com. -- Juan F. Meleiro -- 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/20200922164805.jp6mnlyzfxkwgkpb%40grimnir.localdomain.