Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

>> >> El sáb, 30 mar 2024 a la(s) 6:27 a.m., Eduardo Ochs ( >> eduardoo...@gmail.com) escribió: >> >>> Oi Jean-Yves e todos, >>> >>> On Sat, 30 Mar 2024 at 01:49, jean-yves beziau >>> wrote: >>> >>>> o anti-sionismo vi

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

Oi Jean-Yves e todos, On Sat, 30 Mar 2024 at 01:49, jean-yves beziau wrote: > o anti-sionismo virou uma maneira politicamente correta de de ser > anti-semita > o judeo não tem lugar nenhum para ir, vamos matar ele então em Israel, com > aconteu no dia 7 de outubro > JYB > acho que o subtexto

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

Ois, acabei de ver um tweet tão bom sobre isso que achei que eu TENHO que compartilhar ele! Lá vai: A white woman who hasn’t spoken out against the genocide said “the _saddest_ thing about this is Jewish people are becoming the most hated people globally.” THAT is the _saddest_ thing.

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

https://law4palestine.org/law-for-palestine-releases-database-with-500-instances-of-israeli-incitement-to-genocide-continuously-updated/ [[]], E. On Wed, 27 Mar 2024 at 15:40, Frode Alfson Bjørdal wrote: > > Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as >

Re: [Logica-l] Re: "Funções são conjuntos"

tava pensando em como construir outras funções "bem elementares" e em como medir a elementaridade de funções, nesse sentido de "elementar pra esses alunos no início do curso"... [[]], Eduardo Ochs On Mon, 29 Jan 2024 at 11:49, Juan Carlos Agudelo Agudelo wrote: > > Olá,

Re: [Logica-l] Caso de vira-latismo e misoginia no CNPq- será o primeiro????

Oi Julio, On Fri, 29 Dec 2023 at 07:39, Julio Stern wrote: > > Finalmente, reconheco que estas sao questoes dificeis. > > Na pratica, o manejo destes problemas "resiste" a nossas teorizacoes > e categorizacoes, e a "inercia dos velhos habitos" sempre permeia e > contamina nossas (coletiva e

Re: [Logica-l] Consultinha rápida: "Odds"

Qual é o contexto? Eu traduziria "what are the odds" ou por "qual é a chance" ou por "qual é a probabilidade", mas às vezes eu uso um truque - eu aviso que o termo mais preciso é blablablablá mas que eu vou usar bleblé, que é mais curto... [[]], Eduardo On Fri, 22 Dec 2023, 17:10 Walter

[Logica-l] "Impossible to understand" / "nada justifica"

Oi todos, a "Open Letter" que o Arnon Avron divulgou tem esse trecho aqui, And it is simply impossible to understand the support that a fanatical, cruel and murderous organization like Hamas is getting from people who call themselves "progressive" and who pretend to care about human

Re: [Logica-l] Re: [OFF] Fwd: Fw: Open letter

-- >>>>> *From:* Igor Shparlinski >>>>> *Sent:* Tuesday, November 14, 2023 11:53 AM >>>>> >>>>> >>>>> Dear colleagues, >>>>> >>>>> We would like to draw your attention to an open letter re

[Logica-l] [OFF] Arnon Avron vs. pacotão de livros e artigos

ot;magnet link" dele mais facilmente. O link pra ela é este aqui: http://anggtwu.net/2023-palestine.html No arquivão tem pelo menos 13 itens com "Hamas" no nome e pelo menos 6 itens com "Boycott" no nome. [[]], Eduardo Ochs -- LOGICA-L Lista acadêmica brasileir

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Oi João, acho que 1) o que você está procurando tem muito a ver com o livro do Ganesalingam, que é de 2013, 2) o pessoal do Lean tem trabalhado muito pra implementar sintaxes que pareçam com certos modos de organizar definições e provas em linguagem natural, 3) quem entende mesmo de Lean aqui é o

[Logica-l] "Can the Collatz conjecture be proven, or not?"

"Can the Collatz conjecture be proven, or not?" https://www.hansdieterhiep.nl/is-collatz-conjecture-now-proven/ (Obs: achei as partes que eu entendi bem interessantes, mas eu sou leigo no assunto...) [[]], Eduardo -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da

