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
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"
- 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,
... 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.
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
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,
... 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 !
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
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,
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
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.
>
>
>
>
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
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
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
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
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
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,
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
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
... 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
... 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,
... 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,
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
... 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
... 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
>
>
... 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
... 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
... 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 é
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é
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
... 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
... 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
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
... 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...
>
>
>
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:0
... 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
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
--
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
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"
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
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
... 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
... 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
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
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
... 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
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
... 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.
(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
>
>
... 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
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
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
(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
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
... 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,
... 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,
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).
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:
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
... 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
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,
61 matches
Mail list logo
