[Logica-l] Lançamento de livros no EBL

['Samuel Gomes' via LOGICA-L]

Prezados,

Como de costume, será reservado um espaço no EBL para os colegas que no 
último período lançaram um livro, edição especial de periódico e afins, 
para apresentação desse novo trabalho à comunidade.

Quem tiver então algum lançamento que deseje anunciar no EBL favor me 
procurar OFF-LIST.

Obrigado

[]s  Samuel

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para 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/7948cbb0-fb91-474c-a1fc-22c6a4851de6n%40dimap.ufrn.br.

[Logica-l] Re: XX EBL - Deadline extended

['Samuel Gomes' via LOGICA-L]

Prezados,

No contexto da extensão do deadline,

Algumas informações:

> Confirmando que o novo deadline é 19 de junho ! Também conhecido como 
daqui a 4 dias. Submissões são muito bem-vindas !

> Por algum esquecimento entre o EBL passado e este, a linha de 
pesquisa "Teaching Logic" (Ensino de Lógica) não estava listada entre
os tópicos sugeridos, isso já foi atualizado no site do evento. Submissões 
nessa linha em particular são também muito
bem-vindas !!!

> Em conformidade com a nova data para a notificação/resposta das 
submissões (que agora é 17 de julho), o Early Bird
(i.e. a data que permite a inscrição mais barata) foi postergado para 23 de 
julho.

Saudações e espero vê-los todos em Salvador muito em breve !

[]s  Samuel



On Saturday, June 4, 2022 at 3:47:33 PM UTC-3 ciro@ufba.br wrote:

> Car@s,
>
> O prazo para submissão para o XX Encontro Brasileiro de Lógica foi 
> estendido.
> Por gentileza, compartilhem o arquivo em anexo.
>
> Abraço,
>
> Ciro
> -- 
>
>
>
>
> =
> Ciro Russo
> Ph.D.
>
> Associate Professor
> Departamento de Matemática
> Instituto de Matemática e Estatística
> Universidade Federal da Bahia
> Campus de Ondina, Av. Milton Santos, Ondina
> 40170-110 - Salvador - Bahia - Brazil
> =
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para 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/a8b49b59-aa50-4e14-8bd6-5544c05ae5den%40dimap.ufrn.br.

[Logica-l] Fw: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021

['Samuel Gomes' via LOGICA-L]

 

   - Mensagem encaminhada - De: Pedro Hernan Zambrano Ramirez 
Para: logbog ; 
"logic-l...@helsinki.fi" Enviado: terça-feira, 21 de 
setembro de 2021 08:36:57 AMTAssunto: [LOGBOG: 1008] Deadline for 
contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 
14-17, 2021
 
We apologize for the multiplicities of this message.






CALL FOR CONTRIBUTIONS

1st Meeting Brazil-Colombia in Logic

(1o. Enc(ue-o)ntro de LogicaBrasil-Col(o-ô)mbia)

Online Meeting

Universidad Nacional deColombia at Bogotá – December 14-17, 2021

https://sites.google.com/unal.edu.co/i-enclogbracol/

No registration fee



 

The mathematical logic interactions between Colombianand Brazilian logicians 
have been strong for a long time and have a history offriendships and 
collaborations that go back several decades, and this wasaccomplished through 
(but not exclusively by) many SLALMs (SimposiosLatino-Americano de 
Logica-Matematicas) and EBLs (Encontros Brasileiros deLógica).

With this "First Meeting Brazil-Colombia inLogic", we intend to initiate a new 
institutional phase of collaborationsand exchange of experiences in areas 
involving Foundations of Mathematicsbetween researchers and students from 
Brazil and Colombia: we hope this is thefirst of many events in the years to 
come!

We are very glad to see some of the personages thathave created this profound 
and rich interaction between Colombian and Brazilianlogicians will be present 
in this meeting and that another generation ofresearchers and students have 
manifested its intention of carrying out andstrengthening 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 InvitedSpeakers:



 

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) welcomessubmissions of 25 minutes talks 
(20 minutes presentation + 5 minutesquestions).  We will accept submissionsfrom 
all areas related to Logic (including Mathematical Logic, Philosophy 
andComputer Science). To facilitate the organization, the authors will be asked 
todeclare whether the submitted work belongs to one of the following topics:

·   Categorialand Algebraic Logic

·   GeneralLogic

·   ModelTheory

·   Non-classicalLogics

·   ProofTheory

·   SetTheory

Depending on the number of accepted submissions,  the authors may be required 
to pre-recordtheir talks (sending us an editable link of the recording). 
Students(undergrads and grads) are encouraged to submit posters (10 
minutespresentation). 

The languages of the meeting are: English, Spanish,Portuguese (we recommend the 
slides to be in English, but talks may bedelivered in any of the mentioned 
languages). 

The LaTeX template for submissions (for both talks andposters) may be found at 

https://www.overleaf.com/read/vftjwhycpgsk

The abstracts of the talks are expected to be 1-3 pages long, 
includingreferences.

After producing your .pdf file, you will be asked toupload it at 

https://forms.gle/Smwgv7kwLakSWTy7A

 

 

The deadline for submissions is

 September24, 2021

 

Accepted talks and posters will be announced on

    October22, 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 deMatemáticas

Sociedade Brasileira deLógica




---
Pedro ZAMBRANO
Associate Professor
Department of Mathematics
Universidad Nacional de ColombiaBogota, Colombia
PBX + 57 1 316 5000 ext. 13163
sites.google.com/a/unal.edu.co/phzambranor
Aviso legal: El contenido de este mensaje y los archivos adjuntos son 
confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se 
encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La 
reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona 
diferente a este y puede ser ilegal. Si usted lo ha recibido por error, 
infórmenos y elimínelo de su correo. Los Datos Personales serán tratados 
conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que 
podrá consultar en la página web www.unal

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

['Samuel Gomes' via LOGICA-L]

... Repassando...

---

Prezados associados,


Recentemente realizamos uma consulta a vocês associados sobre o próximo 
EBL, cuja realização estava prevista para ocorrer entre os dias 26 e 30 de 
Abril de 2021, em Salvador/BA. 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)

['Samuel Gomes' via LOGICA-L]

Caros,

A nossa colega Gisele Secco vai participar de uma live hoje, 21/08, às 
18hs, no Instagram da Marcia Tiburi (@marciatiburi), com o tema Falácias e 
vida cotidiana.

Espero que todos possamos prestigiar !

Abraços,

[]s  Samuel

-- 
Você está recebendo esta mensagem porque se inscreveu 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

['Samuel Gomes' via LOGICA-L]

Caros,

Escrevo só para lembrar que o prazo para que estudantes solicitem auxílio 
para participação na Semana Temática de Lógica
da UFBA se encerra na próxima sexta-feira, dia 07. Todas as informações 
estão na mensagem anterior (de 23 de Dezembro).

Abraços,

[]s  Samuel

On Monday, December 23, 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] Associação à ASL - Outreach list

['Samuel Gomes' via LOGICA-L]

Caros,

Começo de ano, volto a lembrar a todos que o Brasil faz parte da "outreach 
list" da Association for Symbolic Logic,

Assim nossa anuidade é de 18 dólares.

Com isso, temos acesso online aos periódicos "Cambridge Core", além de 
poder receber exemplares físicos do
Journal of Symbolic Logic, Review of Symbolic Logic e Bulletin of Symbolic 
Logic.

O link para associar-se é

https://www.cambridge.org/core/membership/asl/membership/outreach-membership

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/e1eb52fd-1c35-4aa5-9ae8-2049944efe18%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

... 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.

['Samuel Gomes' via LOGICA-L]

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] Re: a pior tentativa de explicar a hipotese do continuo

['Samuel Gomes' via LOGICA-L]

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

['Samuel Gomes' via LOGICA-L]

Olá,

De nada,

Claro que pode,

Até,

[]s  Samuel


On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote:
>
> Artigo horroroso.
>
>
>
> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
>   
>
>
>
>

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

['Samuel Gomes' via LOGICA-L]

Oi,

Eu dei a entender mas não escrevi, no tal V = Ultimate L a Hipótese do 
Contínuo seria verdadeira.

[]s  Samuel

On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote:
>
> Artigo horroroso.
>
>
>
> https://blogs.oglobo.globo.com/ciencia-matematica/post/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

['Samuel Gomes' via LOGICA-L]

Olá todos, olá Valeria,

Bem, dado o chamamento a opinar, vou fazer alguns comentários adicionais 
sobre alguns dos posts anteriores, de maneira rápida e curta... Quando eu 
quis compilar tudo o que eu gostaria de falar sobre a Hipótese do Contínuo, 
em 2015, o que saiu foi um minicurso de três sessões, cada uma com mais de 
60 slides ! Posso enviar o arquivo para quem me pedir off-list (e aceito 
convites para ministrar esse minicurso por aí, obviamente...).

1) O enunciado original de Cantor para CH é exatamente como Doria citou: 
não existe subconjunto da reta de tamanho intermediário entre o tamanho dos 
naturais e o tamanho da reta. Se assumimos o Axioma da Escolha (para que 
todo cardinal seja um aleph, i.e., para que toda cardinalidade seja 
bem-ordenável, digamos), aí temos o enunciado bonitinho do 2^{aleph_0} = 
aleph_1.

Tem coisas muito interessantes sobre esse enunciado original de Cantor, 
"não existir tamanho intermediário". Primeiro: ele pode ser demonstrado 
usando o Axioma da Determinação ! Lembrar, porém,  que o Axioma da 
Determinação (o qual declara, informalmente, que jogos cujo alvo sejam 
subconjuntos da reta sempre vão ter estratégia vencedora para algum dos 
jogadores) é incompatível com o Axioma da Escolha. 

Outra coisa muito interessante: se generalizamos de uma certa forma natural 
esse enunciado para qualquer conjunto infinito, chegamos num enunciado que 
podemos considerar como sendo a "Hipótese Generalizada do Contínuo", mas 
sem referência a alephs (essencialmente: "se X tem injeção para um certo Y 
que tem injeção para Partes de X, então Y tem que ser equipotente ou a X ou 
a Partes de X, não havendo possibilidades intermediárias"). Pois bem, esse 
enunciado generalizado implica o Axioma da Escolha !!! Isso não é muito 
divulgado por aí. Fiz um trabalho com um aluno de iniciação e destrinchamos 
essa equivalência, tenho os slides do projeto dele, também posso enviar 
para quem estiver interessado.

2) Outro fato que não é muito divulgado por aí: parafraseando Paulo Freire, 
"Cantor não acordou um dia às oito horas da manhã e conjecturou a Hipótese 
do Contínuo".

