https://jornal.usp.br/artigos/por-um-modelo-de-selecao-docente-mais-justo-e-estrategico/
--
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 cance
Apareceu no meu celular. Texto curioso.
-Mensagem original-
De: Samuel
Para: 'Samuel
Data: quarta-feira, 6 de agosto de 2025 às 10:39 -03
Assunto: Artigo Jornal da USP
https://jornal.usp.br/artigos/da-consistencia-logica-a-paralogica-da-intuicao-criativa/
--
Olá Itala
Grato
O mérito artístico do cartaz e de toda a identidade visual do EBL foram,
novamente, por conta do colega Marlo Souza !
Abraços
[]s Samuel
- Mensagem original -
De: Itala Maria Loffredo D'Ottaviano
Para: samuel
Cc: LOGICA-L
Enviadas: Mon, 21 Apr 2025 21:33:59 -0300
Oi Valéria,
O "open letter" que está bem à vista, é outro, é endereçado aos leitores.
Abraços
[]s Samuel
- Mensagem original -
De: Valeria de Paiva
Para: samuel
Cc: LOGICA-L , Joao Marcos
Enviadas: Wed, 09 Apr 2025 16:01:27 -0300 (BRT)
Assunto: Re: [Logica-l] Re: novo periódico (dia
Caros,
Com dor no coração informo que o colega e amigo Claus Akira Matsushigue faleceu
hoje de manhã em Brasília, aos 59 anos de idade.
Conforto aos familiares e amigos.
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está receben
Caros,
Está aberta a Chamada para Apoio (a Estudantes associados) da SBL, para
participação em eventos de 01/10/24 a 30/03/2025.
Como de costume, quem se inscreve é "o evento", a partir de seu coordenador
(que também tem que ser
associado da SBL).
Vejam o texto completo da chamada, assim c
... Caindo do alto do elevador ainda, imagine !
Obrigado Walter e Elaine,
Abraços
[]s Samuel
- Mensagem original -
De: Walter Carnielli
Para: Elaine Pimentel
Cc: samuel , LOGICA-L
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de L
Caros,
Por problemas técnicos tivemos que trocar o link do evento da UFBA nesta semana.
É o mesmo link para todas as sessões agora.
https://meet.google.com/ecs-yvek-mmz
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
Prezados,
Seguem os links para as apresentações remotas do evento na UFBA desta semana,
em homenagem ao colega e amigo Andreas Brunner.
TERCA 20 Á TARDE
meet.google.com/hny-koqq-aaf
QUARTA 21 À TARDE
meet.google.com/mzr-mise-oth
QUINTA 22 À TARDE
meet.google.com/hzi-mxmh-jnw
SEXTA 23 À T
Caros,
Repassando a pedido da Comissão Organizadora.
*
Prezadas(os),
Estão abertas inscrições para seleção de 02 auxílios da Sociedade Brasileira de
Lógica (SBL)
ot;. Acho
que essa sessão pode ser de interesse para o que se está discutindo aqui.
Abraços,
Juan Carlos
On Mon, Oct 9, 2023 at 1:47 PM 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> Obrigado Henrique, obrigado Daniel,
>
> Achei legal iss
Oi Henrique,
Obrigado.
Esse predicado Sx que diz que x é conjunto, me parece algo mais de teoria de
classes não ? Em que os objetos formalmente são classes
e "alguns" objetos são conjuntos (os mais cuidadosamente construídos, digamos).
Sim, ajudou no sentido de bagunçar mais, hehe, é assim mesm
... interessante que esse axioma não aparece em outras teorias né... Bom,
talvez em outras teorias coloquem "disfarçado" nas definições.
Em alguns casos a teoria pressupõe de saída a existência de alguns elementos
(elemento neutro em grupos, vetor nulo em espaços vetoriais...
e aí os casos tri
ogica tem varios papeis relevantes nesta discussao.
>>
>> - Um papel, aceito e tradicional, da Logica e teoria dos conjuntos eh
>> justamente o de construir ferramentas para Fundamentos Axiomaticos da
>> Matematica, sendo ZFC o paradigma mais conhecido.
>>
>
Caros,
A mensagem do Cassiano eu preciso digerir mais, hehe,
Daniel, sua analogia com "geometria é álgebra" é pertinente sim,
E na verdade me lembrou do prefácio de um excelente livro de graduação de
Teoria dos Conjuntos, o do Enderton: se não me falha a memória, vai na seguinte
linha:
"Todo
axiomas da Teoria dos Conjuntos.
O máximo que consegui foi: Axioma da Escolha.
P
Em sáb., 5 de ago. de 2023 às 13:20, 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:
> Oi Valéria,
>
> Pois é, em ambiente de pesquisa eu concordo que a teoria básica
mpos ou as regras, mas essa essência do jogo muda, se os jogadores
mudarem.
abraços,
Valeria
On Sat, Aug 5, 2023 at 5:23 AM 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> Salve Daniel,
>
> Incrível como entre nós, brasileiros, o FUTEBOL consegue e
Oi Eduardo,
Os nomes (curtos ou longos) que você diz são as notações né? Cheguei a achar
que você tinha sugestões de palavras mesmo...
É, vamos ficar devendo opções de lexico a nomes compostos como "inteiros
positivos".
Abraços
[]s Samuel
- Mensagem original -
De: Eduardo Ochs
Para
Olá
Pelo que vi também há o registro disso, e chamam de anti-Mbpemba !!!
Até
[]s Samuel
- Mensagem original -
De: josé carlos cifuentes
Para: samuel
Cc: LOGICA-L
Enviadas: Wed, 28 Jun 2023 20:05:15 -0300 (BRT)
Assunto: Re: [Logica-l] Um "paradoxo verdadeiro" em Física
E o contrar
do algum "brasileiro"
que tenha publicado lá nos últimos anos)
De toda forma, é um critério muito bizarro e que certamente na prática joga
para desorientar a produção científica (ou melhor, a publicação científica). Em
particular, penso que para o Qualis Matemática atual, o Studia Logica
Caros,
Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se você
viu. De todas as formas, porém, está bastante informal esse texto do .pdf
do link também, com comparações e simulações e tal... Passa a mensagem, mas não
tem cara de documento oficial. Já ouvi falar que as
- Mensagem encaminhada -
De: Michael Winter
Para: Michael Winter
Enviadas: Thu, 02 Feb 2023 11:55:28 -0300 (BRT)
Assunto: RAMiCS 2023 - Call for participation
(Apologies for multiple posting)
CALL FOR PARTICIPATION
20th International Conference on
Relational and Algebraic Method
22 23:35, Walter Carnielli
>> escreveu:
>>>
>>> Oi Samuel, oi pessoal:
>>>
>>> Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo.
>>>
>>> E deveriam convidar um lógico, mas acharam um "number theorist" en
Caros,
Acabou de aparecer no Twitter,
Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente,
Computação, Lógica e Teoria dos Conjuntos (!!!),
com uma ementa deveras ambiciosa...),
E as surpresas continuam, quem vai ministrar nem é de Lógica, é um pesquisador
que trabalha na i
... repassando para o pessoal de Lógica Algébrica, Álgebra de Relações, etc...
- Mensagem original -
De: "Michael Winter"
Para: "Michael Winter"
Enviadas: Sexta-feira, 16 de dezembro de 2022 15:02:48
Assunto: RAMiCS 2023 - Call for short contributions / posters
(Apologies for mu
the author.
>
> Studia Logica editors have examined the journal's review procedure to
> ensure that a similar situation will not happen again.
>
>
> *Jacek Malinowski*
>
> *Studia Logica*
>
> *Editor-in-Chief*
>
> On Sat, Oct 29, 2022, 13:42 'Samuel Gomes
... desse imbroglio sobre a twin prime conjecture, o que vai ficar pra mim é o
seguinte blog post, que achei bem interessante: "dez razões para acreditar que
uma demonstração de um resultado divisor de águas em matemática está errado"...
https://scottaaronson.blog/?p=304
Atés
[]s Samuel
Ps: D
Prezados,
Vocês podem encontrar a programação provisória do EBL Salvador no seguinte link:
https://drive.google.com/file/d/1ljHOFpmJjbRqzeqE1OSjC_bkOVOXFV9k/view?usp=sharing
Solicitamos que nos avisem sobre qualquer inconsistência.
Como essa é uma programação provisória, estamos reservando a se
Prezados,
Seguindo com a presença da Lógica na recente tradição dos encontros bilaterais
da Sociedade Brasileira de Matemática com as respectivas sociedades de
outros países, em encontros organizados no Brasil (Brasil-Espanha 2015,
Brasil-Itália 2016 e Brasil-França 2019),
Teremos também uma
Prezados,
Já está disponível na página do EBL
(aba Registration ---> Conference Dinner)
o formulário de adesão ao Jantar da Conferência, que será num restaurante de
tradicional comida baiana (moquecas para todos !)
na quarta-feira da conferência, como é de costume.
O custo é de 130 reais,
Prezados colegas,
Como nesta semana, até o dia 31 de julho, estamos todos entregando os arquivos
.tex da versão final dos trabalhos aceitos para
o XX EBL,
Enquanto que o Early Bird para inscrições mais baratas venceu ontem, 24 de
julho,
Decidimos, a organização e a Diretoria da SBL, prorro
Prezados,
Saudações,
Favor espalhar a informação para todos os estudantes interessados,
Conseguimos negociar com um albergue próximo à UFBA com um valor de 50 reais
por dia (em quarto compartilhado), incluindo café da manhã.
Como a Escola de Lógica iniciará no sábado anterior ao evento, as
Caros,
Quem tiver zero experiência de Latex e estiver sofrendo na última hora com sua
submissão para o EBL,
Abra uma conta instantaneamente no overleaf.com, copie e cole o template lá
(abra um projeto pra fazer isso) e pronto, edite o abstract online.
Até, abraços
[]s Samuel
--
LOGICA-L
Lis
Olá,
O livro do Kunen, "Set Theory - An Introduction to independence proofs" usa
essa notação de pred(a,x,r) (em geral para ordens lineares, como eu comentei).
Abraço
[]s Samuel
- Mensagem original -
De: "Claudio Callejas"
Para: "samuel"
Cc: "Joao Marcos" , "Lista acadêmica br
Prezados,
Estão disponíveis na página do XX EBL (Salvador, Bahia, 12 a 16 de setembro),
www.ebl2021.ufba.br
os posters oficiais do evento, para quem quiser imprimir e colocar na porta da
sua sala !
(Aba Support, Seção Communications).
A arte, autorizada pelo Instituto Carybé, segue na id
Caros,
Favor divulgar e compartilhar,
Está aberta a chamada para apoio a estudantes para participação no XX EBL em
Salvador, Bahia, com Escola de Lógica
ocorrendo nos dias 10 e 11 de setembro de 2022 e o evento em si ocorrendo entre
os dias 12 a 16 de setembro de 2022.
Os estudantes (que d
Prezados,
Outra parte do evento XX EBL cujas informações já estão disponíveis na página,
Temos uma agência de turismo receptivo que fez negociações com hotéis
especificamente para o EBL, com tarifas especiais,
Na aba "Acommodations" da página ebl2021.ufba.br vocês encontram o link para
cont
Caros,
Após os tempos difíceis da pandemia, e com a melhora nas condições sanitárias,
neste ano teremos o nosso querido EBL presencial, em Salvador !
As inscrições já estão abertas, vejam detalhes/valores/prazos na página do
evento
http://ebl2021.ufba.br/
na aba "Registration". Como de co
gravado?
On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> Prezados,
>
> Em parceria com o coletivo Lógicas Brasileiras (
> https://logicasbrasileiras.wordpress.com/),
>
> Teremos na segunda-feira, 21 de març
Prezados,
Em parceria com o coletivo Lógicas Brasileiras (
https://logicasbrasileiras.wordpress.com/ ),
Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do
Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL -
Carol Blasio* por Diversidade na Lógica
40 matches
Mail list logo
