Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA

2024-02-23 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
... 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

[Logica-l] Link corrigido - evento UFBA

2024-02-20 Por tôpico 'Samuel Gomes da Silva' via LOGICA-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ê

[Logica-l] Links das apresentações remotas - Temática UFBA + Encontro USP UFBA + Homenagem Andreas Brunner

2024-02-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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 À

[Logica-l] Auxílios para participação de estudantes no II Encontro USP UFBA de Lógica e Fundamentos/Semana Temática de Lógica da UFBA (Verão 2024)

2023-12-15 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

2023-10-10 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
, muito bom ver jovens lógicas trabalhando. Abraços []s Samuel - Mensagem original - De: Juan Carlos Agudelo Agudelo Para: Samuel Gomes da Silva Cc: Daniel Durante , Walter Carnielli , Lista Lógica , Joao Marcos Enviadas: Tue, 10 Oct 2023 10:52:50 -0300 (BRT) Assunto: Re: [Logica-l

Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

2023-10-09 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

2023-10-09 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
... 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

[Logica-l] Re: ao

2023-08-08 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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. >> >

[Logica-l] Re: ao

2023-08-07 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

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

2023-08-05 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
[]s Samuel - Mensagem original - De: Jorge Petrucio Viana Para: Samuel Gomes da Silva Cc: Valeria de Paiva , Daniel Durante , Marcos Silva , pin...@googlegroups.com , Grupo de pesquisa CLEA Enviadas: Sat, 05 Aug 2023 14:54:05 -0300 (BRT) Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre

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

2023-08-05 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
xioma da Escolha (Blass, 1984). Então, para o matemático establishment, acaba sendo ZFC sim. Abraços []s Samuel - Mensagem original - De: Valeria de Paiva Para: Samuel Gomes da Silva Cc: Daniel Durante , Marcos Silva , pin...@googlegroups.com , Grupo de pesqui

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

2023-07-04 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Um "paradoxo verdadeiro" em Física

2023-06-28 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

2023-03-22 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
- Mensagem original - De: "Hugo Luiz Mariano" Para: "Samuel Gomes da Silva" Cc: "Walter Carnielli" , "Francisco Miraglia Neto" , "Ricardo Bianconi" , "Cc: Vinicius C. L." , "Lucia Renato Junqueira" , "Artur Hideyu

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

2023-03-22 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
o" , "Kaique Ribeiro Prates Santos" , "Hugo Ribeiro" , "Jean Cerqueira Berni" , "Luan Alberto Ferreira" , "Mayk Alves de Andrade" , "Alfredo Roque Freire" , "José Siqueira" , "Valeria de Paiva" , "Rodrigo

[Logica-l] Enc: RAMiCS 2023 - Call for participation

2023-02-02 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
- 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

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

2022-12-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
... vai estar disponível no YouTube!!! - Mensagem original - De: Eduardo Ochs Para: Walter Carnielli Cc: Clodomir Neto , Samuel Gomes da Silva , LOGICA-L Enviadas: Tue, 20 Dec 2022 00:15:12 -0300 (BRT) Assunto: Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???) Vou fazer uns

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

2022-12-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] Fwd: RAMiCS 2023 - Call for short contributions / posters

2022-12-16 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
... 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

Re: [Logica-l] twin primes

2022-11-03 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
Como dizem os jovens, "algo de errado não está certo" - Mensagem original - De: Joao Marcos Para: Samuel Gomes da Silva Cc: Walter Carnielli , LOGICA-L Enviadas: Thu, 03 Nov 2022 08:15:39 -0300 (BRT) Assunto: Re: [Logica-l] twin primes https://dailynous.com/2022/11/02/log

Re: [Logica-l] twin primes

2022-10-29 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
... 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:

[Logica-l] Programação Provisória do EBL

2022-08-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

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

2022-08-11 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
** 13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização) 14:00–14:20 Pedro Quaresma - Coimbra, Portugal New and interesting theorems 14:20–14:40 Renata de Freitas - Niterói, Brasil Graph logic in use 14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil Kolmogorov-Ve

[Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs

2022-07-26 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] Prorrogação do Early Bird (até 31/07) - XX EBL, Salvador

2022-07-25 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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,

[Logica-l] Albergue a 50 reais para os estudantes interessados - XX EBL, Salvador

2022-07-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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,

[Logica-l] Overleaf - opção para preencher o template EBL online