O que ocorre é que Cantor não conseguiu PRODUZIR, com seus métodos, nenhum 
conjunto de tamanho intermediário. Slogan: "para conjuntos que possam ser 
razoavelmente descritos, a Hipótese do Contínuo é verdadeira". O nascimento 
da Teoria dos Conjuntos pode ser traçado ao Teorema de Cantor-Bendixson, no 
qual Cantor enxergou uma recursão transfinita de comprimento maior do que 
omega brincando com pontos de acumulação de subconjuntos da reta. Pois bem, 
o Teorema de Cantor-Bendixson diz que: fechados não-enumeráveis da reta são 
necessariamente equipotentes à reta (diz um pouco mais do que isso, mas por 
hoje digamos que seja isso). A construção garante que, dado um fechado 
não-enumerável, esse fechado deve conter um subconjunto perfeito - i.e., um 
fechado sem pontos isolados. Pois bem, um lindo argumento com árvores 
binárias garante que qualquer subconjunto perfeito contém uma cópia do 
Conjunto de Cantor, e portanto tem a cardinalidade do contínuo.

"Conter uma cópia do conjunto de Cantor" é uma propriedade que garante à 
uma dada classe de conjuntos um certo carimbo de "regularidade", de "bom 
comportamento". 
Essa propriedade, conter uma cópia do Conjunto de Cantor, é chamada 
"propriedade do conjunto perfeito". Por exemplo, os analíticos (= projeções 
de borelianos) possuem essa propriedade (Luzin, 1917). Notar que se uma 
certa classe de conjuntos possui a propriedade do conjunto perfeito, então 
um contra-exemplo para a Hipótese do Contínuo não vai sair dessa classe !!! 
Assim, a Hipótese do Contínuo vale para toda classe de subconjuntos com a 
tal propriedade do conjunto perfeito, como são os fechados e os 
analíticos...(no sentido de que, para os fechados por exemplo, não existem 
tamanhos intermediários)

Obviamente que "ser Lebesgue mensurável" é um carimbo de bom comportamento 
possivelmente ainda maior; porém, existem projetivos (= conjuntos obtidos a 
partir de uma quantidade finita de projeções e complementos partindo de um 
boreliano) não Lebesgue mensuráveis assumindo-se V = L, o tal Axioma da 
Construtibilidade. 

(O Axioma da Determinação prova que todo subconjunto da reta é Lebesgue 
mensurável...)

3) Não sei exatamente o que Gödel queria provar quando fez a construção do 
modelo dos construtíveis; nós teoristas de conjuntos simplesmente pensamos 
em V = L como uma prova da *consistência* da Hipótese do Contínuo (e do 
Axioma da Escolha, de quebra...). O que eu posso dizer é que Cohen, o tal 
que inventou o forcing para mostrar a consistência da negação da Hipótese 
do Contínuo, esse sim acreditava e declarou abertamento lá no seu livro 
(procurem lá nas últimas duas páginas...) que a cardinalidade do contínuo 
deveria estar até acima de aleph_omega, que é o limite dos aleph_n.

O que Cohen parece pensar - e que eu, quando estou quase acordando de manhã 
ou quase dormindo de noite, tendo a p

[Logica-l] Re: CREATIVITY 2019 - bolsas para estudantes da SBL

['Samuel Gomes' via LOGICA-L]

Prezados,

Acho que está havendo uma confusão,

Quem deve preencher os formulários e apresentar propostas são os 
*organizadores* do evento,

Para apoio a estudantes que devem cumprir determinadas condições, OK,

Mas quem se inscreve para pedir o apoio são os *organizadores*.

Até,

[]s  Samuel

On Friday, August 30, 2019 at 9:12:29 AM UTC-3, jyb wrote:
>
> CREATIVITY 2019  
> 1st World Congress of the Brazilian Academy of Philosophy
>  in Honor of Newton da Costa 90th Birthday
> https://sites.google.com/view/creativity2019/  
> JYB
>
> ---
> já saiu o edital para 
> apoio à participação de estudantes em eventos que iniciem entre 1 de 
> outubro de 2019 a 31 de março de 2020. Os detalhes estão na página da 
> SBL,
> http://www.sbl.org.br/  
>
> Importante: a deadline é 31 de agosto; podem se candidatar, conforme 
> decisão da assembleia, estudantes associados à SBL etc. Ver as 
> instruções no endereço acima.
>
> Abraços,
>
> Cezar  
>

-- 
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/14baa49c-c03b-4dd7-994a-ffd91218a01a%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

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&jornal=530&pagina=92&totalArquivos=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] Re: Critério de Identidade na Matemática

['Samuel Gomes' via LOGICA-L]

Olás, 

Aqui é o Samuel de verdade, nao o personagem da mensagem do Daniel 8-).

Respondendo mais à sua mensagem mesmo Daniel, a questao me parece mais de 
definibilidade do que de identidade.
A estrutura que você apresenta, pela tal categoricidade que vem do teorema 
do vaivém que JM lembrou (o 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 não é suficiente para definir o 
> conceito do número racional 1/2. O significado matemático de 1/2 (metade) 
> exige mais do que uma tal ordem pode nos dar. Eu usei 1/2 apenas como um 
> exemplo. Na verdade, nenhum número racional específico é identificável em 
> (2). Ou, dito de um modo

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

['Samuel Gomes' via LOGICA-L]

Prezados,

Edital lançado ontem. Lembrando que nao existe mais a bolsa CAPES pós-doc 
para quem já tiver afiliaçao.

http://www.capes.gov.br/sala-de-imprensa/noticias/9332-programa-professor-visitante-no-exterior-oferece-150-bolsas

Atés,

[]s  Samuel

-- 
Você está recebendo esta mensagem porque 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

['Samuel Gomes' via LOGICA-L]

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 aprendizado de máquina que só pode ser resolvido se a 
> Hipótese do Contínuo for verdadeira
> https://amp.livescience.com/64469-unsolvable-math-problem.html
>
>
> JM
>

-- 
Você está

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

['Samuel Gomes' via LOGICA-L]

Olás,

--> JM obrigado pela referência;

--> João Nunes de Souza e demais que não tenham meu email,

o mesmo pode ser encontrado colocando no Google "docentes dmat ufba",

aí logo no primeiro link vem a lista completa de todos os docentes do meu 
departamento.

Atés,

[]s  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

['Samuel Gomes' via LOGICA-L]

Oi Daniel,

Video não, mas quem quiser os slides, me escreve que eu mando...

Abraço,

[]s  Samuel


On Tuesday, November 6, 2018 at 6:23:25 PM UTC-2, Durante wrote:
>
> Que bacana, Samuel! Vocês vão fazer um vídeo? Adoraria assisti-lo!
>
> Saudações,
> Daniel.
> -
> 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
>  
> 
> .
>
>
>

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

['Samuel Gomes' via LOGICA-L]

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. 
>
>  
>
>
>
>  
>
>  
>
>  
>
>  
>
> 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.

Re: [Logica-l] "The axiom of well-ordered replacement is equivalent to full replacement over Zermelo + foundation"

['Samuel Gomes' via LOGICA-L]

... Sensacional Alfredo,

Espero que você possa apresentar seus resultados aqui em Salvador quando 
possível ! Estamos todos muito felizes com o seu trabalho.

Até mais,

[]s  Samuel

On Monday, August 20, 2018 at 2:46:58 PM UTC-3, Alfredo Roque Freire wrote:
>
> Obrigado, professores. 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&isbn=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)

['Samuel Gomes' via LOGICA-L]

... Perfeito Rodrigo,

Agora estou me lembrando que vi esse tipo de exemplos em palestras suas.

Obrigado! Até,

[]s Samuel 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-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)

['Samuel Gomes' via LOGICA-L]

... 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.

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

['Samuel Gomes' via LOGICA-L]

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 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/5650087c-f0a3-42d5-9810-5d042b8fad46%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

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.

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

['Samuel Gomes' via LOGICA-L]

... Anotada a sugestão !

Abraço,

[]s  Samuel

On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina, 
> Salvador), retomando as atividades do Seminário de Lógica da UFBA,
> 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] Re: Resultado submissões ICM 2018 - Short communications/posters

['Samuel Gomes' via LOGICA-L]

... 450 dólares mais 100 para acompanhante, é salgado mesmo !!!

Até,

[]s  Samuel

On Tuesday, April 3, 2018 at 10:09:19 AM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Saiu o resultado das submissões para o ICM 2018 - Short 
> communications/posters
>
> http://www.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] Re: Concurso para o Departamento de Matemática da UFBA - 01 vaga

['Samuel Gomes' via LOGICA-L]

... 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



(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

['Samuel Gomes' via LOGICA-L]

... 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… 


(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

['Samuel Gomes' via LOGICA-L]

... Tem essa informação na página 19 do arquivo, mas só pra constar, 
inscrições entre hoje 16/03 e as 12h do dia 14/05/2018. 

Atés,

[]s  Samuel

PS: Claro que com algumas horas a mais de estudo, até quem fez tudo em 
Filosofia pode fazer este concurso. O título de doutorado em filosofia é 
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] Alguém conseguiu fazer inscrição no UCM2018?

['Samuel Gomes' via LOGICA-L]

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.

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

['Samuel Gomes' via LOGICA-L]

Caros, desculpem a duplicidade, não tinha visto que o Bruno já tinha 
postado.


On Thursday, February 22, 2018 at 2:25:25 PM UTC-3, Samuel Gomes da Silva 
wrote:
>
> 
>
> Conference on Mathematical Logic
> (Satellite 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] Re: Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

['Samuel Gomes' via LOGICA-L]

... desculpem pela palavra "Rascunho" no título do post, está aí por 
esquecimento de deletar. 


On Tuesday, December 5, 2017 at 9:26:58 AM UTC-3, Samuel Gomes da Silva 
wrote:
>
> Caros,
>
> Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo 
> 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] Re: Doutorado em Matemática UFBA - Área de Lógica Matemática

['Samuel Gomes' via LOGICA-L]

... Caros todos,

Obrigado, seguiremos nossa luta diária por aqui.

Abraço,

[]s  Samuel

PS: Acredito que na Colômbia, juntando as duas universidades (UNAL e 
Uniandes), temos um grupo de Lógica com mais do que oito participantes...

