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

2023-07-22 Por tôpico Valeria de Paiva
Petrucio, por que você não colocou o link da tese da Laiz na sua mensagem? a tese dela não está em algum depósito de teses? Não está no arxiv? Devia, né? Cade a pequena excursão histórica? e onde esta' o resultado original da Soler? (a enciclopédia de Matematica da Springer 'e um outro engodo)

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

2023-07-22 Por tôpico Walter Carnielli
Acho tudo isso um tanto discutível. Eu ja orientei diversas moças (mulheres) em graduação, mestrado, doutorado, pós-doutorado -não vou declinar nomes aqui- inclusive ajudando a "lançar na carreira" nomes hoje conhecidos internacionalnente na Itália e Austria. Sem nomes... Acho que não se deve

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

2023-07-22 Por tôpico Gisele Secco
Oi pessoal Uma das questões, Petrucio, é o que fazemos com essa falta de conhecimento. Uns quantos fazem nada, umas quantas tentam mostrar como é importante que melhoremos - de vários modos: convidando mais mulheres para eventos, prestando mais atenção no modo com o nos comunicamos com

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

2023-07-22 Por tôpico Maria Martinez-Ordaz
Oi pessoal Acho que, como diz Gisele, é importante sempre reconhecer novas estratégias para melhorar, mas também é igualmente importante observar quando esforços concretos foram feitos para tornar nossos espaços acadêmicos mais inclusivos e acessíveis. A CLMPST tinha duas mulheres à frente da

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

2023-07-22 Por tôpico Gisele Secco
María é um espetáculo! Bravissima! On Sat, Jul 22, 2023 at 4:56 PM Joao Marcos wrote: > > No geral, acho importante reconhecermos que o trabalho de promoção da > inclusão nesta edição do CLMPST não foi trivial. > > Gostaria de aproveitar para elogiar o trabalho GERAL feito pela Maria >

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

2023-07-22 Por tôpico Jorge Petrucio Viana
Talvez dentro do tópico... Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na lógica, matemática e computação. E resolvi que era hora de dar a minha contribuição, por menor que fosse. Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um teorema importante

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

2023-07-22 Por tôpico Walter Carnielli
Gisele, Não é apelo a "nem todo homem", ou a "nem todo evento" ou a nem tudo isso ou nem tudo aquilo-- é também, ao invés de só criticar, reconhecer o esforço em contrário de muita(o)s. Mulheres inclusive. Abs Em sáb., 22 de jul. de 2023 19:52, Gisele Secco escreveu: > Oi pessoal > >

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

2023-07-22 Por tôpico Gisele Secco
Totalmente de acordo, Maria, obrigada por você trazer as informações! Eu já havia achado o de Praga bem cuidadoso, mas os colegas de Argentina realmente fizeram melhor! Não sei se todos sabem, mas logo após o CLMPST haverá a 19ª edição de um dos mais tradicionais eventos internacionais de

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

2023-07-22 Por tôpico Joao Marcos
> No geral, acho importante reconhecermos que o trabalho de promoção da > inclusão nesta edição do CLMPST não foi trivial. Gostaria de aproveitar para elogiar o trabalho GERAL feito pela Maria Martinez-Ordaz na organização deste evento em Buenos Aires, o qual não foi trivial em NENHUM sentido da

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

2023-07-22 Por tôpico Jorge Petrucio Viana
> porque me parece que a maioria das vezes o que acontece é que as coisas que as mulheres provam e descobrem, passam a ser parte do inconsciente coletivo, em vez de serem atribuídas a elas. Valéria, exatamente este é o ponto que eu quero enfatizar no momento. A questão não é se eu orientei ou

[Logica-l] ainda sobre o tópico do gênero em Lógica

2023-07-22 Por tôpico Joao Marcos
Alguns trabalhos recentes de Franci Mangraviti (Ruhr-Universität Bochum): The Liberation Argument for Inconsistent Mathematics https://ojs.victoria.ac.nz/ajl/article/view/8289 Rethinking Inconsistent Mathematics, PhD Thesis https://philpapers.org/archive/MANRIM-2.pdf Outros artigos:

[Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Final Deadline July 24

2023-07-22 Por tôpico jean-yves beziau
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023 Keynote Speaker: Franziska Kohlt (University of Leeds,