2022-06-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

2022-06-03 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] Posters do EBL disponíveis para download

2022-06-02 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] XX EBL Salvador - Apoio a Estudantes

2022-05-14 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] Acomodações XX EBL

2022-05-06 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

[Logica-l] Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

2022-05-04 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
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

Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-18 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
Para: Samuel Gomes da Silva Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Enviadas: Fri, 18 Mar 2022 06:50:46 -0300 (BRT) Assunto: Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) Ótima iniciativa. Será

[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-17 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
trabalho, conjunto com o Prof Samuel Gomes da Silva, é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que apesar do título

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

2021-08-25 Por tôpico Samuel Gomes da Silva
... Sim, Quando vai pra Filosofia e Linguística tem esse sentido de "pista falsa" também, eu vi isso recentemente. O sentido matemático que eu acho legal, isso dos nomes "serem e não serem" ao mesmo tempo... Até ! []s Samuel - Mensagem original - De: "Walter Carnielli" Para:

[Logica-l] Concurso no Departamento de Matemática da UFBA - 01 vaga

2021-08-04 Por tôpico Samuel Gomes da Silva
Prezados, Temos um concurso aberto, com uma vaga, para o Departamento de Matemática da UFBA: https://concursos.ufba.br/sites/concursos.ufba.br/files/docentes/edital_docente_01_2021_para_o_site.pdf Os títulos solicitados para inscrição incluem: Doutor em Lógica ou Doutor em

[Logica-l] Inscrições Abertas - Pós-Graduação em Matemática, UFBA

2021-05-27 Por tôpico Samuel Gomes da Silva
Prezados, Estão abertas as inscrições para Mestrado e Doutorado na UFBA (com linhas de pesquisa em Lógica Matemática), Editais: acessar em https://pgmat.ufba.br/pt-br/processo-seletivo (clicar em "Aluno Regular", conforme o programa) Mestrado - inscrições até 18/06/21 Doutorado -

[Logica-l] Enc: RAMiCS 2021 - CFP

2021-01-12 Por tôpico Samuel Gomes da Silva
- Mensagem encaminhada - De: luigi santocanale Para: sam...@ufba.br Cc: luigi santocanale Enviadas: Tue, 12 Jan 2021 14:39:56 -0300 (BRT) Assunto: RAMiCS 2021 - CFP CALL FOR PAPERS 19th International Conference on Relational and Algebraic Methods in

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

2020-12-04 Por tôpico Samuel Gomes da Silva
... Bem notado !!! Ainda existe muito caminho a percorrer... Atés []s Samuel - Mensagem original - De: "Marcos Silva" Para: "samuel" Cc: "Joao Marcos" , "Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA" , "jyb" Enviadas: Sexta-feira, 4 de dezembro

[Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha

2020-10-10 Por tôpico Samuel Gomes da Silva
Paiva Para: Márcio Palmares Cc: Samuel Gomes da Silva , LOGICA-L Enviadas: Sat, 10 Oct 2020 13:31:19 -0300 (BRT) Assunto: Re: Teoria Flow: o princípio da partição não implica o axioma de escolha obrigada pela motivacao meio quaternionica, Marcio! sempre ajuda, abs Valeria On Sat, Oct 10, 2020

Re: [Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha

2020-10-09 Por tôpico Samuel Gomes da Silva
Olá Valeria, Eu confesso que a minha desconfiança no quanto a PP ser equivalente a AC ou não, que eu realmente achava que poderia ser, era mais pelo tempo que o problema ficou aberto. Recentemente, quando Malliaris e Shelah provaram que p = t, eu também estava no grupo dos 99 por cento dos

[Logica-l] Mestrado em Matemática UFBA (com linha de pesquisa em Lógica, Topologia e Teoria dos Conjuntos)

2019-10-19 Por tôpico Samuel Gomes da Silva
Prezados Colegas, O edital de seleção do Mestrado em Matemática UFBA, para entrada em 2020.1, foi lançado e está disponível na página https://pgmat.ufba.br/sites/pgmat.ufba.br/files/mestrado_edital_2020_1_alunoregular.pdf As linhas de pesquisa do Mestrado em Matemática, Área de

[Logica-l] Slides - Sessão de Lógica Matemática do 1st Joint Meeting Brazil France in Mathematics

2019-08-06 Por tôpico Samuel Gomes da Silva
Caros, Os slides das apresentações realizadas na Sessão de Lógica Matemática do 1st Joint Meeting Brazil France in Mathematics, que ocorreu nos dias 18 e 19 de Julho no Rio de Janeiro, estão disponibilizadas em um link no seguinte endereço:

[Logica-l] Programacao e resumos completos já disponíveis - Sessao de Lógica Matemática no 1st Brazil/France Joint Meeting in Mathematics

2019-07-09 Por tôpico Samuel Gomes da Silva
Caros, Conforme já anunciado nesta lista, na semana que vem teremos a Sessao Especial de Lógica Matemática no 1st Brazil/France Joint Meeting in Mathematics. A sessao ocorrerá nas tardes da quinta dia 18 e sexta dia 19, nas dependências do IMPA, no Horto do Jardim Botânico, Rio de Janeiro.

[Logica-l] Enc: Announcement: Tuna Altinel

2019-06-04 Por tôpico Samuel Gomes da Silva
- Mensagem encaminhada - De: MATH - ASL Para: MATH - ASL Enviadas: Tue, 04 Jun 2019 16:13:41 -0300 (BRT) Assunto: Announcement: Tuna Altinel Dear ASL Community, The following statement was approved by the ASL Council to be sent to all ASL members: "Tuna Altinel, a longtime member

[Logica-l] [OFF] Avianca e o EBL

2019-04-26 Por tôpico Samuel Gomes da Silva
Caros, Com o EBL se aproximando é bom observar, Se você comprou sua passagem para Joao Pessoa há algum tempo e nao lembra qual é a companhia aérea... Dá uma olhada pra ver se nao é a Avianca. A Avianca está perdendo aeronaves por dívidas e cancelando vôos sistematicamente. Boa sorte a

[Logica-l] Sessao Especial de Lógica Matemática - 1st Joint Meeting Brazil-France in Mathematics

2019-03-22 Por tôpico Samuel Gomes da Silva
Lógica Matemática, cujos coordenadores sao: Elaine Pimentel (UFRN, Brasil) e Samuel Gomes da Silva (UFBA, Brasil), pelo lado brasileiro, e Boban Velickovic (Université Paris-Diderot, França), pelo lado francês. https://impa.br/en_US/eventos-do-impa/eventos-2019/1st-joint-meeting-brazil

[Logica-l] Concurso Público UFF (Niterói) - 01 vaga, Lógica é uma das áreas do concurso.

2019-03-21 Por tôpico Samuel Gomes da Silva
Caros, Foi publicado ontem, 20 de Março, Edital da Universidade Federal Fluminense, e o Departamento de Análise (GAN) do Instituto de Matemática e Estatística de lá tem 01 vaga nas seguintes condiçoes: *** Área de Conhecimento:

[Logica-l] Lembrete rápido: apoio a estudantes EBL 2019

2019-03-19 Por tôpico Samuel Gomes da Silva
Prezados, Já estao disponibilizadas, no site do próprio evento, as instrucoes para pedidos de apoio da SBL a estudantes, visando participaçao no próximo EBL (Joao Pessoa, 06 a 10 de maio 2019). https://ebl2019.ci.ufpb.br/blog/financial-support-students O deadline para aplicaçoes é 31 de

[Logica-l] As inscricoes ("registration") para o EBL 2019 já estao abertas.

2019-03-12 Por tôpico Samuel Gomes da Silva
Caros, Acho que todos os diretamente interessados já receberam as mensagens relativas a isso por parte dos organizadores em Joao Pessoa, Mas, nao custa nada lembrar/reforçar que: ---> Já estao abertas as inscricoes ("registration") para o próximo EBL, com "early bird" de pagamento da taxa

[Logica-l] Second Call for Papers and Deadline Extension - EBL 2019

2018-12-26 Por tôpico Samuel Gomes da Silva
Sarmento (UFPB, co-chair) Cezar A. Mortari (UFSC) Samuel Gomes da Silva (UFBA) Lucídio Cabral (UFPB) Wagner Sanz (UFG) Tiago Massoni (UFCG) Bruno Petrato Bruck (UFPB) Teobaldo Leite Bulhões Júnior (UFPB) Andrei de Araujo Formiga (UFPB) Logic School

[Logica-l] Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas

2018-11-06 Por tôpico Samuel Gomes da Silva
Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) Palestra do Diretório Acadêmico (com o apoio do Colegiado de Matemática) Sexta-feira, 09 de Novembro de 2018 – 14h50 Sala 21 do PAF I – UFBA, Campus Ondina RESUMO: São bastante conhecidos os paradoxos de Zenão, que envolvem a noção

[Logica-l] Conjuntos Dedekind-infinitos / Classes em NBG e ZFC

2018-11-01 Por tôpico Samuel Gomes da Silva
Caros, Decidi abrir outro post para não ter que escrever em algo onde conste o nome de... Ops, quase ia escrevendo o nome dele ! 8-) Dois pitacos sobre os últimos comentários sobre conjuntos: --> Sim, é verdade que Dedekind definiu os conjuntos infinitos como exatamente aqueles que têm

[Logica-l] Extension of deadlines: Call for papers: Proceedings of the XVIII Brazilian Logic Conference (EBL 2017)

2018-10-30 Por tôpico Samuel Gomes da Silva
... Repassando para a lista... Dear EBL 2017 participant, The deadline s for the submission to the Proceedings of the XVIII Brazilian Logic Conference (EBL 2017) were extended by around 1 month:

[Logica-l] Call for Papers - Proceedings EBL 2017 (Pirenópolis)

2018-08-20 Por tôpico Samuel Gomes da Silva
(Postando a pedido dos editores) Feel free to disseminate. Apologies for duplicates. * Dear EBL 2017 participant, We are very happy to announce the opening of the Call for Papers for the Proceedings of the EBL 2017, to be

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-13 Por tôpico Samuel Gomes da Silva
mente acho que é gosto pessoal. Não fico tentando convencer os outros a embarcar no bonde ! Até, []s Samuel On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote: Prezados, Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina, Salvador), retomando as at

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-11 Por tôpico Samuel Gomes da Silva
ntão vai bem para mim ZF + DC. Mas eu realmente acho que é gosto pessoal. Não fico tentando convencer os outros a embarcar no bonde ! Até, []s Samuel On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote: Prezados, Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Ca

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-11 Por tôpico Samuel Gomes da Silva
Então vai bem para mim ZF + DC. Mas eu realmente acho que é gosto pessoal. Não fico tentando convencer os outros a embarcar no bonde ! Até, []s Samuel On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote: Prezados, Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-11 Por tôpico Samuel Gomes da Silva
os Completos e ao mais simples dos axiomas de forcing (Lema de Rasiowa-Sikorski). Implica o Axioma da Escolha Enumerável. Então vai bem para mim ZF + DC. Mas eu realmente acho que é gosto pessoal. Não fico tentando convencer os outros a embarcar no bonde ! Até, []s Samuel On Thursday, Ma

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-11 Por tôpico Samuel Gomes da Silva
onstros que aparecem quando ele não está. Abraço, []s Samuel On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote: Prezados, Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina, Salvador), retomando as atividades do Seminário de Lógica da UFBA, a

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-10 Por tôpico Samuel Gomes da Silva
l definida... nao tenho nada contra dizer que a nocao de medida esta' mal definida, mas enfim, isso resolve o problem? abracos Valeria 2018-05-10 13:49 GMT-07:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br > : ... Anotada a sugestão ! Abraço, []s Samuel On Thursday

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-10 Por tôpico Samuel Gomes da Silva
mal definida... nao tenho nada contra dizer que a nocao de medida esta' mal definida, mas enfim, isso resolve o problem? abracos Valeria 2018-05-10 13:49 GMT-07:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br > : ... Anotada a sugestão ! Abraço, []s Samuel On Thurs

