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 gr
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 gru
a 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 info
... 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
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
Oi gente,
Obrigado Finger e Doria,
Em breve os demais artigos do Proceedings do Ebl 2014 já devem estar todos
disponíveis também !
Agradecimentos agora a Petrucio, Hermann e Walter !
Atés,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" d
... 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
echão" mesmo (Thomas Jech - Set Theory the Millenium
Edition) são referências muito boas. Esse Millenium Edition é uma
enciclopédia de teoria dos conjuntos, tem praticamente tudo lá.
Até, abraço,
[]s Samuel
On Thursday, August 24, 2017 at 7:01:01 AM UTC-3, Mario Benevides wrote:
>
>
Olás,
Segue link do evento na nova página da SBL:
http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2017
Atés,
[]s Samuel
On Friday, September 15, 2017 at 12:02:03 PM UTC-3, Samuel Gomes da Silva
wrote:
>
> Caros,
>
>
> Já temos a programação do Workshop da Sociedade Brasilei
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
-emocionado, hehe:
https://zbmath.org/?q=an:06321199
... É isso, atés, Saludos desde Natal (minicurso sobre ultrafiltros na
UFRN nesta semana) !!! Escrevi este email com vista ao Morro do Careca...
[]s Samuel
On Sunday, September 17, 2017 at 9:38:39 AM UTC-3, Samuel Gomes wrote:
>
> Olás
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 demonstr
roceedings EBL).
Também tem o efeito "a pessoa é para o que nasce": o objetivo do van Douwen
quando fez o diagrama dele era destacar os cardinais que aparecem muito em
Topologia,
já o diagrama do Cichon tem mais cara de Análise Real.
Até,
[]s Samuel
On Tuesday, September 19, 2017
... 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...
>
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:
>
>
>
... 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
... 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
>
Caros, desculpem a duplicidade, não tinha visto que o Bruno já tinha
postado.
On Thursday, February 22, 2018 at 2:25:25 PM UTC-3, Samuel Gomes da Silva
wrote:
>
>
>
> Conference on Mathematical Logic
> (Satellite Confer
har).
Até
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um
... 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 é
.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
/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf
<http://www.concursos.ufba.br/docentes/2018/editais/EDITAL_DOCENTE_ed012018_Retificado_15_03_2018_SITE.pdf>
(Portuguese - check pages 19 and 26).
For additional information, do not hesitate to contact Samuel G. da Silva
(samuel at ufba.br)
On Friday, March 16, 2018 at 1:43:56 AM
... 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.
... 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,
&
com
os monstros que vêm junto com o Axioma da Escolha ou com os monstros que
aparecem quando ele
não está.
Abraço,
[]s Samuel
On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/C
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 a
ivo, não ?
Abraço,
[]s Samuel
On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina,
> Salvador), retomando as atividades do Seminário de Lógica da UFBA,
> apresentarei
... 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-
... Sensacional Alfredo,
Espero que você possa apresentar seus resultados aqui em Salvador quando
possível ! Estamos todos muito felizes com o seu trabalho.
Até mais,
[]s Samuel
On Monday, August 20, 2018 at 2:46:58 PM UTC-3, Alfredo Roque Freire wrote:
>
> Obrigado, professores. Si
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
Oi Daniel,
Video não, mas quem quiser os slides, me escreve que eu mando...
Abraço,
[]s Samuel
On Tuesday, November 6, 2018 at 6:23:25 PM UTC-2, Durante wrote:
>
> Que bacana, Samuel! Vocês vão fazer um vídeo? Adoraria assisti-lo!
>
> Saudações,
> Daniel.
> -
> Depa
Olás,
--> JM obrigado pela referência;
--> João Nunes de Souza e demais que não tenham meu email,
o mesmo pode ser encontrado colocando no Google "docentes dmat ufba",
aí logo no primeiro link vem a lista completa de todos os docentes do meu
departamento.
Atés,
[]s Samu
sobre PD e o contexto todo no qual o continuo é
mandado para aleph_2 podem ser vistos nestes dois artigos escritos
para o Notices AMS. Os trabalhos dele sobre V = ultimate L sao mais
recentes e tem várias apresentacoes dele em congresso disponìveis na
Internet...
https://www.ams.org/notices/200106/f
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,
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
buscar.
... Boa sorte aos concursantes de Lógica,
[]s Samuel
On Thursday, March 21, 2019 at 6:46:43 PM UTC+1, Samuel Gomes da Silva
wrote:
>
> Caros,
>
> Foi publicado ontem, 20 de Março, Edital da Universidade Federal
> Fluminense, e o Departamento de Análise (GAN) do Institu
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
o razoável que decide o
contínuo como sendo aleph_2 porém necessita de grandes cardinais para ter
sua consistência com ZFC demonstrada.
... Como em toda boa aula, espero que vocês saiam do meu texto com mais
perguntas do que tinham antes, mas para boa parte delas muito possivelmente
eu não
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/
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
>
>
>
>
>
--
contexto no qual conseguiram a consistência de PD tem-se no modelo que o
contínuo é aleph_2)
[]s Samuel
On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote:
>
> Artigo horroroso.
>
>
>
> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquin
://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
! Isso é equivalente, em ZF, a possuir um
subconjunto infinito enumeravel (= ser comparável com aleph_0, com aleph_0 por
baixo, nos termos do comentário do post no site do Guiness).
... Feliz Natal a todos,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOG
al 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&quo
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
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
... 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.
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:
ulho), 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
.
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, e
- Mensagem encaminhada - De: 'Samuel Gomes' via Logica, Teoria dos
Conjuntos e Topologia Geral
Para: Teoria
Dos Conjuntos E. Topologia Geral Logica
Enviado:
sábado, 1 de março de 2025 às 10:32:52 BRTAssunto: Defesa de Mestrado de
Marcelo Oliveira Dias - Quinta, 1
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
|
|
|
| | |
|
|
|
| |
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
|
|
|
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem po
Defesa de Mestrado: Marcelo Dias - Funções Cardinais e Jogos Topológicos
|
|
|
| | |
|
|
|
| |
Defesa de Mestrado: Marcelo Dias - Funções Cardinais e Jogos Topológicos
|
|
|
Em sábado, 1 de março de 2025 às 10:43:01 BRT, Samuel Gomes
escreveu
trabalho, conjunto com o Prof Samuel Gomes da Silva,
é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos
80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do
artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que
apesar do título
Olá,
Com quase toda certeza. Só não dou 100 por cento de certeza porque o contrato
da UFBA com o Google não permite mais gravações então estamos todos aqui ainda
se acostumando com as alternativas, mas acho que vamos gravar sim.
Até
[]s Samuel
- Mensagem original -
De: Adolfo Neto
o evento para a segunda de tarde, assim
vocês podem programar seus vôos para chegar em Salvador na segunda de manhã se
assim o desejarem.
Esperando vê-los todos em Salvador em breve,
Abraços
[]s Samuel - co-chair do CO
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e es
link para
contatar essa agência (Empório de Turismo) que pode fazer
as reservas para vocês.
Abraços,
[]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" d
apoio. As taxas
de inscrição dos estudantes agraciados também serão isentadas.
Espera-se que possam ser mantidos, pelo menos, os mesmos montantes de apoio do
último EBL em 2019. No XIX EBL foram
apoiados 16 estudantes, cada um com BRL 500.
Abraços e os vejo em breve em Salvador,
identidade visual do evento,
presente também
na página Internet e no logotipo, que é baseada nos dois XX de "vigésimo EBL"
sendo representados
por dois capoeiristas.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Olá,
O livro do Kunen, "Set Theory - An Introduction to independence proofs" usa
essa notação de pred(a,x,r) (em geral para ordens lineares, como eu comentei).
Abraço
[]s Samuel
- Mensagem original -
De: "Claudio Callejas"
Para: "samuel"
Cc: &q
Caros,
Quem tiver zero experiência de Latex e estiver sofrendo na última hora com sua
submissão para o EBL,
Abra uma conta instantaneamente no overleaf.com, copie e cole o template lá
(abra um projeto pra fazer isso) e pronto, edite o abstract online.
Até, abraços
[]s Samuel
--
LOGICA-L
Prezados,
Saudações,
Favor espalhar a informação para todos os estudantes interessados,
Conseguimos negociar com um albergue próximo à UFBA com um valor de 50 reais
por dia (em quarto compartilhado), incluindo café da manhã.
Como a Escola de Lógica iniciará no sábado anterior ao evento, as
. Estamos cientes dos custos atuais (principalmente
passagens aéreas) mas exortamos toda
a comunidade de lógicos brasileiros a um esforço para retomarmos nossa saudável
prática dos encontros presenciais !
Muito grato,
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e
noção da quantidade de
pessoas para o jantar.
Muito grato !
[]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
, Model Theory, Complexity, Algebraic
Logic, Categorical
Logic, Non-Classical Logics, Set Theory.
Organizadores da Sessão Temática:
Alfredo Roque Freire
Elaine Pimentel
João Marcos
Manuel Martins
Samuel G. da Silva
**
Quinta-feira, 18 de Agosto
semana que vem
para realizar eventuais mudanças. Pessoas que necessitariam de alguma
alteração, podem escrever a mim e/ou Ciro (off lista), assim que possível!
Abraços e até breve
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
... desse imbroglio sobre a twin prime conjecture, o que vai ficar pra mim é o
seguinte blog post, que achei bem interessante: "dez razões para acreditar que
uma demonstração de um resultado divisor de águas em matemática está errado"...
https://scottaaronson.blog/?p=304
Atés
[]s
Como dizem os jovens, "algo de errado não está certo"
- Mensagem original -
De: Joao Marcos
Para: Samuel Gomes da Silva
Cc: Walter Carnielli , LOGICA-L
Enviadas: Thu, 03 Nov 2022 08:15:39 -0300 (BRT)
Assunto: Re: [Logica-l] twin primes
https://dailynous.com/2022/11/02/log
... repassando para o pessoal de Lógica Algébrica, Álgebra de Relações, etc...
- Mensagem original -
De: "Michael Winter"
Para: "Michael Winter"
Enviadas: Sexta-feira, 16 de dezembro de 2022 15:02:48
Assunto: RAMiCS 2023 - Call for short contributions / posters
(Apologies for mu
interface entre Análise e Teoria
dos Números.
Interessante.
Abraços
[]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.
Par
... vai estar disponível no YouTube!!!
- Mensagem original -
De: Eduardo Ochs
Para: Walter Carnielli
Cc: Clodomir Neto , Samuel Gomes da Silva
, LOGICA-L
Enviadas: Tue, 20 Dec 2022 00:15:12 -0300 (BRT)
Assunto: Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
Vou fazer uns
- Mensagem encaminhada -
De: Michael Winter
Para: Michael Winter
Enviadas: Thu, 02 Feb 2023 11:55:28 -0300 (BRT)
Assunto: RAMiCS 2023 - Call for participation
(Apologies for multiple posting)
CALL FOR PARTICIPATION
20th International Conference on
Relational and Algebraic Method
Studia Logica, mas que quando publicasse o
procedimento seria ser A1 também.
É isso mesmo, você confirma essa informação ? Ela está oficial em algum lugar ?
Abraços
[]s Samuel
- Mensagem original -
De: "Hugo Luiz Mariano"
Para: "Walter Carnielli"
Cc: &qu
Oi Hugo,
OK, mas sobre a coisa da unificação do Qualis pra todas as áreas, você sabe
algo se deve continuar ?
Tipo, acha mesmo que é só alguém de Matemática publicar no Studia Logica que
deveria numa próxima vez unificar
com Filosofia e Computação ?
Até, obrigado
[]s Samuel
Olá
Pelo que vi também há o registro disso, e chamam de anti-Mbpemba !!!
Até
[]s Samuel
- Mensagem original -
De: josé carlos cifuentes
Para: samuel
Cc: LOGICA-L
Enviadas: Wed, 28 Jun 2023 20:05:15 -0300 (BRT)
Assunto: Re: [Logica-l] Um "paradoxo verdadeiro" em F
Oi Eduardo,
Os nomes (curtos ou longos) que você diz são as notações né? Cheguei a achar
que você tinha sugestões de palavras mesmo...
É, vamos ficar devendo opções de lexico a nomes compostos como "inteiros
positivos".
Abraços
[]s Samuel
- Mensagem original -
De: Ed
xioma da Escolha
(Blass, 1984).
Então, para o matemático establishment, acaba sendo ZFC sim.
Abraços
[]s Samuel
- Mensagem original -
De: Valeria de Paiva
Para: Samuel Gomes da Silva
Cc: Daniel Durante , Marcos Silva
, pin...@googlegroups.com ,
Grupo de pesqui
mas isso é
ainda outra história...)
Sobre a coisa de ordem, pelo menos nisso o matemático establishment tem sorte,
pois como os subconjuntos dos conjuntos são conjuntos, as (subfamilias das)
famílias de subconjuntos são conjuntos, etc., dá pra fazer tudo em primeira
ordem.
Atés
quot;
Apesar do que alguém poderia pensar, mesmo com o meu "matemática é ZFC", eu
tendo a pensar mais pela segunda alternativa, talvez nesse espírito de
"ambiente de trabalho".
(E como pintura do cachimbo, claro...)
Abraços
[]s Samuel
PS: Ah sim, isso de "geometria é
na live também.
Abraços
[]s Samuel
- Mensagem original -
De: Daniel Durante
Para: LOGICA-L
Cc: Daniel Durante , jmstern ,
LOGICA-L , marciopalmares ,
Petrucio Viana , Marcos Silva
, Grupo de pesquisa CLEA ,
valeria.depaiva , Cassiano Terra Rodrigues
, samuel
Enviadas: Tue, 0
se colocar isso como axioma, nos casos em que
não ganhamos de graça um elemento "trivial".
Até mais, obrigado !
[]s Samuel
- Mensagem original -
De: "Walter Carnielli"
Para: "samuel"
Cc: "LOGICA-L" , "Joao Marcos"
Enviadas: Se
e, é assim mesmo a coisa.
Até mais
[]s Samuel
PS: Eu na prática tomo como inicial o Axioma do Vazio e evito tda essa
discussão, eu só estou querendo descobrir se tem
algo mais justificável do que minha prática - cuja única justificativa que
tenho para ela é que "é mais fácil" dad
, muito
bom ver jovens lógicas trabalhando.
Abraços
[]s Samuel
- Mensagem original -
De: Juan Carlos Agudelo Agudelo
Para: Samuel Gomes da Silva
Cc: Daniel Durante , Walter Carnielli
, Lista Lógica , Joao Marcos
Enviadas: Tue, 10 Oct 2023 10:52:50 -0300 (BRT)
Assunto: Re: [Logica-l
Caros,
Repassando a pedido da Comissão Organizadora.
*
Prezadas(os),
Estão abertas inscrições para seleção de 02 auxílios da Sociedade Brasileira de
Lógica (SBL)
TARDE
meet.google.com/zkb-ghoe-abf
A programação completa está disponível em
https://sites.google.com/view/semanatematicalogica2024/programa%C3%A7%C3%A3o
Observo que no link da quinta à tarde será possível participar da homenagem ao
Andreas, a partir das 17hs.
Abraços
[]s Samuel
--
LOGICA-L
Caros,
Por problemas técnicos tivemos que trocar o link do evento da UFBA nesta semana.
É o mesmo link para todas as sessões agora.
https://meet.google.com/ecs-yvek-mmz
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você
... Caindo do alto do elevador ainda, imagine !
Obrigado Walter e Elaine,
Abraços
[]s Samuel
- Mensagem original -
De: Walter Carnielli
Para: Elaine Pimentel
Cc: samuel , LOGICA-L
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de
ada, assim como link para inscrição, em
https://sbl.org.br/pmwiki.php/Main/Apoio
Abraços
[]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
Gr
Caros,
Com dor no coração informo que o colega e amigo Claus Akira Matsushigue faleceu
hoje de manhã em Brasília, aos 59 anos de idade.
Conforto aos familiares e amigos.
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
Oi Valéria,
O "open letter" que está bem à vista, é outro, é endereçado aos leitores.
Abraços
[]s Samuel
- Mensagem original -
De: Valeria de Paiva
Para: samuel
Cc: LOGICA-L , Joao Marcos
Enviadas: Wed, 09 Apr 2025 16:01:27 -0300 (BRT)
Assunto: Re: [Logica-l] Re: novo
Olá Itala
Grato
O mérito artístico do cartaz e de toda a identidade visual do EBL foram,
novamente, por conta do colega Marlo Souza !
Abraços
[]s Samuel
- Mensagem original -
De: Itala Maria Loffredo D'Ottaviano
Para: samuel
Cc: LOGICA-L
Enviadas: Mon, 21 Apr 2025 21:
301 - 391 de 391 matches
Mail list logo