On Friday, October 27, 2017 at 4:16:19 PM UTC-3, Samuel Gomes 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] Re: Workshop da Sociedade Brasileira de Lógica - UFBA, Salvador, 24 de Outubro de 2017

['Samuel Gomes' via LOGICA-L]

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

['Samuel Gomes' via LOGICA-L]

... O interessante aí é ver um matemático do calibre do Gowers olhando um 
problema clássico pela primeira vez.

[]s  Samuel

On Wednesday, September 20, 2017 at 12:45:29 PM UTC-3, valeria.depaiva 
wrote:
>
> Especialmente pro Samuel, caso  nao tenha visto ainda...
>
>
> 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é!

['Samuel Gomes' via LOGICA-L]

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,

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

['Samuel Gomes' via LOGICA-L]

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
> um dos A_n.
>
> Uma situação um pouco menos abstrata aparece, por exemplo, na reta. 
> Qualquer ponto x é ponto de acumulação de racionais (no sentido de que 
> qualquer
> intervalinho centrado nesse ponto x contém infinitos racionais). Se 
> fixamos uma enumeração dos racionais (lembrar que é enumerável), digamos,
>
> Q = {r_n: n em N}
>
> e fixamos os intervalos abertos ]x - 1/k, x + 1/k[ para k maior ou igual a 
> 1, podemos criar uma família de subconjuntos dos naturais como acima
> da seguinte forma:
>
> A_k = {n em N: r_n pertence a   ]x - 1/k, x + 1/k[   }
>
> Como a intersecção dos intervalinhos se reduz ao ponto, se o número x for 
> irracional teremos que essa família {A_k: k maior ou igual a um} é de 
> intersecção vazia
> porém com certeza tem pseudo-intersecção infinita: basta pegar qualquer 
> sequência de racionais que convirja para o ponto x e, voilá, o conjunto dos 
> índices A
> dessa sequência é uma pseudo-intersecção infinita da família !!! "All but 
> finitely many", todos a menos de no máximo finitos elementos de A, vão cair 
> dentro de qualquer A_k que você fixar.
>
> Então, a pergunta seguinte seria:
>
> 2) 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 NÃO TEM pseudo-intersecção infinita ?
>
> Uma das primeiras coisas que se pode checar é que, se a família de 
> subconjuntos infinitos for ENUMERÁVEL, se constrói facilmente
> uma pseudo-intersecção infinita para essa família.
>
> Supondo que {A_n: n maior ou igual a 0} seja tal que todas as intersecções 
> finitas resultem em conjuntos infinitos, fazemos assim:
>
> a_o = min(A_0)
>
> a_1 = min( (A_0 intersectado com A_1) - {a_0})
>
> a_2 = min( (A_0 intersectado com A_1 intersectado com A_2) - {a_0,a_1} )
>
> ...
>
> a_k = min( (A_0 intersectado com A_1 intersectado com... intersectado com 
> A_k) - {a_0,a_1,...,a_{k-1}} )
>
> ...
>
> O conjunto A = {a_k: k maior ou igual a zero} é uma pseudo-intersecção 
> infinita da família. (Quem já fez um curso de espaços
> métricos e achou parecido com a construção de uma subsequência convergente 
> a um ponto

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

['Samuel Gomes' via LOGICA-L]

... 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
um dos A_n.

Uma situação um pouco menos abstrata aparece, por exemplo, na reta. 
Qualquer ponto x é ponto de acumulação de racionais (no sentido de que 
qualquer
intervalinho centrado nesse ponto x contém infinitos racionais). Se fixamos 
uma enumeração dos racionais (lembrar que é enumerável), digamos,

Q = {r_n: n em N}

e fixamos os intervalos abertos ]x - 1/k, x + 1/k[ para k maior ou igual a 
1, podemos criar uma família de subconjuntos dos naturais como acima
da seguinte forma:

A_k = {n em N: r_n pertence a   ]x - 1/k, x + 1/k[   }

Como a intersecção dos intervalinhos se reduz ao ponto, se o número x for 
irracional teremos que essa família {A_k: k maior ou igual a um} é de 
intersecção vazia
porém com certeza tem pseudo-intersecção infinita: basta pegar qualquer 
sequência de racionais que convirja para o ponto x e, voilá, o conjunto dos 
índices A
dessa sequência é uma pseudo-intersecção infinita da família !!! "All but 
finitely many", todos a menos de no máximo finitos elementos de A, vão cair 
dentro de qualquer A_k que você fixar.

Então, a pergunta seguinte seria:

2) 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 NÃO TEM pseudo-intersecção infinita ?

Uma das primeiras coisas que se pode checar é que, se a família de 
subconjuntos infinitos for ENUMERÁVEL, se constrói facilmente
uma pseudo-intersecção infinita para essa família.

Supondo que {A_n: n maior ou igual a 0} seja tal que todas as intersecções 
finitas resultem em conjuntos infinitos, fazemos assim:

a_o = min(A_0)

a_1 = min( (A_0 intersectado com A_1) - {a_0})

a_2 = min( (A_0 intersectado com A_1 intersectado com A_2) - {a_0,a_1} )

...

a_k = min( (A_0 intersectado com A_1 intersectado com... intersectado com 
A_k) - {a_0,a_1,...,a_{k-1}} )

...

O conjunto A = {a_k: k maior ou igual a zero} é uma pseudo-intersecção 
infinita da família. (Quem já fez um curso de espaços
métricos e achou parecido com a construção de uma subsequência convergente 
a um ponto de acumulação de uma sequência, é porque é isso
mesmo, sempre podemos encarar, de certa forma, a pseudo-intersecção 
infinita como uma subsequência convergente).

Bom, enumeráveis não podem ser então... E não-enumeráveis ?

Com um pouco de Axioma da Escolha, tomamos um ultrafiltro livre sobre os 
naturais e ele tem essas duas propriedades: trata-se
de uma família infinita de subconjuntos infinitos dos naturais que é tal 
que toda subfamília finita tem intersecção infinita e não possui
pseudointersecção infinita.

(Pra ver que não tem pseudo-intersecção infinita, tome qualquer A contido 
nos naturais que seja infinito: se o complementar de A estiver no 
ultrafiltro,
ele já não é pseudo-intersecção infinita do ultrafiltro porque A menos 
complementar de A vai dar A que é infinito. E, se A estiver no ultrafiltro 
(lembrando que ou A ou o complementar de A com certeza estão), usamos que 
os ultrafiltros são filtros primos: escrevendo A = A_1 unido com A_2, com 
ambos A_1, A_2 infinitos, sabemos que exatamente UM entre A_1 e A_2 vai 
estar no ultrafiltro livre. Se for A_1, A menos A_1 = A_2, que é infinito, 
se for A_2, A menos A_2 = A_1 que é infinito.)


... Ou seja, do exercício mental acima temos que:

--> Existem famílias de subconjuntos infinitos dos naturais que são tais 
que toda subfamília finita tem intersecção resultando num conjunto 
infinito, porém
não possuem pseudo-intersecção infinita (os ultrafiltros livres são 
exemplos disso);

--> porém, uma família desse tipo não pode ser enumerável.

Aí a pergunta que um teorista de conjuntos faz é:

QUAL É O TAMANHO MÍNIMO DE UMA FAMÍLIA COM ESSAS PROPRIEDADES ?

Pois é, esse é o cardinal p ("pseudointersection number"). É não-enumerável 
porque pra famílias enumeráveis existe a pseudo-intersecção, e limitado 
superiormente pelo contínuo porque é o tamanho de subfamílias de Partes de 
N (logo, em modelos onde vale a Hipótese do Contínu

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

['Samuel Gomes' via LOGICA-L]

Olás,

Depois eu conto um pouco sobre p e t, no momento estou no celular e não posso 
escrever muito.

Só como informação a Malliaris (coautora de Shelah no trabalho) vai estar no 
Rio ano que vem, como palestrante no Painel de Lógica do Encontro Mundial de 
Matemáticos.

Atés

[]s Samuel

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

['Samuel Gomes' via LOGICA-L]

Olás,

Segue link do evento na nova página da SBL:

http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2017

Atés,

[]s  Samuel



On Friday, September 15, 2017 at 12:02:03 PM UTC-3, Samuel Gomes da Silva 
wrote:
>
> Caros,
>
>
> Já temos a programação do Workshop da Sociedade 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] Re: Material didático sobre TC

['Samuel Gomes' via LOGICA-L]

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] Re: [OFF TOPIC] Situação periclitante do CNPq

['Samuel Gomes' via LOGICA-L]

... Repassando... 



Prezados colegas,

elaboramos um manifesto (abaixo e anexo) em defesa da Ciência brasileira e 
contra a retenção dos recursos do CNPq. Solicitamos seu apoio e também que 
enviem e-mail em seus departamentos para colhermos o maior número possível 
de assinaturas, que podem ser enviadas (nome e instituição) para o e-mail 
manifmat2...@gmail.com até o dia 20 de agosto.

Cordialmente,
Christina Brech, Henrique N. Sá Earp,  José Nazareno V. Gomes, Ricardo 
Freire e Rodrigo Bissacot

***


*Manifesto de jovens pesquisadores em Matemática em defesa da Ciência 
brasileira e contra a retenção dos recursos do CNPq**
Em agosto de 2015 manifestamos perplexidade frente aos cortes 
orçamentários impostos aos programas de pós-graduação, alertando para suas 
consequências devastadoras para a Matemática brasileira, área que já 
recebia uma quantidade menor de bolsas de produtividade em pesquisa. Tais 
medidas comprometeriam os avanços do que parecia ser uma política federal 
de investimentos continuados em ciência e educação, que elevou a Matemática 
no País a um novo patamar e culminou na concessão da Medalha Fields ao 
brasileiro Artur Avila em 2014, bem como na escolha do Brasil para sediar a 
Olimpíada Internacional de Matemática IMO 2017 e o Congresso Internacional 
de Matemáticos ICM 2018. Este ano, o pesquisador Eduardo Teixeira recebeu o 
Prêmio Ramanujan, concedido a jovens matemáticos de países em 
desenvolvimento, por seu trabalho desenvolvido na Universidade Federal do 
Ceará. No âmbito nacional, o reconhecimento veio com a proclamação do 
Biênio da Matemática 2017-2018 pelo Congresso Nacional, por meio da Lei 
Ordinária 13.358 de 07/11/2016.

A comunidade matemática brasileira, particularmente por meio de seus 
jovens pesquisadores e estudantes, está mais do que nunca empenhada em 
atividades de popularização, educação e pesquisa, a exemplo da Semana 
Nacional de Ciência e Tecnologia, cujo tema este ano é "A Matemática está 
em tudo!", e dos inúmeros eventos científicos relacionados ao ICM 2018.

