[Logica-l] XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
Caros, A esta altura a grande maioria de vocês já foi informada disso pelo Boletim da SBL, que foi enviada a todos os associados, Mas, pra quem não esteja associado no momento, a confirmação: o próximo EBL vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de Setembro de 2022. A

[Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
... E o site já está no ar: http://ebl2021.ufba.br/ Em domingo, 19 de setembro de 2021 às 16:50:30 UTC-4, samuel escreveu: > Caros, > > A esta altura a grande maioria de vocês já foi informada disso pelo > Boletim da SBL, que foi > enviada a todos os associados, > > Mas, pra quem não esteja as

Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia

2021-09-19 Por tôpico 'samuel' via LOGICA-L
ema que > costuma afligir os mais jovens com mais gravidade). > > Grato e tudo de bom, > ---Julio Stern > > > -- > *From:* 'samuel' via LOGICA-L > *Sent:* Sunday, September 19, 2021 9:19 PM > *To:* LOGICA-L > *C

[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

2021-09-22 Por tôpico 'samuel' via LOGICA-L
... 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 can

[Logica-l] Association for Symbolic Logic - Associação "Outreach" 2022

2021-10-22 Por tôpico 'samuel' via LOGICA-L
Caros, Na condição de membro do Membership Committee da ASL, venho fazer minha propaganda anual da associação. Já é o momento para ou renovar ou fazer pela primeira vez a associação à ASL para o ano de 2022, além dos volumes físicos de revistas escolhidas (que você pode escolher duas entre JS

[Logica-l] Call for Registration - 1st Meeting Brazil-Colombia in Logic

2021-11-26 Por tôpico 'samuel' via LOGICA-L
CALL FOR REGISTRATION 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 No registration fee ***

[Logica-l] Re: Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

2022-05-04 Por tôpico 'samuel' via LOGICA-L
Caros, Caso não tenha ficado claro, o valor com desconto da inscrição tem que ser pago JUNTO com a anuidade 2022, então por exemplo para professores teremos 250 early bird de inscrição + 150 anuidade da SBL = 400 total (o que dá um desconto de 100 reais com relação ao que pagam os não-associa

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

2022-06-03 Por tôpico 'samuel' via LOGICA-L
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

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

2022-06-03 Por tôpico 'samuel' via LOGICA-L
Olá, Sim, por isso eu comentei que era uma notação bastante usada em teoria de conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma chamar esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem tomando a família das semi-retas, nos dois sentidos, como subbase. Po

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

2022-06-03 Por tôpico 'samuel' via LOGICA-L
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 bíblia" sobre ret

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

2022-06-03 Por tôpico 'samuel' via LOGICA-L
Olá Claudio, Na página 103 aquele R pode até ser uma "relação-classe", e em boa parte das aplicações pode ser até a relação de pertinência (entendida como relação-classe). A primeira vez que aparece pred(A,x,R) no livro é na página 14, especificamente para ordens lineares (no sentido estrito,

[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais

2022-06-06 Por tôpico 'samuel' via LOGICA-L
... 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: >

[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais

2022-06-06 Por tôpico 'samuel' via LOGICA-L
Olá, Boa pergunta, eu deveria saber mais de etnomatemática para responder ! Fiz a pergunta porque é muito comum encontrar por aí (por exemplo no site Quora que obviamente tem muitos amadores,além de gente que recebe por postar variações das mesmas perguntas sempre...) pessoas que argumentam con

[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais

2022-06-06 Por tôpico 'samuel' via LOGICA-L
... Legal, Essa sua observação me lembra uns truques com quantificadores que livros americanos de topologia dos anos 50 usavam... Por exemplo, em algum desses livros você encontra coisas do tipo "dada qualquer família de subconjuntos de um conjunto X, a família de todas as suas intersecções fi

Re: [Logica-l] Prêmio CAPES de tese 2022

2022-08-16 Por tôpico 'samuel' via LOGICA-L
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 conquista! Muit

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

2022-08-16 Por tôpico 'samuel' via LOGICA-L
Caros Atualizando as informações (sobre as sessões de Lógica Matemática do Brasil-Portugal), ---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser transmitida ao vivo (a famosa "live") no canal de YouTube do grupo de Lógica Matemática da UFBA: https://www.youtube.com/channel/UCSqOfro

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

2022-08-16 Por tôpico 'samuel' via LOGICA-L
... 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-feira, 16 d

[Logica-l] Segunda dia 05, final das inscrições no XX EBL

2022-09-02 Por tôpico 'samuel' via LOGICA-L
Prezados, Saudações, Algumas informações sobre o XX EBL em Salvador - que já está chegando ! Todo mundo empolgado ? ---> Segunda, 05 de setembro, é o último dia para preencher o formulário de inscrição no EBL (quem não preencher vai ter que fazer a inscrição "manualmente" na sua chegada, o qu

[Logica-l] Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-05 Por tôpico 'samuel' via LOGICA-L
Caros, Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL, A mensagem de agora é: ---> Conseguiremos garantir, para os que já se inscreveram no Formulário do Jantar da Conferência (que vai ocorrer na noite da quarta-feira dia 14). O formulário está em: ebl2021.ufba.br A

[Logica-l] Livro de resumos do EBL disponibilizado

2022-09-05 Por tôpico 'samuel' via LOGICA-L
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ógica --- Você

[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-05 Por tôpico 'samuel' via LOGICA-L
... O cardápio será --> entradas: mini acarajé, mini abará, bolinho de peixe --> pratos principais: MOQUECA DE PEIXE MOQUECA DE CAMARÃO BOBÓ DE CAMARÃO FILÉ Á PARMEGIANA FILÉ DE FRANGO COM LEGUMES --> sobremesas: PUDIM DE LEITE OU AMBROSIA. -Cada convidado terá direito a uma das opções ... Ab

[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-07 Por tôpico 'samuel' via LOGICA-L
Caros, Diante de alguns questionamentos, checamos no restaurante: haverá a opção de moqueca vegetariana. Pelas receitas que vi na Internet, uma moqueca vegatariana não tem nada de origem animal no seu preparo (nada nem no molho), logo serve a princípio como opção vegana. Lembrando que as inscr

[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-07 Por tôpico 'samuel' via LOGICA-L
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, checamos no restauran

[Logica-l] Favor fazer o upload de suas apresentações (EBL)

2022-09-07 Por tôpico 'samuel' via LOGICA-L
Caros, Escrevo pra lembrar que disponibilizamos um link para que vocês carreguem os arquivos de suas apresentações no EBL (tentando aproveitar melhor o tempo, evitando o tempo morto de ficar usando pendrives antes das apresentações). Quem puder carregar os arquivos das apresentações até o dia

[Logica-l] Registration no EBL - Estaremos atendendo na segunda pela manhã (e começo da tarde)

2022-09-08 Por tôpico 'samuel' via LOGICA-L
Caros Só pra confirmar e reforçar (amanhã está indo uma mensagem a todos os inscritos com esta e outras informações...) Marcamos o início das atividades científicas para a tarde da segunda-feira para dar a chance de quem quisesse marcar a sua chegada em Salvador na segunda de manhã pudesse ec

Re: [Logica-l] Prêmio CAPES de tese 2022

2022-10-16 Por tôpico 'samuel' via LOGICA-L
... 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 um abraço aper

Re: [Logica-l] twin primes

2022-10-29 Por tôpico 'samuel' via LOGICA-L
Olás Na verdade é uma série de quatro artigos, estão os quatro no perfil ResearchGate do autor. Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de Mersenne, um deles resolve também a Conjectura de Goldbach !!! Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já

Re: [Logica-l] twin primes

2022-11-07 Por tôpico 'samuel' via LOGICA-L
t; https://scottaaronson.blog/?p=304 > >> > >> Atés > >> > >> []s Samuel > >> > >> Ps: Detratores do Latex pulem a primeira razão, hehe... > >> ----- Mensagem original - > >> De: Walter Carnielli > >> P

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

2022-12-16 Por tôpico 'samuel' via LOGICA-L
Caros, Só pra confirmar a informação da UFBA que apareceu, Por vários anos aqui no Departamento de Matemática houve concursos por subáreas específicas, E no caso de Lógica conseguimos (não foi fácil...) que fosse possível a inscrição de Doutores em Filosofia, desde que a tese de doutorado fos

Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico 'samuel' via LOGICA-L
Caros, Retomando uma mensagem do Walter, Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste perguntei "quais são as maiores contribuições à lógica de..." para vários casos (no ChatGPT), ou uma pergunta semelhante, e na verdade os textos gerados para Walter Carnielli, Marce

Re: [Logica-l] ChatGPT quis matar Newton da Costa

2023-04-12 Por tôpico 'samuel' via LOGICA-L
... 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 de uns do

[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos

2023-05-03 Por tôpico 'samuel' via LOGICA-L
Olá, A sua definição é essencialmente a definição da soma ordinal, acertando aqui e ali um detalhe, A questão é que pode se provar por induçao finita que a soma ordinal e a soma cardinal coincidem. Nos livros de conjuntos, em geral, a cardinalidade é o menor ordinal para o qual o conjunto tem

[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos

2023-05-03 Por tôpico 'samuel' via LOGICA-L
(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, > > A questão é que

[Logica-l] Edital para Contratação de Professor Visitante - UFBA

2023-05-23 Por tôpico 'samuel' via LOGICA-L
Prezados, Saudações. A Universidade Federal da Bahia abriu chamada para a contratação de Professores Visitantes em 2023. Vejam a mensagem encaminhada no final, com mais informações e o link para o Edital. O perfil procurado é de um pesquisador ativo que esteja pronto para atuar em pesquisa,

[Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

2023-06-05 Por tôpico 'samuel' via LOGICA-L
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:*"Quando as

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

2023-06-05 Por tôpico 'samuel' via LOGICA-L
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 é

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

2023-06-05 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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

[Logica-l] Re: Um "Arenque Vermelho "

2023-06-06 Por tôpico &#x27;samuel&#x27; via LOGICA-L
is precisamente, a de que todos os arenques >> são, na verdade, arenques vermelhos, ou que, pelo menos a princípio, >> todos >> os arenques possam ser potencialmente vermelhos, mesmo que não >> necessariamente o sejam (o que leva a nós, os matemáticos, a, por certas >

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

2023-06-09 Por tôpico &#x27;samuel&#x27; via LOGICA-L
creveu: > >> Eu gostaria muito, Samuel! >> Obrigada, >> G. >> >> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L < >> logi...@dimap.ufrn.br> wrote: >> >>> ... OK ! >>> >>> Em segunda-feira, 5 de junho de 202

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

2023-06-16 Por tôpico &#x27;samuel&#x27; via LOGICA-L
>> []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' v

[Logica-l] Um "paradoxo verdadeiro" em Física

2023-06-28 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi gente, Quase "off topic" mas pra quem se interessa por exemplos interessantes em Ciência, Hoje, muito por acaso, eu ouvi falar pela primeira vez do "Efeito Mpemba": https://en.wikipedia.org/wiki/Mpemba_effect Esse efeito é nomeado em homenagem a um jovem estudante de colegial da Tanzania

Re: [Logica-l] re-contando números

2023-07-03 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi João, Como "inteiros positivos" não vale como resposta... Não tenho resposta válida pra sua pergunta não. Eu sempre uso "inteiros positivos" quando quero me referir aos... inteiros positivos. Só observo que a sua pergunta tangencia (ou mais do que tangencia...) a famosa polêmica (?) do zero

Re: [Logica-l] re-contando números

2023-07-03 Por tôpico &#x27;samuel&#x27; via LOGICA-L
t;> no n-1... Mas isso é apenas uma piada, obviamente. 8-) > > Eu conto essa piada, com outro viés. Eu falo que "contar como computeiro" > é contar de 0 a n-1, enquanto que "contar como humano" é contar de 1 a n. > > []s > > > On Mon, Jul 3, 2023 at 9:50 

[Logica-l] Re: 34o colóquio brasileiro de matemática

2023-07-26 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi gente, oi Renata, Desculpem a demora em responder, estou meio devagar nesta semana. 8-( Então, vejam só, O que eu tenho participado bastante, de 2015 pra cá, são dos "joint meetings" entre as sociedades matemáticas de dois países (Brasil-Espanha 2015, Itália 2016, França 2019, Portugal 2022

[Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

2023-08-04 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Salve Daniel, prazer falar com você, como sempre também, e pelo visto se você estivesse na live ela não terminaria pois seus questionamentos são bastante interessantes e a coisa iria embora no tempo... Primeiro, registrar que "o meu amigo de Brasília" já me deu bronca dizendo que não era exata

[Logica-l] Nova live sobre Conjuntos e Matemática

2023-08-26 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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á

[Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica

2023-10-09 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi gente, Aproveitando pra comentar da dúvida que eu apresentei na apresentação da Lidia Batinga (que pro framework dela deu pra ver que a resposta era "sim"). Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz uns três anos. Lá vai: O primeiro axioma de Teoria dos Co

[Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy

2023-11-01 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros Saudações, Estão disponibilizadas no nosso canal do YouTube (Mathematical Logic UFBA) dois seminários que apresentei sobre o "Teorema da Reflexão de Lévy", que é um teorema importantíssimo de Teoria dos Conjuntos (parte do arcabouço teórico da técnica de forcing) e que eu encontrei uma

Re: [Logica-l] sobre os fundamentos da matemática

2023-11-06 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros, Comentário rápido, sem elaborar muito, Me parece ingênuo imaginar que a Matemática não vá enfrentar novos "momentos de quebra de paradigmas" (como os bem conhecidos e descritos no texto, que são os de sempre, descoberta dos irracionais, geometrias não-euclidianas, crise dos fundamentos

[Logica-l] Eventos em Barcelona e Coimbra (Inìcio de Julho 2024) - TACL + Summer Conference on Topology

2024-01-09 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Prezados Recebi informes sobre os seguintes eventos, que ocorrerao em semanas consecutivas no início de julho de 2024: ---> TACL - Topology, Algebra and Categories in Logic Barcelona, 01-05 Julho 2024 (com Escola 25-28 Junho) Site da conferência: https://iiia.csic.es/tacl2024/ ---> Summer Co

[Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática

2024-01-11 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Prezados, Foi aberto em 02/01 um concurso da UFBA, e o nosso Departamento de Matemática tem 02 vagas para Matemática, sendo 01 vaga em regime de 20 horas e 01 vaga em regime de Dedicaçao Exclusiva. Como tem sido praxe nos últimos anos, a titulaçao exigida abre a possibilidade de inscriçao par

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

2024-01-16 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi Joao, Salve, estava devendo falar alguma coisa aqui. Olha, a experiência aqui na UFBA (e eu me lembro que mesmo antes disso cheguei a fazer coisas do tipo quando dava aula pra faculdades particulares, coisa de 25 anos atrás, afffe como o tempo passa hehe), É a seguinte: Temos no primeiro s

[Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL)

2024-01-16 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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 resolv

[Logica-l] Instruçoes para Participaçao - Semana Temática de Lógica UFBA + II Encontro USP UFBA de Lógica e Fundamentos da Matemática

2024-01-19 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros, Repassando a pedido dos organizadores. *** Seguem algumas instruçoes (principalmente para os estudantes interessados) sobre a participacao na Semana Temática de Lógica da UFBA (Campus Ondina da UFBA, Salvador,

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-30 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... Já que chegamos nas "coisas que alunos dizem", Outra coisa interessante é que aluno acha que "funcao tem que ter fórmula". Aí é que a pessoa nao entende o Axioma da Escolha de jeito nenhum (porque se o Axioma da Escolha se fez necessário para criar uma funcao-escolha é porque nao se tinha me

[Logica-l] Re: calcular é fazer dobraduras

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... Sobre origamis, Origamis (principalmente por permitir movimentos do tipo "deslizar", o que aí já entra topologia além da geometria) sao capazes de "performar" operacoes que a régua e o compasso nao permitem (nao sei se isso aparece na reportagem que nao consegui ler, se estou chovendo no mo

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Olás, Essa questao da "coisa" x "implementacao da coisa", eu confesso que em geral os teoristas de conjuntos ficamos meio viciados nisso (guilty as charged), Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que eu diga que (a,b) = { {a}, {a,b} } Mas esse tipo de pensam

[Logica-l] Re: calcular é fazer dobraduras

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... Opa, E conversando com uns amigos aqui apareceu a seguinte referência (mais técnica) que chega a criar o "corpo dos números origamicos" (!!!) New York Journal of Mathematics New York J. Math. 6 (2000) 119–133. A Mathematical Theory of Origami Constructions and Numbers Roger C. Alperin Dispo

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
* O encapsulamento do código evita que o cliente faça perguntas bobas, como "será que {a}∈(a,b)?"

[Logica-l] Re: calcular é fazer dobraduras

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... 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 1

Re: [Logica-l] Re: "Funções são conjuntos"

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... Touché !!! Isso me lembra mais o joguinho de tentar descobrir a història completa através de respostas "sim", "nao" e "irrelevante". O exemplo mais clássico é: "homem olha pro lado, acende um fósforo e morre". ... ao cabo de meia hora, uma hora, trabalhando em grupo dá pra recuperar a hist

Re: [Logica-l] Re: calcular é fazer dobraduras

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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:49:20 UTC+1, j

Re: [Logica-l] Re: calcular é fazer dobraduras

2024-01-31 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... 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 es

[Logica-l] Geometria e lógica / Inteligência artificial

2024-02-01 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Oi, Tem a haver com o assunto de ontem (geometria e lógica), mas como é de inteligência artificial achei que caberia melhor uma nova conversa. "Inteligência artificial resolve problemas de geometria no nível de medalhistas da olimpíada internacional" https://deepmind.google/discover/blog/alpha

[Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA

2024-02-23 Por tôpico &#x27;samuel&#x27; via LOGICA-L
(abaixo, segue mensagem repassada para público geral, docentes do nosso Departamento de Matemática) * Prezados, Saudacoes, A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA de Lógica e Fundamentos da Matemática e a Homenage

[Logica-l] Doação à Biblioteca USP - Teoria das Categorias (de Marta Bunge, 1938-2022)

2024-07-03 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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

[Logica-l] Evento online - Topologia, Algebra, Categorias (mas começou hoje...)

2024-11-11 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros, Boa tarde, Só fui receber este aviso no sábado, e o evento... Até já começou. Em todo caso, encaminho. É de Topologia, Álgebra e Categorias, mas pode ser de interesse para muitos lógicos desta lista. (A ver se eles levam muito a sério o "registration in advance"...) Abraços [

[Logica-l] Processo Seletivo Doutorado em Matemática UFBA/UFAL - Entrada em 2025.1

2024-11-29 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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

[Logica-l] Teoria dos Conjuntos paraconsistente e paracompleta

2025-01-03 Por tôpico &#x27;samuel&#x27; via LOGICA-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-ze

Re: [Logica-l] Claus Akira Matsushigue (1965-2024)

2024-12-11 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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. Francisco Falconi 212 Jd. Avelino Logo após o velório segue para Cremação no Cemitério Vila Alpina (Av. Francisco Falconi 437, Vila Alpina) Pedidos de Coroas de Flores

[Logica-l] EXTENDED DEADLINE, XXI Brazilian Logic Conference (EBL 2025)

2024-12-11 Por tôpico &#x27;samuel&#x27; via LOGICA-L
[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

Re: [Logica-l] Claus Akira Matsushigue (1965-2024)

2024-12-11 Por tôpico &#x27;samuel&#x27; via LOGICA-L
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. Francisco Falconi 212 Jd. Avelino >

[Logica-l] Zoe Chatzidakis

2025-01-24 Por tôpico &#x27;samuel&#x27; via LOGICA-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 "LOGICA-

[Logica-l] XXI Brazilian Logic Meeeting (EBL 2025) --- ***DEADLINE APPROACHING***

2025-01-26 Por tôpico &#x27;samuel&#x27; via LOGICA-L
[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

[Logica-l] Os links para submissão do EBL foram corrigidos.

2025-01-26 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros, Acabei de postar a mensagem de deadline approaching do EBL, Chamo a atenção que alguns links anunciados anteriormente estavam dando problema, isso foi corrigido para essa última mensagem, então usar os links da última mensagem. Há alguns meses também havia alguns problemas com a submis

[Logica-l] Re: Algumas dicas sobre o EBL (Hotel + Early Bird em 15 de Março)

2025-02-28 Por tôpico &#x27;samuel&#x27; via LOGICA-L
... outra coisa que todo EBL acontece, O formulário de inscrição não tem resposta automática, e é verificado manualmente pela organização. Se você preencheu o formulário e deu "resposta de preenchido", pronto. Não precisa se inscrever de novo, vai dar duplicidade. Se precisa de algo específic

[Logica-l] Links para as companhias de ônibus - na aba "Local info - Serra Negra" da página do EBL

2025-03-10 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Prezados Foram disponibilizados, na página do EBL 2025, aba Local Info, em "Bus routes", links para as companhias de ônibus que atendem as linhas Campinas/Serra Negra e São Paulo/Serra Negra. Agradeçamos a Evelyn e Cassiano pelo levantamento e disponibilização. Por exemplo, já vi que existem

[Logica-l] Algumas dicas sobre o EBL (Hotel + Early Bird em 15 de Março)

2025-02-28 Por tôpico &#x27;samuel&#x27; via LOGICA-L
Caros, Agora que saíram as respostas das submissões, é bom lembrar/observar a todos que... ---> O site do EBL foi atualizado recentemente sobre acomodações. No link https://ebl2025.ime.usp.br/home/local-info-serra-negra vocês poderão encontrar os valores dos pacotes para o hotel da conferênci