ação.
Por enquanto os pitacos seriam esses.
Abraços
[]s Samuel
Em quarta-feira, 23 de julho de 2025 às 21:40:00 UTC-3, eduardoochs
escreveu:
> Oi João,
>
> Acho que se eu dividir a sua idéia em várias em consigo puxar a
> sardinha pra brasa que me interessa.
>
> Eu IMAGINO que
raços a todos.
[]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,
que dei essa disciplina tive que tomar esse cuidado específico (o que é
muito chato).
Não tem muitas soluções fáceis para isso.
Abraços
[]s Samuel
Em quarta-feira, 9 de julho de 2025 às 09:40:32 UTC-3, Adolfo Neto escreveu:
> Acho que estão todos acima concordando, então não vou
(e sim, conseguimos incluir sobremesa no valor de 190 reais, na primeira
mensagem ainda não estava incluído mas agora está)
Em quinta-feira, 24 de abril de 2025 às 18:29:18 UTC-3, samuel escreveu:
> Caros,
>
> Só pra fechar a mensagem anterior: demorou mais do que algumas horas 8-)
para estudantes como para pesquisadores) preencher
assim que possível o Google Docs disponibilizado, e enviar o comprovante de
pagamento (pix para o Cassiano), para fins de organização.
Abraços
[]s Samuel
Em quarta-feira, 9 de abril de 2025 às 14:28:11 UTC-3, samuel escreveu:
> Ca
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:
r aos seus escritórios de pós-graduação que imprimam e
divulguem nos murais dos seus programas, agradecemos a gentileza.
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 gru
... Com um pouco de clica aqui e clica ali achei a open letter pra Wiley
https://retractionwatch.com/wp-content/uploads/2025/04/mlq_wiley_openletter.pdf
Em quarta-feira, 9 de abril de 2025 às 14:24:09 UTC-3, Joao Marcos escreveu:
> O interessante é ler a "open letter" que os editores fizeram par
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
rão feitos por PIX ao Cassiano (será disponibilizado na
página do EBL um QR code).
OBS.: *Não podemos garantir que será possível uma opção de comida
100% vegana. *
***
Abraços
[]s Samuel - em nome da Comissão Organizadora
--
tá contada aqui:
https://open-access.network/en/services/news/article/resignation-of-the-mlq-editorial-team
Abraços
[]s Samuel
Em segunda-feira, 7 de abril de 2025 às 12:51:27 UTC-3, Joao Marcos
escreveu:
> Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
> https://zml.i
as possibilidades de
acomodação em Serra Negra.
Agradecemos a iniciativa da Luisa, e pedimos a todos que repassem esta
informação para suas orientandas.
Obrigado
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo e
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
informação (extra-oficial, é claro) que é muito fácil
combinar com taxistas grupos para ir a Campinas ou a São Paulo desde Serra
Negra, três a quatro pessoas num carro, pode ser até mais barato do que
ônibus.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e est
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
- 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
sa de algo específico (recibo, declaração ou coisa do tipo), o
email de contato do evento é ebl202...@gmail.com
Abraços
[]s Samuel
Em sexta-feira, 28 de fevereiro de 2025 às 15:20:39 UTC-3, samuel escreveu:
> Caros,
>
> Agora que saíram as respostas das submissões, é bom lembrar/obse
ção tem que ser
feita até ***15 de março*** !!!
Algumas pessoas também estavam incomodadas com o formulário de associação
que estava no site da SBL, pois ainda havia referência ao ano de 2024 no
formulário, mas isso também foi corrigido já.
... Vejo todos em breve em Serra Negra
[]s Samuel
--
submissão de arquivos
.tex no formulário Google Docs, isso também foi corrigido. Agradecimentos à
equipe.
Desejo a todos uma boa submissão até sexta-feira e vejo todos em breve.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
[Please distribute, apologies for duplicates]
XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions
*** DEADLINE APPROACHING, JANUARY 31, 2025
The Brazilian Logic Conference (EBL) is the main event organized by the
Brazilian L
Caros
Más notícias, Zoe morreu ontem.
https://www.fields.utoronto.ca/news/Memoriam-Dr-Zo%C3%A9-Chatzidakis
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 "L
Prezados,
Feliz ano novo,
Acabei de receber o anúncio da publicação do artigo abaixo, só li o
abstract.
Imagino que seja do interesse de vários membros da lista.
Até breve
[]s Samuel
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/paraconsistent-and-paracomplete
https://sbl.org.br/pmwiki.php/Main/Notes
Em quarta-feira, 11 de dezembro de 2024 às 13:21:13 UTC-3, samuel escreveu:
> Prezados
>
> Obtive informações sobre o velório.
>
> Data: 12/12/2024 (amanhã)
> Horário: 13h às 16h
> Local: Velório Praxis
>
> Endereço: Av. Franci
[Please distribute, apologies for duplicates ]
XXI Brazilian Logic Conference (EBL 2025) - Call for Contributions
*** EXTENDED DEADLINE, JANUARY 31, 2025***
The Brazilian Logic Conference (EBL) is the main event organized by the
Brazilian
Flores 24 horas: 11 9 1678 7242
Abraços
[]s Samuel
Em quarta-feira, 11 de dezembro de 2024 às 11:36:28 UTC-3, Mario escreveu:
> Caros,
>
> Muito triste! Gostava muito do Klaus. Vai fazer muita falta.
>
> Meus sentimentos à família neste momento tão difícil.
>
> Abraços,
>
&g
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á
Repassando...
Prezados,
Encontra-se aberto o Processo Seletivo de candidatos ao Programa de
Pós-graduação em Matemática da Universidade Federal da Bahia, no curso de
*Doutorado em
Matemática da UFBA/UFAL*, para *ingresso em 2025.1 na UFBA*.
*Vagas
Abraços
[]s Samuel
**
Dear Colleagues,
We hope this email finds you well. We are writing to extend the warmest
invitation to the
*MITAC 2024*
* "Meeting on Interactions between Topology, Algebra, and Categories"
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
Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa !
https://jornal.usp.br/universidade/usp-recebe-doacao-de-biblioteca-especializada-em-teoria-das-categorias/?fbclid=IwZXh0bgNhZW0CMTEAAR3QVDsJH-HZYFFWiuYY1YA6E8ACx5s829JDgXUmJqGrDGyjIEsdRoVrmp8_aem_J37lbAD_wOczWU8plXqQWQ
--
LOG
... 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
nosso pensamento.
Saudacoes a todos os colegas,
[]s Samuel
As imagens podem ser visualizadas no seguinte link aberto:
https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
PS: "A lenda" aí da mensagem eu retirei
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ê
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
cover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
Atés
[]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 canc
... Nao resisti a fazer uma busca aqui, e para o Joel David Hamkins pelo
menos essa ponte da minha mensagem anterior existe, ver a resposta dele em
https://mathoverflow.net/questions/30631/computability-and-geometry
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 16:52:00 UTC+1, samuel
Olás,
Nao respondendo mas pondo um pouquinho de tempero na coisa,
Lembro que Tarski fez uma axiomatizacao da geometria elementar que é
"decidable"...
Uma possível ponte entre essas nocoes e Turing computability ?
Abracos
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 15:4
im, a pergunta boba e a resposta boba, nessa minha definicao, seria a
pergunta... irrelevante (porque só depende da implementacao escolhida,
entendo seu ponto).
Até
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:47:42 UTC+1, Joao Marcos
escreveu:
> > **
... Hum, perguntei aqui pra eles (os fas de origami, conheço alguns de
fato) e a coisa do espirografo pra eles é só lembranca da infância (o que é
meio a cara deles também). Se aparecer algo de referencia técnica eu volto
aqui e aviso...
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às
∈(a,b)?"
*
... Ao que eu responderia sorrindo, SIM !!! 8-) 8-) 8-)
Abracos
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:34:33 UTC+1, Joao Marcos
escreveu:
> > Essa questao da "coisa" x "implementacao da coisa", eu confesso que em
> geral
C. Alperin
Disponível na página do autor em https://nyjm.albany.edu/j/2000/6-8.pdf
Atés
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 12:20:03 UTC+1, Joao Marcos
escreveu:
> > ... Sobre origamis,
> >
> > Origamis (principalmente por permitir movimentos do tipo &quo
somando omega em cima dá e sobra.
(No caso aí do par ordenado, olhando de cima e fazendo a conta de cabeça o
rank vai para o máximo entre o rank(a) e rank(b) mais dois)
Atés
[]s Samuel
PS: Sobre "a descricao extensional de uma funcao sem formula" preciso
pensar mais antes de r
s outros
dois sao
a quadratura do círculo e a duplicacao do cubo).
Atés
[]s Samuel
Em quarta-feira, 31 de janeiro de 2024 às 01:37:30 UTC+1, Joao Marcos
escreveu:
> da Turing-completude dos origamis
> https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/
>
>
>
nao
tem fórmula, imaginem.
Abracos
[]s Samuel
Em segunda-feira, 29 de janeiro de 2024 às 16:18:36 UTC+1, eduardoochs
escreveu:
> Muitos alunos daqui de Rio das Ostras têm muita dificuldade de
> entender que isto aqui é _uma_ função:
>
> $f(x) =
> \begin{cases}
> x^3 & \
resencialmente ao evento.
*******
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
Caros,
Achei a programacao tao bacana que nao resisti a um recorte e cole aqui,
Parabéns aos idealizadores,
Até
[]s Samuel
15/03/2024 (6ª)
- 14:00 - 17:00 (Seminário)
Habilidades de estudos e organização
- 18:00 - 20:00 (Mesa redonda)
Problemas: quais a lógica dá conta de
stributividade do "e"
com relacao ao "ou"...
... Entao é isso, gostaria de dar meu depoimento que sim, o uso de tabelas
de verdade acaba ajudando a ensinar técnicas de demonstracao pros alunos,
de modo relaxado e mnemônico possivelmente, mais é isso.
Atés
[]s Samuel
PS: Bo
/edital_docente_efetivo_n_01_2024_pdf_retificado_em_10.01.2024_para_o_site.pdf
Quem quiser me perguntar algo sobre o concurso, pode me mandar email (fora
da lista).
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
es nas páginas das conferências, mas posso adiantar que os
deadlines
sao: 29 de Fevereiro para TACL, 31 de Março para Summer Topology.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem por
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)
sa senhora, só
isso já é assunto para o pessoal
de Fundamentos que está no plantão né.
Abraços
[]s Samuel
Em domingo, 5 de novembro de 2023 às 11:25:14 UTC-4, Joao Marcos escreveu:
> Lawrence Paulson, the father of Isabelle (the theorem-prover).
>
> JM
>
> On Sun, Nov 5, 2023, 1
merável de
qualquer lista finita de axiomas de ZFC que você precise para sua prova de
consistência relativa).
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 &quo
, 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
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
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
xiste x tal que x = x" é desnecessário (e Kunen
teria ficado contraditório lá no meio do
livro dele ao dizer que já supunha o universo não vazio depois de colocar
esse "axioma zero" na primeira linha
do livro então...)
Gostaria de ouvir os colegas,
Abraços, e agradeço a Lidia por
Caros,
Pra verem como a discussão que tivemos recentemente influenciou minhas
visões
de Matemática... Fiz nova live hoje !
https://www.youtube.com/watch?v=BZjOlLou948
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está
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
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 é
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
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
r facilidade, medo ou preguiça, meio
que eles concordam comigo que "a matemática é ZFC", mas que sim é possível
debater o que deveria ser
verdade "numa Teoria dos Conjuntos legal"... Não está sendo decidido como
deveria ser a Matemática, mas
sim como deveria ser "a Teor
s nos animar a fazer alguma proposta nesse sentido
para um futuro colóquio, aí peço ajuda à
colega para nos cobrar quando estiver aberto o prazo para a próxima vez !
8-)
Abraços
[]s Samuel
Em segunda-feira, 24 de julho de 2023 às 13:17:27 UTC-4, rpdefreitas
escreveu:
> por que não temos
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
... como teorista de conjuntos, fico contente de não estar sozinho nesta
então !!! Mesmo que seja entre os "não-humanos"...
Abraço, hehe,
[]s Samuel
Em segunda-feira, 3 de julho de 2023 às 13:56:53 UTC-4, Marcelo Finger
escreveu:
> Olá, Samuel.
>
>>> PS:
e já a defendem com vêemencia. Eu só
acho interessante.
Abraços
[]s Samuel
PS: Acrescento uma piada. Eu costumo dizer aos meus alunos que "nós
teoristas dos conjuntos começamos a contar pelo zero",
usando que n = {0,1,2,...,n-1}, ou seja, usando o n para contar os
conjuntos de cardin
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
ícil explicar porque isso acontece (e só acontece em
certas condições, ou seja, pode ser que pequenas variações nas condições
iniciais impedem
o fenômeno).
Pra nós lógicos... É mais um desses exemplos que alguém poderia chamar de
"paradoxos verdadeiros".
Abraços
[]s Samuel
--
LOGIC
https://www.youtube.com/watch?v=WvRUhdU-ccY&t=4385s
Pra quem quiser ver, acima o link, adianto que houve problemas de
sincronização dos slides da tela da sala com a tela do YouTube.
Abraços
[]s Samuel
Em sexta-feira, 9 de junho de 2023 às 12:00:46 UTC-3, samuel escreveu:
>
/CtRKPs2ggu3/
Abraços
[]s Samuel
Em segunda-feira, 5 de junho de 2023 às 18:12:06 UTC-3, samuel escreveu:
> Oi gente,
>
> Obrigado, até lá eu descubro o canal.
>
> Até mais
>
> []s Samuel
>
> Em segunda-feira, 5 de junho de 2023 às 17:04:28 UTC-4, gisele secco RS
> es
os eventos anteriores do mesmo tipo, porém, me parece um "chute
educado" que vai passar ao vivo no Canal do Departamento de Matemática da
UFBA, no YouTube:
https://www.youtube.com/channel/UCx5uesxW-Jt3qdyHTEdcmwg
Então... Grandes chances de ser nesse canal. Até lá eu confirmo.
Abraço
[]s
Oi gente,
Obrigado, até lá eu descubro o canal.
Até mais
[]s Samuel
Em segunda-feira, 5 de junho de 2023 às 17:04:28 UTC-4, gisele secco RS
escreveu:
> Eu gostaria muito, Samuel!
> Obrigada,
> G.
>
> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L <
&g
de jun. de 2023 às 17:45, 'samuel' via LOGICA-L <
> logi...@dimap.ufrn.br> escreveu:
>
>> Caros,
>>
>> Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo
>> interessados eu
>> posso checar qual é
Caros,
Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo
interessados eu
posso checar qual é o canal do YouTube correspondente.
Abraços
[]s Samuel
*
Palestra:*"Quan
.
Pessoas interessadas (e que queiram maiores detalhes dos trâmites
específicos de cada programa) podem contatar as pessoas abaixo que
estaremos muito felizes em ajudar.
Matemática --> Samuel (sam...@ufba.br)
Filosofia --> Henrique (henrique.antu...@ufba.br)
Computação --> Ma
(a soma ordinal e a soma cardinal coincidem PARA ORDINAIS FINITOS, na
mensagem anterior, claro)
Em quarta-feira, 3 de maio de 2023 às 13:34:15 UTC-3, samuel escreveu:
> Olá,
>
> A sua definição é essencialmente a definição da soma ordinal, acertando
> aqui e ali um detalhe,
>
&g
conjuntos. Talvez em Matemática Discreta
alguém defina assim.
Abraços
[]s Samuel
Em domingo, 30 de abril de 2023 às 11:49:16 UTC-3, Petrucio Viana escreveu:
> Bom dia!
>
> Alguém conhece alguma referência que apresente a cardinalidade de
> conjuntos finitos baseada na defi
... Haha, boa, pois é, empiricamente a gente sabe que os três com certeza
são dois-a-dois distintos, pra provar
formalmente, que dificuldade hehehe...
[]s Samuel
Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos
escreveu:
> > Não sei se vocês tentaram, mas há coisa
Carnielli, Marcelo Coniglio e
João Marcos eram exatamente idênticos !
Como se fossem exatamente a mesma pessoa.
Enfim...
Atés
[]s Samuel
Em quarta-feira, 12 de abril de 2023 às 10:40:12 UTC-3, aldofigallo
escreveu:
> Imaginemos que um médico tem um paciente con câncer ele decide trat
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
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
- 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
... 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
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
... 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
escrita e didática são gerais de Matemática.
Por outro lado, acho que até por uma questão da tradição ter sido criada,
o título de Doutor em Filosofia (com tese em Lógica
Matemática) continua sendo aceito na inscrição desses concursos gerais.
Até
[]s Samuel
Em quinta-feira, 15 de dezembro de
num fio
do Twitter.
https://twitter.com/cdutilhnovaes/status/1587856536776368128
(o fio é bem longo, o link acima aparece depois de um UPDATE...)
Abraços
[]s Samuel
Em quinta-feira, 3 de novembro de 2022 às 07:16:57 UTC-4, samuel escreveu:
> Como dizem os jovens, "algo de errado
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
... 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
discutidos nas próximas
semanas.
Abraço
[]s Samuel
Em sexta-feira, 28 de outubro de 2022 às 22:41:01 UTC-4, aldofigallo
escreveu:
> Os dois trabalhos Czelakowski estão sendo questionados na comunidade
> lógica.
>
> There are Infinitely Many Mersenne Prime Numbers. Applications o
... Parabéns de novo a Evelyn, e ao Daniel e ao Ole ! Agora pelo prêmio
ANPOF !!!
Que legal ter boas notícias no final de semana.
Abraços
[]s Samuel
Em sábado, 15 de outubro de 2022 às 18:21:36 UTC-4, gisele secco RS
escreveu:
> Júbilo! Esperança!
>
> Vivas a todas e todos, e
atística da UFBA.
[]s Samuel
PS: Lembrando que quem fez a declaração de interesse no jantar da
conferência, mas ainda não fez a transferência PIX, vai ser solicitado a
fazer essa transferência no momento da inscrição.
O formulário do jantar já está encerrado e o valor de 130,00 somente poderá
s
em:
https://forms.gle/VsPnWXoQkPBqqU1g8
Você também pode acessar esse link a partir da página do EBL (logo abaixo
do link
para o livro de resumos).
Abraços e até breve
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está rece
Olás
Eu de novo.
Quem for preferir a opção vegetariana, é bom avisar a gente com
antecedência,
Me mandem esse aviso off-list.
Obrigado
[]s Samuel
Em quarta-feira, 7 de setembro de 2022 às 11:20:44 UTC-4, samuel escreveu:
> Caros,
>
> Diante de alguns questionamentos, ch
e refere à confirmação exata de número de pessoas, para
posterior pagamento.
(Aí quem se decidir depois a ir para o restaurante talvez só possa
disfrutar do serviço a la carte)
Obrigado
[]s Samuel
PS: Apareceu na conta da Aline um depósito/transferência de 130 reais em
nome de EDUARDO N. H. A
as opções
... Abraços
[]s Samuel
Em segunda-feira, 5 de setembro de 2022 às 11:45:59 UTC-4, samuel escreveu:
> Caros,
>
> Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL,
>
> A mensagem de agora é:
>
> ---> Conseguiremos garantir, para os que já s
Prezados
Em
ebl2021.ufba.br
AbaProgram --> Book of Abstracts
Já está disponibilizada uma versão preliminar (faltando só ISBN a princípio)
do Livro de resumos do EBL.
Abraços
[]s Samuel
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lóg
crever no jantar até quarta-feira
agora, dia 07,
Por 130 reais você terá direito ao jantar, bebidas incluindo alcóolicas
(água suco cerveja e caipirinha, não inclui vinho) e também ao serviço de
10%
Tudo incluído nesse preço aí.
É uma excelente notícia ! Aproveitem
Abraços e até breve
[]s
https://drive.google.com/file/d/1oaXr3s82-sx7J0zs9wwz4nIMM1Mfu8cc/view
mas já adiantamos que nós entregaremos uma cópia impressa da programação
para todos os participantes inscritos.
--> O caderno de resumos será disponibilizado nas próximas horas.
Na semana que vem voltarei com mais comentários
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á
1 - 100 de 391 matches
Mail list logo