No entanto, passados dois anos desde o nosso ``Manifesto dos Jovens 
Pesquisadores em Matemática Pura e Aplicada'', os cortes foram de fato 
*ampliados*. A fusão do MCTI com o Ministério das Comunicações em 2016 
tirou a independência daquele e explicitou o absoluto descaso do atual 
governo federal para com a Ciência. Os inúmeros contingenciamentos 
orçamentários promovidos nos últimos 12 meses, bem como a total incerteza 
sobre recursos futuros, aprofundam os prejuízos na medida em que 
inviabilizam o planejamento, geram insegurança na comunidade científica e 
afastam jovens promissores. Várias universidades federais sequer têm 
recursos suficientes para completar o ano letivo de 2017 e a fuga de jovens 
pesquisadores do País se acentuou. 

O desenvolvimento econômico, social e cultural de um país passa 
necessariamente por ciência, tecnologia e inovação, nas quais a Matemática 
e suas aplicações ocupam um lugar central. Temos no Brasil capacidade 
material e intelectual para promover avanços significativos. Contudo, 
nossos pesquisadores necessitam de remuneração adequada e de verba para 
financiar suas pesquisas e os mais jovens, assim como os estudantes 
talentosos, precisam de perspectivas promissoras na carreira científica.

À fria luz dos fatos e além de qualquer partidarismo, repudiamos os 
repetidos e substanciais cortes de verba que sabotam o potencial 
transformador da ciência brasileira e reivindicamos a volta e independência 
do MCTI e a restauração do status e do orçamento do CNPq e demais agências 
de fomento e pesquisa.

*(*) Texto elaborado pelos pesquisadores Christina Brech (USP), Henrique N. 
Sá Earp (UNICAMP),  José Nazareno V. Gomes (UFAM), Ricardo Freire (USP) e 
Rodrigo Bissacot (USP).*


On Friday, August 4, 2017 at 5:41:23 AM UTC-3, Walter Carnielli wrote:
>
> Car@s colegas:
>
>
> A situacao do CNPq esta periclitante. Parece que o Temer torrou todo o 
> dinheiro dando "benesses" aos deputados para  se manter na cadeira. 
>
>
> A SBPC e ABC encaminharam carta ao Kassab. Creio que sem duvida a SBL e 
> outras sociedades como a SBC, SBM deveriam enviar também, e mesmo a ALFAn 
> (Asociación Latinoamericana de Filosofía Analítica), que eh supranacional, 
> poderia ajudar:
>
>
>
> http://www.jornaldaciencia.org.br/wp-content/uploads/2017/07/Of.-144_.pdf
>
>
>
> Abraços,
>
>
> Walter
>

-- 
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/0db40cb6-5b08-4b90-a118-0d0b1349ff01%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

Oi gente,

Obrigado Finger e Doria,

Em breve os demais artigos do Proceedings do Ebl 2014 já devem estar todos 
disponíveis também !

Agradecimentos agora a Petrucio, Hermann e Walter !

Atés,

[]s Samuel 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 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.

[Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

['Samuel Gomes' via LOGICA-L]

 Caros,

Recebi hoje um email divulgando a lista de todos os plenary/invited 
speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai 
ocorrer no Rio de Janeiro
no ano que vem.

Vejam a lista completa no link: 

http://www.icm2018.org/portal/en/icm-speakers

A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:

*Speakers:* 

   - Jochen Koenigsmann (UK)
   - Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias 
   Aschenbrenner (USA)
   - Maryanthe Malliaris (USA)
   - Stephen Jackson (USA)
   - Ulrich Kohlenbach (Germany)


Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo 
Viana durante o Encontro Brasil-Itália no IMPA, e fomos

informados que a escolha dos speakers de cada painel é decidido por uma 
comissão sigilosa que é formada pela IMU (União Matemática

Internacional), então realmente a comunidade brasileira de lógica não tinha 
muito mesmo como sugerir nomes para essa sessão.


Observo, porém, que a partir de setembro haverá submissões para posters e 
comunicações curtas (creio que 20 minutos), então a

comunidade brasileira de lógica terá a oportunidade de participar do evento 
através dessas apresentações. Serão aceitos trabalhos de qualquer

uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de 
Lógica e Fundamentos). Vejam detalhes em:


http://www.icm2018.org/portal/en/news29


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/2139cb4b-9fac-4d65-9ad2-00a6d38c859b%40dimap.ufrn.br.

[Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

['Samuel Gomes' via LOGICA-L]

... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?

... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é doido ?

Ai ai ai... Pobres macaquinhos do Jardim Botânico...

[]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/f3366bfe-0aa0-4896-b328-3e3c71341e43%40dimap.ufrn.br.

[Logica-l] Re: el problema

['Samuel Gomes' via LOGICA-L]

... Obrigado, Doria, Finger e Rodrigo,

Após parar para pensar no tal resultado de Absoluteness que o Rodrigo 
comentou (grato novamente !),
vejo que, na verdade, para mim a situação é até melhor do que eu pensava.

A mensagem de Rodrigo diz:

"Você teria que procurar um enunciado que não seja absoluto para o universo 
construtível L."

Bem, essa afirmação pressupõe que a minha preocupação inicial era, da mesma 
maneira que a pessoa
que postou a pergunta no TCS Stack Exchange, "procurar afirmações da 
Ciência da Computação que necessitem
do Axioma da Escolha". Mas não era essa a minha preocupação ! 

O que eu estou preocupado, estimulado por esse visitante de computação que 
veio fazer pós-doc aqui, é exatamente
COMO USAR o Axioma da Escolha em Computação. 

E, se bem entendi a explicação do Rodrigo (e mais algumas que encontrei 
depois), na verdade estou no melhor dos mundos
porque posso usar o Axioma da Escolha "como muleta", no sentido de que

"Se eu consigo uma demonstração com Axioma da Escolha, eu posso ficar 
tranquilo porque na verdade ele não era necessário
e existe uma demonstração construtiva em ZF" (exibi-la sim que pode ser um 
problema, mas ter essa informação me parece sensacional, não ?)

Por exemplo, para os tais enunciados S da aritmética que são Sigma^1_2 ou 
Pi^1_2, então vale o absoluteness para L e teremos o:

"Se ZFC prova S, então ZF prova S"

Então o Axioma da Escolha só serviu como uma "muleta não-construtiva" para 
eu chegar na informação de que existe uma prova construtiva para S
(supondo o problema internalizado em Teoria dos Conjuntos, etc.)

Concordam ?

Atés,

[]s  Samuel



On Monday, May 22, 2017 at 6:19:13 PM UTC-3, Joao Marcos wrote:
>
> El problema que los informáticos no han podido resolver en 45 años 
> - La pregunta "¿P=NP?" trae de cabeza a los programadores desde 1971 
> por Ricardo Peña Marí (Universidad Complutense de Madrid) 
>
> http://tecnologia.elpais.com/tecnologia/2017/05/19/actualidad/1495202801_698394.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 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/8a4c150d-4441-4418-8ed1-65585da6b362%40dimap.ufrn.br.

Re: [Logica-l] el problema

['Samuel Gomes' via LOGICA-L]

https://cstheory.stackexchange.com/questions/1923/which-interesting-theorems-in-tcs-rely-on-the-axiom-of-choice-or-alternatively

(esse é o post ao qual me referi)

-- 
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/46554c1a-8110-4d36-ac2d-ad9e0adff475%40dimap.ufrn.br.

Re: [Logica-l] el problema

['Samuel Gomes' via LOGICA-L]

Prezados,

Aproveito para apresentar uma pergunta que anda pela minha cabeça nos últimos 
dias.

--> Existiria algum interesse para a Computação se algum desses problemas sobre 
Complexidade fosse, digamos assim, internalizado em ZF e mostrado ser uma 
equivalência ou uma consequência de algum principio de escolha (aqui principio 
de escolha significa alguma asserção que é encarada na literatura sempre no 
contexto de sua relação com o Axioma da Escolha, por exemplo ultrafiltros 
livres ou escolhas dependentes) ?

Minha pergunta não é meramente retórica, um professor de computação vai passar 
um ano em pos doc aqui na Ufba colaborando com os grupos de Matemática Aplicada 
e com a gente de Lógica, e eu sei que ele quer usar coisas relacionadas com o 
Axioma da Escolha em Computação.

A princípio eu disse pra ele, há alguns meses, que os argumentos em Computação 
devem ser todos construtivos, assim não faria sentido aplicar o Axioma da 
Escolha em Computação.

Porém vi em alguns posts de tcs stack exchange que certas afirmações sobre 
árvores que dependem de argumentos de escolha poderiam, em determinados pontos 
de vista, serem aceitos pela Teoria da Computação.

Bem, peço a opinião dos colegas.

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/e725cb88-08a2-421c-9118-fad8bc050dcf%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

... E quem ainda não me conhece eu estou mais ou menos assim:

http://www.dmat.ufba.br/docentes/samuel-gomes-da-silva


On Saturday, May 6, 2017 at 12:16:54 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Caros,
>
> Dei uma sugestão informal ao Wagner e ele aceitou,
>
> Então eu sugiro que quem desembarque em Brasília na segunda pela manhã 
> (desembarque doméstico), logo na saída do desembarque, olhe
> para direita e identifique uma Casa do Pão de Queijo,
>
> Eu estarei logo em frente (tem umas cadeiras em frente, um bom número de 
> cadeiras) a partir das 9hs para ir juntando o grupo.
>
> (Ainda não sei daonde vai sair o ônibus mas pelo menos com todo mundo 
> junto não vão esquecer da gente, hehe)
>
> Até segunda,
>
> []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/3c484f7e-4518-461c-9317-ee3b368d1efb%40dimap.ufrn.br.

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

['Samuel Gomes' via LOGICA-L]

Caros,

Inicialmente, peço desculpas pelo aviso tardio, mas esse evento foi 
organizado muito rapidamente, entre o início das tratativas e o evento em si
serão menos de 60 dias.

A idéia foi aproveitar o mês de abril, o qual, devido ao calendário de 
reposição de greve aqui em Salvador, é mês de recesso de aulas na UFBA.

Todos os que estiverem em São Paulo e região estão super convidados ! 
Sabemos que gente de cidades mais distantes não poderá vir porque já 
estamos todos se preparando é para o EBL, que está chegando também. 

