Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
não seria simplesmente da comissão organizadora, mas sim da SBL que é quem promove o evento ! Enfim, vejamos como segue a situação. Obrigado, []s Samuel Em domingo, 19 de setembro de 2021 às 17:54:56 UTC-4, jmstern escreveu: > Caro Samuel: > Espero que este email encontre voce e os s

[Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
... E o site já está no ar: http://ebl2021.ufba.br/ Em domingo, 19 de setembro de 2021 às 16:50:30 UTC-4, samuel escreveu: > Caros, > > A esta altura a grande maioria de vocês já foi informada disso pelo > Boletim da SBL, que foi > enviada a todos os associados, > > Mas

[Logica-l] XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
. Até lá é esperar que a vacinação prossiga e que consigamos todos sair dessa pandemia. Abraços, []s Samuel -- 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

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: "

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

2021-08-25 Por tôpico samuel
rma os tais arenques vermelhos. Atés []s Samuel Em quarta-feira, 25 de agosto de 2021 às 13:16:52 UTC-4, Joao Marcos escreveu: > De onde vêm os termos matemáticos? > Matemáticos adoram pegar palavras comuns e usá-las para seus próprios fins > > https://www1.folha.uol.com.br/colunas/

[Logica-l] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021

2021-08-18 Por tôpico samuel
Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA) Hugo L. Mariano (IME-USP, São Paulo, BRA) Ciro Russo (UFBA, Salvador de Bahia, BRA) Samuel G. da Silva (UFBA, Salvador de Bahia, BRA) Andrés Villaveces (UNAL, Bogotá, COL) Pedro H. Zambrano (UNAL, Bogotá, COL) Partners: Sociedad Col

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

2021-08-04 Por tôpico samuel
... E, nesse mesmo Edital onde aparece essa vaga na Matemática, tem uma vaga para Lógica no Departamento de Filosofia ! Obrigado ao Thiago Nascimento da UFRN que me chamou a atenção para isso. Então, tem ainda mais essa oportunidade aqui na UFBA na área de Lógica. Atés []s Samuel Em quarta

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

2021-08-04 Por tôpico samuel
Oi gente, Talvez eu não tenha sido claro na mensagem anterior, mas pra que não restem dúvidas, o concurso é uma vaga geral para matemática, não é um concurso específico pra lógica - o que eu quis chamar a atenção é que lógicos podem concorrer, com as titulações que descrevi. Atés []s Samuel

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

2021-08-04 Por tôpico Samuel Gomes da Silva
geiros que foram capazes de ler este email podem concorrer, sempre tem alguma complicação burocrática mas a gente ajuda, eu mesmo me comprometo a ajudar, nesse caso escrevam em separado para mim. Obrigado, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo &quo

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

2021-05-27 Por tôpico Samuel Gomes da Silva
Doutorado - inscrições até 13/06/21 Abraços, []s Samuel -- 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. Para v

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

2021-04-08 Por tôpico samuel
Bedregal estava na banca do concurso que fiz para entrar na UFBA, em 2005. Possivelmente o matemático mais simpático do país, uma pessoa extremamente agradável. Muito triste com a notícia. Meus sentimentos aos amigos e família. []s Samuel Em quinta-feira, 8 de abril de 2021 às 08:55:33 UTC

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

2021-03-05 Por tôpico samuel
s de X, ela nao tem inversa à direita" Só que a implicacao "não ter inversa à direita" --> "não é sobrejetora" é equivalente a "a função é sobrejetora" > "tem inversa à direita" e esta última é uma equivalência do Axioma da Escolha Go

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

2021-03-04 Por tôpico samuel
asos ("uso do Terceiro Excluído", concordo...) Se x pertence a f(x), entao x não pertence a Y. Se x não pertence a f(x), entao x pertence a Y. Logo, para todo x, eu uso ele mesmo para mostrar que f(x) e Y são diferentes (de um jeito ou de outro, conforme o caso). Atés, []s Samuel

