Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
Oi Julio, Por enquanto a idéia é fazer presencialmente (que é o que as consultas todas à comunidade dão como a resposta aos anseios da comunidade), Mas claro que dependendo da evolução das condições sanitárias sua sugestão pode ser considerada. Observo, porém, que uma decisão dessa magnitude 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 seus em paz e boa saude. > > Alguns de nos nao poderemos estar em Salvador pessoalmente, devido a > restricoes medicas (idade, comorbidades) associadas aa pandemia Covid19. > Assim, eu peco que a organizacao do EBL2022 considre a possibilidade de um > EBL hybrido, que permitita a aprticipacao virtual de pessoas nestas > condicoes. > Acho que a tendencia internacional eh acomodar este tipo de participacao. > > Ha varios formatos hybridos alternativos, que demandam distintos meios e > metodos tecnologicos. > > Alguns formatos hybridos demandam alta tecnologia, ex: (participacao > presencial + participacao simultanea vitrual e interativa com audio e > video. > > Outros formatos hybridos podem ser viabilizados com recursos muito > simples e modestos, ex: Broadcasting das conferencias (presenciais ou > previamente gravadas) + perguntas presenciais ou virtuais via chat com um > moderador. > > Desculpe o incomodo, mas creio que o pleito eh justo e benefico a todos. > Ademais, mesmo os jovens e saudaveis poderao se beneficiar deste formato > hybrido, no caso de faltar-lhes recursos financeiros (um problema que > costuma afligir os mais jovens com mais gravidade). > > Grato e tudo de bom, > ---Julio Stern > > > -- > *From:* 'samuel' via LOGICA-L > *Sent:* Sunday, September 19, 2021 9:19 PM > *To:* LOGICA-L > *Cc:* samuel > *Subject:* [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia > > ... 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, pra quem não esteja associado no momento, a confirmação: o próximo > EBL vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de > Setembro de 2022. > > Até lá é esperar que a vacinação prossiga e que consigamos todos sair > dessa pandemia. > > Abraços, > > []s Samuel > > -- > Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br?utm_medium=email_source=footer> > . > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/119e14f6-3f14-42d5-9aa9-f5dbc8f53baan%40dimap.ufrn.br.
[Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
... 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, pra quem não esteja associado no momento, a confirmação: o próximo > EBL vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de > Setembro de 2022. > > 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 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/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br.
[Logica-l] XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
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, pra quem não esteja associado no momento, a confirmação: o próximo EBL vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de Setembro de 2022. 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 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/030bb5b8-8d89-4df3-9d17-8dadac68248an%40dimap.ufrn.br.
Re: [Logica-l] Re: da origem dos termos matemáticos
... 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: "samuel" Cc: "LOGICA-L" , "Joao Marcos" Enviadas: Quarta-feira, 25 de agosto de 2021 19:10:56 Assunto: Re: [Logica-l] Re: da origem dos termos matemáticos Eu uso, no livro de Pensamento Crítico, "cortina de fumaça " no lugar de "arenque vermelho ". A origem do nome vem de que o arenque é mal cheiroso, e distrai os cachorros de trenó... Nada a ver com nada, para nós. Abs Walter Em qua., 25 de ago. de 2021 19:58, samuel < sam...@ufba.br > escreveu: Caros, Não tem a haver com o que o Marcelo Viana conta no artigo dele, Mas só pra compartilhar algo que eu acho muito divertido sobre nomes de objetos matemáticos, Tem esse princípio que eu estou traduzindo como Princípio do Arenque Vermelho (!!!) https://ncatlab.org/nlab/show/red+herring+principle que trata dessas situações divertidíssimas (eu acho pelo menos...) nas quais um arenque vermelho não precisa ser nem um arenque nem ser vermelho (o exemplo padrão que sempre aparece é que, se aplicarmos a definição à risca, "uma variedade com bordo não é uma variedade", só que com isso acabam criando uma expressão do tipo "variedade sem bordo", só que aí no final todas as variedades na verdade são sem bordo, fica uma confusão danada...). Recentemente no twitter eu fiz uns posts sobre isso, motivado por um projeto que envolve uma espécie de "classificação dos termos matemáticos" que a Valeria está envolvida (ela obviamente pode explicar exatamente o que é o projeto dela, Valeria levantei a bola pra você falar do seu projeto aqui, hehe !), e eu acharia muito interessante que alguém encontrasse algum padrão que explicasse de alguma forma 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/marceloviana/2021/08/de-onde-vem-os-termos-matematicos.shtml JM -- Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ea2b6209-f72c-40bf-b3c3-c47a4cb44e89n%40dimap.ufrn.br . -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1897596107.80973853.1629933950546.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: da origem dos termos matemáticos
Caros, Não tem a haver com o que o Marcelo Viana conta no artigo dele, Mas só pra compartilhar algo que eu acho muito divertido sobre nomes de objetos matemáticos, Tem esse princípio que eu estou traduzindo como Princípio do Arenque Vermelho (!!!) https://ncatlab.org/nlab/show/red+herring+principle que trata dessas situações divertidíssimas (eu acho pelo menos...) nas quais um arenque vermelho não precisa ser nem um arenque nem ser vermelho (o exemplo padrão que sempre aparece é que, se aplicarmos a definição à risca, "uma variedade com bordo não é uma variedade", só que com isso acabam criando uma expressão do tipo "variedade sem bordo", só que aí no final todas as variedades na verdade são sem bordo, fica uma confusão danada...). Recentemente no twitter eu fiz uns posts sobre isso, motivado por um projeto que envolve uma espécie de "classificação dos termos matemáticos" que a Valeria está envolvida (ela obviamente pode explicar exatamente o que é o projeto dela, Valeria levantei a bola pra você falar do seu projeto aqui, hehe !), e eu acharia muito interessante que alguém encontrasse algum padrão que explicasse de alguma forma 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/marceloviana/2021/08/de-onde-vem-os-termos-matematicos.shtml > > > JM > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ea2b6209-f72c-40bf-b3c3-c47a4cb44e89n%40dimap.ufrn.br.
[Logica-l] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica). With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come! We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond. Confirmed Plenary Speakers: * Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco (UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia (IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS, Bucaramanga, COL) Confirmed Invited Speakers: Rodrigo Freire (UnB, Brasília, BRA) João Marcos (UFRN, Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: Elaine Pimentel (UFRN, Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related go Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics: ·Categorial and Algebraic Logic ·General Logic ·Model Theory ·Non-classical Logics ·Proof Theory ·Set Theory Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation). The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages). The LaTeX template for submissions (for both talks and posters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, including references. After producing your .pdf file, you will be asked to upload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September 24, 2021 Accepted talks and posters will be announced on October 22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and Organizing Committee: 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 Colombiana de Matemáticas Sociedade Brasileira de Lógica -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6779b302-ce87-4475-a4ae-95be9bd4e424n%40dimap.ufrn.br.
[Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga
... 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-feira, 4 de agosto de 2021 às 19:24:22 UTC-4, samuel escreveu: > 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 > > > > > > Em quarta-feira, 4 de agosto de 2021 às 17:56:47 UTC-4, samuel escreveu: > >> 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 Filosofia(Lógica Matemática), este último parênteses >> significa que um candidato que tenha Doutorado em Filosofia mas cuja tese >> seja em Lógica Matemática terá sua inscrição homologada >> pela Congregação e poderá concorrer. >> >> Os pontos da prova escrita e didática (ver Edital) correspondem a >> conteúdos usuais de um Mestrado em Matemática, mas nada impede >> que alguém estude os pontos e faça o concurso. Imagina-se que os >> candidatos com um perfil de "graduação em Matemática" >> teriam mais facilidade para estudar esses conteúdos, mas o concurso *não* >> pede graduação em Matemática. >> >> Candidatos estrangeiros 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 "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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d829a05b-9019-40e2-9409-1a8daf1cec68n%40dimap.ufrn.br.
[Logica-l] Re: Concurso no Departamento de Matemática da UFBA - 01 vaga
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 Em quarta-feira, 4 de agosto de 2021 às 17:56:47 UTC-4, samuel escreveu: > 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 Filosofia(Lógica Matemática), este último parênteses > significa que um candidato que tenha Doutorado em Filosofia mas cuja tese > seja em Lógica Matemática terá sua inscrição homologada > pela Congregação e poderá concorrer. > > Os pontos da prova escrita e didática (ver Edital) correspondem a > conteúdos usuais de um Mestrado em Matemática, mas nada impede > que alguém estude os pontos e faça o concurso. Imagina-se que os > candidatos com um perfil de "graduação em Matemática" > teriam mais facilidade para estudar esses conteúdos, mas o concurso *não* > pede graduação em Matemática. > > Candidatos estrangeiros 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 "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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/01504f7e-5e68-4186-83c8-3b719fa81227n%40dimap.ufrn.br.
[Logica-l] Concurso no Departamento de Matemática da UFBA - 01 vaga
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 Filosofia(Lógica Matemática), este último parênteses significa que um candidato que tenha Doutorado em Filosofia mas cuja tese seja em Lógica Matemática terá sua inscrição homologada pela Congregação e poderá concorrer. Os pontos da prova escrita e didática (ver Edital) correspondem a conteúdos usuais de um Mestrado em Matemática, mas nada impede que alguém estude os pontos e faça o concurso. Imagina-se que os candidatos com um perfil de "graduação em Matemática" teriam mais facilidade para estudar esses conteúdos, mas o concurso *não* pede graduação em Matemática. Candidatos estrangeiros 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 "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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1816023242.54179502.1628108264303.JavaMail.zimbra%40ufba.br.
[Logica-l] Inscrições Abertas - Pós-Graduação em Matemática, UFBA
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 - 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/185210017.86859562.1622169496888.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)
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-4, dura...@gmail.com escreveu: > Muito triste mesmo. Também envio meus melhores pensamentos para Benjamin, > Claudio, a família e os amigos. > > Daniel. > - > Departamento de Filosofia - (UFRN) > http://danieldurante.weebly.com > > > On 7 Apr 2021, at 18:03, Marcelo Esteban Coniglio > wrote: > > > > Notícia muitissimo triste. Uma perda enorme. Meus sentimentos para o > > Benjamin, o Claudio e todos seus familiares e amigos. > > > > Marcelo > > > > Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva > > escreveu: > >> > >> do Twitter do Thiago da Silva ontem > >> > >> Hoje a Matemática brasileira perde um grande nome para a Covid: prof. > Roberto Bedregal (UFPB). Um exímio geômetria algebrista, de uma simpatia > inigualável e sorriso franco. Foi uma honra conhecê-lo, professor. > >> > >> -- > >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. > >> Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d0087cb8-1623-4213-9d0c-4811c52deae9n%40dimap.ufrn.br > . > > > > -- > > 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+u...@dimap.ufrn.br. > > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcnLPizvfUHpR7LDMq0iot%3D03p2mf0%2BQroRuaZh6QsDkZJg%40mail.gmail.com > . > > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5ecda140-024e-45db-b474-ca787b7fe65dn%40dimap.ufrn.br.
Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.
... Haha,
Tem um detalhe sutil aí na prova que o Petrúcio apresentou,
Apesar de ser "raciocínio calculacional", pra provar o que ela quer provar,
digamos assim, precisa do Axioma da Escolha,
No sentido de que o argumento essencialmente diz que:
"Dada uma funcao de X em Partes 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
Gostei hehe...
Atés, bom final de semana,
[]s Samuel
Em sexta-feira, 5 de março de 2021 às 17:29:22 UTC-4, Petrucio Viana
escreveu:
> Oi João,
> acredito que o artigo ao qual ele está se referindo seja este aqui:
>
> On calculational proofs
> <https://www.sciencedirect.com/science/article/pii/S0168007201000598>
>
>1. Vladimir Lifschitz
>
> Annals of Pure and Applied Logic
> <https://www.sciencedirect.com/science/journal/01680072>
> Volume 113, Issues 1–3
> <https://www.sciencedirect.com/science/journal/01680072/113/1>, 27
> December 2001, Pages 207-224
>
>
> Em sex., 5 de mar. de 2021 às 17:04, Joao Marcos
> escreveu:
>
>> Belo exemplo do "raciocínio calculacional" de Dijkstra, Petrucio!
>>
>> Em um post recente na FOM (do qual eu tirei o link que enviei aqui na
>> lista esta semana para o arquivo do Dijkstra) o Vladik Kreinovich
>> escreveu:
>> "Examples of calculational proofs in Edsger’s writings were so
>> impressive that I even asked myself whether every possible use of
>> natural deduction in classical logic can be replaced, in principle, by
>> calculational reasoning. The answer turned out to be yes (published in
>> the Annals of Pure and Applied Logic in 2002)."
>> https://cs.nyu.edu/pipermail/fom/2021-March/022524.html
>>
>> Você saberia dizer a qual paper no APAL ele se refere?
>>
>> Abraços,
>> Joao Marcos
>>
>> On Fri, Mar 5, 2021 at 3:16 PM Petrucio Viana
>> wrote:
>> >
>> > Boa tarde,
>> > segue uma maneira "intuitiva" (construtiva?), devida a Dijkstra e
>> Misra, de provar o teorema de Cantor.
>> > Ela condensa a ideia usada na prova que o Samuel apresentou, exibindo
>> de maneira natural o conjunto que "estraga" a bijeção.
>> >
>> > Teorema: Para todas as funções F de X em P(X) e g de P(X) em X, Fog =/=
>> Id.
>> >
>> > Prova:
>> > Sejam F e g tais funções.
>> >
>> > Temos que:
>> >
>> > Fog =/= Id
>> >
>> > é equivalente a
>> >
>> > existe Y em P(X) tal que Y =/= F(g(Y))
>> >
>> > é consequência de
>> >
>> > existe Y em P(X) tal que [g(Y) pertence a Y não é equivalente a g(Y)
>> pertence a F(g(Y)]
>> >
>> > é consequência de
>> >
>> > existe Y em P(X) tal que para todo x {[x pertence a Y] é equivalente a
>> [x não pertence a F(x)]}
>> >
>> > tomando (o candidato natural exposto pela passagem acima) Y = { x : x
>> não pertence a F(x) } isto é equivalente a
>> >
>> > verdadeiro.
>> > QED
>> >
>> > Em qui., 4 de mar. de 2021 às 17:52, Joao Marcos
>> escreveu:
>> >>
>> >> > Aí que vem a única análise de casos ("uso do Terceiro Excluído",
>> concordo...)
>> >>
>> >> E por falar em Terceiro Excluído, Samuel, você saberia explicar em
>> >> termos pedestres até onde conseguiríamos levar o argumento da
>> >> diagonalização, digamos, em *CZF*, se assumirmos o axioma segundo
>> >> o qual todo conjunto é subcontável?
>> >>
>> >> []s, Joao Marcos
>> >>
>> >>
>> >> --
>> >> http://sequiturquodlibet.googlepages.com/
>> >>
>> >> --
>> >> 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+u...@dimap.ufrn.br.
>> >> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LghbEJLz_key_MLrks16WSXx%3D4NeYsj%3D08d2NO44HQKdA%40mail.gmail.com
>> .
>>
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> 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+u...@dimap.ufrn.br.
>>
> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LigzB4LaC3G8h_HtijEHP2-3%3D-wfO03tjETohpEnUir4g%40mail.gmail.com
>> .
>>
>
--
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4f1998a2-2bcf-40ee-9114-976144297ccan%40dimap.ufrn.br.
Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.
Oi gente,
Só pra dar um "pitaco",
A prova do Teorema de Cantor não precisa ser por contradição, na verdade
quando escolhemos o contradomínio como {0,1} acredito que já estamos
embutindo aí possivelmente o Terceiro Excluído quase todo e dá pra fazer
uma prova "quase direta", vai ter só uma análise de casos.
Ou seja, depois de muitos anos fazendo isso com alunos eu não começo com
"Suponha por absurdo que eu tenha uma enumeração de todas as sequências
binárias infinitas"
e sim com
"Considere qualquer funcao fixada dos naturais nas sequências binárias
infinitas, eu vou mostrar que essa função não é sobrejetora"
pois se não existir funcao sobrejetora, em particular nao vai existir
bijecao...
(Aliás, aqui que é o ponto que eu acho que é o mais problemático de "querer
prever quem está na diagonal fazendo uma enumeração
esperta", o teorema não fala de enumerações espertas, o teorema fala de
TODAS AS ENUMERAÇÕES POSSÍVEIS, ou seja, para
qualquer enumeração que você faça tem uma sequência que não aparece na
lista. Eu particularmente não vejo interesse
em ver o que ocorre com uma enumeração fixada, eu quero saber o que ocorre
para qualquer uma arbitrária)
Ao invés de fazer a tal prova (que eu acho um pouco mais construtiva) para
sequências infinitas de zeros e uns, vou fazer a prova para X e Partes de
(X), para qualquer conjunto X (que não precisa ser enumerável, nao precisa
ser N, nao preciso pensar em números reais...). Claro que se você pega
X = N aqui você identifica Partes de N com as sequencias infinitas de zeros
e uns e cai no caso anterior, mas isso é outra história...
Teorema: Dado um conjunto X e uma funcao qualquer de X em Partes de X, essa
funcao nao é sobrejetora.
dem. Seja f: X --> Partes de X uma funcao qualquer.
Afirmo que Y = {x em X: x não pertence a f(x)} não está na imagem da função.
Aqui não vou supor por absurdo que Y é f de alguém e chegar numa
contradição, o que eu faço é afirmar:
*Dado qualquer x em X, f(x) é diferente de Y.*
Aí que vem a única análise de casos ("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
Em quinta-feira, 4 de março de 2021 às 16:00:40 UTC-4, Joao Marcos escreveu:
> > Meu ponto (ao menos um deles) é que ao escolhermos uma enumeração
> específica podemos determinar a sequência que não faz parte da enumeração.
> > Isso ainda me parece ser verdadeiro. Mas isso não me leva a nenhuma
> outra conclusão.
>
> Bem, para avaliar tal asserção seria necessário determinar o
> significado do verbo "determinar". Dependendo do que você quer dizer
> com isso, a sua primeira sentença acima pode ser verdadeira... ou,
> mais provavelmente, falsa! (Note, por exemplo, que o _complemento_ do
> conjunto que contém os números da sua sequência não é um conjunto
> enumerável.)
>
> JM
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/221276d7-a418-4b74-be95-b20c2af6c965n%40dimap.ufrn.br.
[Logica-l] Lógica Matemática no Congresso Virtual da UFBA 2021
Caros, O Grupo de Lógica Matemática da UFBA vai participar do Congresso Virtual da UFBA 2021 com uma mesa redonda gravada, que estréia amanhã às 16hs no link: https://www.youtube.com/watch?v=v8GIAZ1gPTY=PLSIGD7-rHf2W4ONPlrfJVj_VvaloPMwqL=59 Trata-se da apresentação, por mim, da palestra "Sobre partições impressionantes e anti-intuitivas - ou: o Axioma da Escolha não tem culpa de nada", que já apresentei ano passado no Lógicos em Quarentena, mas desta vez a apresentação vai ser seguida de discussão, com a participação de Darllan Pinto (UFBA), Marco Cerami (UFBA) e do nosso 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...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e66beb6b-1948-4a02-ac42-8ca797288c4an%40dimap.ufrn.br.
[Logica-l] Enc: RAMiCS 2021 - CFP
- 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 Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee --- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universität Dresden, Germany Manuel Bodirsky, Technische Universität Dresden, Germany Ignacio Fábregas, IMDEA, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Università degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter Höfner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universität Wien, Austria Tadeusz Litak, Erlangen-Nürnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi
[Logica-l] Bolsas de mestrado e doutorado em Paris (Matemática).
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 in Paris MathInParis2020, cofunded by European Commission's Marie Sklodowska-Curie Actions, offers 20 PhD fellowships for academic year 2021-2022. The positions are located in Paris. Call for applications: from Tuesday December 1st 2020 to Saturday February 13th 2021 at 11:59 p.m., Paris time. Offer description: https://www.sciencesmaths-paris.fr/fr/cofund-mathinparis-842.htm Application form: https://www.sciencesmaths-paris.fr/fr/call-for-math-in-paris-fellowships-924.htm Feel free to circulate this message to your contacts. Best regards,__ ___Email PGSM ___ Dear colleagues, The PGSM program of the Fondation Sciences Mathématiques de Paris offers master scholarships in Mathematics and in fundamental Computer Science for academic year 2021-2022. The positions are located in Paris. Schedule of deadlines below (at 11:59 p.m., Paris time). Feel free to circulate this message to your contacts. 1st call: before Friday January 22nd 2021. Only for students from universities out of France. 2nd call: from Tuesday December 1st 2020 to Saturday May 8th 2021. Open to the same students plus those from universities of FSMP’s network. Offer description: https://www.sciencesmaths-paris.fr/en/masters-250.htm Application form: https://www.sciencesmaths-paris.fr/en/first-call-for-pgsm-master-893.htm Best regards, Ariela Briani, PhD Chargée de Mission Europe et international Fondation Sciences Mathématiques de Paris Actuellement en télétravail : 06 33582406. IHP 11, rue Pierre et Marie Curie (bureau 317) Tel: + 33 (0)1 44276802 email: bri...@fsmp.fr http://www.sciencesmaths-paris.fr -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/72228020-9825-4d87-820a-5b5c0d04f36cn%40dimap.ufrn.br.
Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO
... 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 de 2020 16:12:23 Assunto: Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO curiosamente, nao existe embaixador(a) negro(a) no World Logic Day 2021, né. talvez nao seja tao "world" ainda. On Fri, Dec 4, 2020 at 3:55 PM samuel < sam...@ufba.br > wrote: 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: https://logicday.vcla.at/ É sempre belo que possamos nos unir em volta de um esforço racional conjunto que transcenda nossas diferenças! Joao Marcos On Thu, Nov 19, 2020 at 11:22 AM jean-yves beziau < jyb.lo...@gmail.com > wrote: Estou trabalhando com o apoio do Benedikt Löwe para promover a terceira edição do dia mundial da lógica, dia 14 de janeiro de 2021. Um site foi lançado há pouco e vai ser ainda melhorado http://www.wld.cipsh.international/ O dia internacional da matemática da UNESCO foi lançada também o ano passado e eles tem um site bacana https://www.idm314.org/ No caso da filosofia, sempre tive um grande evento na sede da UNESCO em Paris, porque é apoiado pelo governo francês, mas não se espalhou no mundo, porque ninguém toma conta disso. E esta ano pela primeira vez em Paris só vai ter um webinar sobre ... a pandemia https://events.unesco.org/event?id=20203721702882 Hoje a tarde vamos comemorar o dia mundial de filosofia de forma presencial na Academia Brasileira de Filosofia com uma mesa redonda sobre a Origem, a Natureza e a Prática da Filosofia seguido de um coquetel https://sites.google.com/view/dia-mundial-da-filosofia-2020 Se a gente vê o calendário dos dias internacionais da UNESCO https://en.unesco.org/commemorations/international-days podemos constatar que a lógica, a filosofia e a matemática são as únicas disciplinas acadêmicas que fazem parte deste calendário. Acho muito bom que essas três disciplinas, que são as mais importantes, sejam assim reconhecidas. JYB -- Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br . Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCa2-6ad6eexQTgP4jkZ7XFBsB-VFOq0h8mEHZnhAcNdw%40mail.gmail.com . -- http://sequiturquodlibet.googlepages.com/ -- Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a16007a4-b633-48dd-a6b4-b6963a30cb82n%40dimap.ufrn.br . -- Marcos Silva (UFPE/CNPq) Philosophy Department Federal University of Pernambuco, Brazil Editor-in-chief Revista Perspectiva Filosófica Marcos Silva Philosophy "amar e mudar as coisas me interessa mais" -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/485229142.4538666.1607114955574.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] dias mundiais da lógica, da matemática, da filosofia / UNESCO
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: > https://logicday.vcla.at/ > > É sempre belo que possamos nos unir em volta de um esforço racional > conjunto que transcenda nossas diferenças! > > Joao Marcos > > > On Thu, Nov 19, 2020 at 11:22 AM jean-yves beziau > wrote: > >> Estou trabalhando com o apoio do Benedikt Löwe para promover a terceira >> edição do dia mundial da lógica, dia 14 de janeiro de 2021. >> Um site foi lançado há pouco e vai ser ainda melhorado >> http://www.wld.cipsh.international/ >> O dia internacional da matemática da UNESCO foi lançada também o ano >> passado e eles tem um site bacana >> https://www.idm314.org/ >> No caso da filosofia, sempre tive um grande evento na sede da UNESCO em >> Paris, porque é apoiado pelo governo francês, >> mas não se espalhou no mundo, porque ninguém toma conta disso. >> E esta ano pela primeira vez em Paris só vai ter um webinar sobre ... a >> pandemia >> https://events.unesco.org/event?id=20203721702882 >> Hoje a tarde vamos comemorar o dia mundial de filosofia de forma >> presencial na Academia Brasileira de Filosofia com uma mesa redonda sobre a >> Origem, a Natureza e a Prática da Filosofia seguido de um coquetel >> https://sites.google.com/view/dia-mundial-da-filosofia-2020 >> Se a gente vê o calendário dos dias internacionais da UNESCO >> https://en.unesco.org/commemorations/international-days >> podemos constatar que a lógica, a filosofia e a matemática são as únicas >> disciplinas acadêmicas que fazem parte deste calendário. >> Acho muito bom que essas três disciplinas, que são as mais importantes, >> sejam assim reconhecidas. >> JYB >> >> >> <https://en.unesco.org/commemorations/mathematics> >> >> -- >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCa2-6ad6eexQTgP4jkZ7XFBsB-VFOq0h8mEHZnhAcNdw%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCa2-6ad6eexQTgP4jkZ7XFBsB-VFOq0h8mEHZnhAcNdw%40mail.gmail.com?utm_medium=email_source=footer> >> . >> > > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a16007a4-b633-48dd-a6b4-b6963a30cb82n%40dimap.ufrn.br.
[Logica-l] Re: ASL
Caros, Valeria, obrigado por avisar, na verdade eu que deveria ter avisado por ser membro do Membership Committee deles, hehe... Mas nao estava sabendo disso, faz tempo que nao tem reuniao. Observo que a oferta é para "novos membros", os membros antigos continuam com o desconto que 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' mandando essa mensagem no twitter > Artem Chernikov > @archernikov > <https://twitter.com/archernikov> > · > 1h <https://twitter.com/archernikov/status/1333159693733117952> > The Association for Symbolic Logic is offering a free 2-year membership > for individuals from countries "classified as developing economies". For > information about the ASL and membership benefits (including travel support > for students), visit http://aslonline.org/membership/ind > ividual-membership/ <https://t.co/mHLuUtCyAo?amp=1> > . > o Brasil classifica. e' pra quem puder see inscrever! > > > > > -- > 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-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/3214caf2-302e-422e-8c05-5857b4bf074an%40dimap.ufrn.br.
[Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha
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 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 at 7:56 AM Márcio Palmares
wrote:
> Oi Valeria,
>
> Verdade... Acho que você tem razão... Existem muitos 'foundational
> frameworks', e apenas a seleção natural define quais prosperam, por sua
> melhor adaptação para a resolução de problemas em áreas específicas. Quando
> mostramos uma versão preliminar desse trabalho para o Jean-Pierre Marquis,
> ele se mostrou entusiasmado, talvez porque o sistema pudesse lançar uma
> nova luz sobre o velho debate "Feferman vs. categoristas de todo o mundo",
> uma vez que Flow mostra mais uma vez a primazia das funções diante dos
> conjuntos... Naquela ocasião Jean-Pierre Marquis chamou nossa atenção para
> as "Autocategories", de René Guitart, e à medida em que o trabalho foi
> prosseguindo, descobrimos outros sistemas. De fato, se Flow não tivesse
> mudado a forma como olhamos para certos problemas, e não tivesse levado
> Adonai à solução do problema do Princípio da Partição, seria muito difícil
> justificar sua existência num meio já bastante povoado por sistemas
> fundacionais...
>
> Bem, seja como for, elaborei uma pequena tentativa de "motivação", para
> que os possíveis interessados possam compreender melhor (de um ponto de
> vista intuitivo) os axiomas e construções iniciais de Flow.
>
> O ponto de partida é o teorema de Cayley, a relação existente entre
> operações binárias associativas e a representação dessas estruturas usando
> funções e composição de funções. Por exemplo, consideremos os inteiros
> módulo quatro {0, 1, 2, 3} sob a multiplicação módulo quatro. Temos assim
> um conjunto equipado com uma operação binária associativa, a multiplicação.
> Neste caso, trata-se de um monoide, pois temos um elemento neutro. O
> teorema de Cayley nos diz então que essa estrutura é isomorfa ao monoide
> das funções f_0, f_1, f_2, f_3, sob a composição, definidas da maneira
> usual; f_2, por exemplo, é definida como f_2(x) = 2x, com x no conjunto {0,
> 1, 2, 3}.
>
> Então, elementos de estruturas binárias associativas podem ser
> "transformados" em funções, ou "interpretados" como funções.
>
> Consideremos agora um caso mais geral, de uma operação binária
> não-associativa, definida no conjunto {0, 1, 2, 3}. Agora, porém, os
> símbolos 0, 1, 2 e 3 não devem ser interpretados como "inteiros módulo
> quatro", são apenas símbolos. Nossa operação binária será não-associativa;
> não-comutativa; idempotente, isto é, 0*0=0, 1*1=1, 2*2=2 e 3*3=3; terá um
> elemento 0 bilateral (absorvente dos dois lados): 0*x=x*0=0; e um elemento
> neutro 1 à esquerda: 1*x=x.
>
> Poderíamos desenhar uma tabela para essa operação. Os valores não listados
> acima, para completar a tabela, seriam: 2*1=3*1=0; 2*3=0 e 3*2=2. Esses
> valores são arbitrários. Apenas as propriedades de 1, como neutro à
> esquerda, 0 como absorvente bilateral, e a idempotência são predefinidos.
>
> Como a operação não é associativa, não vale o teorema de Cayley, e a
> estrutura formada com as funções sob a composição não será, em geral,
> isomorfa à estrutura original. Mas não faz mal. Isso não é um problema para
> nós, porque não estamos perseguindo este isomorfismo. Só queremos
> representar os elementos da estrutura como funções. Cada função será então
> um "endomorfismo" no conjunto {0, 1, 2, 3}, e poderá ser representada pelos
> típicos "diagramas internos de endomorfismos".
>
> Agora vem o "pulo do gato": o que aconteceria se considerássemos, neste
> exemplo, a operação binária * como uma "função aplicação", ou "função
> avaliação", ou "evaluation map", isto é, suponhamos que, em vez de escrever
> 2*3=0 escrevêssemos 2(3)=0, e imaginássemos que 0, 1, 2 e 3 são eles
> próprios as funções, cujo comportamento é descrito em termos dessa
> avaliação ou aplicação? O resultado seria um pequeno universo de quatro
> termos, 0, 1, 2 e 3, que operam uns sobre os outros livremente, produzindo
> termos do mesmo universo. Com essa interpretação, chamamos 0, 1, 2 e 3 de
> "funções", e dizemos que 1(1)=1, 1(2)=2, 1(3)=3, 2(0)=0, 2(2)=2, etc.
>
> Essa é uma boa maneira de interpretar, de forma intuitiva, o universo da
Re: [Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha
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 teoristas de conjuntos
que pensavam que a solução do problema não seria essa, e sim p < t consistente.
Então a gente cria expectativas quando um problema de muito tempo fica aberto,
no meu caso não era muito mais do que
isso o "chute" de que PP poderia ser equivalente a AC.
Quanto a grandes cardinais: ora, categoristas mais ou menos pressupõem que
existam grandes cardinais, não é ? É com grandes
cardinais que normalmente se justificam a existência (no sentido de se imaginar
modelos conjuntistas) de conglomerados e outros que tais.
Por exemplo, eu estava lendo recentemente alguma reportagem na qual se dizia
que Grothendieck não tinha absolutamente
nenhuma preocupação quanto ao fato de que a existência de Universos de
Grothendieck era equivalente à existência de
cardinais fortemente inacessíveis. Para ele, aquilo seria apenas um meio para
se chegar em algo.
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'Anna"
Enviadas: Sexta-feira, 9 de outubro de 2020 18:54:13
Assunto: Re: [Logica-l] Re: Teoria Flow: o princípio da partição não implica o
axioma de escolha
Sim, Samuel!
e' por isso que eu perguntei, ne?
vc tb publicou ha' algum tempo atras (2017) com o Andreas e o Hugo
https://www.researchgate.net/publication/319331534_Categorial_forms_of_the_Axiom_of_Choice
e a continuacao (que eu ainda nao li).
por isso minha pergunta inicial:
o que nos levava a pensar que PP e AC seriam equivalentes?
nao eram as formas categoricas do AC, me parece.
uma segunda pergunta, mais geral e', por que introduzir mais um "foundational
framework"--
se nao for pra resolver o problema de PP equivalente ou nao a AC? ('e muito
lindo mesmo, se resolver esse problema, tb acho!)
mas a terceira pergunta 'e se isso nao 'e "caro" demais: Flow insiste que
tenhamos a "existence of strongly inaccessible cardinals".
vale o preco? na verdade eu nao sei os "precos" em teoria de conjuntos, nao sei
o que 'e caro ou o que e' barato.
mas eu acho que 'essa a discussao q o Adonai, o Marcio e o Renato estavam
querendo suscitar, nao e'?
abracos conjuntistas (mas ignorantes) a todxs!
Valeria
On Fri, Oct 9, 2020 at 3:25 PM samuel < sam...@ufba.br > wrote:
... Bom, só pra dar um pitaco de Princípio da Partição em categorias,
recentemente eu publiquei este paper aqui, relacionando tanto o Axioma da
Escolha quanto o Princípio da Partição com as categorias Dialecticas da
Valeria.
https://academic.oup.com/jigpal/advance-article-abstract/doi/10.1093/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, 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:
Oi, Valeria!
Que bom que Adonai respondeu à sua pergunta... Eu sempre pensei assim: todo
epimorfismo pode ser cindido em Set, temos portanto uma versão categorial do
axioma da escolha, sabemos que o axioma da escolha implica a lei do terceiro
escolhido, então saberemos como é a álgebra dos subobjetos nas categorias em
que vale o AE, e pronto! É tudo o que precisamos saber sobre axioma de escolha!
(Eu nem sabia que esse problema do Princípio da Partição existia...).
Como Adonai mencionou, o artigo chamou a atenção de Asaf Karagila. Ele fez uma
postagem em seu blog e está comentando passo a passo, à medida em que progride
na leitura pelo twitter: http://karagila.org/2020/going-with-the-flow/ (São
muito divertidos os comentários.)
Esse primeiro artigo está completamente focado em demonstrar o resultado
principal, e também em provar que os axiomas de ZF são teoremas quando
traduzidos em Flow. Mas estamos trabalhando também em outra frente: mostrar que
o sistema que William Lawvere sugeriu em 1966 (category of categories as a
foundation) também pode ser imerso em Flow, isto é, os axiomas da teoria de
primeira ordem sugeridos por Lawvere são teoremas em Flow, quando devidamente
traduzidos.
Seria muito legal se o artigo despertasse também atenção dos categoristas,
apesar de, por restrições de tamanho e pelo resultado obtido, ter ficado
restrito a teoria de conjuntos, teoria de modelos.
Abraços!
M.
Re: [Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha
... Bom, só pra dar um pitaco de Princípio da Partição em categorias, recentemente eu publiquei este paper aqui, relacionando tanto o Axioma da Escolha quanto o Princípio da Partição com as categorias Dialecticas da Valeria. https://academic.oup.com/jigpal/advance-article-abstract/doi/10.1093/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, 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: > >> Oi, Valeria! >> >> Que bom que Adonai respondeu à sua pergunta... Eu sempre pensei assim: >> todo epimorfismo pode ser cindido em Set, temos portanto uma versão >> categorial do axioma da escolha, sabemos que o axioma da escolha implica a >> lei do terceiro escolhido, então saberemos como é a álgebra dos subobjetos >> nas categorias em que vale o AE, e pronto! É tudo o que precisamos saber >> sobre axioma de escolha! (Eu nem sabia que esse problema do Princípio da >> Partição existia...). >> >> Como Adonai mencionou, o artigo chamou a atenção de Asaf Karagila. Ele >> fez uma postagem em seu blog e está comentando passo a passo, à medida em >> que progride na leitura pelo twitter: >> http://karagila.org/2020/going-with-the-flow/ (São muito divertidos os >> comentários.) >> >> Esse primeiro artigo está completamente focado em demonstrar o resultado >> principal, e também em provar que os axiomas de ZF são teoremas quando >> traduzidos em Flow. Mas estamos trabalhando também em outra frente: mostrar >> que o sistema que William Lawvere sugeriu em 1966 (category of categories >> as a foundation) também pode ser imerso em Flow, isto é, os axiomas da >> teoria de primeira ordem sugeridos por Lawvere são teoremas em Flow, quando >> devidamente traduzidos. >> >> Seria muito legal se o artigo despertasse também atenção dos >> categoristas, apesar de, por restrições de tamanho e pelo resultado obtido, >> ter ficado restrito a teoria de conjuntos, teoria de modelos. >> >> Abraços! >> >> M. >> >> >> >> Em sex., 9 de out. de 2020 às 18:34, Adonai S. Sant'Anna < >> adonais...@gmail.com> escreveu: >> >>> Valeria >>> >>> Longa história para responder à sua pergunta. Se o trabalho estiver >>> certo, nossa teoria geral de funções Flow permite exibir modelo de ZF onde >>> vale PP mas não AE. Isso é conseguido graças a um axioma de F-Escolha que >>> sugerimos em nosso trabalho. Esse axioma de F-Escolha permite PP como >>> teorema. No entanto, existe ZF-conjunto (ZF-conjuntos são termos de Flow >>> que correspondem a conjuntos de ZF num sentido preciso) que não pode ser >>> bem ordenado. Logo, não vale AE. Não somos os únicos que desconfiaram que >>> AE independe de PP. Asaf Karagila admitiu por e-mail ter a mesma impressão. >>> Estamos conversando com ele sobre isso. Em breve teremos mais novidades >>> (boas ou ruins, só Deus sabe). >>> >>> Abraço >>> >>> Adonai >>> >> Em sex, 9 de out de 2020 às 5:42 PM, Valeria de Paiva < >>> valeria...@gmail.com> escreveu: >>> >> Marcio, Samuel, >>>> e voces conseguem dizer *por que* o principio da particao 'vale em ZF, >>>> mas o axioma da escolha nao? >>>> porque tinha uma razao pra pensar que eles seriam equivalentes, ne? >>>> qual era essa razao? >>>> obrigada, >>>> Valeria >>>> >>>> On Fri, Oct 9, 2020 at 1:32 PM samuel wrote: >>>> >>>>> Caros, >>>>> >>>>> Renato Brodzinski (outro dos autores) tinha me avisado mais cedo desse >>>>> trabalho. Por acaso, o seminário que eu vou apresentar em novembro fala, >>>>> precisamente, do Princípio da Partição ! >>>>> >>>>> Se tudo der certo, eles resolveram só o problema mais antigo da Teoria >>>>> dos Conjuntos (com mais de 100 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! >>>>>>
Re: [Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha
... 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: > Oi, Valeria! > > Que bom que Adonai respondeu à sua pergunta... Eu sempre pensei assim: > todo epimorfismo pode ser cindido em Set, temos portanto uma versão > categorial do axioma da escolha, sabemos que o axioma da escolha implica a > lei do terceiro escolhido, então saberemos como é a álgebra dos subobjetos > nas categorias em que vale o AE, e pronto! É tudo o que precisamos saber > sobre axioma de escolha! (Eu nem sabia que esse problema do Princípio da > Partição existia...). > > Como Adonai mencionou, o artigo chamou a atenção de Asaf Karagila. Ele fez > uma postagem em seu blog e está comentando passo a passo, à medida em que > progride na leitura pelo twitter: > http://karagila.org/2020/going-with-the-flow/ (São muito divertidos os > comentários.) > > Esse primeiro artigo está completamente focado em demonstrar o resultado > principal, e também em provar que os axiomas de ZF são teoremas quando > traduzidos em Flow. Mas estamos trabalhando também em outra frente: mostrar > que o sistema que William Lawvere sugeriu em 1966 (category of categories > as a foundation) também pode ser imerso em Flow, isto é, os axiomas da > teoria de primeira ordem sugeridos por Lawvere são teoremas em Flow, quando > devidamente traduzidos. > > Seria muito legal se o artigo despertasse também atenção dos categoristas, > apesar de, por restrições de tamanho e pelo resultado obtido, ter ficado > restrito a teoria de conjuntos, teoria de modelos. > > Abraços! > > M. > > > > Em sex., 9 de out. de 2020 às 18:34, Adonai S. Sant'Anna < > adonais...@gmail.com> escreveu: > >> Valeria >> >> Longa história para responder à sua pergunta. Se o trabalho estiver >> certo, nossa teoria geral de funções Flow permite exibir modelo de ZF onde >> vale PP mas não AE. Isso é conseguido graças a um axioma de F-Escolha que >> sugerimos em nosso trabalho. Esse axioma de F-Escolha permite PP como >> teorema. No entanto, existe ZF-conjunto (ZF-conjuntos são termos de Flow >> que correspondem a conjuntos de ZF num sentido preciso) que não pode ser >> bem ordenado. Logo, não vale AE. Não somos os únicos que desconfiaram que >> AE independe de PP. Asaf Karagila admitiu por e-mail ter a mesma impressão. >> Estamos conversando com ele sobre isso. Em breve teremos mais novidades >> (boas ou ruins, só Deus sabe). >> >> Abraço >> >> Adonai >> > Em sex, 9 de out de 2020 às 5:42 PM, Valeria de Paiva < >> valeria...@gmail.com> escreveu: >> > Marcio, Samuel, >>> e voces conseguem dizer *por que* o principio da particao 'vale em ZF, >>> mas o axioma da escolha nao? >>> porque tinha uma razao pra pensar que eles seriam equivalentes, ne? >>> qual era essa razao? >>> obrigada, >>> Valeria >>> >>> On Fri, Oct 9, 2020 at 1:32 PM samuel wrote: >>> >>>> Caros, >>>> >>>> Renato Brodzinski (outro dos autores) tinha me avisado mais cedo desse >>>> trabalho. Por acaso, o seminário que eu vou apresentar em novembro fala, >>>> precisamente, do Princípio da Partição ! >>>> >>>> Se tudo der certo, eles resolveram só o problema mais antigo da Teoria >>>> dos Conjuntos (com mais de 100 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 fornecer um framework >>>>> tanto >>>>> para a teoria de categorias quanto para ZF. No meio do caminho, Adonai >>>>> resolveu o problema em aberto do princípio da partição, isto é, construiu >>>>> um modelo para ZF em Flow em que vale o princípio da partição mas não o >>>>> axioma de escolha, e agora a Teoria Flow conta com um cartão de visitas >>>>> muito legal! >>>>> >>>>> Uma prévia do trabalho está disponível no arXiv: >>>>> https://arxiv.org/abs/2010.03664 >>>>> >>>>> O objetivo de divulgar o preprint é
[Logica-l] Re: Teoria Flow: o princípio da partição não implica o axioma de escolha
Caros, Renato Brodzinski (outro dos autores) tinha me avisado mais cedo desse trabalho. Por acaso, o seminário que eu vou apresentar em novembro fala, precisamente, do Princípio da Partição ! Se tudo der certo, eles resolveram só o problema mais antigo da Teoria dos Conjuntos (com mais de 100 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 fornecer um framework tanto para > a teoria de categorias quanto para ZF. No meio do caminho, Adonai resolveu > o problema em aberto do princípio da partição, isto é, construiu um modelo > para ZF em Flow em que vale o princípio da partição mas não o axioma de > escolha, e agora a Teoria Flow conta com um cartão de visitas muito legal! > > Uma prévia do trabalho está disponível no arXiv: > https://arxiv.org/abs/2010.03664 > > O objetivo de divulgar o preprint é recolher críticas, sugestões, antes da > submissão para um periódico. Então, todas as críticas são bem-vindas! > > Obrigado! > > Abraços! > > M. > > > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8335ff82-f056-426b-b53c-95cef9dbacban%40dimap.ufrn.br.
[Logica-l] Repassando nota da SBL sobre o adiamento do EBL
... 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. A única pergunta da consulta era: "Em não
havendo condições sanitárias mínimas para a realização do EBL em Abril de
2021, você prefere: (a) adiar o evento para realização presencial no
segundo semestre de 2021, desde que haja condições sanitárias adequadas;
(b) adiar o evento para para realização presencial no ano de 2022, desde
que haja condições sanitárias adequadas; (c) participar do EBL em formato
remoto em Abril de 2021; (d) participar do EBL em formato remoto em Abril
de 2021; ou (e) outra resposta.
Após analisar as 49 respostas enviadas por associados, obtivemos o seguinte
resultado:
Opção (a) - presencial no segundo semestre de 2021 - 27 votos
Opção (b) - presencial em 2022 - 13 votos
Opção (c) - remoto em abril de 2021 - 6 votos
Opção (d) - outras opções - 3 votos ("realizar o evento no segundo semestre
de 2021 presencialmente, se houver condição sanitária ou remotamente, caso
contrário"; "adoptar um modelo híbrido. Participação in situ restrita +
Participação remota"; e
"adiar para o segundo semestre, mas na ausência de tais condições, realizar
o evento virtualmente").
Dadas as respostas da consulta que fizemos, na qual ficou bastante clara
uma massiva preferência para a realização presencial do evento -
presencialidade essa citada como característica inerente ao evento em
muitos comentários -, bem como o apoio de 82 por cento das respostas a um
eventual adiamento do mesmo (sendo 55 por cento com preferência para o
segundo semestre de 2021 e 27 por cento para 2022), e entendendo que não
temos no momento nenhuma segurança de que as condições sanitárias serão
suficientes em Janeiro para permitir tanto à comissão organizadora local
como para todos os associados e demais membros da comunidade se comprometam
e se organizem para um EBL presencial em Abril, a Diretoria da SBL decidiu
por adiar o evento, desde já e a princípio, para o segundo semestre de 2021.
Observamos que: (i) o evento só ocorrerá presencialmente, no segundo
semestre de 2021, se as condições sanitárias mínimas forem cumpridas; e
(ii) a eleição da próxima Diretoria da SBL ocorrerá em Assembléia a ser
realizada no prazo regimental, i.e. antes de Julho de 2021, com os votos
sendo dados pelos associados em concordância com o previsto no Regimento da
Sociedade (i.e., ou presencialmente ou via carta registrada com aviso de
recebimento).
Confirmaremos em breve a data prevista para a realização do próximo EBL
(possivelmente entre Outubro e Novembro de 2021), estamos apenas esperando
a definição das datas do próximo Congresso da ANPOF.
Sem mais, saudações lógicas,
A Diretoria.
___
--
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2b1ef74c-6c5e-4ed9-8de6-e4f95f105c97o%40dimap.ufrn.br.
[Logica-l] Live de Gisele Secco - Falácias e vida cotidiana (hoje, 21/08, às 18hs)
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 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ba8878eb-3ea4-485d-a33c-cda0632b08d1o%40dimap.ufrn.br.
[Logica-l] Re: Semana Temática de Lógica da UFBA 2020 - Chamada para Auxílio SBL a estudantes
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, 2019 at 12:05:15 PM UTC-3, Mathematical Logic UFBA wrote: > > *CHAMADA PARA APOIO A ESTUDANTES*** > > Auxílio SBL para a participação de estudantes na edição de 2020 da Semana > Temática de Lógica, Conjuntos e Topologia > da UFBA, no Programa de Verão do IME/UFBA - 02 a 06 de março de 2020 > > > A Semana Temática de Lógica, Conjuntos e Topologia da UFBA faz parte das > atividades > promovidas pelo Programa de Pós-Graduação do IME/UFBA em seus Programas de > Verão e vem > ocorrendo sistematicamente dentro desse programa desde 2014. Ainda assim, > vemos que edições > anteriores ocorreram em 2010 – como Semana de Teoria dos Conjuntos e > Topologia Geral – e em > 2012 – como um evento internacional intitulado STW - Set Theory and > General Topology Week, que > na ocasião contou inclusive com apoios da CAPES e do CNPq. > > Para esta edição de 2020, temos como palestrantes confirmados: Vladimir > Pestov (Visitante UFBA), Hugo Mariano (USP), Lucia Junqueira (USP), > Giorgio Venturi (UNICAMP), Renan Mezabarba (UFES), Alfredo Freire (UnB), > Darllan Pinto (UFBA) e Marlo Souza (UFBA). A serem confirmados: > José Gregorio Mijares (California State), Pedro Zambrano (UNAL-Colombia) e > Rogério Fajardo (USP). Estão previstas várias palestras > e dois minicursos. > > A programação completa do evento estará em breve disponibilizada em > > > https://sites.google.com/site/ufbalogic/home/home-pt/eventos/semanas-tem%C3%A1tica-de-l%C3%B3gica-conjuntos-e-topologia-2020 > > A Sociedade Brasileira de Lógica (SBL) irá oferecer um modesto apoio > financeiro para um número limitado de estudantes (graduação e pós) > que desejem participar da Semana Temática de Lógica da UFBA. A Coordenação > da Semana Temática irá decidir sobre os valores e os beneficiados > pelo auxílio. Esse apoio financeiro se destina a ajudar os(as) estudantes > a cobrir parte de suas despesas com acomodação e refeições. O evento não > possui taxa de inscrição. Nem a SBL nem a Coordenação do Evento possuem > condições de fornecer um apoio financeiro completo aos estudantes. > > O formulário de solicitação de apoio está disponibilizado no seguinte link: > > https://forms.gle/NrW3aGMtyN5fdXqr8 > > No momento do preenchimento da solicitação, o(a) estudante deverá: > > >- ser associado da SBL e apresentar comprovante de pagamento da >anuidade 2019 (o valor atual da anuidade para estudantes é R$ 75,00); >- submeter um resumo para uma apresentação oral de 25 minutos. > > > O deadline para preenchimento do formulário é 07 de Fevereiro de 2020, e > os resultados serão anunciados até > 17 de fevereiro de 2020. > > Quaisquer dúvidas ou dificuldades no preenchimento do formulário, favor > contatar-nos: > math.l...@gmail.com > > > Ciro Russo e Marcelo Passos > Coordenadores da Semana Temática de Lógica da UFBA 2020 > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ac03cfbb-d3d3-42b8-bcba-f0aea901c8a3%40dimap.ufrn.br.
[Logica-l] O Guinness assume a Hipótese do Contínuo (e o Axioma da Escolha)
... Pelo menos para a parte do Axioma da Escolha, o Axioma da Escolha Enumeravel já dá conta do serviço... O Dicionário Aurélio também assume essa mesma porção de princípio de escolha que o Guiness. A definição de conjunto infinito que tem no Aurélio é: que tem bijeçao com uma parte própria ! 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 "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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b54d8800-4f48-408b-bf4f-708882fc676c%40dimap.ufrn.br.
[Logica-l] Palestras de Lógica na UFBA, nas próximas duas semanas.
Caros, Como parte integrante de dois encontros de Matemática (nesta semana de 04 a 08 de novembro, encontro da pós-graduação, e na semana seguinte, de 11 a 14, encontro da graduação), teremos palestras de Lógica Matemática no Instituto de Matemática e Estatística da UFBA. As palestras serão todas no Auditório do Instituto de Matemática e Estatística. Seguem horários, palestrantes, títulos e links para os resumos. Terça, 05/11, 9h Palestrante: Hércules Feitosa (UNESP Bauru) Título: Deductibility, almost topology and operators on spaces of deductions Resumo em: https://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/7pa_samuel_gomes.pdf Quinta, 07/11, 9h45 Palestrante: Charles Morgan (UCL, London) Título: O espectro dos ultrafiltros em cardinais singulares Resumo em: https://encontropgmat.ufba.br/sites/encontropgmat.ufba.br/files/7pa_charles.pdf Quarta, 13/11, 13h55 Palestrante: Samuel G. da Silva (UFBA) Título: Quando - e o quê significa dizer que - dois axiomas são equivalentes ? (com estudos de caso em geometria axiomática plana) Resumo em: http://www.encontrodematematica.ime.ufba.br/Quando%20%E2%80%93%20e%20o%20qu%C3%AA%20significa%20dizer%20que%20%E2%80%93%20dois%20axiomas%20s%C3%A3o%20equivalentes.pdf Todos os interessados serão muito bem-vindos. 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/336df648-805a-41c8-848d-35b3011cbe4b%40dimap.ufrn.br.
[Logica-l] Mestrado em Matemática UFBA (com linha de pesquisa em Lógica, Topologia e Teoria dos Conjuntos)
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 Concentração Matemática, são as seguintes: Álgebra, Análise, Geometria Diferencial, Probabilidade, Lógica e Topologia, e Sistemas Dinâmicos. As inscrições poderão ser feitas no período de 18/10 a 22/11/2019. A prova escrita (que poderá ser feita em outras localidades) , com 5 questões de Análise Real, 5 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" 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1222329835.7667022.1571514070367.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo
Olá, Aproveitando pra melhorar uma partezinha, Talvez só troque no final, Valeria, "Porém, o Axioma da Determinação Projetiva parece uma opção razoável que decide o contínuo como sendo aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada." por "Porém, o Axioma da Determinação Projetiva parece uma opção razoável que é válida num modelo onde o contínuo é aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada." (Porque não é que "PD implica não CH" diretamente, o que ocorre é que 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-maquina-pode-aprender.html > > > > > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2a04b299-24cb-4979-a5b6-8933cf0facc6%40dimap.ufrn.br.
[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo
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 > > > > > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/333db6c3-0d20-4145-98c9-74643c5c9a06%40dimap.ufrn.br.
[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo
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/o-que-maquina-pode-aprender.html > > > > > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5b1199c7-241d-44a2-a866-17101ff08a20%40dimap.ufrn.br.
[Logica-l] Re: a pior tentativa de explicar a hipotese do continuo
n parece pensar - e que eu, quando estou quase acordando de manhã
ou quase dormindo de noite, tendo a pensar do mesmo jeito - é que o Axioma
das Partes é uma espécie de animal selvagem, e exatamente por não poder ser
dominado o continuo (que, como disse o Miraglia, mais estruturalmente do
que ser a cardinalidade da reta é a cardinalidade das partes de omega !!!)
não poderia ser alcançado nem usando o Axioma da Substituição a partir de
omega... Rodrigo Freire tem uma visão muito mais lúcida do que eu nesse
sentido, já conversamos a respeito, hehe.
4) A coisa do aleph_2: a maioria das tentativas razoáveis de falsear a
Hipótese do Contínuo acaba levando o contínuo para aleph_2. Para começar, o
Proper Forcing Axiom (que é uma versão mais forte do Axioma de Martin,
sendo que este pode ser encarado como uma espécie de versão generalizada do
Teorema de Baire para cardinais entre aleph_0 e o continuo) manda o
contínuo para aleph_2; isso começa a envolver grandes cardinais, porque a
consistência do Proper Forcing Axiom é usualmente obtida a partir de
cardinais supercompactos.
(Sem citar nomes: diz a lenda que, nos anos 90, um lógico brasileiro
declarava que, se mudarmos a lógica subjacente da Teoria dos Conjuntos -
não sei exatamente como, essa história eu só ouvi falar mesmo -, então
poderia ser DEMONSTRADO que o contínuo vale aleph_2 !!!)
5) Os trabalhos de Woodin nos anos 90 meio que misturam tudo o que eu falei
nos 4 comentários anteriores. Ele escreveu dois surveys no Notices of
American Society sobre esse trabalho, e também tem aquele famoso artigo da
revista Quanta Magazine/Scientific American de +- 2013 ("Dispute over
infinite divides mathematicians").
Contando assim em linhas gerais: como disse Miraglia, existe essa idéia de
que deveria haver um "novo" axioma que decidisse a questão do continuum.
Pois bem, o trabalho do Woodin nos anos 90 meio que entende esse axioma
como sendo PD - o Axioma da Determinação Projetiva, o qual declara que os
projetivos são determinados !!! Lembrar que AD, no qual todo subconjunto
seria determinado, é incompatível com o Axioma da Escolha... "Não quero que
todos subconjuntos da reta sejam determinados, mas quero que os projetivos
sejam !!!"
Não existe uma implicação direta, mas a maquinaria de grandes cardinais e
axiomas de forcing que Woodin construiu para obter a consistência de PD
acaba caindo em versões ainda mais fortes do Axioma de Martin (MM -
Martin's Maximum), e, de modo similar ao Axioma de Forcing Próprio, esses
axiomas de forcing acabam levando o contínuo para aleph_2.
O que é curioso é que, depois de todo esse trabalho de mais ou menos 25
anos que apontava para a negação da Hipótese do Contínuo, o que Woodin vem
fazendo nos últimos dez anos vai no caminho oposto: ele está em busca de um
certo "V = Ultimate L", que seria uma espécie de modelo padrão para a
Teoria dos Conjuntos que teria algumas similaridades com V = L, porém seria
compatível com "grandes grandes cardinais", o que não ocorre com V = L; "Se
V = L, não existem mensuráveis" (Dana Scott). Isso de grandes grandes
cardinais não é erro de digitação: os grandes grandes cardinais são aqueles
que são definidos em termos de imersões elementares não-triviais do
universo em modelos internos, e sabe-se que eles são "maiores ou iguais"
(em termos de consistência) aos mensuráveis. Um cardinal mensurável é,
tipicamente, um ponto crítico de uma imersão elementar não-trivial (= o
menor ordinal que é movido pela imersão).
Resumo da ópera:
1) A Hipótese do Contínuo vale para conjuntos que possam ser razoavelmente
descritos;
2) A Hipótese Generalizada do Contínuo, que vale no modelo construtível e
portanto é consistente, é mais uma afirmação nesse sentido: se tudo
fosse muito organizado, "construtível", até a Hipótese Generalizada do
Contínuo seria verdadeira;
3) Porém, da mesma forma que o Axioma da Escolha faz com que apareçam
monstrinhos que não são mensuráveis - e aqui a organização vai no sentido
contrário, de construir monstros, como no Paradoxo de Banach-Tarski !!! -,
então assumir que existam conjuntos não-construtíveis/não-organizados
possibilita que existam contra-exemplos para a Hipótese do Contínuo; mas
esses contra-exemplos são, em certo sentido, "conjuntos feios";
4) O Axioma da Determinação prova a Hipótese do Contínuo como Cantor a
conjecturou - porém, AD é incompatível como Axioma da Escolha ! Porém, o
Axioma da Determinação Projetiva parece uma opção razoá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 a resposta
Atés,
[]s Samuel
On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo
[Logica-l] Slides - Sessão de Lógica Matemática do 1st Joint Meeting Brazil France in Mathematics
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: https://sites.google.com/site/ufbalogic/home/home-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 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1742248867.32034457.1565114454759.JavaMail.zimbra%40ufba.br.
[Logica-l] Programacao e resumos completos já disponíveis - Sessao de Lógica Matemática no 1st Brazil/France Joint Meeting in Mathematics
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. Resumos e programaçao completos estao disponíveis em https://impa.br/en_US/eventos-do-impa/eventos-2019/1st-joint-meeting-brazil-france-in-mathematics/special-sessions/ A Sessao de Lógica é a Sessao 15. A programacao do evento principal, de segunda a sexta, está disponível em https://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, 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/411476138.16016453.1562667356288.JavaMail.zimbra%40ufba.br.
[Logica-l] Enc: Announcement: Tuna Altinel
- 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 of the Association for Symbolic Logic, is a Turkish citizen who works in France at Université Lyon 1, and who signed a recent petition by Academics for Peace. When he visited Turkey in April, his passport was confiscated so that he could not return to France. On May 11 he was arrested, and he remains in jail. "The Association for Symbolic Logic condemns this violation of Professor Altinel’s human rights and demands that he be immediately released, have his passport returned, and be allowed to leave the country, so that he can resume his teaching and research in France." Best, Shannon Miller Office Administrator Association for Symbolic Logic University of Connecticut Phone: (860) 486-3989 -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2049038236.14569121.1559676524268.JavaMail.zimbra%40ufba.br.
[Logica-l] [OFF] Avianca e o EBL
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 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-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1086379971.52246452.1556291073625.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Concurso Público UFF (Niterói) - 01 vaga, Lógica é uma das áreas do concurso.
Caros, Mais informacoes sobre o concurso da UFF, incluindo a *ementa* das provas, podem ser encontradas no site de concursos da UFF, porém via um roteiro bastante específico, o qual segue abaixo: Roteiro para o acesso: 1. abrir a página: https://app.uff.br/cpd/ 2. Colocar o cursor em cima de "Concursos e Seleções" para abrir uma janelinha. 3. Na janelinha, clicar em "Professor efetivo". 4. Clicar em "Buscar concursos com inscrições abertas". 5. Marcar o campo "por departamento" e escolher "GAN-Departamento de Análise" e clicar em 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 Instituto de Matemática e > Estatística de lá tem 01 vaga nas seguintes condiçoes: > > *** > > Área de Conhecimento: COMBINATÓRIA, LÓGICA MATEMÁTICA, ÁLGEBRA NÃO > COMUTATIVA, TOPOLOGIA (uma vaga). > > Instituto de Matemática e Estatística > > Departamento de Análise (GAN) > > Classe A: Adjunto A - 40h DE > > Provas escrita, didática e prática no período de 15/07/2019 a 19/07/2019. > Formação dos candidatos: Graduação em Qualquer área. Doutorado em > Matemática ou Matemática Aplicada ou Ciências ou Engenharia De Sistemas ou > Computação ou Filosofia. Obs.: A prova Prática consistirá da apresentação > do projeto de pesquisa do candidato e este deverá entregá-lo por escrito ou > encaminhar por e-mail ate sete dias antes do inicio do concurso. > > *** > > Mais informacoes no próprio Edital, no Diário Oficial: > > > http://pesquisa.in.gov.br/imprensa/jsp/visualiza/index.jsp?data=20/03/2019=530=92=292 > > > http://www.in.gov.br/materia/-/asset_publisher/Kujrw0TZC2Mb/content/id/67775079/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" 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/49e0a6a4-5d96-47ef-8da8-32541c205bc8%40dimap.ufrn.br.
[Logica-l] Sessao Especial de Lógica Matemática - 1st Joint Meeting Brazil-France in Mathematics
Caros, O 1st Joint Meeting Brazil-France in Mathematics, organizado pelas sociedades matemáticas do Brasil (SBM e SBMAC) e França (SMF e SMAI), ocorrerá no IMPA, Rio de Janeiro, entre os dias 15 e 19 de Julho. https://impa.br/en_US/eventos-do-impa/eventos-2019/1st-joint-meeting-brazil-france-in-mathematics/ Esse evento ocorre em seguida de dois eventos similares ocorridos no Brasil, ambos muito bem sucedidos - a saber os encontros conjuntos com: Espanha (Fortaleza, 2015) https://www.sbm.org.br/jointmeeting-spain/ e Itália (Rio de Janeiro, 2016) https://www.sbm.org.br/jointmeeting-italy/ No caso da Espanha, inclusive, já houve o 2nd meeting, em Cádiz, 2018: http://spabrazmathcadiz18.uca.es/web/Congreso/ Tais eventos sao sempre constituídos por: palestras plenárias; e sessoes especiais, aprovadas pelos respectivos comitês científicos. Nos dois meetings realizados no Brasil (2015 e 2016), a comunidade brasileira de Lógicos, com o apoio da SBL, logrou incluir uma Sessao de Lógica Matemática entre as Sessoes Especiais: https://www.sbm.org.br/jointmeeting-spain/special-sessions/ https://www.sbm.org.br/jointmeeting-italy/special-sessions/ Tais sessoes especiais também foram muito bem sucedidas. Dando o prosseguimento ao trabalho de participacao da Lógica Matemática brasileira em eventos de Matemática organizados no Brasil, também para o encontro com a França obtivemos o aceite para uma Sessao Especial de 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-france-in-mathematics/special-sessions/ Para esse encontro com a França, já temos a confirmacao de uma participaçao forte de pesquisadores dos dois países, dado que já existe uma colaboraçao franco-brasileira muito bem sucedida em várias áreas no escopo da Lógica Matemática. A sessao especial será devotada principalmente a: Teoria dos Conjuntos, Teoria dos Modelos e Teoria da Prova. Segue a lista de palestrantes confirmados: Juliana Bueno-Soler Christina Brech Walter Carnielli Max Dickmann Giles Dowek Hermann Haeusler Jean-Baptiste Joinet Hugo Mariano Alexandre Miquel Francisco Miraglia Valeria de Paiva Luiz Carlos Pereira Elaine Pimentel Samuel Gomes da Silva Boban Velickovic Giorgio Venturi Títulos, resumos e programacao serao divulgados posteriormente. Já estao confirmadas, no entanto, as datas e horários da Sessao de Lógica Matemática (sessao 15): Quinta, 18 de julho, Sexta 19 de julho, nas duas tardes: das 14h30 às 19hs. Toda a comunidade brasileira de lógicos está convidada a prestigiar o evento. Abraços, []s Samuel e Elaine -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/847575584.29941403.1553254503066.JavaMail.zimbra%40ufba.br.
[Logica-l] Concurso Público UFF (Niterói) - 01 vaga, Lógica é uma das áreas do concurso.
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: COMBINATÓRIA, LÓGICA MATEMÁTICA, ÁLGEBRA NÃO COMUTATIVA, TOPOLOGIA (uma vaga). Instituto de Matemática e Estatística Departamento de Análise (GAN) Classe A: Adjunto A - 40h DE Provas escrita, didática e prática no período de 15/07/2019 a 19/07/2019. Formação dos candidatos: Graduação em Qualquer área. Doutorado em Matemática ou Matemática Aplicada ou Ciências ou Engenharia De Sistemas ou Computação ou Filosofia. Obs.: A prova Prática consistirá da apresentação do projeto de pesquisa do candidato e este deverá entregá-lo por escrito ou encaminhar por e-mail ate sete dias antes do inicio do concurso. *** Mais informacoes no próprio Edital, no Diário Oficial: http://pesquisa.in.gov.br/imprensa/jsp/visualiza/index.jsp?data=20/03/2019=530=92=292 http://www.in.gov.br/materia/-/asset_publisher/Kujrw0TZC2Mb/content/id/67775079/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" 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/690906363.29547190.1553190399574.JavaMail.zimbra%40ufba.br.
[Logica-l] Lembrete rápido: apoio a estudantes EBL 2019
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 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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/332717865.27806348.1552994791030.JavaMail.zimbra%40ufba.br.
[Logica-l] As inscricoes ("registration") para o EBL 2019 já estao abertas.
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 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 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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1898754629.22701926.1552415632516.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Critério de Identidade na Matemática
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 famoso "back and fourth"), é uma estrutura deveras homogênea: qualquer isomorfismo entre subestruturas finitas pode ser estendido a um automorfismo da estrutura inteira; ora, entao a estrutura nao tem elementos definíveis, pois elementos definíveis têm que ser, necessariamente, fixados por qualquer automorfismo. O que segue da... definicao de definibilidade ! O que o seu colega deveria estar tentando te dizer é isso daí de cima, ele deveria estar se referindo à notável homogeneidade da estrutura. Supondo que o seu colega seja um matemático, ele possivelmente nao estava pensando em "identidade" com o rigor que é discutido em Lógica ou Filosofia. Atés, espero ver todos em breve no EBL, []s Samuel PS: Uma busca rápida aqui me deu este paper que é um survey sobre estruturas homogêneas: https://www.sciencedirect.com/science/article/pii/S0012365X11000422 On Tuesday, February 19, 2019 at 6:12:08 PM UTC+1, Durante wrote: > > Caros colegas lógicos, > > Dia desses um colega me disse que uma ordem linear densa enumerável e sem > extremos é uma estrutura matemática que não apresenta nenhum critério de > identidade para os seus objetos. > > Dois exemplos de ordens lineares densas enumeráveis e sem os extremos são: > > (1) a ordem dos números racionais; > > (2) a ordem dos números racionais estritamente maiores do que 0 e > estritamente menores do que 1. > > Minha primeira reação foi pensar: isso é bobagem! > > Para simplificar e exemplificar, vou argumentar aqui focando apenas no > exemplo (2), a ordem dos racionais maiores que 0 e menores que 1. Mas tudo > o que estou dizendo me parece facilmente generalizável para qualquer ordem > deste tipo. > > Suponha que eu "pegue" um número em (2) e chame-o de 'd', e um de vocês, > digamos o Samuel, também "pegue" um número em (2) e chame-o de 's'. Nós > conseguiremos saber usando apenas sentenças da estrutura (2) se eu e Samuel > pegamos o mesmo número ou não. A estrutura (2) é "forte" o suficiente para > atribuir valor de verdade às sentenças (3) e (4) abaixo: > > (3) d < s > (4) s < d > > Se (3) e (4) forem ambas falsas, ou seja, se nenhum dos números for menor > do que o outro, então saberemos que escolhemos o mesmo número. Ou seja (d = > s). Caso uma das sentenças seja verdadeira, a outra será obviamente falsa, > e neste caso saberemos que escolhemos números diferentes. Ou seja (d ≠ s). > > Bem, então temos um critério de identidade na estrutura (2). Para > quaisquer números racionais d e s maiores do que zero e menores do que um: > > (5) (d = s) <=> ~(d < s) & ~(s < d). > > Ok. Mas suponha agora que eu peça para o Samuel apontar para o número 1/2 > usando apenas os recursos dados pela estrutura (2). Eu não tenho certeza se > Samuel conseguiria fazer isso, mesmo sendo ele o grande matemático que > todos sabemos que é. Como ele saberia se um dado número q desta estrutura é > ou não igual a 1/2 sem usar nenhum recurso externo? Como ele acharia o 1/2 > entre estes racionais? > > Uma resposta possível poderia ser: ora, basta ele aplicar o critério de > identidade que definimos acima. Como 1/2 é um racional entre 0 e 1, então > ele é um dos elementos da estrutura (2), que portanto é capaz de atribuir > valor de verdade a (q < 1/2) e a (1/2 < q). Se ambas forem falsas, (q = > 1/2), caso contrário, (q ≠ 1/2). Então, bastaria a Samuel, que tem os > superpoderes de um matemático e não se preocupa com restrições meramente > computacionais e construtivistas, fazer este teste com TODOS os números > racionais entre 0 e 1 e apontar para aquele único que não é nem maior nem > menor do que 1/2. Pronto. Ele conseguiria assim apontar para 1/2. > > Hum... mas espere um pouco. Tem uma casca de banana aí em cima. Para > começar a fazer o teste acima, Samuel já tem que ter o número 1/2 > disponível para comparar com todos os outros. Para conseguir apontar para o > número 1/2 ele já teria que ter o número 1/2 à sua disposição. Mas eu o > estou proibindo de usar qualquer informação não obtida da estrutura (2). A > moral da estória é: ainda que 1/2 seja um dos números racionais maiores do > que zero e menores do que um, a identificação de um número como sendo 1/2 > exige mais recursos do que uma ordem linear densa, enumerável e sem os > extremos pode nos dar. > > Falando isso de um jeito mais filosófico, eu diria que uma ordem linear > densa, enumerável e sem os extremos
[Logica-l] [OFF] Edital CAPES (Professor Visitante no Exterior)
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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0317f18b-dffe-4139-93f1-bd34b8435807%40dimap.ufrn.br.
[Logica-l] Re: AI & CH
Olás, Tentando (e a palavra é "tentar" mesmo) esclarecer alguns pontos: ---> de fato, como Claus disse, a pesquisa sobre CH nos ùltimos 30 anos vem dando certa popularidade ao valor de aleph_2 para o contínuo, mas a história nao é tao simples de ser contada. Primeiro ponto: nao faria sentido colocar "CH" ou "nao CH" como axioma; a idéia sempre foi encontrar algum axioma que fosse aceitável (?) e que decidisse o problema do continuum. O candidato mais natural seria o Axioma da Determinacao (AD), o qual diz que todos os jogos de informacao perfeita, disputados entre dois jogadores e realizados com subconjuntos da reta como "alvo", seriam determinados (i.e., um dos dois jogadores teria uma estratègia vencedora). AD implica a Hipòtese do Contínuo como conjecturada por Cantor - i.e., qualquer subconjunto nao enumerável da reta teria a cardinalidade do continuum (i.e., seria equipotente à reta). (De passagem, é interessante observar que Cantor conjecturou CH exatamente porque os "conjuntos interessantes", aqueles sobre os quais podemos falar efetivamente alguma coisa, em geral "satisfazem CH" - no sentido de que sao classes de subconjuntos da reta que sao ou enumeráveis ou possuem a cardinalidade do contínuo. Como Cantor nao encontrou nenhum conjunto interessante desses com cardinalidade intermediária, conjecturou que é a cardinalidade intermediária que nao existiria... O primeiro exemplo desse tipo sao exatamente os fechados da reta, pelo teorema de Cantor-Bendixson sabemos que os fechados nao enumeraveis da reta possuem a chamada "propriedade do conjunto perfeito", o que na pràtica significa dizer que os fechados nao-enumeráveis devem conter uma còpia homeomòrfica fechada do Conjunto de Cantor, logo sao equipotentes a R. Da mesma forma os Borelianos possuem essa propriedade do conjunto perfeito, também os analìticos... As nocoes de boreliano e de analìtico sao centrais na chamada teoria descritiva dos conjuntos; um analìtico é a projecao de um boreliano, e os borelianos formam a menor sigma-álgebra que contém todos os abertos (dando definicoes teleguiadas só).. Entao, respondendo a JM de passagem, os conjuntos interessantes nao costumam ter cardinalidades intermediárias nao ! "Os contra-exemplos sao complicados", "nao-construtivos", "precisam do Axioma da Escolha pra existir", essas coisas todas...) Voltando ao Axioma da Determinacao: o problema é que AD é incompatìvel como Axioma da Escolha: com AC, é possível exibir conjuntos nao determinados. O trabalho de Woodin e de vàrios outros nos anos 90 foi no sentido de dar consistência a um Axioma que resolveria "o problema dos subconjuntos interessantes da reta", num contexto tal que o contínuo acaba sendo aleph_2; tal axioma é o PD, axioma da determinacao projetiva, o qual declara que os projetivos sao determinados. Projetivos sao conjuntos que sao obtidos a partir de uma sequencia finita de complementos e projecoes de conjuntos analìticos. Declarando que os projetivos sao determinados, praticamente todas questoes sobre os "conjuntos interessantes de reais" ficam resolvidas, digamos assim. O ambiente de grandes cardinais no qual se obtém a consistência de PD - para se postular um axioma, deve se saber que o mesmo é consistente... - sao ambientes nos quais valem versoes muito fortes do chamado PFA, Axioma de Forcing Próprio, e esses axiomas de forcing implicam que o continuo vale aleph_2. Entao o contínuo valer aleph_2 está longe de ser por acaso aí. ---> No entanto, isso tudo é o trabalho de Woodin em "nao CH"... O que ele anda fazendo nos ùltimos poucos anos é no outro sentido, é de conseguir CH no final, investigando/buscando o tal de V = ultimate L, que seria uma busca por uma espécie de modelo canônico da Teoria dos Conjuntos que tivesse algumas propriedades do modelo construtìvel L de Godel mas que fosse compatìvel com grandes cardinais. Nesse ambiente, valeria que o contínuo é aleph_1. ---> Aquela famosa reportagem da Quanta, de 2013, já era sobre essa dicotomia entre "forcing axioms"(que vêm no contexto da determinacao projetiva e mandam o continuo pra aleph_2) e "inner model" (que seria o V = ultimate L, que mantém o contínuo em aleph_1). https://www.scientificamerican.com/article/infinity-logic-law/ ---> Os trabalhos de Woodin 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/fea-woodin.pdf https://www.ams.org/notices/200107/fea-woodin.pdf Atés, []s Samuel On Saturday, January 12, 2019 at 10:22:07 PM UTC+1, Joao Marcos wrote: > > Um problema de aprendizad
[Logica-l] Second Call for Papers and Deadline Extension - EBL 2019
Oliva Suguitani (UFBA) Luiz Carlos Pereira (PUC-Rio/UERJ) Marcelo Coniglio (Unicamp) Marcelo Finger (USP) Maurício Ayala-Rincón (UnB) Nastassja Pugliese (USP) Renata Wassermann (USP) Newton C. A. da Costa (UFSC) Valeria de Paiva (Nuance Communications) Walter Carnielli (Unicamp) Organization The 19th Brazilian Logic Conference is organized by Universidade Federal de Campina Grande (UFCG), Universidade Federal da Paraíba (UFPB) and Sociedade Brasileira de Lógica (SBL) Organizing Committee Ricardo Sousa Silvestre (UFCG, co-chair) Ana Thereza Dürmaier (UFPB, co-chair) Garibaldi 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 There will be a Logic School during the conference; speakers and subjects to be announced. Contact For more information please contact the Organizing Committee at ebl2019cont...@gmail.com. -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/983175093.75528420.1545821838590.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas
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 Samuel On Tuesday, November 6, 2018 at 5:45:53 PM UTC-2, Samuel Gomes da Silva wrote: > > Caros, > > Aos interessados e que possam estar presentes, vou ministrar uma palestra > na próxima sexta, em Salvador, seguem os dados: > > > ** > > Palestra – O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas > > 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 de > infinito; no Paradoxo da Dicotomia, por exemplo, temos o famoso argumento > das “metades de caminhos” com os quais poderíamos concluir que a própria > noção de movimento é uma ilusão, sendo impossível deslocar-se de um ponto A > até um ponto B ! O argumento para expor tal paradoxo é usualmente como > segue: sendo, por exemplo, A o ponto de abcissa x = 0 na reta real e B o > ponto de abcissa x = 1, para nos deslocarmos de A até B devemos primeiro > passar, sequencialmente, pelos pontos de coordenadas: meio; três quartos; > sete oitavos; etc., o que faria com que a tarefa envolvesse uma sequência > enumerável e infinita de operações, o que é impossível para nós humanos que > apenas podemos realizar tarefas finitas; notar que o argumento apresentado > para descrever o paradoxo se relaciona claramente a uma *supertarefa *– o > que*,* por definição, consiste numa sequência enumerável e infinita de > operações que ocorrem sequencialmente dentro de um intervalo de tempo > finito. A argumentação matemática usual para “destruir” o Paradoxo da > Dicotomia é considerar a noção de infinito atual (em oposição ao infinito > potencial) e considerar que a série geométrica correspondente é > convergente. Nesta palestra, estaremos interessados em outro aspecto > (talvez igualmente desagradável para muitas pessoas...) das tais > supertarefas: é muito comum que o desenlace final de uma supertarefa seja > tal que a “situação limite no infinito”, ainda que perfeitamente > determinável, não necessariamente se constitui no “limite das situações > finitas” – situação essa que se torna bastante anti-intuitiva. Discutiremos > nesta palestra as seguintes supertarefas: a Lâmpada de Thompson; o Demônio > das Moedas; o Paradoxo de Ross-Littlewood; o Metrô Transfinito (a qual é > uma *hipertarefa*, pois o número de operações a serem realizadas > sequencialmente é não-enumerável); e, finalmente, o Quebra-cabeça dos > infinitos chapéus dos prisioneiros. Dependendo de cada caso, tais > super/hipertarefas podem ter um desenlace: ou impossível (no sentido da > resposta a uma determinada pergunta ser impossível de ser determinado) ou > possível e determinado – porém totalmente surpreendente e anti-intuitivo ! > Questões matemáticas mais avançadas (envolvendo noções como *continuidade* > ou mesmo o *Axioma da Escolha*) também aparecerão durante as análises > dessas supertarefas e hipertarefas. > > > ***** > > É uma das palestras mais próximas da Filosofia que já apresentei, mas > obviamente que o ponto de vista é de um matemático. > > 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/02efa26c-bcb6-49a9-a8a1-fb5bb978ef6a%40dimap.ufrn.br.
Re: [Logica-l] Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas
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. > - > Departamento de Filosofia - (UFRN) > http://danieldurante.weebly.com > > Em 6 de nov de 2018, à(s) 14:45, Samuel Gomes da Silva > escreveu: > > Caros, > > Aos interessados e que possam estar presentes, vou ministrar uma palestra > na próxima sexta, em Salvador, seguem os dados: > > > ** > > Palestra – O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas > 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 de > infinito; no Paradoxo da Dicotomia, por exemplo, temos o famoso argumento > das “metades de caminhos” com os quais poderíamos concluir que a própria > noção de movimento é uma ilusão, sendo impossível deslocar-se de um ponto A > até um ponto B ! O argumento para expor tal paradoxo é usualmente como > segue: sendo, por exemplo, A o ponto de abcissa x = 0 na reta real e B o > ponto de abcissa x = 1, para nos deslocarmos de A até B devemos primeiro > passar, sequencialmente, pelos pontos de coordenadas: meio; três quartos; > sete oitavos; etc., o que faria com que a tarefa envolvesse uma sequência > enumerável e infinita de operações, o que é impossível para nós humanos que > apenas podemos realizar tarefas finitas; notar que o argumento apresentado > para descrever o paradoxo se relaciona claramente a uma *supertarefa *– o > que*,* por definição, consiste numa sequência enumerável e infinita de > operações que ocorrem sequencialmente dentro de um intervalo de tempo > finito. A argumentação matemática usual para “destruir” o Paradoxo da > Dicotomia é considerar a noção de infinito atual (em oposição ao infinito > potencial) e considerar que a série geométrica correspondente é > convergente. Nesta palestra, estaremos interessados em outro aspecto > (talvez igualmente desagradável para muitas pessoas...) das tais > supertarefas: é muito comum que o desenlace final de uma supertarefa seja > tal que a “situação limite no infinito”, ainda que perfeitamente > determinável, não necessariamente se constitui no “limite das situações > finitas” – situação essa que se torna bastante anti-intuitiva. Discutiremos > nesta palestra as seguintes supertarefas: a Lâmpada de Thompson; o Demônio > das Moedas; o Paradoxo de Ross-Littlewood; o Metrô Transfinito (a qual é > uma *hipertarefa*, pois o número de operações a serem realizadas > sequencialmente é não-enumerável); e, finalmente, o Quebra-cabeça dos > infinitos chapéus dos prisioneiros. Dependendo de cada caso, tais > super/hipertarefas podem ter um desenlace: ou impossível (no sentido da > resposta a uma determinada pergunta ser impossível de ser determinado) ou > possível e determinado – porém totalmente surpreendente e anti-intuitivo ! > Questões matemáticas mais avançadas (envolvendo noções como *continuidade* > ou mesmo o *Axioma da Escolha*) também aparecerão durante as análises > dessas supertarefas e hipertarefas. > > > ***** > > É uma das palestras mais próximas da Filosofia que já apresentei, mas > obviamente que o ponto de vista é de um matemático. > > Abraços, > > []s Samuel > > -- > Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br . > Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br > . > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/257780158.40628631.1541533549222.JavaMail.zimbra%40ufba.br > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/257780158.40628631.1541533549222.JavaMail.zimbra%40ufba.br?utm_medium=email_source=footer> > . > > > -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8a322a0d-219c-4e0f-bbcb-31dfc4d69a8d%40dimap.ufrn.br.
[Logica-l] Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas
Caros, Aos interessados e que possam estar presentes, vou ministrar uma palestra na próxima sexta, em Salvador, seguem os dados: ** Palestra – O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas 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 de infinito; no Paradoxo da Dicotomia, por exemplo, temos o famoso argumento das “metades de caminhos” com os quais poderíamos concluir que a própria noção de movimento é uma ilusão, sendo impossível deslocar-se de um ponto A até um ponto B ! O argumento para expor tal paradoxo é usualmente como segue: sendo, por exemplo, A o ponto de abcissa x = 0 na reta real e B o ponto de abcissa x = 1, para nos deslocarmos de A até B devemos primeiro passar, sequencialmente, pelos pontos de coordenadas: meio; três quartos; sete oitavos; etc., o que faria com que a tarefa envolvesse uma sequência enumerável e infinita de operações, o que é impossível para nós humanos que apenas podemos realizar tarefas finitas; notar que o argumento apresentado para descrever o paradoxo se relaciona claramente a uma supertarefa – o que , por definição, consiste numa sequência enumerável e infinita de operações que ocorrem sequencialmente dentro de um intervalo de tempo finito. A argumentação matemática usual para “destruir” o Paradoxo da Dicotomia é considerar a noção de infinito atual (em oposição ao infinito potencial) e considerar que a série geométrica correspondente é convergente. Nesta palestra, estaremos interessados em outro aspecto (talvez igualmente desagradável para muitas pessoas...) das tais supertarefas: é muito comum que o desenlace final de uma supertarefa seja tal que a “situação limite no infinito”, ainda que perfeitamente determinável, não necessariamente se constitui no “limite das situações finitas” – situação essa que se torna bastante anti-intuitiva. Discutiremos nesta palestra as seguintes supertarefas: a Lâmpada de Thompson; o Demônio das Moedas; o Paradoxo de Ross-Littlewood; o Metrô Transfinito (a qual é uma hipertarefa , pois o número de operações a serem realizadas sequencialmente é não-enumerável); e, finalmente, o Quebra-cabeça dos infinitos chapéus dos prisioneiros. Dependendo de cada caso, tais super/hipertarefas podem ter um desenlace: ou impossível (no sentido da resposta a uma determinada pergunta ser impossível de ser determinado) ou possível e determinado – porém totalmente surpreendente e anti-intuitivo ! Questões matemáticas mais avançadas (envolvendo noções como continuidade ou mesmo o Axioma da Escolha ) também aparecerão durante as análises dessas supertarefas e hipertarefas. * É uma das palestras mais próximas da Filosofia que já apresentei, mas obviamente que o ponto de vista é de um matemático. 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/257780158.40628631.1541533549222.JavaMail.zimbra%40ufba.br.
[Logica-l] Conjuntos Dedekind-infinitos / Classes em NBG e ZFC
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 bijeções com
partes próprias. Até mesmo no nosso querido Dicionário Aurélio consta essa
definição (se não me engano, está ali como
uma das várias subdefinições da palavra "conjunto"). Porém, eu sempre brinco
com meus alunos que "O Dicionário Aurélio
assume o Axioma da Escolha nessa parte !!"
Explico. Inicialmente, conforme a literatura atual, vamos chamar de D-infinitos
os conjuntos que possuem bijeções com partes
próprias (obviamente, D vem de Dedekind).
Em ZF (i.e., sem a necessidade do Axioma da Escolha), podemos provar que
Um conjunto é D-infinito se, e somente se, possui um subconjunto infinito
enumerável.
(para construir o subconjunto infinito enumerável de um D-infinito, encare a
bijeção com a parte própria como sendo uma
função injetora e não sobrejetora do conjunto nele mesmo. Tome um elemento que
não esteja na imagem e itere a função injetora nele. Pronto.)
*Porém*, para se provar que
Um conjunto é D-infinito se, e somente se, é infinito (:= não possui bijeção
com nenhum número natural)
Aí sim, precisamos do Axioma da Escolha, para provar a parte relativa ao "se"
(o "somente se" é a contrapositiva do Princípio
da Casa dos Pombos, o qual, no nosso contexto, fala que para conjuntos
*finitos* vale o princípio de Euclides de que
"uma parte tem que ser menor do que o todo"...).
(Para ver a ação do axioma da escolha, tome um conjunto infinito x e considere
uma função escolha h nas suas partes não-vazias - aí que
se usa o axioma da escolha. Por recursão, defina a_0 = h(x) e a_{n + 1} = h(x
menos {a_0,...,a_n}). Pronto.)
Agora, não é só porque sabemos onde e como usamos o Axioma da Escolha aí que eu
estou falando que o Axioma da Escolha é necessário:
é consistente com ZF que existam conjuntos infinitos que *não* possuem
subconjuntos infinitos enumeráveis !!! No modelo básico de
Cohen, no qual o Axioma da Escolha é falso, mostra-se que existe um subconjunto
denso na reta real que é D-finito.
(No modelo de Cohen, nem o Axioma da Escolha Enumerável é verdadeiro; na
verdade, o Axioma da Escolha Enumerável é suficiente para
mostrar que todo conjunto infinito é D-infinito...)
No livro do Jech, "Axiom of Choice", tem essas coisas bem exploradas, por
exemplo com esse conjunto infinito porém D-finito é relativamente
fácil construir pontos em fechos que não são limites de sequências, funções
sequencialmente contínuas que não são contínuas...
Então, a definição de Dedekind para infinito sim que é equivalente à usual -
mas na presença do Axioma da Escolha !
---> Sobre classes: sim, classes são totalidades, OK. concordo com Daniel. E
mais ou menos penso como Cantor (os conjuntos são as "classes
não-contraditórias", as tais totalidades consistentes - normalmente os
paradoxos, como o de Russel, nascem de se supor que uma certa totalidade é um
conjunto e a partir daí deduzir uma contradição).
É possível formalizar a afirmação do JM ("algo que seja grande demais para ser
um conjunto é uma classe"). Na teoria de classes NBG, conjunto é definido
como sendo uma classe que possa pertencer a uma outra classe (ou seja, é
"pequeno o suficiente" para caber em outra). Em ZFC, é fácil ver que
as classes são exatamente 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
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/843475533.36323207.1541085623201.JavaMail.zimbra%40ufba.br.
[Logica-l] Extension of deadlines: Call for papers: Proceedings of the XVIII Brazilian Logic Conference (EBL 2017)
... 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: *NEW* IMPORTANT DATES: > * Deadline for submissions: November 30, 2018. > * Decision notifications: January 20, 2019. > * Deadline for submissions of revised papers: February 10, 2018 So the current estimative for the conclusion of the process is mid of April 2019. For the submission details, please see the email below. Sincerely yours, The editors: Wagner de Campos Sanz, Jonas Becker, Daniel Ventura, Hugo Luiz Mariano -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614338691.33813634.1540912831467.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: II Workshop da Sociedade Brasileira de Lógica - Fortaleza/CE, 28 de Setembro de 2018, 14hs
Prezados, A programação definitiva do II Workshop da SBL foi publicada hoje no site do evento, bem como todos os resumos das apresentações. Programação 14h00-14h25 Mário Benevides (COPPE-UFRJ) 14h30-14h55 Umberto Rivieccio (UFRN) 15h00-15h25 Maurício Ayala-Rincón (UnB) 15h30-16h10 Luiz Carlos 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/WorkshopSBL2018 Agradeço a oportunidade para agradecer, em nome da SBL, a todos os colegas que aceitaram o convite para apresentar seus trabalhos no workshop, e reforço o convite a todos que possam estar em Fortaleza na sexta-feira da semana que vem, dia 28, logo após o término do LSFA, para prestigiar o evento. Abraços, []s Samuel On Thursday, September 6, 2018 at 7:02:58 PM UTC-3, Samuel Gomes da Silva wrote: > > II WORKSHOP DA SOCIEDADE BRASILEIRA DE LÓGICA > > UFC – Fortaleza, CE > > Departamento de Computação – Campus do PICI > > > > > 28 de Setembro de 2018, 14hs > > > > > > > > O II Workshop da Sociedade Brasileira de Lógica é uma iniciativa da > Sociedade Brasileira de Lógica - SBL, consistindo de palestras e > comunicações convidadas, com o objetivo de apresentar um painel da pesquisa > em Lógica no Brasil (e em particular, no Nordeste), em todas as suas > vertentes: Filosofia, Ciência da Computação, Matemática. > > > > > >Os *keynote speakers *do Workshop serão: Yiannis Moschovakis > (UCLA, Califórnia) e Luiz Carlos Pereira (PUC-Rio e UERJ). > > > > > > O Workshop realiza-se no Departamento de Ciência da Computação, Campus > Pici, na mesma semana em que ocorre em Fortaleza uma edição do tradicional > evento LSFA – Logical and Semantic Frameworks, with Applications (26 a 28 > de Setembro). > > > > > > > >http://lia.ufc.br/~lsfa2018/ > > > > > > O Workshop é isento de inscrição. As informações sobre > credenciamento no evento LSFA podem ser verificadas no próprio site do > evento. > > > >Todas as apresentações do Workshop serão em inglês. > > > ><http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018> > > > > > > > > > > PROGRAMAÇÃO DO WORKSHOP (sujeita a alterações) > > > > > > 14h00-14h25 Mário Benevides (COPPE-UFRJ) > > 14h30-14h55 Umberto Rivieccio (UFRN) > > 15h00-15h40 Luiz Carlos Pereira (PUC-Rio e UERJ) *(keynote > speaker)* > > 15h45-16h10 Carlos Brito (UFC) > > 16h10-16h35 TBA > > > > 16h35-17h00 Coffee break > > > > 17h00-17h25 João Fernando Lima Alcântara (UFC) > > 17h30-17h55 Marcos Silva (UFAL) > > 18h00-18h25 Samuel G. da Silva (UFBA e SBL) > > 18h30-19h10 Yiannis Moschovakis (UCLA e Univ.Athens) *(keynote > speaker)* > > > > > > > Os resumos estarão disponibilizados na página oficial do evento: > > > http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018 > > > > > Organização:Prof. Dr. Samuel Gomes da Silva (UFBA e SBL) – Co-chair > > Prof. Dr. Francicleber Martins Ferreira (UFC) – > Co-chair > > Profa. Dra. Márcia Roberta Falcão de Farias > (UNILAB) > > > > > > Obs.: Por uma coincidência, as duas primeiras edições do Workshop da SBL > (2017 e 2018) tiveram como sede escolhida uma cidade do Nordeste > brasileiro. A SBL está aberta a propostas de realizações de Workshops em > outras regiões do país, sempre buscando aproveitar a presença de > pesquisadores de Lógica numa determinada cidade em decorrência da > realização de algum evento maior. > > > > > -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9a8a1e86-4766-469f-a685-c603eb3e7ae7%40dimap.ufrn.br.
[Logica-l] Call for Papers - Proceedings EBL 2017 (Pirenópolis)
(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 published as an special issue of the South American Journal of Logic. All contributing authors from the EBL 2017 are invited to submit a full version of their EBL 2017 paper presented at the conference, as well as papers of general interest within the conference themes. This invitation is also extended to the EBL 2017 keynote speakers and tutorialists, who can submit papers related to their talks at the conference or papers of general interest within the conference themes. Submissions will be subjected to the usual refereeing process adopted by the South American Journal of Logic (SAJL). We kindly ask the authors to prepare their manuscripts following author's guide at the webpage of the SAJL: http://www.sa-logic.org/ Authors of contributions containing a markedly philosophical content will be kindly invited to publish their articles in a special issue of Principia: https://periodicos.ufsc.br/index.php/principia/index TO SUBMIT: Please send an email to ebl2017submiss...@gmail.com content: - the full names and the affiliation of all authors; - an attached file with your manuscript, without names and affiliation (since the refereeing process will be by "double blind peer review"). IMPORTANT DATES: * Deadline for submissions: October 31, 2018. * Decision notifications: December 20, 2018. * Deadline for submissions of revised papers: January 10, 2018 * Proof copies sent to authors: January 31, 2019 * Authors submission of camera ready papers: February 11, 2019 * Proceedings published online: February 11, 2019 * Proceedings published (estimated): March 8, 2019 Sincerely yours, The editors: Wagner de Campos Sanz, Jonas Becker, Daniel Ventura, Hugo Luiz Mariano -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1134613849.33022958.1534791873592.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] "The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation"
... 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. Sinto-me honrado de ser representante da nossa > modesta pesquisa em teoria de conjuntos pura. > > Abraço > > On Sat, Aug 18, 2018 at 12:23 AM Itala M. Loffredo D'Ottaviano < > it...@cle.unicamp.br > wrote: > >> Caro Alfredo: >> Meus cumprimentos, que alegria para nós todos! >> Itala >> >> > Car@s: >> > >> > Gostaria de parabenizar aqui mais uma vez meu estudante Alfredo >> > Freire que está cumprindo uma bolsa de Doutorado-SanduÃche na CUNY em >> > Nova Iorque. >> > >> > Alfredo acaba de ser (muito positivamente) mencionado numa postagem >> > pelo Joel David Hamkins da CUNY a respeito do seguinte tópico: >> > >> > "The axiom of well-ordered replacement is equivalent to full >> > replacement over Zermelo + foundation" >> > >> > Leiam detalhes aqui: >> > >> http://jdh.hamkins.org/replacement-for-well-ordered-sets-is-equivalent-to-full-replacement/ >> > >> > Aproveito para parabenizar e agradecer o agora colega Rodrigo Freire >> > (ex-orientando) que ajudou a suprir as sólidas bases da formação do >> > Alfredo. >> > >> > Abraços, >> > >> > Walter >> > >> > -- >> > --- >> > Walter Carnielli >> > Centre for Logic, Epistemology and the History of Science and >> > Department of Philosophy >> > State University of Campinas –UNICAMP >> > 13083-859 Campinas -SP, Brazil >> > >> > >> > >> http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB=9781107179028 >> > >> > >> > Institutional e-mail: walter.c...@cle.unicamp.br >> > Website: http://www.cle.unicamp.br/prof/carnielli >> > CV Lattes : http://lattes.cnpq.br/105496835379 >> > >> > -- >> > 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+u...@dimap.ufrn.br . >> > Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br >> . >> > Visite este grupo em >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >> > Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Orx54cDOoaQcLmNwNzr-B9YMSJURP53A6OqwyXFPPeMA%40mail.gmail.com >> . >> > >> >> >> >> ITALA M. LOFFREDO D'OTTAVIANO >> Full Professor of Logic and the Foundations of Mathematics >> Centre for Logic, Epistemology and the History of Science - CLE >> University of Campinas - UNICAMP >> Sergio Buarque de Holanda, 251 Street >> ZIP CODE 13083-859 - Campinas-SP, Brazil >> Tel.:+55–19-3521-6517 >> www.cle.unicamp.br >> >> -- >> 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+u...@dimap.ufrn.br . >> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br >> . >> Visite este grupo em >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >> Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e4984a134cf3af6c1fc9a53c56bbde27.squirrel%40www.cle.unicamp.br >> . >> > -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/480cdac1-dd26-4263-980c-bfaa1a7b427b%40dimap.ufrn.br.
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... 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 de
LOGICA" <logica-l@dimap.ufrn.br>, "samuel" <sam...@ufba.br>
Cc: "Carlos G González" <gonza...@gmail.com>, "Carlos González"
<filonict...@yahoo.com>
Enviadas: Domingo, 13 de maio de 2018 18:16:38
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
Prezado Samuel,
> Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis,
> ZF + Não existem inacessíveis...
> Vai ter gente dando bons motivos para qualquer um deles.
Não sei se bons motivos, mas tentei analisar prós e contras para algum deles
em:
http://www.jstor.org/stable/23915422?seq=1#page_scan_tab_contents
"Sobre el agregado de axiomas a ZF", em espanhol.
Sobre denominados paradoxos como o de Tarski-Banach quero ler com cuidado a
discussão da lista.
O parecerista fez me tirar a última parte, que não foi publicada, alegando que
estava insuficientemente fundamentada (era uma mera conjectura, eu não
pretendia fundamentar nada, mas o parecerista não gostou).
Talvez fale disso num outro e-mail.
Abraços
Carlos
2018-05-11 13:08 GMT-03:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br
> :
Olás,
O paper do Rodrigo ele mesmo explica depois;
Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis, ZF + Não
existem inacessíveis... Vai ter gente dando bons motivos para qualquer um
deles.
Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir os
segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que é
equivalente
ao Teorema de Baire para Métricos 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, 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio é, na verdade, equivalente ao Axioma da
Escol
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... 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-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a95045e8-d7eb-4046-af1a-460328618719%40dimap.ufrn.br.
[Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... Oi Rodrigo,
Meio que reforçando/explicitando uma possível pergunta sugerida pelo
comentário do Walter pra Valeria,
--> Como você explica/justifica que no seu sistema/no seu critério o axioma
do infinito seja construtivo ?
Porque, de fato, à primeira vista ele parece ser não-construtivo, 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 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, à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
> (talvez a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual
> demonstra-se que uma bola fechada ``sólida'' no espaço euclidiano R^3 pode
> ser decomposta em um número finito de subconjuntos os quais, quando
> rearranjados de uma certa forma, usando apenas movimentos rígidos, acabam
> produzindo duas bolas fechadas idênticas à original. Variações desse mesmo
> teorema podem ser enunciadas de maneira ainda mais impressionante ("podemos
> cortar uma laranja em finitos pedaços e usá-los para construir uma bola do
> tamanho do Sol, usando apenas movimentos rígidos"). Obviamente, os pedaços
> da laranja em questão seriam não-mensuráveis - assim, o Paradoxo do
> Banach-Tarski pode ser entendido como uma demonstração alternativa para o
> bastante conhecido fato de que o Axioma da Escolha produz, facilmente,
> subconjuntos não-mensuráveis em um espaço euclidiano. Devido aos referidos
> aspectos anti-intuitivos, o Paradoxo de Banach-Tarski é frequentemente
> usado em argumentos contra a aceitação do Axioma da Escolha. Nesta
> palestra, veremos que o aparente desejo desses pesquisadores contrários (o
> qual, aparentemente, seria desprezar o Axioma da Escolha para poder então
> considerar modelos nos quais todos os subconjuntos de um dado espaço
> euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
> anti-intuitivos no que se refere a decomposições de conjuntos - de modo que
> o Axioma da Escolha não deve ser considerado o único culpado no que se
> refere a situações completamente anti-intuitivas envolvendo partições ! Por
> exemplo, mostraremos no seminário que: se todos os subconjuntos da reta
> fossem Lebesgue-mensuráveis, então poderíamos decompor a reta em
> estritamente *mais* do que 2^{aleph_0} subconjuntos disjuntos e não-vazios
> (!!!). Por aparecer como uma espécie de denominador comum em uma série de
> construções, aproveitaremos a oportunidade para discutir o chamado
> Princípio da Partição - que é uma consequência imediata do Axioma da
> Escolha para a qual a pergunta natural no contexto (``Será que esse
> princípio é, na verdade, equivalente ao Axioma da Escolha ?'') constitui-se
> num dos mais antigos (e ainda em aberto) problemas desse tipo na literatura.
>
>
>
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3cbf3bab-a897-45d8-a141-1c957902a6f0%40dimap.ufrn.br.
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... COMPLETO e separável, obviamente.
(Em ZF espaços separáveis tem base enumerável. Ter o denso enumerável e ter a
base enumerável possibilita fazer infinitas escolhas não-arbitrárias
("sempre escolhendo o menor índice possível na enumeração") que transformam a
demonstração do 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" <sam...@ufba.br>
Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser, vende
o seu peixe, ne?
> Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir
> os segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que
> é equivalente ao Teorema de Baire para Métricos Completos e ao mais simples
> dos axiomas de forcing (Lema de Rasiowa-Sikorski). Implica o Axioma da
> Escolha Enumerável.
boas razoes, mais topologicas do que endogenas a Set Theory, nao?
eu gosto disso. principalmente da equivalencia ao Lema de Rasiowa-Sikorski,
forcing nao 'e a minha praia, mas enfim.
acredito que Countable Choice nao te da' Baire, correto?
valeu!
2018-05-11 9:08 GMT-07:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br
> :
Olás,
O paper do Rodrigo ele mesmo explica depois;
Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis, ZF + Não
existem inacessíveis... Vai ter gente dando bons motivos para qualquer um
deles.
Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir os
segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que é
equivalente
ao Teorema de Baire para Métricos 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, 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio é
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... E não, Countable Choice é estritamente mais fraco que DC, portanto não dá
Baire para métricos completos.
(Incidentalmente, não precisamos de parte alguma do Axioma da Escolha para
provar
o Teorema de Baire se o espaço métrico em questão for separável (i.e., tem
denso enumerável)... Isso 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" <sam...@ufba.br>
Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser, vende
o seu peixe, ne?
> Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir
> os segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que
> é equivalente ao Teorema de Baire para Métricos Completos e ao mais simples
> dos axiomas de forcing (Lema de Rasiowa-Sikorski). Implica o Axioma da
> Escolha Enumerável.
boas razoes, mais topologicas do que endogenas a Set Theory, nao?
eu gosto disso. principalmente da equivalencia ao Lema de Rasiowa-Sikorski,
forcing nao 'e a minha praia, mas enfim.
acredito que Countable Choice nao te da' Baire, correto?
valeu!
2018-05-11 9:08 GMT-07:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br
> :
Olás,
O paper do Rodrigo ele mesmo explica depois;
Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis, ZF + Não
existem inacessíveis... Vai ter gente dando bons motivos para qualquer um
deles.
Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir os
segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que é
equivalente
ao Teorema de Baire para Métricos 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, 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
Olá Valeria, olá todos,
Sim, estão aí minhas raízes de topólogo nas "escolhas" (olha a palavrinha
mágica aí) que faço.
Mas o lado "axioma de forcing" é bem presente também.
Eu ando recomendando a todos umas transparências de Matteo Viale (Turim)
apresentou recentemente em Barcelona: ele defende
que vários teoremas existenciais e não-construtivos em matemática podem ser
unificados e encarados todos como axiomas de forcing.
http://www.crm.cat/en/Activities/Curs_2016-2017/Documents/Viale.pdf
Aí, na hora de vender o peixe, eu digo que "o forcing é uma generalizaçã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 brasileira dos profissionais e estudantes da área de
LOGICA" <logica-l@dimap.ufrn.br>
Cc: "Samuel" <sam...@ufba.br>
Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser, vende
o seu peixe, ne?
> Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir
> os segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que
> é equivalente ao Teorema de Baire para Métricos Completos e ao mais simples
> dos axiomas de forcing (Lema de Rasiowa-Sikorski). Implica o Axioma da
> Escolha Enumerável.
boas razoes, mais topologicas do que endogenas a Set Theory, nao?
eu gosto disso. principalmente da equivalencia ao Lema de Rasiowa-Sikorski,
forcing nao 'e a minha praia, mas enfim.
acredito que Countable Choice nao te da' Baire, correto?
valeu!
2018-05-11 9:08 GMT-07:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br
> :
Olás,
O paper do Rodrigo ele mesmo explica depois;
Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis, ZF + Não
existem inacessíveis... Vai ter gente dando bons motivos para qualquer um
deles.
Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir os
segmentos iniciais finitos, eu vou ter a sequência toda... Sem contar que é
equivalente
ao Teorema de Baire para Métricos 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, 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
L
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
Olás, Rodrigo: Bacana o post do MathOverFlow ! Além do resultado do Levy que você respondeu no post (mais ou menos formalizando a idéia de que ZF corresponde a uma noção de "matemática construtiva" - eu gosto de pensar em ZF + DC como uma "boa aproximação disso"...), é interessante lembrar do *seu* próprio resultado (do paper "On existence in set theory"), no qual, após analisar os axiomas todos, você mostrou que, de fato, sob uma certa formulação bem específica e razoável, o Axioma da Escolha é o único axioma não-construtivo da Teoria dos Conjuntos ! Júlio: Sim, o Axioma da Determinação é uma paulada: todos os conjuntos da reta ficam mensuráveis, todos os não-enumeráveis contém um conjunto perfeito, a Hipótese do Contínuo (como enunciada por Cantor) é verdadeira... Mas AD também tem lá seus problemas se a pessoa for excessivamente construtivista, digamos ! ZF + AD é equiconsistente com a existência de infinitos cardinais inacessíveis de Woodin, e cada um dos cardinais de Woodin implica a existência de cardinais mensuráveis. Ora, pelo famoso resultado de Dana Scott, se V = L não existem mensuráveis... Então, se a pessoa achar 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" - minha postura é meio que aceitar os problemas de cada um dos caminhos, e trabalhar um pouco com todos também, porque todos são pesquisa interessante e valiosa. - Mensagem original - De: "Julio Stern" <jmst...@hotmail.com> Para: logica-l@dimap.ufrn.br Cc: sam...@ufba.br Enviadas: Sexta-feira, 11 de maio de 2018 8:00:34 Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra) O Samuel e alguns outros redistas que me desculpem, mas a culpa eh Sim do Axioma da Escolha! O Axioma da Determinacao (Axiom of Determinacy - AD) eh uma das varias alternativas ao Axioma da Escolha que resolve a questao da Existencia de conjuntos nao-mensuraveis. Nao ha nada de errado com a Teoria da Medida (MT) ! Quem tem que dizer se ha algo de errado com MT ou nao -- sao os clientes (Probabilistas, Estatisticos, Fisicos, etc). O papel do pessoal de Logica e Teoria dos Conjuntos eh arrumar as fundacoes do predio para que as teorias matematicas consagradas tenham a melhor axiomatizacao possivel... Quanto a necessidade de teabalhar com o infinito, nao olhem para processos de contagem de numero de particulas (teoria asintotica se resolve facil). Olhem para o numero de >>> Pontos do Espaco-Tempo Eh dai que vem os paradoxos serios do infinito! Abracos descaradamente utilitaristas de um usario exigente e mal-criado das ferramentas da Logica, ---Julio Stern From: Rodrigo Freire <freires...@gmail.com> Sent: Friday, May 11, 2018 4:00 AM To: logica-l@dimap.ufrn.br Cc: sam...@ufba.br Subject: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra) Há uma questão mais ou menos recente no mathoverflow que está diretamente relacionada com o seu título. https://mathoverflow.net/questions/297738/in-what-ways-is-zf-without-choice-somewhat-constructive set theory - In what ways is ZF (without Choice) "somewhat ... mathoverflow.net Let me summarize what I think I understand about constructivism: "Constructive mathematics" is generally understood to mean a variety of theories formulated in intuitionist logic (i.e., not assumi... Abraço Em 10 de mai de 2018, à(s) 22:59, 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br > escreveu: Oi Claus, É isso mesmo, o infinito é uma bela abstração; o número de partículas do universo é finito, hehe. Então, não temos para onde correr: mesmo com todos os problemas que possam aparecer, não podemos dispensar a noção de infinito. O máximo que a pessoa pode fazer é decidir se quer viver 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/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, à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 (talvez a mais célebre delas) é o Paradoxo de
[Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
Oi Claus,
É isso mesmo, o infinito é uma bela abstração; o número de partículas do
universo é finito, hehe.
Então, não temos para onde correr: mesmo com todos os problemas que possam
aparecer, não podemos
dispensar a noção de infinito. O máximo que a pessoa pode fazer é decidir
se quer viver 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/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, à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
> (talvez a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual
> demonstra-se que uma bola fechada ``sólida'' no espaço euclidiano R^3 pode
> ser decomposta em um número finito de subconjuntos os quais, quando
> rearranjados de uma certa forma, usando apenas movimentos rígidos, acabam
> produzindo duas bolas fechadas idênticas à original. Variações desse mesmo
> teorema podem ser enunciadas de maneira ainda mais impressionante ("podemos
> cortar uma laranja em finitos pedaços e usá-los para construir uma bola do
> tamanho do Sol, usando apenas movimentos rígidos"). Obviamente, os pedaços
> da laranja em questão seriam não-mensuráveis - assim, o Paradoxo do
> Banach-Tarski pode ser entendido como uma demonstração alternativa para o
> bastante conhecido fato de que o Axioma da Escolha produz, facilmente,
> subconjuntos não-mensuráveis em um espaço euclidiano. Devido aos referidos
> aspectos anti-intuitivos, o Paradoxo de Banach-Tarski é frequentemente
> usado em argumentos contra a aceitação do Axioma da Escolha. Nesta
> palestra, veremos que o aparente desejo desses pesquisadores contrários (o
> qual, aparentemente, seria desprezar o Axioma da Escolha para poder então
> considerar modelos nos quais todos os subconjuntos de um dado espaço
> euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
> anti-intuitivos no que se refere a decomposições de conjuntos - de modo que
> o Axioma da Escolha não deve ser considerado o único culpado no que se
> refere a situações completamente anti-intuitivas envolvendo partições ! Por
> exemplo, mostraremos no seminário que: se todos os subconjuntos da reta
> fossem Lebesgue-mensuráveis, então poderíamos decompor a reta em
> estritamente *mais* do que 2^{aleph_0} subconjuntos disjuntos e não-vazios
> (!!!). Por aparecer como uma espécie de denominador comum em uma série de
> construções, aproveitaremos a oportunidade para discutir o chamado
> Princípio da Partição - que é uma consequência imediata do Axioma da
> Escolha para a qual a pergunta natural no contexto (``Será que esse
> princípio é, na verdade, equivalente ao Axioma da Escolha ?'') constitui-se
> num dos mais antigos (e ainda em aberto) problemas desse tipo na literatura.
>
>
>
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/821f87a6-6db8-4ccd-9485-c2fd98464a6a%40dimap.ufrn.br.
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
(Quanto ao problema da medida, o grande problema da medida de Lebesgue, no que
se refere ao Axioma da Escolha, é ela
ser invariante por translações; se aceitamos medidas que não sejam invariantes
por translações, aí podemos trabalhar em ZFC
e considerar conjuntos nos quais todos os subconjuntos são mensuráveis, *porém*
entram os tais cardinais inacessíveis na jogada...
Então não existe "solução simples" para o problema da extensão da medida de
Lebesgue)
- 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" <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 e Walter,
tem uma grande distancia entre
> o Axioma da Escolha não deve ser considerado o *único* culpado no que se
> refere a situações completamente anti-intuitivas envolvendo partições !
e
>o Axioma da Escolha não tem culpa *nenhuma*, quem tem é a noção de medida, que
>é 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 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio é, na verdade, equivalente ao Axioma da
Escolha ?'') constitui-se num dos mais antigos (e ainda em aberto) problemas
desse tipo na literatura.
--
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br .
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/
.
Para ver essa discussão na Web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/208fc5dc-3bb6-454e-93bc-89518f9b%40dimap.ufrn.br
.
--
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nua
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
Olá Valeria, oi todos,
A distância está entre o título mais chamativo e o abstract mais realista. 8-)
A questão de fundo é: com o Axioma da Escolha temos situações aparentemente
paradoxais (do tipo Banach-Tarski), sem o Axioma da Escolha também
(partições com mais partes do que elementos).
Há quem diga que: a culpa é toda do Axioma do Infinito ! Qualquer tratamento
que se dê aos conjuntos infinitos vai acabar caindo em situações
anti-intuitivas !
Eu, particularmente, diria que nem o Axioma do Infinito nem o Axioma da Escolha
têm culpa de nada... Ou seja, de qualquer forma 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 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 e Walter,
tem uma grande distancia entre
> o Axioma da Escolha não deve ser considerado o *único* culpado no que se
> refere a situações completamente anti-intuitivas envolvendo partições !
e
>o Axioma da Escolha não tem culpa *nenhuma*, quem tem é a noção de medida, que
>é 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 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 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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio é, na verdade, equivalente ao Axioma da
Escolha ?'') constitui-se num dos mais antigos (e ainda em aberto) problemas
desse tipo na literatura.
--
Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br .
Acesse ess
[Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)
... 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,
> 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, à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
> (talvez a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual
> demonstra-se que uma bola fechada ``sólida'' no espaço euclidiano R^3 pode
> ser decomposta em um número finito de subconjuntos os quais, quando
> rearranjados de uma certa forma, usando apenas movimentos rígidos, acabam
> produzindo duas bolas fechadas idênticas à original. Variações desse mesmo
> teorema podem ser enunciadas de maneira ainda mais impressionante ("podemos
> cortar uma laranja em finitos pedaços e usá-los para construir uma bola do
> tamanho do Sol, usando apenas movimentos rígidos"). Obviamente, os pedaços
> da laranja em questão seriam não-mensuráveis - assim, o Paradoxo do
> Banach-Tarski pode ser entendido como uma demonstração alternativa para o
> bastante conhecido fato de que o Axioma da Escolha produz, facilmente,
> subconjuntos não-mensuráveis em um espaço euclidiano. Devido aos referidos
> aspectos anti-intuitivos, o Paradoxo de Banach-Tarski é frequentemente
> usado em argumentos contra a aceitação do Axioma da Escolha. Nesta
> palestra, veremos que o aparente desejo desses pesquisadores contrários (o
> qual, aparentemente, seria desprezar o Axioma da Escolha para poder então
> considerar modelos nos quais todos os subconjuntos de um dado espaço
> euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
> anti-intuitivos no que se refere a decomposições de conjuntos - de modo que
> o Axioma da Escolha não deve ser considerado o único culpado no que se
> refere a situações completamente anti-intuitivas envolvendo partições ! Por
> exemplo, mostraremos no seminário que: se todos os subconjuntos da reta
> fossem Lebesgue-mensuráveis, então poderíamos decompor a reta em
> estritamente *mais* do que 2^{aleph_0} subconjuntos disjuntos e não-vazios
> (!!!). Por aparecer como uma espécie de denominador comum em uma série de
> construções, aproveitaremos a oportunidade para discutir o chamado
> Princípio da Partição - que é uma consequência imediata do Axioma da
> Escolha para a qual a pergunta natural no contexto (``Será que esse
> princípio é, na verdade, equivalente ao Axioma da Escolha ?'') constitui-se
> num dos mais antigos (e ainda em aberto) problemas desse tipo na literatura.
>
>
>
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/208fc5dc-3bb6-454e-93bc-89518f9b%40dimap.ufrn.br.
[Logica-l] O Axioma da Escolha não tem culpa de nada (Palestra)
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, à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 (talvez
a mais célebre delas) é o Paradoxo de Banach-Tarski, no qual demonstra-se que
uma bola fechada ``sólida'' no espaço euclidiano R^3 pode ser decomposta em um
número finito de subconjuntos os quais, quando rearranjados de uma certa forma,
usando apenas movimentos rígidos, acabam produzindo duas bolas fechadas
idênticas à original. Variações desse mesmo teorema podem ser enunciadas de
maneira ainda mais impressionante ("podemos cortar uma laranja em finitos
pedaços e usá-los para construir uma bola do tamanho do Sol, usando apenas
movimentos rígidos"). Obviamente, os pedaços da laranja em questão seriam
não-mensuráveis - assim, o Paradoxo do Banach-Tarski pode ser entendido como
uma demonstração alternativa para o bastante conhecido fato de que o Axioma da
Escolha produz, facilmente, subconjuntos não-mensuráveis em um espaço
euclidiano. Devido aos referidos aspectos anti-intuitivos, o Paradoxo de
Banach-Tarski é frequentemente usado em argumentos contra a aceitação do Axioma
da Escolha. Nesta palestra, veremos que o aparente desejo desses pesquisadores
contrários (o qual, aparentemente, seria desprezar o Axioma da Escolha para
poder então considerar modelos nos quais todos os subconjuntos de um dado
espaço euclidiano fossem Lebesgue-mensuráveis) também produz resultados *muito*
anti-intuitivos no que se refere a decomposições de conjuntos - de modo que o
Axioma da Escolha não deve ser considerado o único culpado no que se refere a
situações completamente anti-intuitivas envolvendo partições ! Por exemplo,
mostraremos no seminário que: se todos os subconjuntos da reta fossem
Lebesgue-mensuráveis, então poderíamos decompor a reta em estritamente *mais*
do que 2^{aleph_0} subconjuntos disjuntos e não-vazios (!!!). Por aparecer como
uma espécie de denominador comum em uma série de construções, aproveitaremos a
oportunidade para discutir o chamado Princípio da Partição - que é uma
consequência imediata do Axioma da Escolha para a qual a pergunta natural no
contexto (``Será que esse princípio é, na verdade, equivalente ao Axioma da
Escolha ?'') constitui-se num dos mais antigos (e ainda em aberto) problemas
desse tipo na literatura.
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2088414290.12818350.1525983829163.JavaMail.zimbra%40ufba.br.
[Logica-l] Abertas as inscrições para Doutorado em Matemática UFBA/UFAL
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 31/05/2018 e a prova escrita será aplicada em 04/06/2018 com conteúdo de Análise na Reta/Rn. O Programa conta com 01 bolsa CAPES para os ingressantes no programa em 2018.2 com a possibilidade de novas bolsas CAPES durante o ano de 2019. Mais informações em https://pgmat.ufba.br/pt-br/processo-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 burocráticas (pra variar). Quem souber de candidatos estrangeiros interessados em realizar doutorado no Brasil, podem colocá-lo em contato comigo para maiores detalhes. -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1542124571.3761854.1525092366503.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Resultado submissões ICM 2018 - Short communications/posters
... 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.icm2018.org/portal/en/results-short-communications > > Parabéns aos colegas que obtiveram o aceite dos seus trabalhos. > > (Ainda não anunciaram exatamente quais serão apresentados como > comunicações e quais serão > apresentados como posters, se promete isso para um futuro próximo). > > Atés, > > []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-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4276b9d1-6c3e-431c-a9ea-531e30e973d5%40dimap.ufrn.br.
[Logica-l] CML 2018 (Satellite Conference of the ICM 2018) - DEADLINE APPROACHING
Conference on Mathematical Logic (Satellite Conference of the ICM 2018) Niteroi, Brazil, 10-11 August 2018 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php C A L L F O R A B S T R A C T S U B M I S S I O N S *** D E A D L I N E A P P R O A C H I N G *** It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven. The organisers invite all researchers in mathematical logic to submit abstracts of their research for presentation at the conference. Please submit your abstract by the deadline of 1 April 2018 via our easychair website https://easychair.org/conferences/?conf=cml2018 ASL student travel awards. One of our sponsoring institutions, the Association for Symbolic Logic is offering modest travel awards to graduate students in logic to attend our conference. The deadline for applications is 10 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 (Chicago IL, U.S.A.), Fairouz Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands). Sponsors. Association for Symbolic Logic. Associazione Italiana di Logica e sue Applicazioni Division for Logic, Methodology and Philosophy of Science & Technology De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1574085157.153608.1522083688456.JavaMail.zimbra%40ufba.br.
[Logica-l] BLAST 2018 - First Announcement
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 inaugural meeting took place back in 2008! After a full decade of being hosted in various universities, BLAST returns to its birthplace. The BLAST Conference Series focuses on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology. Its full history involves the following universities: University of Denver (2008), New Mexico State University (2009), University of Colorado, Boulder (2010), University of Kansas (2011), Chapman University (2013), New Mexico State University (2015), University of North Texas (2015), Vanderbilt University (2017). The central BLAST web page can be found here: http://math.colorado.edu/blast/ . BLAST 2018 is supported by the National Science Foundation and the University of Denver. BLAST aims at bringing together researchers and students in the above-mentioned diverse areas and the scientific program will include three tutorials exposing the audience to various aspects of the these areas. There will also be seven invited lectures and contributed talks. CONFIRMED INVITED SPEAKERS Dana Bartosova (Carnegie Mellon University) Manuela Busaniche (National Scientific and Technical Research Council, Buenos Aires) Mirna Dzamonja (University of East Anglia, UK) David Fernandez-Breton (University of Michigan) Vincenzo Marra (Universita degli Studi di Milano) Wesley Holliday (UC Berkeley) Agnes Szendrei (CU Boulder) CONFIRMED TUTORIAL SPEAKERS Paul Gartside (University of Pittsburgh) George Metcalfe (Universität Bern) Drew Moshier (Chapman University) ORGANIZING/PROGRAM COMMITTEE Natasha Dobrinen (University of Denver, Chair) Nick Galatos (University of Denver) Wesley Fussner (University of Denver) Gavin St. John (University of Denver) SUPPORT REQUESTS Limited funds to support the participation of graduate students and junior researchers will be available. Requests should be submitted during registration. IMPORTANT DATES May 15, 2017: Abstract submission deadline May 15, 2017: Conference support request deadline June 1, 2017: Notification to authors August 6-10, 2017: Conference ADDITIONAL INFORMATION Please refer to the BLAST 2018 web site: http://www.math.du.edu/~wesfussn/blast which will be populated with more information, as it becomes available. Also, please email blast201...@gmail.com with any questions or requests. -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1219187688.1692.1522071553159.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Concurso para o Departamento de Matemática da UFBA - 01 vaga
... Desculpem, o link saiu corrompido. Usar este abaixo.
TENURED TRACK POSITIONS IN THE DEPARTMENT OF MATHEMATICS, UFBA, SALVADOR,
BAHIA, BRAZIL
The Department of Mathematics of the Federal University of Bahia (Salvador,
Bahia, Brazil) has just opened a call for fulfilling permanent positions
(equivalents to tenure track assistant professor positions), including
opportunities in the area of Mathematical Logic.
In particular, candidates with a PhD in Philosophy (with research on Logic)
are able to apply for this call.
The candidate must speak Portuguese, at least in a minimum level. The
deadline for application is May 15, 2018. Examinations will take place in
Salvador, Bahia, Brazil, probably in July or August 2018.
Details (and the list of topics) are available at
http://www.concursos.ufba.br/docentes/2018/editais/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 UTC-3, Samuel Gomes da Silva wrote:
>
> 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 página 19 do
> arquivo).
>
> "Porém", esse é um concurso aberto ("Matemática Geral"), então os pontos
> são de nível de Mestrado em Matemática (ver página 26 do arquivo).
>
> Com algumas horas de estudo, alguém que fez graduação em Matemática e
> pós-graduação toda em Filosofia/Lógica poderá fazer este concurso !
>
> Lembrando que temos um grupo ativo e já relativamente grande aqui em
> Salvador, que deve já ser o terceiro ou quarto melhor lugar para
> fazer Lógica Matemática no país. 8-)
>
> Favor divulgar entre os interessados (incluindo os estrangeiros, mas aí
> por favor os coloquem 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
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7972071e-0df2-4bbc-9030-4ff286a5e93c%40dimap.ufrn.br.
[Logica-l] Re: Concurso para o Departamento de Matemática da UFBA - 01 vaga
... E segue um texto em inglês para quem quiser e puder repassar.
TENURED TRACK POSITIONS IN THE DEPARTMENT OF MATHEMATICS, UFBA, SALVADOR,
BAHIA, BRAZIL
The Department of Mathematics of the Federal University of Bahia (Salvador,
Bahia, Brazil) has just opened a call for fulfilling permanent positions
(equivalents to tenure track assistant professor positions), including
opportunities in the area of Mathematical Logic.
In particular, candidates with a PhD in Philosophy (with research on Logic)
are able to apply for this call.
The candidate must speak Portuguese, at least in a minimum level. The
deadline for application is May 15, 2018. Examinations will take place in
Salvador, Bahia, Brazil, probably in July or August 2018.
Details (and the list of topics) are available at
http://www.concursos.ufba.br/…/EDITAL_DOCENTE_ed012018_Reti…
<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 UTC-3, Samuel Gomes da Silva wrote:
>
> 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 página 19 do
> arquivo).
>
> "Porém", esse é um concurso aberto ("Matemática Geral"), então os pontos
> são de nível de Mestrado em Matemática (ver página 26 do arquivo).
>
> Com algumas horas de estudo, alguém que fez graduação em Matemática e
> pós-graduação toda em Filosofia/Lógica poderá fazer este concurso !
>
> Lembrando que temos um grupo ativo e já relativamente grande aqui em
> Salvador, que deve já ser o terceiro ou quarto melhor lugar para
> fazer Lógica Matemática no país. 8-)
>
> Favor divulgar entre os interessados (incluindo os estrangeiros, mas aí
> por favor os coloquem 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
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/37f0b27c-5091-460c-9a45-df04c797bcaf%40dimap.ufrn.br.
[Logica-l] Re: Concurso para o Departamento de Matemática da UFBA - 01 vaga
... 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 é
aceito.
Infelizmente, o de doutorado em computação não é ...
On Friday, March 16, 2018 at 1:43:56 AM UTC-3, Samuel Gomes da Silva wrote:
>
> 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 página 19 do
> arquivo).
>
> "Porém", esse é um concurso aberto ("Matemática Geral"), então os pontos
> são de nível de Mestrado em Matemática (ver página 26 do arquivo).
>
> Com algumas horas de estudo, alguém que fez graduação em Matemática e
> pós-graduação toda em Filosofia/Lógica poderá fazer este concurso !
>
> Lembrando que temos um grupo ativo e já relativamente grande aqui em
> Salvador, que deve já ser o terceiro ou quarto melhor lugar para
> fazer Lógica Matemática no país. 8-)
>
> Favor divulgar entre os interessados (incluindo os estrangeiros, mas aí
> por favor os coloquem 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
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6dc4e018-287f-42d8-9562-1949928ab652%40dimap.ufrn.br.
[Logica-l] Concurso para o Departamento de Matemática da UFBA - 01 vaga
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 página 19 do
arquivo).
"Porém", esse é um concurso aberto ("Matemática Geral"), então os pontos são de
nível de Mestrado em Matemática (ver página 26 do arquivo).
Com algumas horas de estudo, alguém que fez graduação em Matemática e
pós-graduação toda em Filosofia/Lógica poderá fazer este concurso !
Lembrando que temos um grupo ativo e já relativamente grande aqui em Salvador,
que deve já ser o terceiro ou quarto melhor lugar para
fazer Lógica Matemática no país. 8-)
Favor divulgar entre os interessados (incluindo os estrangeiros, mas aí por
favor os coloquem 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
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/566502440.6798697.1521175432976.JavaMail.zimbra%40ufba.br.
[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?
Oi Walter, Estou de férias e longe do meu escritório (sem acesso aos meus arquivos), Mas se não me engano o que se submete é um arquivo .zip com ambos, o .pdf e o "editável" (.doc ou .tex), Se não me engano foi isso que eu fiz (só que há mais de dois meses, então a memória pode falhar). 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 e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0d0b6202-6ee7-426c-a117-d33c55cd1b00%40dimap.ufrn.br.
Re: [Logica-l] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)
Oi Walter, Ainda não entramos nesses detalhes, mas acredito que se houver taxa de inscrição será só para cobrir algum custo aqui e ali, ou talvez nem tenha. A idéia é fazer algo espartano na UFF em Niterói. A inscrição do ICM, essa é cara mesmo. O satélite vai ser depois do ICM, e para assistir às atividades do ICM, aí tem que pagar a inscrição do ICM, infelizmente ! Observamos que: ainda é possível submeter trabalhos para o ICM (o evento grande) também (short communications/posters), e o deadline para essas aplicações é 5 de março. Nós do satélite, porém, não temos nenhuma relação 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 Silva" <sam...@ufba.br> Enviadas: Quinta-feira, 22 de fevereiro de 2018 16:45:45 Assunto: Re: [Logica-l] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018) Ola SBL , vai ter taxa de inscricao? Caríssima como a do ICM 2018 ou não? Vai dar para ver algo do ICM 2018 também? Em particular, o schedule foi pensado pra gente ver a premiação do Fields Medal? Estou pensado em organizar um "bolão": Peter Scholze, Simon Brendle, Fernando Coda Marques, Alessio Figalli, Hugo Duminil-Copin, Sophie Morel..quem mais? Abs, Walter 2018-02-22 15:10 GMT-03:00 'Samuel Gomes' via LOGICA-L <logica-l@dimap.ufrn.br>: > 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 Conference of the ICM 2018) >> Niteroi, Brazil, 10-11 August 2018 >> http://www.dlmpst.org/pages/activities/icm-2018-satellite.php >> >> C A L L F O R A B S T R A C T S U B M I S S I O N S >> >> It is our pleasure to announce that the Sociedade Brasileira de Logica >> (SBL) >> and the Division for Logic, Methodology and Philosophy of Science and >> Technology of the International Union for History and Philosophy of >> Science and >> Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical >> Logic, >> as a satellite conference of the International Congress of Mathematicians >> 2018 >> (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. >> >> Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria >> de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco >> Miraglia, Lou van den Dries and Joris Van Der Hoeven. >> >> The organisers invite all researchers in mathematical logic to submit >> abstracts of their research for presentation at the conference. Please >> submit your abstract by the deadline of >> >> 1 April 2018 >> >> via our easychair website >> >> https://easychair.org/conferences/?conf=cml2018 >> >> ASL student travel awards. One of our sponsoring institutions, the >> Association for Symbolic Logic is offering modest travel awards to >> graduate students in logic to attend our conference. The deadline for >> applications is 10 May 2018. Details can be found on our website. >> >> We encourage everyone who is interested in this logic satellite to also >> submit an abstract for presentation at the International Congress of >> Mathematicians and we remind you that the deadline for abstract >> submissions to ICM 2018 is 5 March 2018: further details can be found at >> >> http://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.S.A.), Fairouz >> Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt >> Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega >> (Amsterdam, The Netherlands). >> >> Sponsors. >> >> Association for Symbolic Logic. >> Associazione Italiana di Logica e sue Applicazioni >> Division for Logic, Methodology and Philosophy of Science & Technology >> De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte >> Wetenschappen >> >> >> --- > > -- > Você recebeu essa mensagem po
[Logica-l] Re: CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)
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 Conference of the ICM 2018) > Niteroi, Brazil, 10-11 August 2018 > http://www.dlmpst.org/pages/activities/icm-2018-satellite.php > > C A L L F O R A B S T R A C T S U B M I S S I O N S > > It is our pleasure to announce that the Sociedade Brasileira de Logica > (SBL) > and the Division for Logic, Methodology and Philosophy of Science and > Technology of the International Union for History and Philosophy of > Science and > Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical > Logic, > as a satellite conference of the International Congress of Mathematicians > 2018 > (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. > > Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria > de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco > Miraglia, Lou van den Dries and Joris Van Der Hoeven. > > The organisers invite all researchers in mathematical logic to submit > abstracts of their research for presentation at the conference. Please > submit your abstract by the deadline of > > 1 April 2018 > > via our easychair website > > https://easychair.org/conferences/?conf=cml2018 > > ASL student travel awards. One of our sponsoring institutions, the > Association for Symbolic Logic is offering modest travel awards to > graduate students in logic to attend our conference. The deadline for > applications is 10 May 2018. Details can be found on our website. > > We encourage everyone who is interested in this logic satellite to also > submit an abstract for presentation at the International Congress of > Mathematicians and we remind you that the deadline for abstract > submissions to ICM 2018 is 5 March 2018: further details can be found at > > http://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.S.A.), Fairouz > Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt > Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega > (Amsterdam, The Netherlands). > > Sponsors. > > Association for Symbolic Logic. > Associazione Italiana di Logica e sue Applicazioni > Division for Logic, Methodology and Philosophy of Science & Technology > De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte > Wetenschappen > > > --- > -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/02207cb4-ff71-49a2-8074-43d548146fba%40dimap.ufrn.br.
[Logica-l] CFP - Conference on Mathematical Logic (Satellite Conference, ICM 2018)
Conference on Mathematical Logic (Satellite Conference of the ICM 2018) Niteroi, Brazil, 10-11 August 2018 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php C A L L F O R A B S T R A C T S U B M I S S I O N S It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven. The organisers invite all researchers in mathematical logic to submit abstracts of their research for presentation at the conference. Please submit your abstract by the deadline of 1 April 2018 via our easychair website https://easychair.org/conferences/?conf=cml2018 ASL student travel awards. One of our sponsoring institutions, the Association for Symbolic Logic is offering modest travel awards to graduate students in logic to attend our conference. The deadline for applications is 10 May 2018. Details can be found on our website. We encourage everyone who is interested in this logic satellite to also submit an abstract for presentation at the International Congress of Mathematicians and we remind you that the deadline for abstract submissions to ICM 2018 is 5 March 2018: further details can be found at http://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.S.A.), Fairouz Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands). Sponsors. Association for Symbolic Logic. Associazione Italiana di Logica e sue Applicazioni Division for Logic, Methodology and Philosophy of Science & Technology De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen --- -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/767236207.6790958.1519320321256.JavaMail.zimbra%40ufba.br.
[Logica-l] evolving enactivism
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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0a3e24cf-9ed4-42c4-895e-a0eee276b07b%40dimap.ufrn.br.
[Logica-l] Semana Temática de Lógica, Conjuntos e Topologia - UFBA (22 a 26 de Janeiro)
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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1176545519.3472268.1516117703896.JavaMail.zimbra%40ufba.br.
[Logica-l] Deadline extended - Short Communications and Posters (ICM 2018)
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, nesta lista haverá quem possa submeter para a sessão de "Logic and Foundations". A pessoa tem que estar inscrita para fazer a submissão - porém "inscrita" significa "ter começado o processo no site". O pagamento (que é salgado para professores, 450 dólares + 100 dó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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1436715387.39763991.1515161780512.JavaMail.zimbra%40ufba.br.
[Logica-l] Conference on Mathematical Logic (Satellite Conference of the ICM 2018)
Conference on Mathematical Logic (Satellite Conference of the ICM 2018) Niteroi, Brazil, 10-11 August 2018 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. The satellite conference will take place at the Universidade Federal Fluminense (UFF) in Niteroi in the metropolitan area of Rio de Janeiro, on the other side of the Guanabara Bay, approximately a one hour drive from the site of the ICM 2018 (the Riocentro Convention & Event Center in the west of the city of Rio de Janeiro). Invited speakers include Matthias Aschenbrenner, Verónica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven. Registration and abstract submission will start early 2018. Additional scientific, practical and financial information can be found on our website http://www.dlmpst.org/pages/activities/icm-2018-satellite.php We encourage everyone who is interested in this logic satellite to also submit an abstract for presentation 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 Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de Janeiro, Brazil), Denis Hirschfeldt (Chicago IL, U.S.A.), Fairouz Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega (Amsterdam, The Netherlands). Additional Financial Sponsors. Associazione Italiana di Logica e sue Applicazioni, De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen. -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1447832270.33303111.1513695286068.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito
... 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 > 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: > > > https://www.quantamagazine.org/mathematicians-measure-infinities-find-theyre-equal-20170912/ > > Preparei uma palestra sobre p = t. > > Aproveitando a presença de vários colegas em São Paulo nesta semana, a > palestra será apresentada no IME/USP (num horário à parte das atividades > oficiais de todos, assim obviamente nem todos poderão assistir...). > > Palestra > p = t - Uma rara instância de igualdade entre ordens do infinito > Sala 132 - Bloco A - IME/USP > Quarta, 06/12/2017 - 18h-19h30 > > Resumo: Disponível em > > > https://www.researchgate.net/publication/321530957_p_t_-_Uma_rara_instancia_de_igualdade_entre_ordens_do_infinito > > (Atenção: por um engano o 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" 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b68f7869-bc91-4ab3-beb7-edfad62b24f3%40dimap.ufrn.br.
[Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito
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: https://www.quantamagazine.org/mathematicians-measure-infinities-find-theyre-equal-20170912/ Preparei uma palestra sobre p = t. Aproveitando a presença de vários colegas em São Paulo nesta semana, a palestra será apresentada no IME/USP (num horário à parte das atividades oficiais de todos, assim obviamente nem todos poderão assistir...). Palestra p = t - Uma rara instância de igualdade entre ordens do infinito Sala 132 - Bloco A - IME/USP Quarta, 06/12/2017 - 18h-19h30 Resumo: Disponível em https://www.researchgate.net/publication/321530957_p_t_-_Uma_rara_instancia_de_igualdade_entre_ordens_do_infinito (Atenção: por um engano o 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" 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1188681662.22086258.1512476815205.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Doutorado em Matemática UFBA - Área de Lógica Matemática
... 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 da Silva wrote: > > 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 reconhecidos até > internacionalmente já há vários anos, ainda não nos era *permitido* - sim, > o termo é esse, não nos era permitido - orientar doutorados, > mas isso muda a partir do próximo semestre, 2018.1) > > Nossa abertura se deu através da criação de uma área de investigação > denominada "Álgebra, Lógica e Topologia" (em substituição da área de > Álgebra). > > Informações sobre o processo seletivo para o Doutorado em Matemática da > UFBA em 2018.1 estão no seguinte Edital: > > https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf > > A parte principal da seleção é uma prova de Análise na Reta e Análise no > Rn, ou seja, o perfil a princípio deve ser alguém com conhecimentos de > Matemática a nível de mestrado (ou que > possa obtê-los até o momento da realização da prova...). > > Divulgamos a nossa proposta para abertura da área no ResearchGate, nessa > proposta estão descritas nossas linhas de pesquisa: > > > https://www.researchgate.net/publication/318649544_Proposal_to_create_the_area_of_concentration_Mathematical_Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese > > So, let us spread the word. > > Aproveito para agradecer a todos os colegas que vêm acompanhando nossa > luta de anos 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8368bfe0-02af-45d2-8bce-b54c96d44534%40dimap.ufrn.br.
[Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática
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 reconhecidos até internacionalmente já há vários anos, ainda não nos era *permitido* - sim, o termo é esse, não nos era permitido - orientar doutorados, mas isso muda a partir do próximo semestre, 2018.1) Nossa abertura se deu através da criação de uma área de investigação denominada "Álgebra, Lógica e Topologia" (em substituição da área de Álgebra). Informações sobre o processo seletivo para o Doutorado em Matemática da UFBA em 2018.1 estão no seguinte Edital: https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf A parte principal da seleção é uma prova de Análise na Reta e Análise no Rn, ou seja, o perfil a princípio deve ser alguém com conhecimentos de Matemática a nível de mestrado (ou que possa obtê-los até o momento da realização da prova...). Divulgamos a nossa proposta para abertura da área no ResearchGate, nessa proposta estão descritas nossas linhas de pesquisa: https://www.researchgate.net/publication/318649544_Proposal_to_create_the_area_of_concentration_Mathematical_Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese So, let us spread the word. Aproveito para agradecer a todos os colegas que vêm acompanhando nossa luta de anos 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da CAPES.
... Oi Claudia,
Está ali, passe o olho, ..."e que não possuam vinculo empregatício"... Certo ???
Bom, os gringos nunca entenderam isso de gente com cinco anos no emprego ter um
pos doc, a gente tinha de chamar de sabatico pra eles entenderem...
Pra quem está começando faz diferença, 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 -0300 (BRT)
Assunto: Re: [Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da
CAPES.
Olá a todos,
Essa notícia vem circulando, eu já li o tal do regulamento e não consigo
achar essa coisa que a bolsa é vedada para quem tenha vínculo
empregatício.
> --> É vedada bolsa de pós-doutorado para pesquisadores com vínculo
> empregatício (Artigo 128).
Seção I
Da Finalidade
Art. 128. A modalidade de Pós-doutorado no exterior visa
oferecer bolsa para a realização de estudos avançados fora do Brasil
posteriores à obtenção do título de Doutor pelo pleiteante e destina-se
a pesquisadores ou docentes com no máximo 8 (oito) anos de for-
mação doutoral e que não possuam vínculo empregatício.
Parágrafo único. A modalidade Pós-Doutorado tem como
público-alvo os pesquisadores que possuam diploma de doutorado,
não sendo aceitas inscrições de estudantes em fase de conclusão de
curso.
Seção IV
Dos Requisitos para a Inscrição
Art. 135. O candidato deve, obrigatoriamente, preencher os
seguintes requisitos no ato da inscrição:
I - ser brasileiro(a) ou estrangeiro(a) com visto permanente
no Brasil, ou conforme regulamentado em Instrumento de Seleção;
II - residir no Brasil;
III - ter diploma de doutorado ou PhD, certificado ou de-
claração do órgão máximo responsável pela pós-graduação da IES,
consistente na pró-reitoria ou superior, informando que o candidato
não possui pendências com a Instituição e com o seu curso de dou-
torado, e que se encontra aguardando apenas a emissão do diploma,
reconhecido na forma da legislação brasileira e apresentá-lo como
documento comprobatório no ato da inscrição, permitindo-se títulos
obtidos no exterior desde que reconhecidos por IES no Brasil, na
forma da Lei;
IV - ter obtido o título de doutorado há menos de oito anos,
contados a partir da data de inscrição;
V - não ter realizado estudos no exterior da mesma natureza
do Programa para o qual se candidata nos últimos 36 (trinta e seis)
meses.
VI - apresentar manifestação de interesse ou convite do(a)
orientador(a) do exterior ou da instituição de destino pretendida.
Parágrafo único. No caso de início das atividades no exterior
em período anterior à inscrição, será necessário comprovar ser o
Brasil seu local de residência permanente, para o qual retornará após
a realização das atividades relativas ao estágio no exterior.
Alguém, por favor, pode me dizer onde é que isso está escrito?
Abraços,
Cláudia
> --> Cria-se uma modalidade "Cátedra no exterior", para candidatos com
> pelo menos 15 anos de atuação na área
> e prioridade para pesquisadores com perfil equivalente ao nível 1 no
> CNPq (Artigo 110 em diante). Somente para
> visitas a instituições parceiras da CAPES ("anfitriãs").
>
> --> Cria-se uma modalidade "Professor Visitante no Exterior", com
> submodalidades Junior (< 12 anos de Doutoramento)
> e Senior (> 12 anos de Doutoramento). A submodalidade Senior tem
> prioridade para pesquisadores com perfil equivalente ao nível 1D do
> CNPq ou superior (Artigo 119 em diante). Não está claro se é
> somente para visitas a instituições parceiras da CAPES (não
> encontrei
> isso na regulamentação mas na página da CAPES dá a entender que é
> para parceiras).
>
> 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,
>
> []s Samuel
>
> --
> Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1186113870.34432614.1507998634229.JavaMail.zimbra%40ufba.br
> [1].
>
>
> Links:
> --
> [1]
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1186113870.34432614.1507
[Logica-l] (OFF-TOPIC) Novas Regras para Bolsas no Exterior da CAPES.
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 notáveis !
--> É vedada bolsa de pós-doutorado para pesquisadores com vínculo empregatício
(Artigo 128).
--> Cria-se uma modalidade "Cátedra no exterior", para candidatos com pelo
menos 15 anos de atuação na área
e prioridade para pesquisadores com perfil equivalente ao nível 1 no CNPq
(Artigo 110 em diante). Somente para
visitas a instituições parceiras da CAPES ("anfitriãs").
--> Cria-se uma modalidade "Professor Visitante no Exterior", com
submodalidades Junior (< 12 anos de Doutoramento)
e Senior (> 12 anos de Doutoramento). A submodalidade Senior tem prioridade
para pesquisadores com perfil equivalente ao nível 1D do
CNPq ou superior (Artigo 119 em diante). Não está claro se é somente para
visitas a instituições parceiras da CAPES (não encontrei
isso na regulamentação mas na página da CAPES dá a entender que é para
parceiras).
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,
[]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-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1186113870.34432614.1507998634229.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Workshop da Sociedade Brasileira de Lógica - UFBA, Salvador, 24 de Outubro de 2017
Prezados, Informações mais atualizadas sobre o Workshop da SBL (Salvador, 24 de Outubro de 2017, 14hs, Auditório do Instituto de Matemática da UFBA) estão disponíveis no link: http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2017 Em particular, já temos a programação e (praticamente) todos os 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: > > > > https://docs.google.com/document/d/1dddzEtiASXHNUkYBgPWuOCb_mxT0ErFH4h940bNVOso > > > Faltam ainda alguns resumos, assim que eu os tiver atualizarei esse link e > darei um novo aviso por aqui na lista. > > > Lembrando que eu expliquei numa mensagem passada que esse Workshop > ocorrerá "em paralelo" com outros eventos interessantes > em Salvador em Outubro: > > > > https://groups.google.com/a/dimap.ufrn.br/forum/#!searchin/logica-l/Eventos$20Salvador$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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/91da51b0-8472-4992-af13-e5795a4c8d80%40dimap.ufrn.br.
[Logica-l] Re: mais sobre p=t no blog do Tim Gowers
... 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... > > > https://gowers.wordpress.com/2017/09/19/two-infinities-that-are-surprisingly-equal/ > > abs > > Valeria > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > http://research.nuance.com/author/valeria-de-paiva/ > 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-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0084976f-0bea-4c99-90b8-15d1f7d79de6%40dimap.ufrn.br.
Re: [Logica-l] A Hipótese do Contínuo continua em pé!
Oi Valeria,
Então, na verdade é mais fácil pensar que ambos os diagramas "se amalgamam"
nos grandes diagramas com muitos invariantes cardinais que você encontra,
por exemplo, no paper do Blass sobre invariantes cardinais do continuum -
veja, por exemplo, o diagrama na página 93 de
http://www.math.lsa.umich.edu/~ablass/hbk.pdf
Tem muito mais cardinais que o diagrama de van Douwen. Mas tem poucos
cardinais do diagrama de Cichon.
Veja os vários diagramas que tem neste survey aqui: infelizmente ele faz
pequeninhos toda vez...
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/40955/1/1202_02.pdf
Já na página 8 do seguinte paper tem um diagrama bem mais completo, com os
do van Douwen e com os do Cichon
http://www.uncg.edu/~vaughanj/Publications/smallcd.pdf
Então são duas instâncias de algo que se amalgama. São os caminhos que se
abrem nos modelos onde a Hipótese do Contínuo não vale...
O que a gente gosta do diagrama de Cichon é que nele todos os cardinais
podem ser escritos como normas de objetos de Dial^Op, um desafio é procurar
encontrar esses padrões em outros cardinais, por exemplo (o que é uma das
continuações pra fazer do nosso paper no Proceedings 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 at 12:01:48 PM UTC-3, valeria.depaiva wrote:
>
> mas Samuel, mais interessante pra mim 'e tentar entender o paralelismo
> entre o diagram de Cichon e o de Van Douwen.
> o que voce pode me explicar facilmente, sem precisar de textao? obrigada!
>
> 2017-09-19 7:38 GMT-07:00 'Samuel Gomes' via LOGICA-L <
> logi...@dimap.ufrn.br >:
>
>> Olás,
>>
>> Só comentando que o paper de 6 páginas, conforme eu chamei a atenção no
>> meu Review no ZbMath:
>>
>> https://zbmath.org/?q=an:06321199
>>
>> não tinha mesmo *todos* os detalhes das demonstrações: foi publicado já
>> deixando claro que os detalhes
>> todos estavam num artigo que, naquela época, ainda estava no Arxiv. Esse
>> trabalho completo foi posteriormente publicado,
>> tendo ficado com 61 páginas:
>>
>>
>> http://www.ams.org/journals/jams/2016-29-01/S0894-0347-2015-00830-X/S0894-0347-2015-00830-X.pdf
>>
>> Então havia um motivo para tanta concisão no artigo de 6 páginas - os
>> detalhes todos estavam em outro lugar !
>>
>> Atés,
>>
>> []s Samuel
>>
>>
>>
>> On Monday, September 18, 2017 at 11:45:30 PM UTC-3, marmo.tony wrote:
>>>
>>> Obrigado pela explicação, vale a pena estudar os detalhes.
>>>
>>> Só quero dizer que gostei do trabalho desses professores porque primeiro
>>> tem foco num assunto e segundo traz demonstrações elegantes e enxutas. Acho
>>> essa segunda qualidade a mais importante. (Não se pode viver num mundo em
>>> que cada simples proposição receba uma demonstração de mais de 400
>>> páginas!) São contribuições assim claras, concisas e objetivas que
>>> realmente alargam o conhecimento!
>>>
>>> *Dize à sabedoria: Tu és minha irmã...*
>>>
>>> Provérbios 7:4 <https://www.bibliaonline.com.br/acf/pv/7/4>
>>>
>>> On 17 Sep 2017, at 22:51, 'Samuel Gomes' via LOGICA-L <
>>> logi...@dimap.ufrn.br> wrote:
>>>
>>> ... Vamos começar de situações simples (e óbvias de responder) para
>>> chegar numa intuição do que seja o cardinal p.
>>>
>>> 1) Existem famílias infinitas de subconjuntos infinitos do conjunto N
>>> dos naturais que sejam tais que:
>>>
>>> --> qualquer intersecção de uma subfamília finita da família resulta num
>>> conjunto infinito;
>>>
>>> --> porém a família tem intersecção vazia ?
>>>
>>> ... Isso é fácil de exibir:
>>>
>>> A_1 = {1,2,3,...}
>>>
>>> A_2 = {2,3,4}
>>>
>>> A_3 = {3,4,5,...}
>>>
>>> ... A_n = {k: k maior ou igual a n}
>>>
>>> A família {A_n: n maior ou igual a 1} satisfaz as duas condições acima.
>>>
>>> Porém, se C é um subconjunto infinito e *qualquer* dos naturais, C
>>> funciona como uma "pseudo-intersecção" da família,
>>> no sentido de estar "quase contido" em todos os elementos da família;
>>> essa coisa do quase contido é, exatamente,
>>> dizer que C menos A_n é um conjunto finito (para todo n) - i.e., "alll
>>> but finitely many" dos elementos de C serão, também, elementos de qualquer
&g
Re: [Logica-l] A Hipótese do Contínuo continua em pé!
ubfamílias de Partes de
N (logo, em modelos onde vale a Hipótese do Contínuo, ele vale aleph_1 = c,
mas em muitos modelos podemos ter o p não enumerável e maior do que
aleph_1, por exemplo em todos os modelos onde vale o Axioma de Martin
tem-se aleph_1 < p = c).
Brincando com uma construção topológica, podemos mostrar que
p = menor tamanho das base locais de abertos de um espaço topológico
qualquer que não seja subsequencial
(subsequencial = pontos de acumulação de uma sequência são limites de uma
subsequência)
Prova: abaixo de p sempre vai existir a pseudo-intersecção infinita, que
corresponde à subsequência convergente.
Logo, se as bases locais tem tamanho menor do que p, se consegue sempre a
subsequência convergente.
Já no p, tome uma família de tamanho mínimo com as tais propriedades
(intersecções finitas dando infinito, sem pseudo-intersecção
infinita) e transforme essa família num ponto no infinito com relação aos
naturais; pra quem conhece os ordinais, imagine que estamos trabalhando
com omega + 1. Considere o espaço Naturais unido com {essa família},
declare os pontos naturais como isolados e que as vizinhanças básicas
da família são exatamente os conjuntos da forma {Família} unido A, onde A
pertence a família. Pronto, esse é um espaço no qual a família
é ponto de acumulação dos naturais mas não tem nenhuma sequência dos
naturais convergindo pra ela (porque se tivesse, a subsequência
seria pseudo-intersecção infinita, mas no caso aí isso não existe).
Já o t é o menor tamanho possível para uma torre. Uma torre é uma família
que tem as mesmas propriedades que as que definem p
(por isso com certeza já se sabia que p menor ou igual a t), porém a torre
é bem-ordenada pela quase-inclusão estrita reversa, i.e., a cara
básica de uma torre é {T_alpha: alpha < t} onde
T_0 quase contém propriamente T_1 quase contém propriamente T_2 ... quase
contém propriamente T_alpha
(Aí o quase contém propriamente é definido como: X quase contém
propriamente Y se X menos Y é infinito enquanto que Y menos X é finito).
Quase todo mundo na área (eu inclusive) esperávamos que algum dia alguém
mostrasse que a desigualdade estrita "p < t" fosse consistente
(isso é uma coisa que o artigo de divulgação não explica bem: uma prova de
"p < t" não seria nunca uma prova absoluta, com certeza seria uma
prova de consistência porque, por exemplo, sob a Hipótese do Contínuo eles
necessariamente são iguais).
t é uma espécie de versão muito bem comportada de p (por estar bem ordenado
pela quase inclusão estrita reversa e tal). Então a diferença entre
eles acaba sendo uma diferença de complexidade, digamos. Foi por aí a prova
de p = t por Shelah/Malliaris: eles estavam investigando qjuestões
sobre comparação de complexidade entre teorias e... Pimba, acabaram
chegando no p = t. Como disseram no artigo, "eles provaram p = t numa
situação em que estavam olhando para outra coisa"...
É um resultado realmente tão divisor de águas que só de ter feito o review
para o Zentralblatt Math eu fiquei super-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,
>
> 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
--
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@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/215c87a4-09d7-47d8-9866-fb13224bd80d%40dimap.ufrn.br.
Re: [Logica-l] A Hipótese do Contínuo continua em pé!
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 -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6b918096-f76e-4424-ab3a-6ba9ac236604%40dimap.ufrn.br.
[Logica-l] Re: Workshop da Sociedade Brasileira de Lógica - UFBA, Salvador, 24 de Outubro de 2017
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 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 link e > darei um novo aviso por aqui na lista. > > > Lembrando que eu expliquei numa mensagem passada que esse Workshop > ocorrerá "em paralelo" com outros eventos interessantes > em Salvador em Outubro: > > > > https://groups.google.com/a/dimap.ufrn.br/forum/#!searchin/logica-l/Eventos$20Salvador$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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/14639998-4209-48dd-9b13-620d11877324%40dimap.ufrn.br.
[Logica-l] Workshop da Sociedade Brasileira de Lógica - UFBA, Salvador, 24 de Outubro de 2017
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 link e darei um novo aviso por aqui na lista. Lembrando que eu expliquei numa mensagem passada que esse Workshop ocorrerá "em paralelo" com outros eventos interessantes em Salvador em Outubro: https://groups.google.com/a/dimap.ufrn.br/forum/#!searchin/logica-l/Eventos$20Salvador$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 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1940857483.16846406.1505487719693.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Material didático sobre TC
Salve Mario, Para um curso introdutório, o Enderton (que o Jean Yves já comentou) é muito bom mesmo, o curso que normalmente damos aqui na graduação da UFBA é bem baseado nele na parte inicial. Se for para ir um pouquinho além, tanto o Jech-Hrbacek (que o Tony já comentou) como o "Jechã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: > > Caros, > > Estou procurando material didático para um curso de Teoria dos Conjuntos > para a graduação em Matemática. É um curso introdutório. Serve link para > cursos, livros, textos etc.. > > Muito obrigado, > Mario > > -- > Federal University of Rio de Janeiro > www.cos.ufrj.br/~mario > -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9c23e0af-72df-491c-a43d-e72c6958ce2e%40dimap.ufrn.br.
[Logica-l] Eventos relacionados à Lógica em Salvador em Outubro (incluindo Workshop da SBL)
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. Na verdade, as atividades começam já no final de semana anterior: de 20 a 23 de Outubro, teremos um Colóquio Conesul (do Grupo Conesul de Filosofia das Ciências Formais), programação já disponibilizada em: http://gcfcf.com.br/pt/coloquios/ E, na semana de 23 a 26 de Outubro, o Fourth Meeting APMP (Association for the Philosophy of Mathematical Practice), programação disponibilizada em: http://www.philmathpractice.org/ Tanto o Conesul como o APMP vão ocorrer num simpático hotel próximo ao Porto da Barra ! Segue um texto com informações oficiais sobre a inscrição no APMP: *** O IV Meeting of the Association for the Philosophy of Mathematical Practice (APMP) será realizado na cidade de Salvador da Bahia de 23 a 27 de outubro de 2017. O Meeting é promovido pela Universidade Federal da Bahia (UFBA), com apoio financeiro do CNPq e da CAPES. Conta também com o apoio da Sociedade Brasileira de Filosofia Analítica (SBFA) assim como da Sociedade Brasileira de Lógica (SBL). A programação do Meeting já se encontra disponível na página da APMP: http://www.philmathpractice.org/ Todos os interessados em participar do Meeting como ouvintes são solicitados a confirmar sua participação preenchendo a Registration Form ( https://goo.gl/forms/8aodjAERyF2TSur73 ) e pagando a inscrição (R$ 150,00) até 31 de setembro. Um mensagem será enviada desde o endereço fourthmeet...@gmail.com ao endereço eletrônico indicado na Registration Form. A inscrição cobre materiais para o congresso, coffee breaks e jantar de confraternização. As inscrições são limitadas. O IV Meeting da APMP ter á lugar no Hotel Sol Barra ( http://www.solexpress.com.br/hoteis-e-resorts/sol-barra/index.html ). Para aqueles que confirmem sua participação, o hotel oferece descontos especiais para quartos simples e duplos. Para reservas, favor contatar Tâmara Rebelo ( eventos...@solexpress.com.br ) *** Observamos que os 150,00 de inscrição já valem *também* para garantir a participação no Conesul. E, aproveitando a presença de lógicos importantes na cidade, estaremos realizando, na tarde do dia 24 de Outubro (terça-feira), a partir das 14h, um Workshop da Sociedade Brasileira de Lógica, aqui no Auditório do Instituto de Matemática da UFBA. (Nessa tarde o evento maior, da APMP, muito gentilmente nos emprestará alguns de seus palestrantes; esta será um atividade em paralelo, enquanto o APMP segue ocorrendo normalmente no hotel, teremos esse evento aqui no Instituto de Matemática). Os "keynote speakers" para esse Workshop, todos já confirmados, serão: Cezar Mortari (UFSC e SBL), Walter Carnielli (UNICAMP) e Max Dickmann (Paris 7). Esse Workshop consistirá de palestras convidadas, com o objetivo de representar a Lógica brasileira (e do Nordeste, em particular), e já temos alguns palestrantes confirmados. Em mais alguns dias espero poder divulgar uma página oficial na Internet para esse Workshop, bem como a programação completa. Assim, entendam esta mensagem como uma propaganda inicial de que, para aqueles que tenham a oportunidade, teremos alguns dias interessantes para a Lógica aqui em Salvador, no mês de Outubro. 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 e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/658210365.136288261.1501876474457.JavaMail.zimbra%40ufba.br.
[Logica-l] Fwd: [lidergp-l] Edital nacional de fomento à ciência.
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) 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> Enviadas: Quarta-feira, 19 de julho de 2017 16:02:34 Assunto: [lidergp-l] Edital nacional de fomento à ciência. Prezados Pesquisadores, Informamos que o Instituto Serrapilheira ( https://serrapilheira.org/ ), acaba de lançar seu primeiro edital nacional de fomento à ciência. O lançamento do edital dar-se-á hoje, dia 19, na reunião da Sociedade Brasileira para o Progresso da Ciência que está ocorrendo na cidade de Belo Horizonte; seu objetivo é o de auxiliar jovens pesquisadores – ou seja, aqueles que concluíram o doutoramento nos últimos dez anos – que se proponham a explorar questões gerais em 7 temas fundamentais: Energia, Espaço, Forma, Identidade, Informação, Matéria, Tempo. Os campos de conhecimento dos proponentes poderão estar situados entre: ciência da computação, ciências da terra, ciências da vida, engenharias, física, matemática e química. Inicialmente, serão financiados até 70 projetos, por um ano, no valor de até cem mil reais; ao final deste período, os projetos serão reavaliados para a escolha de 10 a 20 propostas que poderão ser contempladas com o valor de até um milhão de reais com o período de aplicação de três anos. O prazo para envio das propostas se encerrará em 15 de setembro de 2017, às 15 horas ; o edital, cuja versão em português está anexada a esta mensagem, pode ser obtido em: https://serrapilheira.org/chamada-publica/ . Coordenação de Pesquisa e Criação Pró-Reitoria de Pesquisa, Criação e Inovação Rua Basílio da Gama, 6 - Canela CEP: 40.110-040 - Salvador - Bahia Telefones: +55 (71) 3283-9099 Fax: +55 (71) 3283-7964 Email: cop...@ufba.br -- 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/709263204.124741698.1500493151299.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles
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" 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@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e28418ff-2335-4e29-ab65-59142786ac4c%40dimap.ufrn.br.