O minicurso a ser apresentado pelas manhãs da semana que vem em São Paulo é 
o meu "Uma Miscelânea de Aplicações de Ultrafiltros em Matemática" que já 
comentei aqui na lista. Na semana seguinte vai ser apresentado na VIII 
Bienal da Sociedade Brasileira de Matemática, no Rio de Janeiro.

Atés,

[]s   Samuel





On Thursday, April 13, 2017 at 10:32:49 PM UTC-3, Samuel Gomes da Silva 
wrote:
>
>
> *1o Encontro USP-UFBA em Lógica e Fundamentos *
>
>  
>
> *17 a 20 de abril de 2017, 
>  IME-USP,  São Paulo*
>
>
>
> O IME-USP e o IME-UFBA  são dois dos principais centros de pesquisa em 
> Lógica e Fundamentos do Brasil, sediados em Departamentos de Matemática, e 
> têm mantido intensas e profícuas trocas: 
>
>
> (i)muitos dos professores desta área do IME-UFBA são doutores 
> pelo IME-USP; 
>
>
> (ii)  o IME-UFBA tem enviado muitos de seus mestres e bacharéis em 
> Matemática para realizar seus doutorados no IME-USP; 
>
>
> (iii)   nos últimos  anos têm ocorrido uma colaboração cientifica 
> crescente entre membros dos dois programas na área de Lógica e Fundamentos, 
> resultando em trabalhos publicados em boas revistas da área. 
>
>  
>
> Este 1º Encontro USP-UFBA em Lógica e Fundamentos tem por objetivo 
> intensificar e solidificar essa colaboração. Para isto estão programados:
>
>
> a) Pelas manhas (10hs-12hs): um minicurso de Fundamentos, em nível de 
> pós-graduação, realizado no IME-USP e ministrado por um professor do 
> IME-UFBA. 
>
>
> *b)Nas tardes (14hs-18hs): um workshop contendo  cerca de 20 
> apresentações  (30 min) de trabalhos   (cerca de 10 professores, cerca de 
> 10  pós-graduandos do IME-USP). Eventualmente um  dia com sessão de 
> pôsteres.*
>
>
> c) Nas noites (19hs-21hs): reuniões de trabalho para dar andamento a 
> colaborações em 3 artigos  em elaboração .
>
>  
>
>  Mais informações (títulos das apresentações, resumos) no site do evento:
>
>
> https://sites.google.com/site/1ouspufbalogica/
>
>  
>
> *Comitê científico e organizador: *
>
>
> Lucia Renato Junqueira (IME-USP)
>
> Samuel Gomes da Silva (IME-UFBA)
>
> Hugo Luiz Mariano (IME-USP)
>
>  
>
>
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-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/736b5037-6a86-4cc3-b66a-77a35f46d54a%40dimap.ufrn.br.

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

['Samuel Gomes' via LOGICA-L]

... Touché para o Hermógenes,

O uso de linguagem comum e cotidiana quando vamos divulgar matemática (ou 
ciência) sempre traz seus riscos,

Só passei por aqui pra passar mais algumas referências:

--> Muitas histórias como essa do Walter podem ser encontradas no livro:

Moore, Gregory H. 

 Zermelo's 
axiom of choice. Its origins, development, and influence. Studies in the 
History of Mathematics and Physical Sciences, 8. 

 *Springer-Verlag, 
New York,* 1982. xiv+410 pp.

Nos primeiros anos de Axioma da Escolha a coisa foi bem assim mesmo, "ou se 
achava óbvio ou se achava falso" - será que as aspas irão me salvar ? 8-)

E, o mais interessante, aqueles que mais se posicionavam contra o Axioma da 
Escolha (Lebesgue, por exemplo) cansavam de usar esse axioma em seu 
trabalho,
só que "sem perceber"...

(É como um famoso livro de Topologia Geral no Brasil - escrito por um 
brasileiro e tudo...-  onde o autor diz que "vai usar o Axioma da Escolha 
uma única vez - mas na forma do Lema de Zorn, que tem o aspecto de um 
verdadeiro teorema, diferentemente do Axioma da Escolha, que tem um cunho 
mais filosófico"... No entanto, as sequências convergentes formadas por 
pontos escolhidos arbitrariamente, e infinitas vezes, estão em todas as 
páginas do livro)

--> O livro do Rubin e Rubin é um clássico aí com suas quatrocentas 
equivalências do Axioma da Escolha, porém observo que muito da pesquisa 
atual se faz
com os chamados "princípios fracos de escolha", que são versões fracas ou 
fragmentos, digamos assim, do Axioma da Escolha. Para essas consequências 
do Axioma da Escolha o texto de referência hoje é o seguinte:

Howard, Paul 
;
 
Rubin, Jean E. 

 Consequences 
of the axiom of choice. Mathematical Surveys and Monographs, 59. 

 *American 
Mathematical Society, Providence, RI,* 1998. viii+432 pp. ISBN: 
0-8218-0977-6


... Atés,

[]s  Samuel







On Saturday, April 1, 2017 at 5:05:37 PM UTC-3, Hermógenes Oliveira wrote:
>
> Walter Carnielli > escreveu: 
>
> > 
> > [...] 
> > 
> > Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha 
> > não é [...] falso [...] 
>
> Me parece que "estudantes iniciantes", dependendo do seu grau de 
> doutrinação em Lógica (especialmente lógica clássica ensinada como 
> "teoria do bom raciocínio"), tenderiam a entender a afirmação acima como 
> equivalente a "o Axioma da Escolha é verdadeiro" e estariam assim 
> autorizados a solicitar-lhe, como justificativa dessa alegação, uma 
> demonstração do *Axioma* da Escolha, visto que "axioma" aqui não pode 
> ser tomado como verdade óbvia/evidente (conforme você mesmo escreveu). 
>
> -- 
> Hermógenes Oliveira 
>

-- 
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/ddd05425-465d-4183-94f9-128aef7f2c6c%40dimap.ufrn.br.

[Logica-l] Re: Informações sobre inscrições disponíveis na página do EBL.

['Samuel Gomes' via LOGICA-L]

(Assim como fica a sugestão de que se isso for possível, avisem rapidamente 
porque está na hora de comprar passagens já...)

On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Apenas para divulgar, 
>
> No endereço 
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration 
>
> já estão disponibilizadas todas as informações sobre os procedimentos 
> sobre 
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.). 
>
> Atés, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.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/9d7901fb-1db3-4c13-97d9-8f22c0bdbd0d%40dimap.ufrn.br.

[Logica-l] Re: Informações sobre inscrições disponíveis na página do EBL.

['Samuel Gomes' via LOGICA-L]

Oi gente,

Só adicionando um dado,

Eu não estou na comissão organizadora do evento não, hehe, só quis dar um 
toque de que essas informações aí
de "registration" já estavam disponíveis.

Na página do evento o email sugerido para maiores informações é  







*ebl2...@inf.ufg.breu espero que a organização possa colocar um ônibus para 
levar gente ou de Brasília ou de Goiâniapra lá na segunda dia 08 pela 
manhã, fica a sugestão !!!Atés,[]s  Samuel*


On Thursday, March 9, 2017 at 3:13:32 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Apenas para divulgar, 
>
> No endereço 
>
> http://www.inf.ufg.br/ebl2017/ebl.html#sec-registration 
>
> já estão disponibilizadas todas as informações sobre os procedimentos 
> sobre 
> o "registration" do próximo EBL, em Pirenópolis (valores, etc.). 
>
> Atés, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.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/1bfa7027-2b62-4898-a21d-c213250758ee%40dimap.ufrn.br.

[Logica-l] Re: Saiu o Qualis 2015 !

['Samuel Gomes' via LOGICA-L]

... Boa análise Hermógenes,

Esse jogo entre o Qualis-teoria-Jekyll e o Qualis-prática-Hyde ficou 
interessante.

Até,

[]s  Samuel




On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Recebi numa lista de pesquisadores de Matemática a informação de que o   
> Qualis 2015 foi divulgado (o que deve ter sido recente). 
>
> Dei uma olhada rápida só nas revistas de Matemática que   
> conheço/publico e em geral essa lista registra um movimento de queda   
> (pelo menos em Matemática) que já aparecia nos tais "Qualis parciais",   
> de 2013 e 2014. 
>
> Por exemplo, o Logic Journal of IGPL, que normalmente publica os   
> proceedings de EBLs, chegou no ponto mais baixo em Matemática que eu   
> me lembre: B4. 
>
> (Está A1 para Filosofia e B1 para Computação) 
>
> Aparentemente ainda haverá um Qualis 2016 para fechar o quadriênio   
> (agora não é mais triênio, é quadriênio). 
>
> Sugiro que o pessoal que sempre acompanha dê uma olhada pra ver se   
> houve perdas em Filosofia e Computação, como seguramente houve em   
> Matemática. 
>
> Atés, 
>
> []s  Samuel 
>
>
>
>
>
>
>
>  
> Universidade Federal da Bahia - http://www.portal.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/93c4848f-428c-4982-878e-61af14ca8434%40dimap.ufrn.br.

[Logica-l] Re: Saiu o Qualis 2015 !

['Samuel Gomes' via LOGICA-L]

Oi Hermógenes, oi demais,

Aparentemente essa Rita Barata está vendendo a imagem "chapa branca" do 
Qualis.

Isso de que o Qualis é só pra avaliar programas é só o que está "no papel" 
dos documentos da CAPES - todo mundo sabe
que ele vem sendo usado como instrumento de avaliação individual, e isso 
tanto extra-oficialmente como oficialmente
(por exemplo, no programa de pós-graduação que eu estou vinculado o 
professor para pedir para ser credenciado tem que ter
dois artigos de B2 pra cima nos últimos 5 anos, sendo um nos últimos 3 anos 
- e isso está escrito no Regimento !!!).

E, dependendo dos planos que a pessoa tenha, olhar para o Qualis acaba 
sendo sim importante na hora
de submeter um paper. Dependendo dos planos e da paciência que a pessoa 
ainda tenha com essa "ferramenta" (está tão
ruim para Lógica Matemática o Qualis que eu não ando muito preocupado mais 
com isso...)

Atés,

[]s  Samuel