Re: [Logica-l] re-contando números

> É, vamos ficar devendo opções de lexico a nomes compostos como "inteiros > positivos". > > Abraços > > []s Samuel > > - Mensagem original - > De: Eduardo Ochs > Para: Claudio Callejas > Cc: samuel , LOGICA-L , Marcelo > Finger > En

Re: [Logica-l] re-contando números

Sejam: A = {0,1,2,3,...} B = {1,2,3,...} Esses dois conjuntos, A e B, são bem úteis e eu quero ter bons nomes curtos pra eles. Aí tem duas opções "naturais": ou 1) A=ℕ e B=ℕ^+, ou 2) A=ℕ∪{0} e B=ℕ. Se eu escolho a opção 1 eu fico com bons nomes curtos pros dois, e se eu escolho a

Re: [Logica-l] Tradução

iro lógico diz: "sim". Eu tive umas dúvidas com relação à pontuação e aí acabei deixando o "três chopes?" sem aspas. Pessoas que têm prática de escrever diálogos, por favor mandem sugestões!... [[]], Eduardo Ochs http://anggtwu.net/ On Fri, 9 Jun 2023 at 23:34

Re: [Logica-l] seminário EMAp

Eu tambem! [[]], E. On Thu, 20 Apr 2023 at 17:49, Valeria de Paiva wrote: > oi Alexandre, > ficou gravado? eu gostaria muito de ver! > obrigada, > Valeria > > On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker > wrote: > >> >> https://emap.fgv.br/eventos/how-prove-it-lean >> >> >> How To

Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil

Eu entendi que esse formulário era pra todas as pessoas com algum interesse por métodos formais... On Thu, 30 Mar 2023 at 12:46, Bruno Lopes wrote: > Uma pergunta sincera (não, não é provocativa): a comunidade de métodos > formais considera lógicos como parte dela? Minha impressão (que pode

Re: [Logica-l] Theoretical Puppets

t;> Super interessante, Eduardo! obrigada! >> Valeria >> >> On Sun, Mar 26, 2023 at 11:16 AM Eduardo Ochs >> wrote: >> >>> https://www.youtube.com/@theoreticalpuppets >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira

[Logica-l] Theoretical Puppets

https://www.youtube.com/@theoreticalpuppets -- 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

Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting?

Oi Juan! Você pode mandar uma versão em linguagem matemática da sua pergunta? Eu acho que eu sei uns exemplos, só não sei se eu entendi a sua pergunta direito... [[]], Eduardo On Tue, 14 Mar 2023, 18:46 Juan Carlos Agudelo Agudelo, < juca.agud...@gmail.com> wrote: > Boa tarde, > > Estou

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

lembro quem era - botava os alunos pra fazerem seminários sobre os tópicos da ementa... "e só". Bom, tou bem curioso sobre como esse curso do IMPA vai ser! =P Abraços, Eduardo Ochs http://angg.twu.net/eepitch.html On Tue, 20 Dec 2022 at 00:07, Walter Carnielli wrot

Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN

algo que a gente possa dizer, mas aí a gente vê que eles vão entender tudo errado, e aí a gente procura outra coisa pra dizer, vê que eles vão entender aquilo errado de novo, e a gente repete o loop 10 vezes, e depois das 10 vezes a gente desiste... Assim que der eu vou tentar ler direito

[Logica-l] [Software] "Eev and TikZ, or: how to learn TikZ using a REPL"

Oi gente, eu fiz uma ferramente pra aprender TikZ que tá me sendo muito útil - até umas semanas atrás eu achava TikZ impossível de aprender, e agora não acho mais. É isso aqui: Eev and TikZ, or: how to learn TikZ using a REPL http://angg.twu.net/eev-tikz.html [[]]s, Eduardo Ochs http

[Logica-l] Tractatus 7.1: Translation and Silence (Peter Caws)

Hey hey Marcos Silva & outros: https://philosophynow.org/issues/58/Tractatus_71_Translation_and_Silence [[]], Eduardo Ochs -- 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 "

Re: [Logica-l] Kripke

On Sat, 17 Sept 2022 at 10:30, Valeria de Paiva wrote: > > Com muito pesar transmito a ma' noticia de falecimento de Saul Kripke > https://dailynous.com/2022/09/16/saul-kripke-1940-2022/ > Meus sentimentos a familia e amigos. Tem alguns links muito bons aqui: "Saul Kripke has died

Re: [Logica-l] Per Martin-Löf: transcriptions

Tou lendo algumas transcrições. Caramba, que coisa fantástica!!! Já recomendei pra esse cara daqui incluir o link na lista dele: https://github.com/jozefg/learn-tt [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html On Mon, 5 Sept 2022 at 23:33, Bruno Bentzen wrote: > > Caros, &g

[Logica-l] Re: Semântica de jogos pra lógica básica

=) =) =), Eduardo Ochs On Sun, 5 Jun 2022 at 20:28, bruno.ramos.mendonca wrote: > > Olá, Eduardo: > > Uma apresentação que eu gosto bastante é a que se encontra no livro Models > and Games, de Vaananen (se encontra com facilidade uma cópia na internet). Lá > ele mostra inclusive

