Re: [Logica-l] Doação à Biblioteca USP - Teoria das Categorias (de Marta Bunge, 1938-2022)

> logica-l@dimap.ufrn.br> escreveu: > >> Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa ! >> >> >> https://jornal.usp.br/universidade/usp-recebe-doacao-de-biblioteca-especializada-em-

Re: [Logica-l] Fwd: livros de Marta Bunge na USP!

inha sido publicada) > e pelo empenho em trazer os livros da Profa Marta Bunge no IME-USP! > > Esperamos aqui poder honrar a memória dela, fazendo bom uso de sua ótima > coleção . > > Forte abraço > Hugo > > > Em qua., 22 de mai. de 2024 às 19:57, Valeria de Paiva

[Logica-l] livros de Marta Bunge na USP!

https://www.ime.usp.br/en/professor-marta-bunges- personal-library-is-donated-to-the-ime-usp-library/ -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica

[Logica-l] Fwd: livros de Marta Bunge na USP!

Passando a informacao! abs Valeria -- Forwarded message - From: Valeria de Paiva Date: Wed, May 22, 2024 at 10:48 AM Subject: livros de Marta Bunge na USP! To: Teoria das Categorias Brasil < teoria-das-categorias-bra...@googlegroups.com> https://www.ime.usp.br/en/pro

Re: [Logica-l] a maioridade / maturidade da LOGICA-L

Parabens Joao Marcos! a lista ja' esta "de maior"! abracos logicos! Valeria On Thu, Mar 28, 2024 at 7:18 PM O Administrador da LOGICA-L < logica-l-ow...@dimap.ufrn.br> wrote: > PessoALL: > > Esta semana a LOGICA-L, > "uma lista direcionada aos profissionais e estudantes >de LÓGICA de todo

[Logica-l] Fwd: [BLC] Conference announcement: 120 Years of Choice

-- Forwarded message - From: Paul Shafer Date: Fri, Mar 22, 2024 at 6:20 AM Subject: [BLC] Conference announcement: 120 Years of Choice To: 'Jonathan Kirby (MTH - Staff)' via British Logic Colloquium < blc-lo...@googlegroups.com> Dear all, Please see the following announcement

Re: [Logica-l] Re: on math as art, math as language, and math as abstract thought

oi Joao Marcos, que bom que voce gostou! de toda forma PARABENS pra Evelyn, Joao Mendes e Mahan pela grande ideia de organizar o SOL! https://sologica.weebly.com/ Todos nos precisamos aprender como fazer melhor nossas pesquisas, nao e? abracos, Valeria On Sun, Mar 17, 2024 at 4:46 AM Joao

[Logica-l] Fwd: SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024)

ate-colloquium-luise-puhlmann-university-of-bonn -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque s

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

e a ele que eu havia escolhido a carreira de matemático, em parte como > consequência das aulas dele e da irmã-- > ele me abraçou profusamente e me disse "plantamos nossa semente" :-) > > Me sinto feliz em ter plantado as minhas, inclusive nesse grupo ! > > Abraços,

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

Alo Walter, Eu fiquei bem interessada nessa parte da sua resposta ao Joao Marcos: >A Professora Ausenda Fratini, uma espécie de Emmy Noether nacional (até bem parecida), adorava mostrar demonstrações simples em geometria, à la Euclides. O que mais vc sabe dizer sobre a professora Ausenda

Re: [Logica-l] Códigos de ética e conduta em sociedades científicas

Caro Walter, A ideia e' termos os códigos bem claros, como a AMS e a ASL (não exatamente as organizações mais politicamente corretas que conhecemos) os têm, para que as pessoas que forem desrespeitadas possam ter uma maneira clara e imediata de reclamar. Sanções são claramente importantes, mas

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

Oi João Marcos, obrigada por levantar a bola para esse assunto interessantíssimo! e muito obrigada Alexandre por falar do meu trabalho com a Katerina e o Dick >A Valeria tem um trabalho inspirado no framework do PARC, https://aclanthology.org/W19-3305/. Acho que tem demo online. Isso! Tem demo