On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Recebi numa lista de pesquisadores de Matemática a informação de que o   
> Qualis 2015 foi divulgado (o que deve ter sido recente). 
>
> Dei uma olhada rápida só nas revistas de Matemática que   
> conheço/publico e em geral essa lista registra um movimento de queda   
> (pelo menos em Matemática) que já aparecia nos tais "Qualis parciais",   
> de 2013 e 2014. 
>
> Por exemplo, o Logic Journal of IGPL, que normalmente publica os   
> proceedings de EBLs, chegou no ponto mais baixo em Matemática que eu   
> me lembre: B4. 
>
> (Está A1 para Filosofia e B1 para Computação) 
>
> Aparentemente ainda haverá um Qualis 2016 para fechar o quadriênio   
> (agora não é mais triênio, é quadriênio). 
>
> Sugiro que o pessoal que sempre acompanha dê uma olhada pra ver se   
> houve perdas em Filosofia e Computação, como seguramente houve em   
> Matemática. 
>
> Atés, 
>
> []s  Samuel 
>
>
>
>
>
>
>
>  
> Universidade Federal da Bahia - http://www.portal.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/6e488fd1-2abd-417d-806b-04bd69200202%40dimap.ufrn.br.

[Logica-l] Re: Saiu o Qualis 2015 !

['Samuel Gomes' via LOGICA-L]

Oi JM,

Pela tabela google docs deu pra ver que alguns "sumiram" (no seu resumo tem 
os que apareceram, mas não os que sumiram, certo ?).

Por exemplo, o Journal of Symbolic Logic "sumiu" de 2014 pra 2015 em 
Matemática...

Como é mais um desses "Qualis anuais", vamos ver o que acontecer quando 
consolidar (supostamente no ano que vem). 

O novo jornal South American Journal of Logic ter ido para C em Matemática 
também é desanimador...

Mas é impressão minha ou só em Matemática que houve uma piora, e nas outras 
está mais estável a coisa ?

Até,

[]s  Samuel





On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Recebi numa lista de pesquisadores de Matemática a informação de que o   
> Qualis 2015 foi divulgado (o que deve ter sido recente). 
>
> Dei uma olhada rápida só nas revistas de Matemática que   
> conheço/publico e em geral essa lista registra um movimento de queda   
> (pelo menos em Matemática) que já aparecia nos tais "Qualis parciais",   
> de 2013 e 2014. 
>
> Por exemplo, o Logic Journal of IGPL, que normalmente publica os   
> proceedings de EBLs, chegou no ponto mais baixo em Matemática que eu   
> me lembre: B4. 
>
> (Está A1 para Filosofia e B1 para Computação) 
>
> Aparentemente ainda haverá um Qualis 2016 para fechar o quadriênio   
> (agora não é mais triênio, é quadriênio). 
>
> Sugiro que o pessoal que sempre acompanha dê uma olhada pra ver se   
> houve perdas em Filosofia e Computação, como seguramente houve em   
> Matemática. 
>
> Atés, 
>
> []s  Samuel 
>
>
>
>
>
>
>
>  
> Universidade Federal da Bahia - http://www.portal.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/a2e84219-ad7e-492e-bee3-b2b1524f7d60%40dimap.ufrn.br.

[Logica-l] a dialeteia de Paul Cohen (!)

['Samuel Gomes' via LOGICA-L]

... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real 
contradition" como "contradição sobre os números reais"...

-- 
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/140bdcd5-1c4f-47f2-ba7c-03e364f0eb2f%40dimap.ufrn.br.

[Logica-l] Re: 3 Permanent positions at UFBA, Brazil

['Samuel Gomes' via LOGICA-L]

(Atenção para o fato de que o concurso atual tem DUAS vagas, talvez dar 
update no tópico não tenha sido boa idéia porque no concurso
anterior eram 3... Mas este é de DUAS vagas. 8-)   )

On Saturday, April 30, 2016 at 11:16:48 AM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Escrevo para fazer propaganda de um concurso aberto aqui no   
> Departamento de Matemática da UFBA. Como preparei um texto em inglês   
> vou mandar em inglês mesmo, para facilitar para os colegas   
> estrangeiros... Sintam-se à vontade para divulgar por aí. 
>
> 
>  
>
> Dear colleagues, 
>
> There will be a "concurso" (an official selection process) for 3   
> permanent positions (equivalent to tenure track assistant professor   
> positions) in the Department of Mathematics of UFBA, Salvador, Bahia,   
> Brazil. 
> Regulations (in Portuguese) available at: 
>
>
> http://www.concursos.ufba.br/docentes/2016/editais/edital_docente_012016.pdf 
>
>
> http://www.concursos.ufba.br/docentes/2016/editais/edital_inclusao_n01_edit012016.pdf
>  
>
> The exams are: a written exam and a teaching test, both on topics to   
> be drawn from the following list: 
>
> 1. Inverse function theorem and implicit function theorem, with 
> applications; 
> 2. Sylow theorems, and applications; 
> 3. Gauss-Bonnet theorem, and applications; 
> 4. Cauchy-Goursat theorem, and applications; 
> 5. Stokes theorem, and applications; 
> 6. Poincaré-Bendixson theorem, and applications. 
>
> We recall the colleagues that we have a Research Group in Mathematical   
> Logic which is fastly growing. 
>
> As Brazil is passing through a huge economical/political crisis, this   
> is probably one of the last "concursos" to be done in some time (maybe   
> 2 years). 
>
> There are lots of small problems and technicalities involving   
> foreigners' applications, please feel free to write me regarding any   
> questions (apart from the list). 
>
> Inscriptions: from April 29 to May 30, 2016. There is a possibility of   
> extension of this deadline, but we cannot be sure of this so far. The   
> selection process will take place at some moment of the second semester. 
>
> Best, 
>
> []s  Samuel G. da Silva/UFBA 
>
>
> 
>  
>
>
> Informações atuais sobre o grupo de pesquisa, bem como de nossos   
> seminários, estão disponibilizadas em: 
>
> https://sites.google.com/site/ufbalogic/ 
>
> https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg 
>
> Até mais, abraços, quaisquer dúvidas não hesitem em me contatar, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.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/0b97d18b-4020-4306-a9f3-12e67cfc9d49%40dimap.ufrn.br.

[Logica-l] Re: 3 Permanent positions at UFBA, Brazil

['Samuel Gomes' via LOGICA-L]

Caros,

Escrevo para dar um UPDATE aqui no tópico, porque tem OUTRO concurso aberto 
aqui no Departamento de Matemática da UFBA, agora com duas vagas.

O prazo para inscrição nesse de agora é: 31/08/2016 a 30/10/2016

O edital é o mesmo das mensagens anteriores deste tópico, só o edital de 
inclusão que é outro e está neste link:

http://www.concursos.ufba.br/docentes/2016/editais/inclusao03_ed012016_iemnpaffoiiilmiq.pdf

Os pontos mudaram um pouquinho (para a prova escrita e didática):

1. Teorema da Função Inversa e da Função Implícita, e aplicações (Implicit 
and Inverse Function theorems, and applications)
2. Teoremas de Sylow, e aplicações (Sylow theorem, and applications)
3. Teorema de Gauss-Bonnet, e aplicações (Gauss-Bonnet theorem, and 
applications)
4. Teorema de Cauchy-Goursat, e aplicações (Cauchy-Goursat theorem, and 
applications)
5. Teorema de Stokes, e aplicações (Stokes theorem, and applications)
6. Teorema de Poincaré-Bendixson, e aplicações (Poincaré-Bendixson theorem, 
and applications)


... As informações sobre o Grupo de Pesquisa e sobre a Cidade de Salvador 
continuam as mesmas !!! Também sobre a titulação (Doutor em Matemática
ou Doutor em Lógica (Lógica Matemática) ou Doutor em Filosofia (Lógica 
Matemática) - estes dois últimos para dar chances para candidatos formados
na UNICAMP ou em qualquer outra universidade em que lógica matemática seja 
feita dentro do Departamento de Filosofia... Concursos específicos de 
Lógica talvez demorem em acontecer novamente por aqui, mas pelo menos a 
aceitação do título nos concursos gerais de Matemática estamos conseguindo 
manter...). 

A mensagem "não hesitem em me contatar em caso de quaisquer dúvidas" também 
permanece. 

Muito possivelmente este concurso ocorrerá no começo de 2017. Lembrando que 
em universidades federais os títulos são necessários PARA A POSSE,
e não para a inscrição (ou seja, é possível que alguém que ainda não tenha 
defendido na época do concurso preste efetivamente o concurso - claro que 
perdendo
pontos na prova de títulos, mas se inscrever e fazer o concurso é 
possível). 

Abraços, 

[]s  Samuel




On Saturday, April 30, 2016 at 11:16:48 AM UTC-3, sam...@ufba.br wrote:
>
> Caros, 
>
> Escrevo para fazer propaganda de um concurso aberto aqui no   
> Departamento de Matemática da UFBA. Como preparei um texto em inglês   
> vou mandar em inglês mesmo, para facilitar para os colegas   
> estrangeiros... Sintam-se à vontade para divulgar por aí. 
>
> 
>  
>
> Dear colleagues, 
>
> There will be a "concurso" (an official selection process) for 3   
> permanent positions (equivalent to tenure track assistant professor   
> positions) in the Department of Mathematics of UFBA, Salvador, Bahia,   
> Brazil. 
> Regulations (in Portuguese) available at: 
>
>
> http://www.concursos.ufba.br/docentes/2016/editais/edital_docente_012016.pdf 
>
>
> http://www.concursos.ufba.br/docentes/2016/editais/edital_inclusao_n01_edit012016.pdf
>  
>
> The exams are: a written exam and a teaching test, both on topics to   
> be drawn from the following list: 
>
> 1. Inverse function theorem and implicit function theorem, with 
> applications; 
> 2. Sylow theorems, and applications; 
> 3. Gauss-Bonnet theorem, and applications; 
> 4. Cauchy-Goursat theorem, and applications; 
> 5. Stokes theorem, and applications; 
> 6. Poincaré-Bendixson theorem, and applications. 
>
> We recall the colleagues that we have a Research Group in Mathematical   
> Logic which is fastly growing. 
>
> As Brazil is passing through a huge economical/political crisis, this   
> is probably one of the last "concursos" to be done in some time (maybe   
> 2 years). 
>
> There are lots of small problems and technicalities involving   
> foreigners' applications, please feel free to write me regarding any   
> questions (apart from the list). 
>
> Inscriptions: from April 29 to May 30, 2016. There is a possibility of   
> extension of this deadline, but we cannot be sure of this so far. The   
> selection process will take place at some moment of the second semester. 
>
> Best, 
>
> []s  Samuel G. da Silva/UFBA 
>
>
> 
>  
>
>
> Informações atuais sobre o grupo de pesquisa, bem como de nossos   
> seminários, estão disponibilizadas em: 
>
> https://sites.google.com/site/ufbalogic/ 
>
> https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg 
>
> Até mais, abraços, quaisquer dúvidas não hesitem em me contatar, 
>
> []s  Samuel 
>
>  
> Universidade Federal da Bahia - http://www.portal.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, env

