... 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
os 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
dade 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: Bom, pra jus
/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
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" d
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=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:
> Ca
/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 <
> logi...
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 é o canal do
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:*"Q
.
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
... 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
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,
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
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
a 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á
... Ah sim,
E temos "um plus a mais",
No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior)
Também faremos a live das duas sessões de Teoria das Categorias,
Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30.
Abraços
[]s Samuel
Em terça
teressados a nos acompanhar !
Abraços
[]s Samuel
Em domingo, 14 de agosto de 2022 às 00:02:29 UTC-3, it...@unicamp.br
escreveu:
> Caras e caros:
>
> Também não poderei participar do encontro, pois estarei coordenando o
> Fórum mencionado pelo Walter.
> Bom encontro!
>
> Ita
Caros,
Já dei os parabéns pelo twitter, mas bom registrar por aqui também.
Sen-sa-cio-nal
Parabéns a Evelyn, Daniel e Ole !
Abraços
[]s Samuel
Em terça-feira, 16 de agosto de 2022 às 08:06:00 UTC-3, Anderson Nakano
escreveu:
> Cara Evelyn, caro Daniel,
>
> Parabéns por essa
, 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
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
. 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
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,
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
.
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
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
s de Y dá Y,
a intersecção da família vazia dos subconjuntos de Z dá Z... Para cada
conjunto uma família vazia de seus subconjuntos, e para cada uma delas uma
intersecção que funciona e que realmente ajuda na formação da tal base de
topologia que o carinha dos anos 50 queria, bem simples
e b
o, se não representa quantidades não é um número,
ou não deveria ser um número, ou pelo menos número natural não é...
Caixas vazias ainda são caixas, e o número de coisas na caixa vazia é zero.
Mas isso é pelo visto bem polêmico para outrem, alhures...
Abraço
[]s Samuel
Em segunda-feira, 6 de
... Zero ? Nevermore, nevermore.
(seria mais engraçado com raven no lugar de crow, obviamente...)
Agora falando sério, o que será mais fácil de ter o conceito - o zero ou o
conjunto vazio ?
Abraços
[]s Samuel
Em segunda-feira, 6 de junho de 2022 às 10:52:48 UTC-4, Joao Marcos
escreveu
do estrito, em
particular sim irreflexiva).
Até
[]s Samuel
Em sexta-feira, 3 de junho de 2022 às 22:36:48 UTC-4, Claudio Andrés
Callejas Olguín escreveu:
> Bom dia,
>
> O livro do Kunen, "Set Theory - An Introduction to independence proofs"
> usa essa notação de pr
Olá,
Mas Davey/Priestley inclui o x ou não ? Porque até onde me lembre o down
set de x pega o x próprio e todos abaixo, o Cláudio
aí não quer pegar o x.
Abraço
[]s Samuel
Em sexta-feira, 3 de junho de 2022 às 10:43:28 UTC-4, Petrucio Viana
escreveu:
> Bom dia!
>
> Na "nova
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
.
Possivelmente no contexto que o Claudio procura já tenha uma terminologia
específica.
Até
[]s Samuel
Em sexta-feira, 3 de junho de 2022 às 09:03:25 UTC-4, Joao Marcos escreveu:
> Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x no
>> conjunto ordenado (a,r),
Olá,
Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x no
conjunto ordenado (a,r), para esse conjunto ao qual você
se refere.
Fazemos isso mais normalmente para ordens lineares, mas não vejo porque não
usar a mesma notação se a ordem não for linear.
Abraço
[]s Samuel
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
---
r do 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,
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
-associados)
Abraços
[]s Samuel
Em quarta-feira, 4 de maio de 2022 às 09:10:12 UTC-4, samuel escreveu:
> Caros,
>
> Após os tempos difíceis da pandemia, e com a melhora nas condições
> sanitárias, neste ano teremos o nosso querido EBL presencial, em Salvador !
>
> As inscriçõe
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
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
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
, Campinas, BRA)
Hugo L. Mariano (IME-USP, São Paulo, BRA)
Ciro Russo (UFBA, Salvador de Bahia, BRA)
Samuel G. da Silva (UFBA, Salvador de Bahia, BRA)
Andrés Villaveces (UNAL, Bogotá, COL)
Pedro H. Zambrano (UNAL, Bogotá, COL)
Partners:
Sociedad Colombiana de Matemáticas
Sociedade Brasileira
vidual Outreach Memberships".*
Informações no site:
http://aslonline.org/membership/individual-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
... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o
Avigad.
https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para
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:
não seria simplesmente da
comissão organizadora, mas sim da SBL que é
quem promove o evento !
Enfim, vejamos como segue a situação.
Obrigado,
[]s Samuel
Em domingo, 19 de setembro de 2021 às 17:54:56 UTC-4, jmstern escreveu:
> Caro Samuel:
> Espero que este email encontre voce e os s
1 - 100 de 311 matches
Mail list logo