[Logica-l] new interdisciplinary PhD program in CA

th any questions you may have. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- 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] academic publishing

/ Eu não sei se bibliotecas brasileiras podem assinar o documento que eles querem ou não, mas acho que seria bom se pudessem. E e' sempre bom saber que outras pessoas também estão tentando melhorar a situação. abraços, Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute

Re: [Logica-l] Coletivo Lógica Viva: sobre infinitos, números e provas

damentação de matemática, o que "pegou" é ZFC. >> >> Também observo que, a princípio, os resultados "independentes da >> Matemática" são aqueles mostrados "independentes de ZFC", então esse é >> outro critério que acaba contribuindo para essa identifi

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

oi Samuel, Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta. Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o básico. MAS com o abaixo não concordo não. >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos os tabuleiros (e

Re: [Logica-l] Lógica em tempos de guerra --- para reflexão

> natureza política. > > Simples assim. > > Abraços. > > > > Em qua., 2 de ago. de 2023 16:01, Valeria de Paiva < > valeria.depa...@gmail.com> escreveu: > >> Caros colegas, >> >> Já eu discordo completamente da posição do Walter e de o

Re: [Logica-l] Lógica em tempos de guerra --- para reflexão

Caros colegas, Já eu discordo completamente da posição do Walter e de outros colegas. O boicote acadêmico, esportivo, cultural e econômico da Africa do Sul ajudou a derrubar o apartheid, ou assim me parece. O boicote da Elsevier ainda não surtiu os efeitos desejados, mas esta' causando

Re: [Logica-l] Trends in Logic conference- Torun, 2023

Pois e', Marcos. Concordo plenamente com >Contudo, vale observar, com pesar, que, mesmo em um evento com uma visão, digamos, mais progressista e cuidadosa em suas escolhas, uma questão fundamental não aparece, a saber, a questao racial. precisamos melhorar muito! Divirta-se em Buenos Aires!

Re: [Logica-l] Trends in Logic conference- Torun,2023

lgação de > resultados, vejo muitas discussões políticas e histórias pessoais. > Obviamente, não estou dizendo que isso não é importante e estou relatando > apenas a minha experiência... > > A orientação da Laiz foi uma pequena porta de entrada para tentar > contribuir na mudança des

Re: [Logica-l] Trends in Logic conference- Torun,2023

Obrigada pelos links, Hermógenes! e pela "inside information". Eu acho que a gente precisa fazer uma página especial do Lógicas Brasileiras só com sugestões de como acabar com os MANELS. Não sei se adianta não, pois as reclamações que você mandou são de 2014 e 2015 na maior parte. Mas pode deixar

Re: [Logica-l] Trends in Logic conference- Torun,2023

Pois e', Gisele... Uma mulher e 11 homens 'e quase manel também, né? Nenhuma Invited Speaker e uma mulher no comitê de programa de 12. Acho que vamos ter que reclamar sim! abraços desanimados, Valeria On Thu, Jul 20, 2023 at 10:25 AM Gisele Secco wrote: > Oxalá os organizadores lembrem que

[Logica-l] CALCO/MFPS 2023 comeca na segunda-feira

CALCO Conference on Algebra and Coalgebra will happen next week in Bloomington, Indiana. The program is at https://coalg.org/calco-mfps-2023/ and attendance online is free, but requires registration. Register please to show everyone wants free conferences online. abracos, Valeria -- Valeria de

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

oi Samuel, eu estou interessada em ouvir a palestra sim, por favor mande o canal! obrigada, Valeria On Mon, Jun 5, 2023 at 1:45 PM 'samuel' via LOGICA-L wrote: > Caros, > > Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo > interessados eu > posso checar qual é o canal do

Re: [Logica-l] seminário EMAp

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 Prove It With Lean > > I will describe a project I have been working on for most of the last > year:

[Logica-l] Fwd: HPS April newsletter

Para pessoas interessadas em história e filosofia da ciência. -- Forwarded message - From: Michael Matthews Date: Mon, Apr 10, 2023 at 6:00 AM Subject: HPS April newsletter To: hpsst-list *Dear Colleague,* *The April HPS Newsletter is available *HERE

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

Gostei muito das consideracoes do Hermogenes. Muito obrigada, Hermogenes!!! obrigada pelo artigo em "É possível argumentar que *pagar para publicar* afeta mais negativamente a pesquisa em países emergentes

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

ano < aldofiga...@gmail.com> wrote: > Não estou entendendo. > Cada autor que tenha aceito um artigo vai ter que pagar para que ele seja > publicado? > > > > > El lun, 27 mar 2023 a la(s) 12:54, Valeria de Paiva ( > valeria.depa...@gmail.com) escribió: > >>

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

Walter, Muito obrigada por escrever essa mensagem! e' um absurdo o que esses caras estão fazendo, transformando "open access publishing" numa cura pior do que a doença. A doença e' a publicação tradicional onde os editores adquirem os direitos sobre os artigos e autores não pagam pra publicar,

Re: [Logica-l] Theoretical Puppets

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 dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está

Re: [Logica-l] 17 anos de LOGICA-L

Parabens, para o administrador e todos nos! saudacoes logicas, Valeria On Sat, Mar 25, 2023 at 10:02 AM O Administrador da LOGICA-L < logica-l+own...@dimap.ufrn.br> wrote: > Não queria deixar passar esta data em branco: > agradeço novamente a todos os (quase 700) membros desta lista, que fazem >

Re: [Logica-l] Numbers too big to imagine

JM they say: >*The author used ChatGPT to research trusted sources and calculate parts of this story.* *Update 21 March: The explanation of multiple infinities has been corrected to describe Cantor's proof about real vs natural numbers.* Mas chatGPT nao pesquisa "trusted sources" e eles nao

Re: [Logica-l] Re: Uma consulta à comunidade: Ponto final

Joao Marcos (e todos colegas), obrigada pela mensagem! a gente tb podia tentar puxar uma subséries do IfColog do Gabbay, não? Na verdade ja' existe uma subsérie da College Publications pra livros texto em português, acho que a Cristina Sernadas e' a responsável. então seria (talvez?) fácil a

Re: [Logica-l] Uma consulta à comunidade: Ponto final

Walter e colegas, Eu estava tentando ficar fora dessa discussao, mas nao da'. Concordo plenamente com a Elaine e com essa ultima mensagem do Walter. Um exemplo construtivo: a comunidade de linguistica computational, consegue funcionar perfeitamente somente com publicacoes abertas e gratis tanto

[Logica-l] Book club com a Eugenia Cheng?

e everywhere. Please spread the word! Note that the schedule may change as we go along, but the deadlines for each chapter will only become later, never earlier. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acad

[Logica-l] Fwd: categories: CALCO 2023: First Call for Papers

, IRIF, Universit?? de Paris) * Sandra Kiefer (Max Planck Institute for Software Systems) * Peter Selinger (Dalhousie University) * Natasha Alechina (Utrecht University) * Sara Kalvala (University of Warwick) Chairs -- Paolo Baldan (University of Padua) Valeria de Paiva (Topos Institute, Berkeley

Re: [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023)

obrigada por anunciar, Joao Marcos! muito triste com a noticia! abs, Valeria On Wed, Jan 25, 2023 at 3:14 AM Joao Marcos wrote: > https://ncatlab.org/nlab/show/William+Lawvere > > JM > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você

Re: [Logica-l] Lista de mulheres mais buscadas na web brasileira

super obrigada Elaine e Walter, pela propaganda a favor! ;) tb obrigada Joao Marcos pelo link pra vida da Maria Firmina dos Reis, uma escritora de peso nesse nosso passado de mulheres "esquecidas"! --Valeria On Sat, Oct 29, 2022 at 10:14 AM Joao Marcos wrote: > Se alguém mais quiser saber algo