[Logica-l] Re: [META] fim do período de candidaturas à administração da LOGICA-L

['Samuel Gomes' via LOGICA-L]

... Um viva à Carolina e à lista, que sobreviverá !

Valeu Carol,

[]s  Samuel



On Monday, September 12, 2016 at 7:41:24 PM UTC-3, LOGICA-L wrote:
>
> PessoALL:
>
> Parece que não será desta vez que a nossa lista será suspendida.  Mesmo 
> após preparar o terreno publicamente durante três meses, o deadline venceu 
> ontem e fui surpreendido por ter recebido *uma única candidatura* para 
> assumir o papel de administrador da LOGICA-L.
>
> ◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡
>
> Tendo tomado conhecimento desta lista através da minha panfletagem pessoal 
> durante o EBL 2006, em Itatiaia, *Carolina Blasio* é membro da lista desde 
> que esta foi fundada, e acompanhou bem a sua história durante todo este 
> tempo.  É alguém em quem confio, e que certamente fará com muito empenho o 
> papel de servir a esta comunidade a partir de outubro próximo, por um 
> mandato de até 24 meses.  De minha parte, espero que Carolina possa contar 
> com a colaboração de todos no reforço aos princípios e regras de convívio 
> que foram estabelecidos aqui em discussão pública ao longo dos últimos 
> meses:
>
> https://docs.google.com/document/d/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit?usp=sharing
>
> ◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡
>
> Cumprimentos lógicos,
> Joao Marcos
> [list-owner]
>

-- 
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/587a5284-db1d-47a9-bd9d-5b9cd059ff9d%40dimap.ufrn.br.

[Logica-l] Convite: workshop em homenagem aos 70 anos do professor Chico Miraglia

['Samuel Gomes' via LOGICA-L]

... Lembrando que é uma opção para dar uma esticada depois da Trends na Unicamp 
!

-- 
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/3283ad3a-a0e5-4fa3-b04d-7ae292400cef%40dimap.ufrn.br.

[Logica-l] Preciso de um exemplo

['Samuel Gomes' via LOGICA-L]

Oi Doria,

Não tenho nenhum exemplo a mão mas te pergunto, não é exatamente esse tipo de 
coisa que o Harvey Friedman faz ?

Abraço,

[]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/76b8fb6d-958e-411e-9862-fb296cc58834%40dimap.ufrn.br.

[Logica-l] Re: Informações sobre Cursos de Verão

['Samuel Gomes' via LOGICA-L]

Olás,

Aqui na UFBA costumamos ter uma Semana Temática de Lógica, Conjuntos e 
Topologia, com minicursos, palestras (nossas e de visitantes) e defesas de 
mestrado.

As programações de 2014 e 2016 (algumas com links para slides) podem ser 
vistos aqui:

https://groups.google.com/a/dimap.ufrn.br/forum/#!searchin/logica-l/UFBA|sort:relevance/logica-l/NHNxBRSVcFA/ZT-lK5A7p2kJ

https://mailman.impa.br/pipermail/forumppg/2016-February/002270.html

Em 2015 também teve, mas não achei nada aqui agora.

Ainda não temos nada programado para 2017, mas sempre algum minicurso pelo 
menos tem e sempre divulgamos por aqui.

Atés,

[]s  Samuel



On Monday, August 15, 2016 at 12:10:53 AM UTC-3, Thiago Nascimento da Silva 
wrote:
>
> Olá, chega em agosto começam a sair informações sobre Cursos de Verão em 
> Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém 
> possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no 
> grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE 
> ministrado pelo Professor Ruy Queiroz, mas nenhum curso além desse. 
> Agradeç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 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/e0f23a9c-ec83-4490-987c-2c73cce9907d%40dimap.ufrn.br.

[Logica-l] Re: fundamentalistas cristãos versus os fundamentos da teoria dos conjuntos

['Samuel Gomes' via LOGICA-L]

... Tenho vontade de perguntar aos matemáticos(?) que escrevem os "A Beta 
Books" se a Hipótese do Contínuo é
verdadeira ou falsa, só pra ver o que respondem - ou esperar pela 
excomungação, um ritual de exorcismo ou o que seja.

Atés,

[]s  Samuel