[Logica-l] O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-10 Por tôpico Samuel Gomes da Silva
Prezados, Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina, Salvador), retomando as atividades do Seminário de Lógica da UFBA, apresentarei a palestra de título e resumo abaixo. Essa mesma palestra será apresentada no IME/USP em São Paulo na sexta-feira seguinte, dia 18/05,

[Logica-l] Abertas as inscrições para Doutorado em Matemática UFBA/UFAL

2018-04-30 Por tôpico Samuel Gomes da Silva
Caros, Segue cópia da mensagem do Coordenador do Programa de Doutorado na UFBA: *** Estão abertas inscrições para o Processo Seletivo para ingresso no Programa de Doutorado em Matemática UFBA/UFAL na UFBA, de 30/04/2018 a

[Logica-l] CML 2018 (Satellite Conference of the ICM 2018) - DEADLINE APPROACHING

2018-03-26 Por tôpico Samuel Gomes da Silva
May 2018. Details can be found on our website. We are looking forward to meeting you soon in Brazil. Scientific & Organising Committee. Christina Brech (Sao Paulo, Brazil), Samuel Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de Janeiro, Brazil), Denis Hirschfeldt (Chicag

[Logica-l] BLAST 2018 - First Announcement

2018-03-26 Por tôpico Samuel Gomes da Silva
BLAST 2018 First Announcement August 6-10, 2018 University of Denver Denver, Colorado http://www.math.du.edu/~wesfussn/blast blast201...@gmail.com SCOPE We are very happy to announce that the tenth installment of BLAST will take place at the University of Denver, where its

[Logica-l] Concurso para o Departamento de Matemática da UFBA - 01 vaga

2018-03-15 Por tôpico Samuel Gomes da Silva
Prezados, Abriu um concurso com 01 vaga para o Departamento de Matemática da UFBA (01 vaga), detalhes no arquivo a seguir: http://www.concursos.ufba.br/docentes/2018/editais/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf Doutorados em Filosofia com tese em Lógica são aceitos (ver

Re: [Logica-l] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)