Re: [Logica-l] em um mundo sem terceiras opções...

Mais um ponto pra conversa de voces: >https://arxiv.org/abs/1904.09193Cantor-Bernstein implies Excluded Middle Pierre Pradic , Chad E. Brown We prove in constructive logic

[Logica-l] Kripke

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. -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- LOGICA-L Lista acadêmica

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

Realmente exceptional! Muito obrigada ao Ansten Klev e outros colegas por esse trabalho primoroso. e muito obrigada ao Bruno pela informacao. abs Valeria On Tue, Sep 6, 2022 at 3:50 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote: > Excepcional material, obrigado, Bruno, por

[Logica-l] Fwd: categories: 2023 Joint Mathematical Meetings

Amigos, passando a informacao. grata, Valeria -- Forwarded message - From: John Baez Date: Thu, Aug 25, 2022 at 6:34 PM Subject: categories: 2023 Joint Mathematical Meetings To: The Joint Mathematical Meetings are the world's largest annual meeting of mathematicians. In 2023

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

>PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte da manhã. Muito obrigada pelo "shout-out" Samuel!! O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos organizando uma sessão de

Re: [Logica-l] Prêmio CAPES de tese 2022

Super Parabéns, Evelyn!!! e co-orientadores também! abracos, Valeria On Fri, Aug 12, 2022 at 9:34 AM Daniel Durante wrote: > Viva!! > > Obrigado colegas e Muitos parabéns para a Evelyn Que escreveu uma tese > belíssima e fez uma defesa impecável, das mais elogiadas pela banca que eu > já