[Logica-l] Re: Semântica de jogos pra lógica básica

gos >> no meu curso de Cálculo 2 - tá aqui, principalmente no exercício 2, >> nos slides 9 e 10, >> >> http://angg.twu.net/LATEX/2022-1-C2-infs-e-sups.pdf#page=9 >> >> e tá funcionando muito bem, mas eu sei que eu tou reconstruindo de >> forma improvisada

[Logica-l] Semântica de jogos pra lógica básica

mprovisada coisas que foram publicadas em textos que eu nunca li - e que eu gostaria de ler... Grat =), Eduardo Ochs http://angg.twu.net/ http://angg.twu.net/2022.1-C2.html http://angg.twu.net/2022.1-C3.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes

Re: [Logica-l] Fazendo os diagramas implícitos no CWM e outros livros de Categorias

has sejam ou "átomos" nesse sentido aqui, https://en.wikipedia.org/wiki/Urelement ou variáveis sem nome, mas não sei os detalhes, e eu ADORARIA trocar idéias com alguém que soubesse direito como formalizar os desenhos com bolinhas... [[]], Eduardo Ochs http://angg.twu.net/

[Logica-l] Biblioteca gráfica

que você levariam meses pra conseguirem fazer sozinhos, e talvez vocês possam me ajudar com coisas como, sei lá, Windows - eu não tenho acesso a uma máquina com Windows - ou Python - meu cérebro é "wired in the wrong way" e eu já vi que eu não vou conseguir aprender Python sozinho de jei

[Logica-l] HoTTTEST

t.com/#narrow/stream/241990-general.3A-values/topic/gender.20inclusivity/near/278590606 Vou perguntar pra ele se posso copiar o conteúdo do post pra cá. [[]], Eduardo Ochs -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo est

Re: [Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração

On Tue, 15 Mar 2022 at 15:08, Joao Marcos wrote: > > Nova área do Stack Exchange: > https://proofassistants.stackexchange.com/ > > JM Tanto o Lean quanto o Agda têm Zulips com áreas pra perguntas de iniciantes, https://leanprover.zulipchat.com/ https://agda.zulipchat.com/ que são ótimas

Re: [Logica-l] "On the missing diagrams in Category Theory"

categoricos, > Valeria > > On Fri, Mar 11, 2022 at 10:58 PM Eduardo Ochs wrote: >> >> Oi todos, >> >> acabei de submeter um artigo que ficou bem bacana, dxô fazer >> propaganda dele aqui... >> >> Título: "On the missing diagrams in Category

[Logica-l] "On the missing diagrams in Category Theory"

junctions, for the Yoneda Lemma, for Kan extensions, and for geometric morphisms, and how to formalize them in Agda. [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo es

[Logica-l] Material sobre substituição em português

escreveram é melhor ainda! =) Obrigado =), Eduardo Ochs http://angg.twu.net/math-b.html -- 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. Par

Re: [Logica-l] ∃x <-> x=x <-> x∈x