2018-02-22 Por tôpico Samuel Gomes da Silva
com essas submissões ao ICM, apenas as encorajamos. Até, abraço, []s Samuel - Mensagem original - De: "Walter Carnielli" <walter.carnie...@gmail.com> Para: "Lista dos Logicos Brasileiros" <logica-l@dimap.ufrn.br> Cc: "Samuel Gomes da Sil

[Logica-l] CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)

2018-02-22 Por tôpico Samuel Gomes da Silva
://www.icm2018.org/portal/en/short-communication We are looking forward to meeting you soon in Brazil. Scientific & Organising Committee. Christina Brech (Sao Paulo, Brazil), Samuel Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de Janeiro, Brazil), Denis Hirschfeldt (Chicago IL, U

[Logica-l] Semana Temática de Lógica, Conjuntos e Topologia - UFBA (22 a 26 de Janeiro)

2018-01-16 Por tôpico Samuel Gomes da Silva
Prezados, Segue link com a programação e resumos da Semana Temática de Lógica, Conjuntos e Topologia da UFBA (na semana que vem, 22 a 26 de janeiro). https://sites.google.com/site/ufbalogic/home/home-pt/eventos/semanas-tematicas Abraços, []s Samuel -- Você está recebendo esta mensagem

[Logica-l] Deadline extended - Short Communications and Posters (ICM 2018)