[Logica-l] Fwd: HPS July Newsletter

Pessoal, O cara que escreve essa newsletter pediu pra divulga'-la. Eu nao sei nada de filosofia da ciencia, mas acho as poucas coisas que leio na newsletter interessantes, entao fica a dica. abracos, Valeria -- Forwarded message - From: Michael Matthews Date: Thu, Jul 21, 2022

[Logica-l] programa do MFPS 2022 disponivel

and Christine -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- 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" d

Re: [Logica-l] Dutilh Novaes Wins Lakatos Award

Parabéns para a Catarina mesmo!! eu sabia da Royal Netherlands Academy of Arts and Sciences, mas nao sabia do premio Lakatos! Fantastico Catarina!!! ficamos todos muito orgulhosos do seu trabalho!! []s, Valeria On Thu, May 19, 2022 at 8:21 AM Joao Marcos wrote: > E ainda tem mais! Catarina

Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera

parabens Walter e Juliana! On Thu, Apr 28, 2022 at 7:16 PM Walter Carnielli wrote: > Colegas: > > Gostaríamos de compartilhar com vocês que nosso curso "Pensamento > Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): > >

Re: [Logica-l] 2^4 anos de LOGICA-L

Parabens Joao Marcos e todos nós pelos 16 aninhos da lista! Mas especialmente parabens Carol, pois se não fosse ela, acho que essa mensagem não existiria! abs lógicos, Valeria On Fri, Mar 25, 2022 at 5:16 AM Joao Marcos wrote: > Foi a primeira mensagem de sempre! > > Agradeço a todos pelo

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

Muito legal Eduardo! so' dei uma olhada rapida, mas me parece muito legal o projeto. so' acho que em vez de mandar ver um manuscrito de 60 paginas voce teria mais chances de feedback se fizesse 3 papers de 20 paginas. ou se fizesse uns blog posts de 2 paginas. porque um texto de 60 paginas requer

Re: [Logica-l] Logicas Brasileiras na LogicaMx