On Friday, June 17, 2016 at 2:35:29 PM UTC-3, Joao Marcos wrote:
>
> Deu o que falar, algum tempo atrás, o fato de que algumas escolas da 
> Louisiana receberam verba pública para implementar um "bible based 
> curriculum". Muitas barbaridades (incluindo revisionismo da escravatura e 
> da Ku Klux Klan) entraram nos livros de história desse pessoal. A 
> militância cristã também demonstrou que a *matemática* tinha áreas em 
> desacordo com os seus princípios. Fiquei surpreso em constatar que os 
> livros deles continuam sendo promovidos:
>
> * * *
>
> Mathematics as “the study of logic and order to apply to science and daily 
> life”:
>
> “Unlike the 'modern math' theorists, who believe that mathematics is a 
> creation of man and thus arbitrary and relative, A Beka Book teaches that 
> the laws of mathematics are a creation of God and thus absolute… A Beka 
> Book provides attractive, legible, and workable traditional mathematics 
> texts that are not burdened with modern theories such as set theory.”
>
> https://www.abeka.com/AbekaDifference.aspx
>
> * * *
>
> Felizmente sabemos que no Brasil ao menos o estado de AL estaria em 
> princípio protegido (?!) contra este tipo de doutrinação:
>
> https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/7-3DLavWzcc/UjfZ1ueMAgAJ
>
> É de se prever que outras "escolas livres" infelizmente virão, pagas com 
> dinheiro público... Quando eu der aula de Teoria dos Conjuntos, semestre 
> que vem, espero não ser acusado de c***tofobia...
>
> * * *
>
> Cometi o despropósito de dar uma olhada no que a Conservapedia ("Wiki 
> encyclopaedia with articles written from a Christian fundamentalist 
> viewpoint") tem a dizer sobre Lógica. Tudo parece oquêi, com exceção de 
> umas frases mais surpreendentes (?) jogadas no meio do verbete 
> correspondente:
>
> "The most logical book ever written is the Bible, but some people reject 
> or avoid it because they dislike being told the truth, and would prefer 
> denying it."
> [...]
> "Logic is also used extensively in theology, and especially the study of 
> the Bible, which, due to its divine inspiration, is very logical."
> http://www.conservapedia.com/Logic
>
> Mas a gente sempre aprende alguma coisa, como por exemplo a explicação de 
> que o argumento transcendental para a existência de Deus (Kant, apropriado 
> pela apologética cristã) ensina entre outras coisas que:
> "logic would be meaningless if there wasn't a God"
>
> http://www.conservapedia.com/Transcendental_argument_for_the_existence_of_God
>
> Deve-se resistir, contudo, a ir um clique além, para não descobrir demais 
> sobre "the laws of logic and the christian worldview":
>
> http://www.johnstonfamilyministry.com/article/proofs-existence-god-even-atheists-presuppose-gods-existence
> ou descobrir que Deus nunca viola as "três leis da lógica", que são 
> "assumidas pelas escrituras":
> http://arcapologetics.org/objections/three-laws-logic/
>
> * * *
>
> Para não terminar em um tom demasiado pessimista, aqui uma aulinha bonita 
> TED-Ed do Dennis Wildfogel sobre "How big is infinity?":
> http://ed.ted.com/lessons/how-big-is-infinity
>
> 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 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/4a6ea033-42fc-45ce-a677-309a67f9ad6f%40dimap.ufrn.br.

[Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

['Samuel Gomes' via LOGICA-L]

Oi Hermógenes,

Como eu disse, tem gente melhor do que eu na comunidade pra discutir isso 
(Doria, Rodrigo Freire, entre outros). 

Eu sempre pensei em incompletude a partir de um pouquinho de Aritmética. 
Para a lógica de primeira ordem, sempre pensei
em termos da outra completude (a semântica). 

Seu argumento com variáveis proposicionais aparentemente procede, mas não 
seria o caso
de se pensar em demonstrações/refutações do fecho universal de fórmulas que 
tenham pelo menos algum símbolo relacional ou funcional ? 

Atés,

[]s  Samuel



On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma pergunta interessante, com respostas instrutivas: 
>
> Is there a model of ZFC inside which ZFC does not have a model? 
>
> http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model
>  
>
>
> 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 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/7463a84a-c180-4e43-90c5-58a0d675598e%40dimap.ufrn.br.

[Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

['Samuel Gomes' via LOGICA-L]

Olás,

Hermógenes: ali eu digitei errado mesmo, o que eu quis dizer era que "o 
modelo enumerável pensa que é não-enumerável". A gente fala
tanto de enumerável e não-enumerável que em algum momento acaba pensando 
numa coisa e escrevendo outra...

Você disse:


Então, baseado nas suas explicações abaixo, a frase "this model must 
think that ZFC has no model" significa que um certo modelo M de ZFC 
modela, ou satisfaz, a sentença gödeliana ⌜φ⌝ que "expressa" a 
inconsistência de ZFC.  É isso? 


É isso, precisamente.

Disse também:

***
Achei a sua explicação bem melhor do que a do Noah.  Ademais, talvez por 
causa da dissolução do jargão, sua explicação não soa tão misteriosa. 
***

... Na verdade a minha explicação é essencialmente a dele, eu só quis
deixar mais claro onde se usa completeness, soundness, essas coisas.


João Marcos:


Mas no segundo sentido (assumindo que, para eliminar inteiramente a 
semântica desta conversa, por "refutação de S" estamos nos referindo à 
"demonstração de ~S") nem mesmo a própria teoria correspondente à 
*lógica clássica de primeira ordem* seria completa, né? 


... Imagino que aí tenha gente que consiga explicar melhor do que eu,
mas essencialmente os teoremas de incompletude necessitam de um
pouco de Aritmética, não ? Então, só pegando a Lógica de primeira ordem,
não vejo (pelo menos não agora de imediato) como justificar uma incompletude
sintática.

Deixe-me fazer a boa velha pesquisa no Google...

Colocando no Google

"first order logic is sintactically incomplete"

vem uma página de um artigo de Bealer e Monnich no Handbook of 
Philosophical Logic, vol.10, que diz que (no meio de uma discussão
muito maior sobre intensionalidade e extensionalidade):

"... a straightforward adaptation of the proof of Godel's theorem we can 
show that first-order logic with identity and a copula is essentially 
incomplete..."

Bem, então a Aritmética não seja tão imprescindível assim (para a 
incompletude), mas algo a mais (no caso aí, a tal da cópula) seja 
necessário. Deixo esta discussão
para os mais entendidos !

Atés,

[]s  Samuel






On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma pergunta interessante, com respostas instrutivas: 
>
> Is there a model of ZFC inside which ZFC does not have a model? 
>
> http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model
>  
>
>
> 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 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/b9e052e1-189f-4a02-9c33-4ab40bfacb62%40dimap.ufrn.br.

[Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

['Samuel Gomes' via LOGICA-L]

Oi Hermógenes,

--> A coisa dos "modelos pensantes" é simplesmente um jargão. Dizer que um 
modelo M "pensa" uma certa asserção phi é simplesmente
dizer que M modela phi, i.e., que phi é válida em M, que phi é verificada 
em M. 

Exemplo: por Lowenheim-Skolem "pra baixo", a teoria dos reais (em primeira 
ordem) tem modelo enumerável. Então podemos ter uma
estrutura enumerável M no qual todas as sentenças sobre os reais são 
válidas, quando relativizadas a M (existe x = existe x em M, para todo x = 
para todo x em M, e assim por diante).

O que choca inicialmente as pessoas é: como pode existir um modelo 
enumerável de algo que é não-enumerável ? Esse seria o tal do
Paradoxo de Skolem...

Pois é, o que ocorre é que o tal modelo enumerável "pensa" que é 
não-enumerável. Pois todas as funções que
sobrejetam os naturais em M estão FORA do modelo: eu olhando de fora sei 
que ele é enumerável, mas "lá dentro" as tais
funções que o enumeram não estão, essas funções não pertencem a M. "Na 
opinião dele", ele é enumerável - pois a sentença "Não existe bijeção entre 
a estrutura
e os naturais" é verificada, é válida lá. 

(É a velha historinha de que a formiguinha que está andando sobre a mesa 
não consegue enxergar a terceira dimensão: ela "pensa" que
o mundo é bidimensional, porque o modelo onde ela vive é assim).

--> você pergunta "por quê" estamos usando o Teorema de Completude para 
ZFC, então não tenho certeza
se realmente a sua pergunta é sobre "por quê" ou "como", então vou 
aproveitar a oportunidade para
dar respostas rápidas para ambas...

"Por quê ?": se a pergunta foi essa, talvez você esteja confundindo 
completude SEMÂNTICA (= "se é consistente, tem modelo") com
completude SINTÁTICA (="toda sentença pode ser provada ou refutada").

ZFC = ZFC de primeira ordem aí no nosso contexto, portanto, por ser uma 
teoria de primeira ordem, vale o Teorema de Completude para
ZFC - o que dá a completude semântica de ZFC. Notar que

"Se é consistente, tem modelo" é um enunciado equivalente a "Consequências 
semânticas são consequências sintáticas"

(aqui estou falando como lógico; se eu estivesse falando como matemático, 
eu possivelmente diria que os dois teoremas acima 
são equivalentes, hehe, mas na verdade sabemos que são dois enunciados 
equivalentes para o mesmo teorema, digamos)

As recíprocas são o Teorema da Correção (Soundness), cujos enunciados 
equivalentes são

"Se tem modelo, é consistente" <=> "Consequências sintáticas são 
consequências semânticas"

(o que é mesmo o lado fácil: se phi é uma consequência sintática de T 
(i.e., se T prova phi), então a correção do sistema
garante que phi vai ser válida em todos os modelos de T (i.e., phi é 
consequência semântica de T))


... Ou seja, o Teorema de Completude garante a completude semântica de ZFC 
com primeira ordem, enquanto que
o Teorema de Incompletude mostrou a incompletude sintática de ZFC.


--> "Como":  Seja Con(ZFC) a declaração de que ZFC é consistente (que eu 
comentei na outra mensagem ser equivalente à
Sentença de Gödel). 

Então, pelo primeiro ou pelo segundo teorema de incompletude, meio que 
tanto faz porque no fundo é a mesma
coisa,

ZFC não prova Con(ZFC) - ou seja, Con(ZFC) não é consequência sintática de 
ZFC.   ("Claro que na verdade não prova nem refuta, mas sigamos só disso")

Por Completude, se não é consequência sintática então não é consistência 
semântica.

Então não é verdade que Con(ZFC) seja válido em todos os modelos de ZFC.

Portanto, existe um modelo de ZFC no qual Con(ZFC) não é válido. Esse é um 
tal modelo que "pensa que não existe" - pois, dentro dele,
a asserção "existem modelos de ZFC" (que é equivalente a "ZFC é 
consistente", por Soundness + Completeness) não é verificada.


... Notar que, também por completude, deverão existir modelos de ZFC onde 
Con(ZFC) é válido e também deverão
existir modelos de ZFC onde Con(ZFC) não é válido ("se todos os modelos 
concordassem, existiria uma prova", essencialmente é isso
que Completude diz). Aí podemos aplicar Soundness e chegar em Con(Con(ZFC)) 
e Con(não Con(ZFC)), ou seja, 
Con(ZFC) é independente de ZFC.


... Espero que ajude,

Até,

[]s  Samuel




On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma pergunta interessante, com respostas instrutivas: 
>
> Is there a model of ZFC inside which ZFC does not have a model? 
>
> http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model
>  
>
>
> 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 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/e2a686f9-f6b3-4e1

Re: [Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

['Samuel Gomes' via LOGICA-L]

Oi Walter,

Nos centros de Lógica, creio que sim ! Mas em textos de pura divulgação 
científica, endereçados a matemáticos iniciantes, digamos, os dois teoremas de 
incompletude são "vendidos" como se fossem dois resultados correlatos, porém 
não tão próximos - e isso do segundo ser consequência direta do primeiro, 
então, isso nem sequer é cogitado...

Claro que o buraco pode ser colocado mais embaixo: Acho que 99 por cento dos 
matemáticos não sabem o que diz o teorema da completude mesmo !

Isso causa situações estranhas. Um matemático tende a dizer que dois teoremas 
são equivalentes se assumindo o enunciado de um, prova-se o outro, e vice-versa 
- por exemplo, o teorema da função implícita e o da função inversa são 
equivalentes, nesse sentido.

Devido ao fato da minha formação ter sido feita toda em Matemática, esse jargão 
não me choca. Porém, um dia um colega que tem um conhecimento um pouco mais 
aprofundado de Lógica me chamou a atenção:

- Isso é besteira. Todos os teoremas que demonstramos são equivalentes entre si.

... Só quem entende o que diz o teorema da completude teria clareza disso.

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/674ad97f-9f3c-44c4-85c6-ab974d93104f%40dimap.ufrn.br.

[Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

['Samuel Gomes' via LOGICA-L]

... Essencialmente (e por favor me corrijam se eu estiver sendo 
excessivamente simplista), em ZFC temos

Consistência de ZFC <---> "Sentença de Gödel"

onde "Sentença de Gödel" é a asserção de ZFC que declara sua própria 
não-demonstrabilidade.

Ou seja, a sentença que nos garante o Primeiro Teorema de Incompletude (por 
não ser nem demonstrável nem refutável)
acaba dando o Segundo Teorema de Incompletude de graça (afinal, a tal 
sentença que não podemos nem demonstrar nem refutar
é equivalente à própria consistência do sistema). Esse aspecto do Segundo 
Teorema de Incompletude ser consequência imediata (da demonstração) do
Primeiro não é muito comentada por aí...

Aí, é só usar o Teorema de Completude para conseguir os tais modelos onde 
não há modelos.

É muito divertido isso tudo, com certeza...

Atés,

[]s  Samuel




On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote:
>
> Partilho uma pergunta interessante, com respostas instrutivas: 
>
> Is there a model of ZFC inside which ZFC does not have a model? 
>
> http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model
>  
>
>
> 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 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/db691fb5-73dc-43f8-9709-29eb384d9422%40dimap.ufrn.br.

[Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

['Samuel Gomes' via LOGICA-L]

Caros,

Escrevo para dar atualizações relativas aos meetings organizados pela 
Sociedade 
Brasileira de Matemática em parceria com homólogas européias: o meeting 
Brasil/Espanha 
(que ocorreu em dezembro do ano passado, em Fortaleza) e o meeting 
Brasil/Itália (que vai 
ocorrer no final de agosto, no Rio de Janeiro - IMPA). Conforme comentado 
anteriormente, 
nesses eventos submetemos e obtivemos o aceite para a realização de Sessões 
Especiais de 
Lógica Matemática.

--> Sobre o Brasil/Espanha:

Disponibilizamos no site do Grupo de Lógica da UFBA os slides de todas as 
palestras 
realizadas no Brasil/Espanha, e em nosso canal no Youtube os vídeos das 
conferências de 
Francesc Esteva e Félix Bou.

Checar em:

https://sites.google.com/site/ufbalogic/home/home-1/events

(clicar para baixar os arquivos dos slides comprimidos num .rar, o 
Brasil/Espanha é o 
primeiro dos "past events")

https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg

(palestras de Esteva e Bou em Fortaleza e mais algumas aqui do nosso 
seminário local)

--> Sobre o Brasil/Itália:

O evento ocorrerá no IMPA, entre 29 de Agosto e 02 de Setembro.

http://www.sbm.org.br/jointmeeting-italy/

As datas e horários para as palestras da Sessão Especial de Lógica 
Matemática já estão 
definidas:

Terça, 30/08, 17h30-20hs
Quarta, 01/09, 09h-12hs e 17h30-20hs
Quinta, 02/09, 09-12hs

Veja a lista *atualizada* de palestras de todas as sessões, incluindo a de 
Lógica (sessão 4) no 
endereço:

http://www.sbm.org.br/jointmeeting-italy/special-sessions/

Programação das sessões:

http://www.sbm.org.br/jointmeeting-italy/program/

... Estão todos convidados para prestigiar o Brasil/Itália, em especial os 
colegas 
sediados no Rio de Janeiro.

Grato,

[]s  Samuel

PS: Enviei ontem essencialmente a mesma mensagem mas acho que ela se perdeu 
por problemas no meu email
institucional, pode ser que essa outra mensagem apareça nos próximos dias, 
peço desculpas antecipadamente se isso acontecer !

-- 
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/45a72bfb-615f-466b-889e-c5867585882f%40dimap.ufrn.br.