2018-01-05 Por tôpico Samuel Gomes da Silva
Caros, Feliz 2018, Foi prorrogado até 05 de março o deadline para submissões de comunicações e posters para o ICM 2018 (o congresso mundial de matemáticos que vai ocorrer no Rio de Janeiro). http://www.icm2018.org/portal/en/short-communication Como disse aqui o João Marcos recentemente,

[Logica-l] Conference on Mathematical Logic (Satellite Conference of the ICM 2018)

2017-12-19 Por tôpico Samuel Gomes da Silva
tion at the International Congress of Mathematicians and we remind you that the deadline for abstract submissions to ICM 2018 is 5 January 2018: further details can be found at http://www.icm2018.org. Scientific & Organising Committee (not complete). Christina Brech (Sao Paulo, Brazil), Samuel

[Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

2017-12-05 Por tôpico Samuel Gomes da Silva
Caros, Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo sido cobrado a preparar algum material sobre o assunto tanto na UFBA como também na UESC (Ilhéus), e tudo devido à já famosa matéria na Quanta Magazine:

[Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

2017-10-27 Por tôpico Samuel Gomes da Silva
Prezados, Após uma longa espera de três meses, recebemos hoje a resposta confirmando: finalmente existe agora a possibilidade dos pesquisadores da área de Lógica Matemática da UFBA orientarem Doutoramentos em Matemática na área de Lógica. (Sim, apesar de estarmos estabelecidos e

Re: [Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da CAPES.

2017-10-14 Por tôpico Samuel Gomes da Silva
eu sai pra pos doc com 5 anos trabalhando na UFBA com bolsa Capes, me ajudou muito na carreira ! Até []s Samuel - Mensagem original - De: Cláudia Nalon <na...@unb.br> Para: logica-l@dimap.ufrn.br Cc: Samuel Gomes da Silva <sam...@ufba.br> Enviadas: Sat, 14 Oct 2017 14:21:37 -

[Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da CAPES.

2017-10-14 Por tôpico Samuel Gomes da Silva
Prezados, Eu ainda não havia ouvido falar sobre isto, mas fui alertado por colegas de que existe uma nova regulamentação sobre bolsas no Exterior da CAPES. http://www.capes.gov.br/sala-de-imprensa/noticias/8585-publicado-novo-regulamento-para-bolsas-no-exterior Algumas mudanças são

[Logica-l] Workshop da Sociedade Brasileira de Lógica - UFBA, Salvador, 24 de Outubro de 2017

2017-09-15 Por tôpico Samuel Gomes da Silva
Caros, Já temos a programação do Workshop da Sociedade Brasileira de Lógica na UFBA, em Salvador, no dia 24 de Outubro próximo, às 14hs: https://docs.google.com/document/d/1dddzEtiASXHNUkYBgPWuOCb_mxT0ErFH4h940bNVOso Faltam ainda alguns resumos, assim que eu os tiver atualizarei esse

[Logica-l] Eventos relacionados à Lógica em Salvador em Outubro (incluindo Workshop da SBL)

2017-08-04 Por tôpico Samuel Gomes da Silva
Caros, Escrevo para fazer propaganda de vários eventos de interesse para a Lógica que ocorrerão na semana de 23 a 26 de Outubro próximo, aqui em Salvador, Bahia. Os dois maiores desses eventos são organizados pelo meu colega aqui da UFBA, da Faculdade de Filosofia, o Abel Lassale Casanave.

[Logica-l] Fwd: [lidergp-l] Edital nacional de fomento à ciência.

2017-07-19 Por tôpico Samuel Gomes da Silva
Prezados, Repassando informação que acabei de receber de minha Pró-Reitoria. O Instituto Serrapilheira é da família Salles. João Moreira Salles (cineasta, documentarista) se aproximou bastante do IMPA nos últimos anos devido às inúmeras reportagens sobre o Artur Ávila (medalha Fields 2014)

[Logica-l] Ponto de encontro informal na segunda de manhã em BSB - Em frente à Casa do Pão de Queijo

2017-05-06 Por tôpico Samuel Gomes da Silva
Caros, Dei uma sugestão informal ao Wagner e ele aceitou, Então eu sugiro que quem desembarque em Brasília na segunda pela manhã (desembarque doméstico), logo na saída do desembarque, olhe para direita e identifique uma Casa do Pão de Queijo, Eu estarei logo em frente (tem umas cadeiras em

[Logica-l] 1o. Encontro USP-UFBA de Lógica e Fundamentos

2017-04-13 Por tôpico Samuel Gomes da Silva
e organizador: Lucia Renato Junqueira (IME-USP) Samuel Gomes da Silva (IME-UFBA) Hugo Luiz Mariano (IME-USP) -- 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-

[Logica-l] UFBA abre edital para contratação de professores visitantes

2017-03-30 Por tôpico Samuel Gomes da Silva
Prezados, Segue nota oficial sobre edital para visitantes na UFBA, versão em inglês disponível no final do texto. https://www.ufba.br/noticias/ufba-lan%C3%A7a-edital-para-contrata%C3%A7%C3%A3o-de-at%C3%A9-70-professores-visitantes Isso é novidade absoluta então não temos informações

[Logica-l] Ultrafiltros apresentados a partir de limites

2017-01-30 Por tôpico Samuel Gomes da Silva
Prezados, As notas de aula do curso que Vladimir Pestov ministrou aqui na Semana Temática de Lógica da UFBA estão disponíveis em: https://www.sites.google.com/site/veraopgmatufba/semanas-tematicas/logica (Clicar em: Aula 1 Pestov, etc.) A idéia é apresentar os ultrafiltros sobre os

[Logica-l] Minicurso sobre Ultrafiltros (UFBA) - 22, 23, 24 de Novembro

2016-11-18 Por tôpico Samuel Gomes da Silva
Caros, Vou ministrar um minicurso sobre ultrafiltros na UFBA, na semana que vem (terça, quarta e quinta pela tarde), dentro das atividades do 4o. Encontro de Pós-Graduação em Matemática. Título: Uma Miscelânea de Aplicações de Ultrafiltros em Matemática Horários e resumo: Nos links