Cara Maria, Muitissimo obrigada pela chance extra que voce nos deu de apresentarmos as Logicas Brasileiras `a sua plateia! Adoramos o bate-papo e adoramos que foi tudo em nome da amizade e da colaboracao entre amigos! Assim 'fica tudo muito lindo! um grande abraco, Valeria ps eu nem perguntei pra

Re: [Logica-l] Anais do EBL 2019

Parabéns a todos, autores, editores e pareceristas! Uma noticia excelente mesmo! abracos Valeria On Mon, Jan 24, 2022 at 11:32 AM Petrucio Viana wrote: > Boa tarde! > > > É com grande prazer e orgulho que anunciamos a publicação do volume > especial do > > Journal of Applied Logics - IfCoLog

Re: [Logica-l] o resultado das somas

So' fazendo coro a Itala e ao JM! Parabens Elaine!! On Tue, Jan 4, 2022 at 10:01 AM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Parabéns, querida Elaine! > Belíssimo e valioso projeto! > Itala > > Em ter., 4 de jan. de 2022 às 14:45, Joao Marcos > escreveu: > >>

[Logica-l] Fwd: [PT] Nordic Logic Summer School 2022 (NLS 2022)

-- Forwarded message - From: Torben Braüner Date: Tue, Nov 30, 2021 at 12:40 PM Subject: [PT] Nordic Logic Summer School 2022 (NLS 2022) To: proofthe...@lists.bath.ac.uk Dear colleagues, I take the liberty to inform you about the Nordic Logic Summer School 2022 (NLS 2022),

Re: [Logica-l] Re: Renúncia na MAPE / CAPES

Faco minhas as palavras do Cassiano: >Meu apoio, minha solidariedade e especialmente minha *admiração* aos coordenadores e consultores que renunciaram. que tempos dificeis, minha gente!!! abracos, Valeria On Tue, Nov 30, 2021 at 3:19 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com>

Re: [Logica-l] It is dark before dawn

Parabens pra Claudia!! a obrigada pela boa noticia Joao Marcos! On Tue, Nov 9, 2021 at 1:52 PM Joao Marcos wrote: > Alegra-me divulgar a informação de que Cláudia Nalon foi eleita membro > do board of trustees do CADE: > http://aarinc.org/Newsletters/136-2021-11.html > > Também nesta edição da

Re: [Logica-l] Re: on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

gt;>> https://doi.org/10.1007/s11229-019-02344-0 >>> https://rdcu.be/b5DuD >>> >>> 6. Arnon Avron, “Quasi-canonical Systems and Their Semantics” >>> https://doi.org/10.1007/s11229-018-02045-0 >>> https://rdcu.be/b5DuF >>> >>>

Re: [Logica-l] Valuation Tables for Minimal and Intuitionistic Propositional Calculus

oi Joao Marcos, eu discuti um pouquinho isso com a Andrea, e me parece que o filho dela Marko Loparic 'e a pessoa com quem voce deve conversar! quando eu conversei sobre isso com a Andrea, ela me disse que tinha ensinado os teoremas do Kleene tantas vezes que sabia as provas de cor e eu queria

Re: [Logica-l] Andrea Loparic

Puxa Gisele, que noticia tao triste!!! Sem palavras pra tristeza que da' saber da perda da querida Andrea! meus sentimentos a familia e a nossa comunidade toda! Valeria On Mon, Oct 25, 2021 at 7:47 AM josé carlos cifuentes wrote: > Sem palavras, caros colegas. > Cifuentes > > > Em seg., 25 de

[Logica-l] Fwd: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*

-- Forwarded message - From: Helle Hvid Hansen Date: Wed, Oct 13, 2021 at 6:10 PM Subject: categories: Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline* To: *** * Three PhD positions

Re: [Logica-l] Book review, Catarina Dutilh Novaes, The dialogical roots of deduction

Parabens pra Catarina! muito legal! On Sun, Sep 12, 2021 at 5:01 PM Joao Marcos wrote: > Book review, Catarina Dutilh Novaes, The dialogical roots of deduction > by Joel David Hamkins > https://www.goodreads.com/review/show/4220208757 > > > JM > > -- > Você está recebendo esta mensagem porque

Re: [Logica-l] Sucesso de público da lógica no Ensino Superior

obrigada pela boa noticia Cassiano! On Thu, Sep 9, 2021 at 5:05 AM Cassiano Terra Rodrigues < cassiano.te...@gmail.com> wrote: > > Bons dias, camaradas. > Em 2021, na Universidade de Sydney, Austrália, o curso introdutório de > lógica, do departamento de filosofia, teve 2.200 matrículas. > >

[Logica-l] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022

Eles dizem que tem algumas bolsas pra alunos de paises em desenvolvimento, me parece. Li la'. "Through the CIMPA-CARMIN program the organizers wish to fund, with the support of the Labex Carmin, the CIMPA and CIRM, the participation of several young mathematicians based in a developing country to

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 2 temas

esmo depois de vencer a >> guerra. >> >> A partir dos anos 1950 muitos matemáticos europeus e americanos >> estiveram por longos períodos na USP, como Laurent Schwartz e >> André Weil, sem mencionar muita gente no IMPA. Schwartz até escreveu >> ainda um livro sobr

Re: [Logica-l] Genesis da Matematica Moderna na America do Sul

u/noticias/2018/08/10/nova-logica-e-filosofia-de-wvquine-no-brasil > > a respeito da nossa edição/tradução, "The Significance of the New > Logic” (editado e traduzido por Walter Carnielli, Frederique > Janssen-Lauret, e William Pickering, Cambridge University Press, 2018; > >

[Logica-l] Genesis da Matematica Moderna na America do Sul

m de videos ou papers de historiadores da matematica brasileira mesmo. abs Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google

Re: [Logica-l] Re: da origem dos termos matemáticos

Obrigada pela bola, Samuel! pois e', eu estou no momento super-interessada na ideia de usar teoria de categorias pra ajudar a organizar as sub-áreas da matematica em geral. Quem estiver interessado pode ver no nosso blog post Introducing the MathFoldr Project

[Logica-l] Fwd: The intersection of race and tech—join the conversation

Uma lista se seminarions interessantes sobre Tech and Race -- Forwarded message - From: Microsoft Research Date: Thu, Aug 5, 2021 at 9:08 AM Subject: The intersection of race and tech—join the conversation To: Having trouble viewing this email? | *View as a webpage*

[Logica-l] Fwd: blc Digest, Vol 125, Issue 1

Desculpas se essa mensagem ja' foi enviada. Foi um pedido dos alunos de logica da UFRN no nosso ultimo encontro sobre inclusividade, a existencia de mais encontros dedicados a alunos, especialmente dedicados aos alunos de graduacao. nao 'e o caso desse encontro, me parece, mas 'e o que tem pra

Re: [Logica-l] Functional Interpretations

Pois e' Walter, a minha tese de doutorado fala justamente da Interpretacao Dialectica, faz uma versao categorica e usa a variante de J. Diller e Nahm pra mostrar como voltar pra logica intuicionista. A tese esta' em https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf, a parte sobre Dialectica

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

oi Cassiano, a palestra sobre a Christine_Ladd-Franklin talvez tenha sido a da Sara Uceklman, no Logic SuperGroup aqui https://www.youtube.com/watch?v=xJBqBnP2BUg Christine_Ladd-Franklin

Re: [Logica-l] tese da Carol Blasio em ingles?

tiva de que uma tradução do artigo que Carol > publicou na Manuscrito (Cap. 3 da tese) seja produzida pela Evelyn, de > forma inteiramente voluntária. > > Abraços, Joao Marcos > > On Wed, Jun 30, 2021 at 1:23 PM Valeria de Paiva > wrote: > > > > Gente, > > esta

[Logica-l] tese da Carol Blasio em ingles?

-- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- 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

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

que excelente ideia, Regivan!! ficou lindo mesmo!!! Carol, sempre ajudando. Valeria On Tue, Jun 29, 2021 at 8:33 AM Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Belíssimo, que linda e oportuna homenagem! > Parabéns a vocês pela decisão e pela criatividade, nestes momentos tão >

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

Caros colegas, Concordo com tudo que o Marcos Silva disse. Mas sou menos educada, para mim não faz sentido algum fazer qualquer piada com a situação lamentável que temos em relação a esse problema. Que rebeldia e' essa de que estamos falando? a de ser machista, classicista, sexista e

Re: [Logica-l] palestra de Wilfrid Hodges sobre história da lógica

Oi Itala, Joao, nao perderam nao, eles disponibilizam online as palestras do Nordic Seminar sim. daqui a alguns dias vai estar no canal deles, pois foi gravada! abs Valeria On Mon, May 24, 2021 at 8:55 AM Joao Marcos wrote: > Hummm, a palestra ocorreu às 11:00 no "horário de Campinas": > >

[Logica-l] do zulip de categorias

José Siqueira: O próximo talk será o do Davide Trotta (colaborador da @Valeria de Paiva ), terça-feira 11 de Maio as 16:15 BST (BST = GMT+1). Estão convidados! José Siqueira: Título: The Gödel fibration . Detalhes estão aqui http://talks.cam.ac.uk/talk/index/160420 -- Valeria de Paiva http

Re: [Logica-l] Valeria de Paiva: Lógica e Pesquisadora em Inteligência Artificial

éria e conhecer melhor sua trajetória acadêmica e >> seu ativismo. >> >> muito obrigado! >> >> Abraços, >> Marcos >> >> On Thu, Feb 4, 2021 at 10:17 AM Valeria de Paiva < >> valeria.depa...@gmail.com> wrote: >> >>> Muito obrigada Adol

[Logica-l] PhD studentship in proof theory

email (to fre...@mathematik.tu-darmstadt.de). We can then discuss via email or zoom. The preferred starting date is 01.10.2021, but it may be possible to start up to a year later. In any case, please don't hesitate to send me a first informal email soon. All the best, Anton (Freund) -- Valeria

[Logica-l] (for fun only) Per Martin Löf: How did 'judgement' come to be a term of logic ?

https://www.youtube.com/watch?v=04OCEG0Md7g de 2011, mas recententemente no YouTube abs Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos

Re: [Logica-l] [off] Licença maternidade no lattes

> 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/2307838.OfsEH2KBJ2%40avalon > . > -- Valeria d

Re: [Logica-l] J. Michael Dunn (1941-2021)

a 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw36SqEHWhSZLRzyT7u_xMdV5i_M-ou8%3DzzWDvuimDP2Ng%40mail.gmai

[Logica-l] more talks

terested in Wittgenstein’s early work. Participants are asked to register at the following website: http://tsinghualogic.net/JRC/?page_id=2364 *Contact* For more information, contact Jian Ma: ma...@mails.tsinghua.edu.cn -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- V

[Logica-l] Fwd: [LOGIC] Opening of the Carl Friedrich von Weizsaecker-Centre: "Making Responsible Decisions in & about Science", Virtual, 6 Apr 2021

lc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo &q

Re: [Logica-l] 15 anos de LOGICA-L

ail 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/CAO6j_LiY1TQvNGfH9Awqdbjq6QFVjdcWsC_C%2B8TChSQWN9aF6Q%40mail.gmail.com > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs

[Logica-l] Fwd: [New post] Emerging Researchers in Category Theory

2RlX3NpZ251cCI6IlVTIiwiZG9tYWluIjoiam9obmNhcmxvc2JhZXoud29yZHByZXNzLmNvbSIsImZyZXF1ZW5jeSI6IjAiLCJkaWdlc3QiOiIwIiwiaGFzX2h0bWwiOiIxIiwiYW5jaG9yX3RleHQiOiJUaGFua3MgZm9yIGZseWluZyB3aXRoICBXb3JkUHJlc3MuY29tIiwiX2RyIjpudWxsLCJfZGwiOiJcL3dwLWFkbWluXC9wb3N0LnBocCIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtY

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

r essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3439ca50-4be9-49ad-b22b-86f5cea76976n%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3439ca50-4be9-49ad-b22b-86f5cea76976n%40dimap.ufrn.br?utm_medium=email_source=fo

[Logica-l] Fwd: A New Chatting Platform for Discussions in Logic

0E_nV9VYtp%3DMT6SnbN8rJdGeNB%2BKFQ%40mail.gmail.com <https://groups.google.com/d/msgid/logic-supergroup/CAKiNFcotWO5y22QnXADT0E_nV9VYtp%3DMT6SnbN8rJdGeNB%2BKFQ%40mail.gmail.com?utm_medium=email_source=footer> . -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você est

Re: [Logica-l] Fwd: Fundamenta Informaticae ---> OPEN ACCESS

ails 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/CAO6j_Lj7%3DQ-eTMrO7ptxinGcinf75VEfROT2UVu70NcSc%2B_t9Q%40mail.gmail.com > . > -- Valeria de Paiva http://vcvpaiva.gi

Re: [Logica-l] Fwd: Foundations of Computer Science at the University of Leicester

ail 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/CAO6j_LizPvbjkbVmXV5hexEVP6GNeyjUCH-uDh%2BfqZSFkt45zQ%40mail.gmail.com > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs

Re: [Logica-l] Valeria de Paiva: Lógica e Pesquisadora em Inteligência Artificial

do Emílias Podcast - Mulheres na Computação > > Spotify: https://open.spotify.com/episode/3PfXKjpElvIaC9DdZp38JH > Anchor: > https://anchor.fm/emilias-podcast/episodes/Ep--34---Valeria-de-Paiva-Lgica-e-Pesquisadora-em-Inteligncia-Artificial-epu0oh > > Adolfo Neto e Maria Claudia

[Logica-l] Lista de mulheres que trabalham com a teoria de categorias

: no need for a PhD, no need for a(n academic) position, no need for reputation points. anyone who wants to work with category theory and identify as a woman can add their names, please. Obrigada! Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está

[Logica-l] Fwd: Topos Institute Colloquium

applicability of this abundant category. -- You received this message because you are subscribed to the Google Groups "Topos Seminars" group. To unsubscribe from this group and stop receiving emails from it, send an email to seminars+unsubscribe@topos.institute. -- Valeria de Paiva ht

Re: [Logica-l] "Go, logicians, make the world a better place"

n.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjUA%3DdVoj9qboSgSuigo-8qG8QnDegB4yw1N0wPkWm7bA%40mail.gmail.com > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo

Re: [Logica-l] John Corcoran 1937-2021

om/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBCSJM-S3kZypZAQJPD%3D-%2Bce_ohTS7DtCAre4yvCTjH_w%40mail.gmail.com?utm_medium=email_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGIC

[Logica-l] Applied Category Theory 2021 — Adjoint School

/02/applied-category-theory-2021-adjoint-school/ -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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-

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

Os dias mundias das Coisas precisam contemplar a diversidade dos > habitantes do Mundo. > Abraços e bom final de semana, > G. > > Le sam. 5 déc. 2020 à 13:11, Valeria de Paiva > a écrit : > >> oi Marcos, >> mais uma razao pra gente fazer uma soiree de "Logicxs

[Logica-l] Fwd: [cla] Fwd: [TYPES/announce] Combinator Centenary

, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. -- Valeria de Paiva http://vcvpaiva.github.io/ http

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

-a6b4-b6963a30cb82n%40dimap.ufrn.br?utm_medium=email_source=footer> >> . >> > > > -- > Marcos Silva (UFPE/CNPq) > Philosophy Department > Federal University of Pernambuco, Brazil > Editor-in-chief Revista Perspectiva Filosófica > <https://periodicos.ufpe.br

Re: [Logica-l] PLMW at POPL 2021: call for student applications

il para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVA9R11ygy7XKFk3B2PYWzyLmGbVL5u2fp%2BUbMOc-hQAA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs

  1   2   3   4   5   >