ou artigo é isso aqui: (GAMUT, 1991, p.75) 郎, Eduardo Ochs http://angg.twu.net/math-b.html On Mon, 7 Feb 2022 at 22:13, Léo Mota wrote: > Então se x é o conjunto vazio vale x∈x? > >> Isso é muito diferente das lógicas que eu conheço... > > Se ∃Ø, então sim, mas nã

Re: [Logica-l] ∃x <-> x=x <-> x∈x

uot;, onde esse "todo mundo" inclua as pessoas que estão acostumadas com as lógicas que são mais usadas por aí, e que vão encarar a lógica do seu livro como uma lógica bem atípica... Tem alguns sinais no seu índice de símbolos que eu adoraria ver como você define e usa, mas

Re: [Logica-l] ∃x <-> x=x <-> x∈x

Hmmm... Então se x é o conjunto vazio vale x∈x? Isso é muito diferente das lógicas que eu conheço... [[]], E. On Mon, 7 Feb 2022, 19:48 Léo Mota, wrote: > O jeito que você escreveu está correto: > (∃x) ↔ (x=x) ↔ (x∈x) > > Em segunda-feira, 7 de fevereiro de 2022 às 07:15:18 UTC-3, eduardoochs

Re: [Logica-l] ∃x <-> x=x <-> x∈x