[Logica-l] Lógica Matemática no Congresso Virtual da UFBA 2021

2021-02-23 Por tôpico samuel
convidado Peter Arndt (Universidade de Dusseldorf). Abraços, []s Samuel -- 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...

[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

[Logica-l] Bolsas de mestrado e doutorado em Paris (Matemática).

2020-12-08 Por tôpico samuel
Caros, Apenas repassando, não tenho informações específicas da chamada. Abraços, []s Samuel __ Email PhD Cofund MathInParis2020 __ Dear colleagues, The international Doctoral Training in Mathematical Sciences

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" , "

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

2020-12-04 Por tôpico samuel
Caros, Parabéns à Valeria e à Elaine, por nos representarem na seleta lista de embaixadores... Abraços, []s Samuel Em sexta-feira, 4 de dezembro de 2020 às 14:41:45 UTC-4, Joao Marcos escreveu: > Mais sobre o World Logic Day 2021, com declarações de seus atuais > embaixadores: &

[Logica-l] Re: ASL

2020-11-30 Por tôpico samuel
ue faz com que a renovação seja de 18 dólares ainda para 2021. Eu acho que vale a pena para receber as revistas (JSL, RSL, BSL), ter acesso online, etc. Atés []s Samuel Em domingo, 29 de novembro de 2020 às 18:37:49 UTC-4, valeria.depaiva escreveu: > oi gente, > a ASL ta' mandan

[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
Olá Marcio, Estive ontem de noite acompanhando a movimentação no Twitter e MathOverFlow sobre o paper, A crítica principal é que a teoria Flow não teria sido mostrada consistente, Qual é a posição dos autores sobre isso ? Até mais, []s Samuel - Mensagem original - De: Valeria de

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
. Se existe a intenção de que a teoria Flow se meta em Categorias, inacessíveis são até bem vindos, acho. Atés []s Samuel - Mensagem original - De: "Valeria de Paiva" Para: "samuel" Cc: "LOGICA-L" , "marciopalmares" , "Adonai S. Sant'An

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
/jigpal/jzaa023/5875437?redirectedFrom=fulltext Atés []s Samuel Em sexta-feira, 9 de outubro de 2020 às 18:19:17 UTC-4, samuel escreveu: > ... Foi pelo blog do Karagila que há alguns anos atrás eu fiquei sabendo > do Princípio da Partição, > > Se ele está acompanhando a coisa, tr

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
... Foi pelo blog do Karagila que há alguns anos atrás eu fiquei sabendo do Princípio da Partição, Se ele está acompanhando a coisa, trata-se de um especialista no assunto, muito bem ! Atés []s Samuel Em sexta-feira, 9 de outubro de 2020 às 17:43:11 UTC-4, marciopalmares escreveu: >

[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
anos em aberto). Atés e parabéns pelo trabalho, []s Samuel Em sexta-feira, 9 de outubro de 2020 às 08:29:14 UTC-4, marciopalmares escreveu: > Olá, pessoal! > > Estamos divulgando nosso trabalho sobre a teoria Flow, uma teoria geral > sobre funções, cujo propósito inicial era

[Logica-l] Repassando nota da SBL sobre o adiamento do EBL

2020-08-22 Por tôpico 'Samuel Gomes' via LOGICA-L
... Repassando... --- Prezados associados, Recentemente realizamos uma consulta a vocês associados sobre o próximo EBL, cuja realização estava prevista para ocorrer entre os dias 26 e 30 de Abril de 2021, em Salvador/BA.

[Logica-l] Live de Gisele Secco - Falácias e vida cotidiana (hoje, 21/08, às 18hs)

2020-08-21 Por tôpico 'Samuel Gomes' via LOGICA-L
Caros, A nossa colega Gisele Secco vai participar de uma live hoje, 21/08, às 18hs, no Instagram da Marcia Tiburi (@marciatiburi), com o tema Falácias e vida cotidiana. Espero que todos possamos prestigiar ! Abraços, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu

[Logica-l] Re: Semana Temática de Lógica da UFBA 2020 - Chamada para Auxílio SBL a estudantes

2020-02-04 Por tôpico 'Samuel Gomes' via LOGICA-L
Caros, Escrevo só para lembrar que o prazo para que estudantes solicitem auxílio para participação na Semana Temática de Lógica da UFBA se encerra na próxima sexta-feira, dia 07. Todas as informações estão na mensagem anterior (de 23 de Dezembro). Abraços, []s Samuel On Monday, December 23

[Logica-l] O Guinness assume a Hipótese do Contínuo (e o Axioma da Escolha)

2019-12-24 Por tôpico 'Samuel Gomes' via LOGICA-L
! Isso é equivalente, em ZF, a possuir um subconjunto infinito enumeravel (= ser comparável com aleph_0, com aleph_0 por baixo, nos termos do comentário do post no site do Guiness). ... Feliz Natal a todos, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOG

[Logica-l] Palestras de Lógica na UFBA, nas próximas duas semanas.

2019-11-04 Por tôpico 'Samuel Gomes' via LOGICA-L
://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/7pa_hercules_araujo.pdf Quarta, 06/11, 10h40 Palestrante: Samuel G. da Silva (UFBA) Título: Reductions between certain incidence problems and the Continuum Hypothesis Resumo em: https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files

[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
questões de Álgebra Linear e com 4h de duração, será realizada em 29/11/2019. Peço, por gentileza, que divulguem entre os interessados. Atenciosamente, []s Samuel G. da Silva (em nome da Comissão de Seleção) -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L

[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo

2019-10-09 Por tôpico 'Samuel Gomes' via LOGICA-L
contexto no qual conseguiram a consistência de PD tem-se no modelo que o contínuo é aleph_2) []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquin

[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo

2019-10-09 Por tôpico 'Samuel Gomes' via LOGICA-L
Olá, De nada, Claro que pode, Até, []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html > > > > > --

[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo

2019-10-09 Por tôpico 'Samuel Gomes' via LOGICA-L
Oi, Eu dei a entender mas não escrevi, no tal V = Ultimate L a Hipótese do Contínuo seria verdadeira. []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/

[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo

2019-10-09 Por tôpico 'Samuel Gomes' via LOGICA-L
oável que decide o contínuo como sendo aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada. ... Como em toda boa aula, espero que vocês saiam do meu texto com mais perguntas do que tinham antes, mas para boa parte delas muito possivelmente eu não sei

[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
-1/events Observar que no mesmo endereço também estão disponibilizados os slides --> da sessão de Lógica Matemática do joint meeting Brasil Espanha 2015; e --> da sessão de Lógica Matemática do joint meeting Brasil Itália 2016. Atés, []s Samuel -- Você está recebendo esta mensagem

[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
://impa.br/wp-content/uploads/2019/07/BR-FR_Program.pdf Quem estiver pela regiao está convidado ! Obrigado, []s Samuel -- 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, e

[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
a todos, []s Samuel -- 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. Para postar neste grupo, envie um e

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

2019-03-28 Por tôpico 'Samuel Gomes' via LOGICA-L
buscar. ... Boa sorte aos concursantes de Lógica, []s Samuel On Thursday, March 21, 2019 at 6:46:43 PM UTC+1, Samuel Gomes da Silva wrote: > > Caros, > > Foi publicado ontem, 20 de Março, Edital da Universidade Federal > Fluminense, e o Departamento de Análise (GAN) do Institu

[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
/do3-2019-03-20-edital-n-107-2019-concurso-publico-de-provas-e-titulos-para-ingresso-na-carreira-do-magisterio-superior-67774750 Ou pela página de concursos da UFF: https://app.uff.br/cpd/ Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L

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

2019-03-19 Por tôpico Samuel Gomes da Silva
março. Os estudantes contemplados serao notificados em 07 de abril. Os estudantes devem ter uma comunicacao aceita no EBL e serem associados à SBL para fazerem o pedido de apoio. Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos

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

2019-03-12 Por tôpico Samuel Gomes da Silva
t; de pagamento da taxa até 25 de março. Valores, detalhes, procedimentos e formulários pra se preencher estao no link: https://ebl2019.ci.ufpb.br/blog/registration Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Goog

[Logica-l] Re: Critério de Identidade na Matemática

2019-02-21 Por tôpico 'Samuel Gomes' via LOGICA-L
Olás, Aqui é o Samuel de verdade, nao o personagem da mensagem do Daniel 8-). Respondendo mais à sua mensagem mesmo Daniel, a questao me parece mais de definibilidade do que de identidade. A estrutura que você apresenta, pela tal categoricidade que vem do teorema do vaivém que JM lembrou (o

[Logica-l] [OFF] Edital CAPES (Professor Visitante no Exterior)

2019-02-05 Por tôpico 'Samuel Gomes' via LOGICA-L
Prezados, Edital lançado ontem. Lembrando que nao existe mais a bolsa CAPES pós-doc para quem já tiver afiliaçao. http://www.capes.gov.br/sala-de-imprensa/noticias/9332-programa-professor-visitante-no-exterior-oferece-150-bolsas Atés, []s Samuel -- Você está recebendo esta mensagem porque

[Logica-l] Re: AI & CH

2019-01-15 Por tôpico 'Samuel Gomes' via LOGICA-L
sobre PD e o contexto todo no qual o continuo é mandado para aleph_2 podem ser vistos nestes dois artigos escritos para o Notices AMS. Os trabalhos dele sobre V = ultimate L sao mais recentes e tem várias apresentacoes dele em congresso disponìveis na Internet... https://www.ams.org/notices/200106/f

[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] Re: Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas

2018-11-07 Por tôpico 'Samuel Gomes' via LOGICA-L
Olás, --> JM obrigado pela referência; --> João Nunes de Souza e demais que não tenham meu email, o mesmo pode ser encontrado colocando no Google "docentes dmat ufba", aí logo no primeiro link vem a lista completa de todos os docentes do meu departamento. Atés, []s Samu

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

2018-11-06 Por tôpico 'Samuel Gomes' via LOGICA-L
Oi Daniel, Video não, mas quem quiser os slides, me escreve que eu mando... Abraço, []s Samuel On Tuesday, November 6, 2018 at 6:23:25 PM UTC-2, Durante wrote: > > Que bacana, Samuel! Vocês vão fazer um vídeo? Adoraria assisti-lo! > > Saudações, > Daniel. > - > Depa

[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
xatamente as coleções que são *ilimitadas* no universo dado pela hierarquia cumulativa; de fato, se uma determinada classe "cabe" como subclasse de um nível V_alpha, basta aplicar o Axioma da Separação nesse V_alpha e voilá, a classe se torna conjunto. ... Atés, []s Samuel

[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] Re: II Workshop da Sociedade Brasileira de Lógica - Fortaleza/CE, 28 de Setembro de 2018, 14hs

2018-09-19 Por tôpico 'Samuel Gomes' via LOGICA-L
Pereira (PUC-Rio e UERJ) (keynote speaker) 16h10-16h30 Coffee break 16h30-16h55 Carlos Brito (UFC) 17h00-17h25 Marcos Silva (UFAL) 17h30-17h55 Samuel G. da Silva (UFBA e SBL) 18h00-18h40 Yiannis Moschovakis (UCLA e Univ.Athens) (keynote speaker) http://sbl.org.br/pmwiki.php/Events

[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] "The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation"

2018-08-20 Por tôpico 'Samuel Gomes' via LOGICA-L
... Sensacional Alfredo, Espero que você possa apresentar seus resultados aqui em Salvador quando possível ! Estamos todos muito felizes com o seu trabalho. Até mais, []s Samuel On Monday, August 20, 2018 at 2:46:58 PM UTC-3, Alfredo Roque Freire wrote: > > Obrigado, professores. Si

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
... Obrigado Carlos ! Vou dar uma olhada, sim, e acho que mais gente vai ter oportunidade também. Até, []s Samuel - Mensagem original - De: "Carlos Gonzalez" <gonza...@gmail.com> Para: "Lista acadêmica brasileira dos profissionais e estudantes da área

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

2018-05-11 Por tôpico 'Samuel Gomes' via LOGICA-L
... Perfeito Rodrigo, Agora estou me lembrando que vi esse tipo de exemplos em palestras suas. Obrigado! Até, []s Samuel -- 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] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

2018-05-11 Por tôpico 'Samuel Gomes' via LOGICA-L
ivo, não ? 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, > apresentarei

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
teorema de Baire numa recursão pura e simples) - Mensagem original - De: "Valeria de Paiva" <valeria.depa...@gmail.com> Para: "Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA" <logica-l@dimap.ufrn.br> Cc: "Samuel" &l

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
talvez te interesse !) Até, []s Samuel - Mensagem original - De: "Valeria de Paiva" <valeria.depa...@gmail.com> Para: "Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA" <logica-l@dimap.ufrn.br> Cc: "Samuel" <

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
eralização do Teorema de Baire" e os matemáticos establishment entendem; a coisa toda vai suave. (O Axioma de Martin vai nesse bolo também) Atés, []s Samuel - Mensagem original - De: "Valeria de Paiva" <valeria.depa...@gmail.com> Para: "Lista acadêmica b

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
r que o ambiente certo para se trabalhar é V = L... Em resumo, todos os caminhos a seguir têm lá os seus percalços. Atés, []s Samuel PS: Caso não tenha ficado claro, o meu "o axioma da escolha não tem culpa de nada" faz parte de um grande "nenhum axioma tem culpa de nada" - min

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

2018-05-10 Por tôpico 'Samuel Gomes' via LOGICA-L
com os monstros que vêm junto com o Axioma da Escolha ou com os monstros 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/C

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
;Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA" <logica-l@dimap.ufrn.br> Cc: "Samuel" <sam...@ufba.br> Enviadas: Quinta-feira, 10 de maio de 2018 18:30:48 Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra) oi Samuel

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
teremos problema ao lidar com a idéia de infinito, por outro lado que matemática faríamos sem o infinito ? Na verdade essa minha última pergunta é o ponto, talvez. Atés, []s Samuel - Mensagem original - De: "Valeria de Paiva" <valeria.depa...@gmail.com> Para: "Lista

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

2018-05-10 Por tôpico 'Samuel Gomes' via LOGICA-L
... Anotada a sugestão ! 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,

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

2018-05-10 Por tôpico Samuel Gomes da Silva
, às 16hs, Sala 132 do Bloco A. Atés, []s Samuel Título: Sobre partições impressionantes e anti-intuitivas (ou: o Axioma da Escolha não tem culpa de nada) Resumo: Uma das consequências mais anti-intuitivas do Axioma da Escolha

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

2018-04-30 Por tôpico Samuel Gomes da Silva
-seletivo Lembrando que já é possível realizar o doutoramento na área de Lógica Matemática. Abraços, []s Samuel PS: Aproveito a oportunidade para dizer que a inscrição de candidatos estrangeiros tem algumas armadilhas

[Logica-l] Re: Resultado submissões ICM 2018 - Short communications/posters

2018-04-03 Por tôpico 'Samuel Gomes' via LOGICA-L
... 450 dólares mais 100 para acompanhante, é salgado mesmo !!! Até, []s Samuel On Tuesday, April 3, 2018 at 10:09:19 AM UTC-3, Samuel Gomes da Silva wrote: > > Prezados, > > Saiu o resultado das submissões para o ICM 2018 - Short > communications/posters > > http://www.

[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] Re: Concurso para o Departamento de Matemática da UFBA - 01 vaga

2018-03-15 Por tôpico 'Samuel Gomes' via LOGICA-L
/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf <http://www.concursos.ufba.br/docentes/2018/editais/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf> (Portuguese - check pages 19 and 26). For additional information, do not hesitate to contact Samuel G. da Silva (samuel at ufba.br) On Friday, March 16, 2018 at 1:43:56 AM

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

2018-03-15 Por tôpico 'Samuel Gomes' via LOGICA-L
.br/docentes/2018/editais/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf> (Portuguese - check pages 19 and 26). For additional information, do not hesitate to contact Samuel G. da Silva (samuel at ufba.br) On Friday, March 16, 2018 at 1:43:56 AM UTC-3, Samuel Gomes da Silva

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

2018-03-15 Por tôpico 'Samuel Gomes' via LOGICA-L
... Tem essa informação na página 19 do arquivo, mas só pra constar, inscrições entre hoje 16/03 e as 12h do dia 14/05/2018. Atés, []s Samuel PS: Claro que com algumas horas a mais de estudo, até quem fez tudo em Filosofia pode fazer este concurso. O título de doutorado em filosofia é

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

2018-03-15 Por tôpico Samuel Gomes da Silva
em em contato comigo para instruções sobre a infame burocracia brasileira). Abraços, []s Samuel -- 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

[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

2018-03-05 Por tôpico 'Samuel Gomes' via LOGICA-L
har). Até []s Samuel -- 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. Para postar neste grupo, envie um

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] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)

2018-02-22 Por tôpico 'Samuel Gomes' via LOGICA-L
Caros, desculpem a duplicidade, não tinha visto que o Bruno já tinha postado. On Thursday, February 22, 2018 at 2:25:25 PM UTC-3, Samuel Gomes da Silva wrote: > > > > Conference on Mathematical Logic > (Satellite Confer

[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] evolving enactivism

2018-02-17 Por tôpico Samuel Fernando
Embodied Cognition? -- 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. Para postar neste grupo, envie um e-mail para

[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
lares para acompanhante) pode ser feito após o resultado (previsto para 28 de março), com esses valores aí até 27 de abril (depois vai aumentar...). Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para c

[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] Re: Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

2017-12-08 Por tôpico 'Samuel Gomes' via LOGICA-L
... desculpem pela palavra "Rascunho" no título do post, está aí por esquecimento de deletar. On Tuesday, December 5, 2017 at 9:26:58 AM UTC-3, Samuel Gomes da Silva wrote: > > Caros, > > Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo >

[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
resumo está com a data de 07 de dezembro, a apresentação será mesmo em 06 de dezembro, conforme acima) Abraços a todos, espero ter a oportunidade de apresentar essa palestra mais vezes, Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L

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

2017-10-28 Por tôpico 'Samuel Gomes' via LOGICA-L
... Caros todos, Obrigado, seguiremos nossa luta diária por aqui. Abraço, []s Samuel PS: Acredito que na Colômbia, juntando as duas universidades (UNAL e Uniandes), temos um grupo de Lógica com mais do que oito participantes... On Friday, October 27, 2017 at 4:16:19 PM UTC-3, Samuel Gomes

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

2017-10-27 Por tôpico Samuel Gomes da Silva
s por mais espaço para a Lógica Matemática aqui na UFBA. Até mais, []s Samuel -- 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+unsub

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
eiras). Bem, essa restrição da bolsa de pós-doutorado (somente para os pesquisadores sem vínculo empregatício) tem grande impacto, creio, nos jovens recém-contratados por universidades públicas (e são muitos) que desejavam realizar seu primeiro pós-doc nos próximos anos. Tempos duros. Até mais

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

2017-10-11 Por tôpico 'Samuel Gomes' via LOGICA-L
resumos. Abraços, []s Samuel On Friday, September 15, 2017 at 12:02:03 PM UTC-3, Samuel Gomes da Silva wrote: > > 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: > > >

[Logica-l] Re: mais sobre p=t no blog do Tim Gowers

2017-09-25 Por tôpico 'Samuel Gomes' via LOGICA-L
... O interessante aí é ver um matemático do calibre do Gowers olhando um problema clássico pela primeira vez. []s Samuel On Wednesday, September 20, 2017 at 12:45:29 PM UTC-3, valeria.depaiva wrote: > > Especialmente pro Samuel, caso nao tenha visto ainda... >

Re: [Logica-l] A Hipótese do Contínuo continua em pé!

2017-09-19 Por tôpico 'Samuel Gomes' via LOGICA-L
roceedings EBL). Também tem o efeito "a pessoa é para o que nasce": o objetivo do van Douwen quando fez o diagrama dele era destacar os cardinais que aparecem muito em Topologia, já o diagrama do Cichon tem mais cara de Análise Real. Até, []s Samuel On Tuesday, September 19, 2017

Re: [Logica-l] A Hipótese do Contínuo continua em pé!

2017-09-17 Por tôpico 'Samuel Gomes' via LOGICA-L
-emocionado, hehe: https://zbmath.org/?q=an:06321199 ... É isso, atés, Saludos desde Natal (minicurso sobre ultrafiltros na UFRN nesta semana) !!! Escrevi este email com vista ao Morro do Careca... []s Samuel On Sunday, September 17, 2017 at 9:38:39 AM UTC-3, Samuel Gomes wrote: > > Olás

Re: [Logica-l] A Hipótese do Contínuo continua em pé!

2017-09-17 Por tôpico 'Samuel Gomes' via LOGICA-L
Olás, Depois eu conto um pouco sobre p e t, no momento estou no celular e não posso escrever muito. Só como informação a Malliaris (coautora de Shelah no trabalho) vai estar no Rio ano que vem, como palestrante no Painel de Lógica do Encontro Mundial de Matemáticos. Atés []s Samuel

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

2017-09-15 Por tôpico 'Samuel Gomes' via LOGICA-L
Olás, Segue link do evento na nova página da SBL: http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2017 Atés, []s Samuel On Friday, September 15, 2017 at 12:02:03 PM UTC-3, Samuel Gomes da Silva wrote: > > Caros, > > > Já temos a programação do Workshop da Sociedade Brasilei

[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
$20Outubro/logica-l/rgV_iTDVfZ4/-iFdfXDPAAAJ Notem que o prazo para o pagamento das inscrições dos eventos organizados por Abel Lassalle (Conesul e APMP) se encerra no final deste mês de Setembro ! Abraços a todos, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no gru

[Logica-l] Re: Material didático sobre TC

2017-08-24 Por tôpico 'Samuel Gomes' via LOGICA-L
echão" mesmo (Thomas Jech - Set Theory the Millenium Edition) são referências muito boas. Esse Millenium Edition é uma enciclopédia de teoria dos conjuntos, tem praticamente tudo lá. Até, abraço, []s Samuel On Thursday, August 24, 2017 at 7:01:01 AM UTC-3, Mario Benevides wrote: > >

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

2017-08-04 Por tôpico Samuel Gomes da Silva
ubro. Quem quiser mais informações sobre o Workshop, podem me escrever (off-list). Abraços, []s Samuel -- 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

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

2017-07-19 Por tôpico Samuel Gomes da Silva
) que saíram na Revista Piauí. O Edital pode ser obtido na página do tal Instituto Serrapilheira. Atés, []s Samuel - Mensagem original - De: "PRO-REITORIA DE PESQUISA E CRIAÇÃO E INOVACÃO" <pro...@ufba.br> Para: "lidergp-l" <liderg...@listas.ufba.br>

Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

2017-06-17 Por tôpico 'Samuel Gomes' via LOGICA-L
Oi gente, Obrigado Finger e Doria, Em breve os demais artigos do Proceedings do Ebl 2014 já devem estar todos disponíveis também ! Agradecimentos agora a Petrucio, Hermann e Walter ! Atés, []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" d

<    1   2   3   4   >