Qual é o jeito certo de pôr parênteses nessa expressão aqui? ∃x <-> x=x <-> x∈x [[]] =(, Eduardo On Mon, 7 Feb 2022, 06:05 Léo Mota, wrote: > Bom dia Eduardo, eu parti de uma crítica contra a prova de que não exista > um conjunto de todas as coisas, pois ela utiliza um x tal que x∉x,

Re: [Logica-l] ∃x <-> x=x <-> x∈x

Oi Léo! Eu tenho preferido trabalhar com "quantificadores limitados", tipo isso aqui - ∀a∈A.P(a) - e traduzir os "quantificadores ilimitados", como isso aqui - ∀b.Q(b) - pra quantificadores limitados, às vezes usando um "conjunto universo" U, que na verdade não é um conjunto... Dá pra fazer isso

[Logica-l] All of Wittgenstein is now public domain (wittgensteinproject.org)

All of Wittgenstein is now public domain (wittgensteinproject.org): https://news.ycombinator.com/item?id=29760747 [[]], 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,

[Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN

a que indígenas e LGBTs são não só pessoas doentes como maçãs podres que contaminam as outras maçãs do cesto... [[]], Eduardo Ochs On Thu, 9 Dec 2021 at 16:38, Daniel Durante wrote: > > Oi Eduardo e colegas, > > Nunca tinha ouvido falar deste curso. Não consigo ler o arti

[Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN

Meio off-topic, mas lá vai. Pessoas da UFRN, como está sendo a repercussão disso na universidade de vocês? https://oglobo.globo.com/brasil/educacao/construcao-do-reino-de-deus-novo-curso-da-ufrn-choca-estudantes-de-medicina-25309373 https://archive.md/TeS69 [[]], E. -- Você está

Re: [Logica-l] a lógica das crianças

f eu tive que definir "crianças" do jeito certo e acho que eu até disse quais seções dele foram testadas em "crianças de verdade"... [[]], Eduardo Ochs http://angg.twu.net/math-b.html On Tue, 12 Oct 2021 at 22:55, jean-yves beziau wrote: > > Alexander Gorthe

Re: [Logica-l] in praise of rationality

Eu consegui acessar pelo archive,md: https://www.nytimes.com/2021/10/03/books/review/rationality-steven-pinker.html -> http://archive.md/https://www.nytimes.com/2021/10/03/books/review/rationality-steven-pinker.html -> https://archive.md/hs0QO [[]], E. On Sat, 9 Oct 2021 at 11:40, Walter

[Logica-l] My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

https://rareddit.com/r/relationships/comments/d7bqcs/my_33f_husbands_35m_career_in_academic_philosophy/ [[]], 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

Re: [Logica-l] sobre a "reforma da língua"

gt;>>> Abraços, >>>>> Joao Marcos >>>>> >>>>> >>>>> On Sun, Aug 22, 2021 at 2:13 PM josé carlos cifuentes < >>>>> jcc...@gmail.com> wrote: >>>>> > >>>>> > Vamos mudar a língua t

Re: [Logica-l] sobre a "reforma da língua"

arney, considerando o item (0), teria iniciado seus discursos > com: "brasileiros, brasileiras e brasileires" (estou supondo que estes > indivíduos formam um multiconjunto e não uma sequência). Realmente > não é isto que eu entendia por neutrificação da língua. Mas também >

Re: [Logica-l] sobre a "reforma da língua"

ele disse "os homens são > animais bípedes ..." e não dizer que (também "as mulheres são animais > bípedes ..."? > Ou ainda, quem tem razão: os portugueses que dizem "a arte", ou os > espanhois que dizem "el arte"? Em português, "o nosso nariz&quo

Re: [Logica-l] sobre a "reforma da língua"

Oi João! Vou responder em dois e-mails. Deixa eu começar mandando o link de um texto sobre isso que virou o favorito da minha coleção... https://silviacavalcante.blogspot.com/2020/10/diario-de-quarentena-sete-meses-depois.html e vou mandar também - abaixo - os trechos que eu considero mais

Re: [Logica-l] sobre a "reforma da língua"

Oi João, eu resolvi o problema da "não pronunciabilidade" das terminações em "x" e em "@" de um jeito super simples: eu mostro, ou conto, esses argumentos aqui, http://angg.twu.net/xs.html e se a pessoa diz que essas terminações não são pronunciáveis eu peço que ela me apresente um laudo

[Logica-l] ...provides no proofs...

Achei esse comentário do Fosco Loregian no Zulip Chat de Applied Category Theory bem interessante: by the way, I am in the process of (slowly, lazily) translating a couple of his first papers on exact squares, both as a service to the community, an exercise to revive my French, and a way to

Re: [Logica-l] O castorzinho ocupadíssimo

Os mortais querem saber os detalhes do que os deuses demonstraram pelo telefone On Wed, 21 Jul 2021 at 14:36, Walter Carnielli wrote: > > Oi Doria, > > mas se você se provaram, mesmo sem saber o significado, pode ser muito > interessante . > > Como foi essa prova? > Onde está essa prova ? >

[Logica-l] Como visualizar alguns objetos associados a feixes

opologias associadas a eles. =/ [[]], Eduardo Ochs -- 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.

Re: [Logica-l] Já conhecem este livro?

Oi Ricardo e todos! Tou assistindo! Vou aproveitar pra recomendar um vídeo bem recente do canal Philosohpy Tube, chamado "Social Constructs". Link: http://www.youtube.com/watch?v=koud7hgGyQ8 Dá pra baixar as legendas dele com: youtube-dl -t --restrict-filenames --all-subs '

Re: [Logica-l] da existência de monstros

Esse trecho do "O Saci" me lembrou isso aqui: Let us tell you about Ganesha. He is elephant-faced god with funney fat belley human body. Everyone in India has picture of him in their house. To think of him brings happey wisdom success that he gives after he eats his sweet candey. He

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Acho que as piadas do Bolsonaro fizeram quase todo mundo repensar o limite entre quais piadas a gente vai aceitar - porque "piada é alegria, né, e quem reclama é chato" - e que piadas a gente decide que não vai mais aceitar. Eu próprio levei meses pensando sobre isso até conseguir redefinir os

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Se o LoLITA fosse um grupo só meu e eu tivesse que tomar a decisão sozinho eu mudaria o nome e nos sites com o nome novo eu poria umas referências ao nome antigo e às discussões que levaram à mudança... [[]], Eduardo On Sun, 20 Jun 2021 at 21:48, Valeria de Paiva wrote: > > Caros colegas, >

[Logica-l] Mathologer, ou: figuras e animações

Oi todos! Não sei se vocês conhecem um canal do YouTube chamado Mathologer... aqui tem um exemplo de um vídeo dele: https://www.youtube.com/watch?v=Yy7Q8IWNfHM "The ARCTIC CIRCLE THEOREM or Why do physicists play dominoes?" Quase todos os vídeos dele têm figuras e animações fantásticas.

[Logica-l] A persistência da burrice

Acabou de acontecer uma live/entrevista com o Marco Casanova, sobre o livro dele "A persistência da burrice": https://www.youtube.com/watch?v=8pFTG_tvP5Y Eu tou assistindo a gravação empolgadíssimo. Acho que ela complementa bem os vídeos sobre falácias. [[]] =) =) =), Eduardo -- Você

Re: [Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

mais madura. > > Seus comentários me fazem ficar mais consciente das escolhas que eu tomei. > > Mais uma vez, obrigado pelos seus comentários. > > []s > > > Em qui., 4 de mar. de 2021 às 16:58, Eduardo Ochs > escreveu: >> >> Oi Marcelo! >>

Re: [Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

sugestões. Vou ponderar sobre elas. > > Gostaria de sugerir que você gravasse uma aulinha sobre um tema a sua > escolha, pra gente ver como fica. Quem sabe a gente aprende algo? > > []s > > Marcelo > > > Em qui., 4 de mar. de 2021 às 12:48, Eduardo Ochs > escreveu:

Re: [Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

O Marcelo fez umas simplificações que eu achei péssimas. Logo no início do vídeo ele diz que "com um único exemplo a gente não consegue inferir NADA"... mas numa situação como a atual, na qual muitas pessoas não conseguem mais acreditar no que dizem os peritos porque 1) elas recebem tantas

Re: [Logica-l] sobre história, motivações em geral, e o entendimento de um assunto difícil

gente pode começar pelos termos dela. Eu tenho usado "children" e "adults", entre aspas mesmo, nos meus trabalhos mais recentes (link abaixo), mas pra mim seria muito útil ver outros termos e outras classificações. [[]], Eduardo Ochs O "link abaixo" era ess

[Logica-l] Da' pra typesettear arvores de deducao com Dednat6 no Overleaf

- e ele 1) não usa Overleaf e 2) usa só a parte do Dednat6 que gera diagramas pra Categorias, não a parte de árvores. [[]], Eduardo Ochs http://angg.twu.net/math-b.html -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Par

Re: [Logica-l] Formalising mathematics: an introduction.

displayed in the picture I’d drawn on the board in Orsay, but I was aware of them. In short, I knew “how far one could push the picture” in some sense — which bits of it to take seriously.__ [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html On Thu, 21 Jan 2021 at 20:58, Joao Marcos wrote: &

[Logica-l] Documentario sobre o Newton da Costa

O Fernando Severo postou isso aqui no FaceBook agora há pouco: "Acabo de liberar no Youtube a cópia com legendas em inglês do meu documentário de longa-metragem "Espírito de Contradição". Ele foi lançado no Cine Passeio em outubro de 2019, um mês depois que o filósofo de renome internacional

Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO

ch-and-how-to-address-it-6dfb606929fd [[]], jingobéu, Eduardo P.S.: vi o link to twitter da Valéria. On Sun, 13 Dec 2020 at 21:51, Eduardo Ochs wrote: > > Oi Cifuentes, > > talvez várias pessoas daqui tenham interpretado mal algo que você > escreveu, por uma sutileza de tom... i

Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO

rância como quem diz que há um > "completo descaso de alguns a respeito de questões de igualdade e > representatividade no meio acadêmico". Me chamar de intransigente que se opõe > a escutar e com total ausência de alteridade, isso é colocar em mim coisas > que eu não disse. &g

Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO

Oi Cifuentes, acho que um embaixador da Lógica não deve ser só alguém que prova coisas incrivelmente difíceis. Pra mim - que sou um quase ninguém em termos de publicações - um embaixador da Lógica deve ser alguém que saiba muito sobre os aspectos humanos de como o conhecimento é produzido e

Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO

Outro dia eu conversei por Zoom com uma amiga que está morando numa cidadezinha minúscula no meio do mato, daquelas em que a grande novidade da semana é que fulano viu um disco voador... no meio da conversa eu disse algo tipo "os héteros ___ ___" e ela ficou puta da vida e começou a me cortar com

[Logica-l] Idris ou Agda

/2020favorite-conventions.pdf#page=35 [[]], Eduardo Ochs http://angg.twu.net/math-b.html -- 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 par

[Logica-l] Programação funcional

Oi todos, vocês conhecem alguém que possa orientar um estudante que quer fazer mestrado em Programação Funcional? Pode ser "orientar" no sentido de dizer "fale com Fulane, Beltrane e Sicrane"... Obrigado! Eduardo Ochs -- Você está recebendo esta mensagem porque s

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

Daniel, onde tem coisas sobre o Metodo de Wilson? E' em alguma videoaula especifica? Eu nunca ouvi falar dele e fiquei curioso... [[]], E. On Thu, 22 Oct 2020 at 16:01, Daniel Durante wrote: > > Obrigado, Cassiano! > > Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam

[Logica-l] Gulbenkian

"A fundação Calouste Gulbenkian iniciou uma nova fase de divulgação do seu catálogo de livros com a disponibilização de parte das suas obras em formato pdf via seu website. Para baixar, é preciso se registrar no site. Tucídides, Aristóteles, Platão, Santo Agostinho, são alguns dos autores antigos

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

A garotinha é você, né?... =( [[]], E. On Tue, 22 Sep 2020 at 20:21, jyb wrote: > > Certo Eduardo, mas estou fazendo uma metafora, uma analogia ! > penso quem é este gangue e quem representa esta garotinha > ai neste discussão da paraconsistent newsletter ... > > Le mardi 22 septembre 2020

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

Essa discussão é antiga e tem tantos elementos que acho difícil tratar desse assunto em e-mails curtinhos. No link que eu postei alguns e-mails atrás - este aqui,

[Logica-l] ModelOOOO

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...

Re: [Logica-l] pandemia paraconsistente

Não sei, Jean-Yves... nos grupos nos quais eu tenho convivido versões LGBTQIA/Kink dessa foto seriam consideradas ok, mas a versão original, hétera, é "frowned upon". Vamos esperar mais pessoas opinarem. [[]], E. On Sun, 20 Sep 2020 at 16:52, jyb wrote: > > Caro Eduardo > A resposta a sua

Re: [Logica-l] pandemia paraconsistente

Sim, claro, mas pessoas diferentes vão ler o contexto dessa foto de jeitos diferentes. As pessoas daqui que foram sexualizadas, objetificadas e tratadas como burras muitas e muitas vezes ao longo dos anos - "grupo 1" - vão associar essa foto a situações bem desagradáveis. As pessoas daqui que

Re: [Logica-l] pandemia paraconsistente

Mas se um judeu ortodoxo estivesse na pose daquela garota, usando ao mesmo tempo peiyes, barba e as roupas que a garota estava usando na foto isso seria considerado bem ofensivo, não? Repara, NINGUÉM que se manifestou até agora interpretou a roupa e a pose da garota como uma manifestação de

[Logica-l] Prós e contras de conferências online - discussão na [Types]

Dois links sobre prós e contras de conferências online... http://lists.seas.upenn.edu/pipermail/types-list/2020/002259.html https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2020/PLDIReport.pdf [[]], Eduardo -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos

Re: [Logica-l] Re: Lógicas Brasileiras - o site

Tem isso aqui tambem, que e' gigante... https://openlogicproject.org/ http://builds.openlogicproject.org/ [[]], Eduardo On Mon, 3 Aug 2020 at 15:22, Tony Marmo wrote: > > Parabéns pela iniciativa. > Sobre materiais didáticos de lógica: > Existe um livro que foi editado em francês a partir

[Logica-l] Dois artigos que podem interessar aos peirceanos da lista

Dois artigos que podem interessar aos peirceanos da lista: Este foi apresentado no : https://www.academia.edu/43471026/A_Generic_Figures_Reconstruction_of_Peirces_Existential_Graphs_Alpha_AUTHORS_PRE-PRINT_DRAFT_PLEASE_CITE_PUBLISHED_VERSION

[Logica-l] Mario José Cáccamo?

publicações recentes dele que tenham um endereço de e-mail... o link da FAPESP que eu pus ali em cima tem um retângulo chamado "Contate o pesquisador" e eu tentei usá-lo, mas ele dá erro... Obrigado! Eduardo Ochs http://angg.twu.net/math-b.html#favorite-conventions -- Você está

[Logica-l] "On my favorite conventions for drawing the missing diagrams in Category Theory"

their own private diagrammatic languages. Links: http://angg.twu.net/math-b.html#favorite-conventions http://angg.twu.net/LATEX/2020favorite-conventions.pdf [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html http://angg.twu.net/dednat6.html -- Você está recebendo esta mensagem p

Re: [Logica-l] Day of Inclusive Logic

Oi todos, vou tentar participar amanhã como ouvinte, mas não tenho condições de ajudar na organização e acho que não vou ter nada, ou quase nada, pra dizer... Por enquanto os dois debates/lives por Zoom mais interessantes que eu assisti sobre essas questão - eu assisti bem poucos - foram o do

[Logica-l] Values and inclusivity in the applied category theory community

"Nina Otter: Values and inclusivity in the applied category theory community In the tenth and final talk of this spring’s ACT@UCR seminar, Nina Otter led a discussion about diversity in the applied category theory community, with these speakers: Nina Otter: introduction, and some potential

Re: [Logica-l] Supergroup Talk This Week

Alguem sabe como fazer pra assistir a palestra de hoje? Tou tentando descobrir ha' um tempao e o maximo que eu consegui ate' agora foi adicionar uma referencia `a palestra no meu Google Calendar... [[]] =/, Eduardo On Mon, 11 May 2020 at 23:05, Shay Logan wrote: > > Dear Cheerful

[Logica-l] \thinsupset para implicação

Oi lista, aqui vai um jeito de usar uma versão magrinha do \supset como sinal de implicação. Aprendi o truque aqui: https://tex.stackexchange.com/questions/14386/importing-a-single-symbol-from-a-different-font Divirtam-se! =) Eduardo Ochs http://angg.twu.net/math-b.html http

Re: [Logica-l] Corona vírus nos levou John Conway

The Long Read: https://www.theguardian.com/science/2015/jul/23/john-horton-conway-the-most-charismatic-mathematician-in-the-world On Mon, 13 Apr 2020 at 06:51, Thiago Nascimento da Silva wrote: > > Há dois matemáticos com o nome John Conway, o que faleceu foi o John H. > Conway. O autor autor

[Logica-l] Sobre viagens no tempo

"Categorical Semantics for Time Travel" (2019) Nicola Pinzani, Stefano Gogioso, Bob Coecke https://arxiv.org/abs/1902.00032 Esse blog aqui tem uma série de posts que são uma introdução muito boa aos "string diagrams" do paper acima: https://graphicallinearalgebra.net/

[Logica-l] Pedido de download de tese (que aparentemente só pode ser baixada de Cambridge)

%20hyperdoctrines=0 o único modo óbvio de baixá-la é logando no iDiscover, que me parece ser um sistema que por default só students and staff de Cambridge conseguem acessar... e não estou conseguindo acessá-la pelos modos não-óbvios que eu conheço... Obrigado! Eduardo Ochs http

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

Oi Walter, acho que em geral a melhor solução é usar um microfone Lavalier - uma vez eu dei uma palestra no IMPA, me gravaram com um desses e o resultado ficou fantástico... https://en.wikipedia.org/wiki/Lavalier_microphone

Re: [Logica-l] Applied Category Theory 2020

o a melhor introdução a CT que já foi feita até hoje... tem uma PDF de uma versão preliminar do livro aqui: http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf [[]], Eduardo Ochs http://angg.twu.net/math-b.html On Tue, 24 Dec 2019 at 10:41, Joao Marcos wrote: > Aprendendo Teoria d

[Logica-l] Fwd: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles

Repassando... [[]], E. -- Forwarded message - From: Gabriel Scherer Date: Fri, 20 Dec 2019 at 10:53 Subject: [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles To: Types list , Jens Palsberg < palsb...@ucla.edu>, Benjamin

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

ele. > > Sent from my iPhone > > On 15 Dec 2019, at 16:43, Eduardo Ochs wrote: > > 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

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

Oi Adonai! Quero sim! Fica à vontade pra repassar os meus e-mails pra ele! [[]], E. On Mon, 16 Dec 2019, 09:37 Adonai Sant'Anna, wrote: > 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

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

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 N

  1   2   3   >