Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
... 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 Lógica da UFBA Parabéns aos colegas da UFBA, um grupo poderoso, lindo logo! Só da um pouco de medo que a Lógica escorregue sobre a Topologia. :-) Abraços, Walter Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo. > > Longa vida ao Grupo de Lógica da UFBA!!! > > Abraços, > > On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L < > logica-l@dimap.ufrn.br> wrote: > >> (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 Homenagem aos 60 anos do Prof. Andreas Brunner, >> >> Marca também o início do ano em que completam-se 18 anos do Grupo de >> Lógica da UFBA, reconhecido como >> um dos mais importantes grupos de Lógica sediados em Departamentos de >> Matemática no país. >> >> Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para >> o grupo de Lógica. >> >> Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o >> elevador pode ser mentalmente >> encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash. >> >> O símbolo da catraca é o símbolo da "prova" em Lógica Matemática >> ("logical entailment", ou consequência >> lógica), o qual denota que a partir de determinadas premissas chegamos a >> determinadas conclusões. >> >> Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas >> para as conclusões, deixamos >> como pagamento o nosso raciocínio, o 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 de mensagens antigas desta lista, >> com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho >> uma predilecao especial por catracas. 8-) >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> Você recebeu essa mensagem porque está inscrito 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 acessar essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br?utm_medium=email_source=footer> >> . >> > > > -- > Elaine. > --- > Elaine Pimentel > Associate Professor in Programming Principles, Logic, and Verification > Department of Computer Science > University College London > https://sites.google.com/site/elainepimentel/ > --- > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está inscrito 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 acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com?utm_medium=email_source=footer> > . > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/760582865.2688022.1708714383631.JavaMail.zimbra%40ufba.br.
[Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
(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 Homenagem aos 60 anos do Prof. Andreas Brunner, Marca também o início do ano em que completam-se 18 anos do Grupo de Lógica da UFBA, reconhecido como um dos mais importantes grupos de Lógica sediados em Departamentos de Matemática no país. Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para o grupo de Lógica. Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o elevador pode ser mentalmente encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash. O símbolo da catraca é o símbolo da "prova" em Lógica Matemática ("logical entailment", ou consequência lógica), o qual denota que a partir de determinadas premissas chegamos a determinadas conclusões. Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas para as conclusões, deixamos como pagamento o nosso raciocínio, o 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 de mensagens antigas desta lista, com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho uma predilecao especial por catracas. 8-) -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br.
[Logica-l] Link corrigido - evento UFBA
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ê 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2115294748.7120006.1708467083853.JavaMail.zimbra%40ufba.br.
[Logica-l] Links das apresentações remotas - Temática UFBA + Encontro USP UFBA + Homenagem Andreas Brunner
Prezados, Seguem os links para as apresentações remotas do evento na UFBA desta semana, em homenagem ao colega e amigo Andreas Brunner. TERCA 20 Á TARDE meet.google.com/hny-koqq-aaf QUARTA 21 À TARDE meet.google.com/mzr-mise-oth QUINTA 22 À TARDE meet.google.com/hzi-mxmh-jnw SEXTA 23 À 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/706979730.6126444.1708382278751.JavaMail.zimbra%40ufba.br.
[Logica-l] Geometria e lógica / Inteligência artificial
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/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 cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/13c65d1f-3b2b-4222-a59a-f922ad3046f5n%40dimap.ufrn.br.
Re: [Logica-l] Re: calcular é fazer dobraduras
... 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 escreveu: > 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, juca.agudelo > escreveu: > >> Ao parecer, a proposição recíproca está também em aberto, i.e. toda >> função que pode ser computada usando origami é Turing computável? >> >> E considerando as relações entre origami e construções geométricas que >> mencionam Samuel e João Marcos, me pergunto também o seguinte: existe >> alguma relação entre Construtibilidade Euclidiana e Turing computabilidade? >> >> On Wed, Jan 31, 2024 at 6:20 AM Joao Marcos wrote: >> >>> > ... 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 molhado >>> > me desculpem). >>> > >>> > Mas sempre achei muito interessante isso, por exemplo existe um >>> procedimento em origami >>> > que trissecta um ângulo dado (um dos três problemas clássicos de régua >>> e compasso que nao tem >>> > solucao, conforme se deduz da álgebra das extensoes de corpos - os >>> outros dois sao >>> > a quadratura do círculo e a duplicacao do cubo). >>> >>> O artigo em questão não menciona isso. Um local onde isto é >>> apresentado de maneira elementar e minimamente detalhada é o livro >>> "Lectures on the Foundations of Mathematics" [0] (um livro sobre >>> *fundamentos da matemática* BEM diferente dos tradicionais), do >>> Hamkins. Na seção 4.3 o autor explica que as construções com régua e >>> compasso podem ser efetuadas, equivalentemente, com o auxílio de sete >>> dobraduras de origami fundamentais. Se formas adicionais de dobradura >>> forem permitidas, pode-se ir estritamente além da construtibilidade >>> euclidiana [1]. Com efeito, com a adição de apenas mais uma dobradura >>> fundamental, é possível resolver equações cúbicas arbitrárias sobre os >>> números racionais (o teorema de Gauss-Wantzel mostra que isto não é >>> possível usando apenas régua e compasso). Como corolário, é possível >>> resolver assim o problema da trissecção do ângulo. >>> >>> Outras formas de construção geométrica são mencionadas no livro do >>> Hamkins. Uma delas é a construtibilidade via espirógrafo [2], a qual >>> também transcende a construtibilidade euclidiana (o Hamkins não >>> menciona uma referência para este resultado, e eu também não >>> procurei). Parece-me que um bom problema (em aberto?) para uma >>> estudante de pós-graduação que queira aparecer na Quanta Magazine >>> seria o de mostrar que espirógrafos também são Turing-completos. >>> >>> Abraços, >>> Joao Marcos >>> >>> >>> [0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics. >>> MIT Press, 2021. >>> [1] Geretschläger, Robert. "Euclidean constructions and the geometry >>> of origami." Mathematics Magazine 68.5 (1995): 357-371. >>> [2] https://pt.wikipedia.org/wiki/Espir%C3%B3grafo >>> >>> -- >>> https://sites.google.com/site/sequiturquodlibet/ >>> >>> -- >>> 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, >>> envie um e-mail para logica-l+u...@dimap.ufrn.br. >>> Para acessar esta discussão na web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgjDgDJH74Y-Y4YbatmO_jMzXAkNgryMVDfedWyiabUEg%40mail.gmail.com >>> . >>> >> -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f625cf1b-37ca-475b-a41a-078b61a5b6d1n%40dimap.ufrn.br.
Re: [Logica-l] Re: calcular é fazer dobraduras
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, juca.agudelo escreveu: > Ao parecer, a proposição recíproca está também em aberto, i.e. toda > função que pode ser computada usando origami é Turing computável? > > E considerando as relações entre origami e construções geométricas que > mencionam Samuel e João Marcos, me pergunto também o seguinte: existe > alguma relação entre Construtibilidade Euclidiana e Turing computabilidade? > > On Wed, Jan 31, 2024 at 6:20 AM Joao Marcos wrote: > >> > ... 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 molhado >> > me desculpem). >> > >> > Mas sempre achei muito interessante isso, por exemplo existe um >> procedimento em origami >> > que trissecta um ângulo dado (um dos três problemas clássicos de régua >> e compasso que nao tem >> > solucao, conforme se deduz da álgebra das extensoes de corpos - os >> outros dois sao >> > a quadratura do círculo e a duplicacao do cubo). >> >> O artigo em questão não menciona isso. Um local onde isto é >> apresentado de maneira elementar e minimamente detalhada é o livro >> "Lectures on the Foundations of Mathematics" [0] (um livro sobre >> *fundamentos da matemática* BEM diferente dos tradicionais), do >> Hamkins. Na seção 4.3 o autor explica que as construções com régua e >> compasso podem ser efetuadas, equivalentemente, com o auxílio de sete >> dobraduras de origami fundamentais. Se formas adicionais de dobradura >> forem permitidas, pode-se ir estritamente além da construtibilidade >> euclidiana [1]. Com efeito, com a adição de apenas mais uma dobradura >> fundamental, é possível resolver equações cúbicas arbitrárias sobre os >> números racionais (o teorema de Gauss-Wantzel mostra que isto não é >> possível usando apenas régua e compasso). Como corolário, é possível >> resolver assim o problema da trissecção do ângulo. >> >> Outras formas de construção geométrica são mencionadas no livro do >> Hamkins. Uma delas é a construtibilidade via espirógrafo [2], a qual >> também transcende a construtibilidade euclidiana (o Hamkins não >> menciona uma referência para este resultado, e eu também não >> procurei). Parece-me que um bom problema (em aberto?) para uma >> estudante de pós-graduação que queira aparecer na Quanta Magazine >> seria o de mostrar que espirógrafos também são Turing-completos. >> >> Abraços, >> Joao Marcos >> >> >> [0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics. >> MIT Press, 2021. >> [1] Geretschläger, Robert. "Euclidean constructions and the geometry >> of origami." Mathematics Magazine 68.5 (1995): 357-371. >> [2] https://pt.wikipedia.org/wiki/Espir%C3%B3grafo >> >> -- >> https://sites.google.com/site/sequiturquodlibet/ >> >> -- >> 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, >> envie um e-mail para logica-l+u...@dimap.ufrn.br. >> Para acessar esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgjDgDJH74Y-Y4YbatmO_jMzXAkNgryMVDfedWyiabUEg%40mail.gmail.com >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/261b6575-880f-495e-a6ed-f6e2d9bcc014n%40dimap.ufrn.br.
Re: [Logica-l] Re: "Funções são conjuntos"
... 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ória toda (que é "o cara estava preso, fez um acordo com o médico da cadeia pra fugir se escondendo dentro de um caixao quando a próxima pessoa morresse, aí de fato quando morreu alguém ele foi lá e se escondeu no caixao, no entanto a próxima pessoa a morrer foi o próprio médico que iria tirar ele de dentro do caixao depois, aí o cara tem um susto/ataque do coracao e morre" kkk...) Entao uma pergunta que nao encaminhe para a resposta do jogo (por exemplo, "o homem estava doente ?"), a gente responde com: irrelevante. Assim, 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: > > * O encapsulamento do código evita > que o cliente faça perguntas bobas, > > como "será que {a}∈(a,b)?" > > * > > > > ... Ao que eu responderia sorrindo, SIM !!! 8-) 8-) 8-) > > Perguntas bobas merecem respostas bobas. ;-b > > (Definição de trabalho: Chamaremos de _boba_ qualquer pergunta cuja > resposta depende da escolha de uma implementação específica. Exemplo: > "será que 0∈1?") > > []s, JM > > -- > https://sites.google.com/site/sequiturquodlibet/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/02279dc3-2f00-402e-9330-59ff58fa430bn%40dimap.ufrn.br.
[Logica-l] Re: calcular é fazer dobraduras
... 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 12:37:19 UTC+1, Joao Marcos escreveu: > > E conversando com uns amigos aqui apareceu a seguinte referência (mais > técnica) que chega > > a criar o "corpo dos números origamicos" (!!!) > > Bacana! > > Veja aí com os seus amigos se eles não produzem uma referência técnica > também sobre os números espirográficos! (ou ao menos uma referência > geral sobre a construtibilidade via espirógrafos) > > Abraços, > Joao Marcos > > > -- > https://sites.google.com/site/sequiturquodlibet/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e5930ad5-e111-419f-a402-3d77f9ad2c23n%40dimap.ufrn.br.
Re: [Logica-l] Re: "Funções são conjuntos"
* O encapsulamento do código evita que o cliente faça perguntas bobas, como "será que {a}∈(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 os teoristas de conjuntos ficamos meio viciados nisso (guilty as > charged), > > Os matemáticos poderiam aqui (e não só aqui) aprender algo, talvez, > com os cientistas da computação, que estão acostumados a implementar > novos tipos de dados, *encapsulá-los* e entregá-los para os clientes > compiladinhos, sem a possibilidade de consulta ao código original da > implementação. > > > Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é > que eu diga que > > > > (a,b) = { {a}, {a,b} } > > O encapsulamento do código evita que o cliente faça perguntas bobas, > como "será que {a}∈(a,b)?" > > Sempre me parece um tanto estranho que os clientes (nós todos!) > tenham(os) acesso aos códigos conjuntistas implementando ênuplas > ordenadas, funções, ou números naturais. > > > Mas esse tipo de pensamento "muito estrutural" ajuda a gente a fazer > contas de "rank" e ver por exemplo > > que boa parte das noçoes de Matemática "padrao" (partes, uniao, > relacoes, funcoes, pares ordenados e tal...) nao sobem muito o rank dos > objetos envolvidos, em geral 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) > > Fato. Mas para isto basta detalhes _mínimos_ sobre a dita > implementação conjuntista. (E as ditas contas só são de interesse, de > qualquer forma, para quem está comprometido com a ontologia minimal > conjuntista.) > > > PS: Sobre "a descricao extensional de uma funcao sem formula" preciso > pensar mais antes de responder > > e talvez fique devendo 8-), mas desconfio que essa questao entre mais no > que é "existência em matemática", > > enfim. Que aí a coisa da matemática construtiva vem em cheio também. > > Isto daria uma discussão deveras interessante! > > Abraços, Joao Marcos > > -- > https://sites.google.com/site/sequiturquodlibet/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/59117449-ef52-43f4-9f00-340dd81b7953n%40dimap.ufrn.br.
[Logica-l] Re: calcular é fazer dobraduras
... 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 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 "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 molhado > > me desculpem). > > > > Mas sempre achei muito interessante isso, por exemplo existe um > procedimento em origami > > que trissecta um ângulo dado (um dos três problemas clássicos de régua e > compasso que nao tem > > solucao, conforme se deduz da álgebra das extensoes de corpos - os > outros dois sao > > a quadratura do círculo e a duplicacao do cubo). > > O artigo em questão não menciona isso. Um local onde isto é > apresentado de maneira elementar e minimamente detalhada é o livro > "Lectures on the Foundations of Mathematics" [0] (um livro sobre > *fundamentos da matemática* BEM diferente dos tradicionais), do > Hamkins. Na seção 4.3 o autor explica que as construções com régua e > compasso podem ser efetuadas, equivalentemente, com o auxílio de sete > dobraduras de origami fundamentais. Se formas adicionais de dobradura > forem permitidas, pode-se ir estritamente além da construtibilidade > euclidiana [1]. Com efeito, com a adição de apenas mais uma dobradura > fundamental, é possível resolver equações cúbicas arbitrárias sobre os > números racionais (o teorema de Gauss-Wantzel mostra que isto não é > possível usando apenas régua e compasso). Como corolário, é possível > resolver assim o problema da trissecção do ângulo. > > Outras formas de construção geométrica são mencionadas no livro do > Hamkins. Uma delas é a construtibilidade via espirógrafo [2], a qual > também transcende a construtibilidade euclidiana (o Hamkins não > menciona uma referência para este resultado, e eu também não > procurei). Parece-me que um bom problema (em aberto?) para uma > estudante de pós-graduação que queira aparecer na Quanta Magazine > seria o de mostrar que espirógrafos também são Turing-completos. > > Abraços, > Joao Marcos > > > [0] Hamkins, Joel David. Lectures on the Philosophy of Mathematics. > MIT Press, 2021. > [1] Geretschläger, Robert. "Euclidean constructions and the geometry > of origami." Mathematics Magazine 68.5 (1995): 357-371. > [2] https://pt.wikipedia.org/wiki/Espir%C3%B3grafo > > -- > https://sites.google.com/site/sequiturquodlibet/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5001d991-975a-4ed1-9e5f-82e442054091n%40dimap.ufrn.br.
Re: [Logica-l] Re: "Funções são conjuntos"
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 pensamento "muito estrutural" ajuda a gente a fazer contas de "rank" e ver por exemplo que boa parte das noçoes de Matemática "padrao" (partes, uniao, relacoes, funcoes, pares ordenados e tal...) nao sobem muito o rank dos objetos envolvidos, em geral 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 responder e talvez fique devendo 8-), mas desconfio que essa questao entre mais no que é "existência em matemática", enfim. Que aí a coisa da matemática construtiva vem em cheio também. Em terça-feira, 30 de janeiro de 2024 às 21:22:23 UTC+1, juca.agudelo escreveu: > Olá, João > > On Tue, Jan 30, 2024 at 11:44 AM Joao Marcos wrote: > >> Viva, Juan! >> >> > Acho que o resultado de sua pesquisa só mostra quanto estamos >> acostumados com a formalização de funções na Teoría de Conjuntos. >> Particularmente, acho que a formalização de funções como conjuntos de pares >> ordenados é só uma codificação que funciona, mas que não mostra seu caráter >> procedimental/computacional, e que é bastante contraintuitiva. >> >> Digo mais: confundir o que a coisa *é* com uma mera *implementação* da >> coisa pode até ser perigoso! (e não raro leva a articulações >> filosóficas de má qualidade, baseadas em aspectos inteiramente >> incidentais dos objetos ou fenômenos em consideração) >> > > Minha resposta não pretende ser uma justificação filosófica sobre o que > são as funções. Só que agora que estou estudando e (acho que) começando > entender um pouco mais o que é Teoría de Tipos, e a corrente construtivista > da matemática, me sinto mais afim com essas ideias do que com a visão > platônica da matemática. Não sei exatamente qual é a definição > intuicionista de função, mas na Teoria de Tipos de Martin-Löf (e em várias > outras teorias de tipos) os objetos de tipo A -> B (o tipo de funções de A > em B) são precisamente termos do cálculo lambda que especificam algoritmos > que computam funções com domínio A e codominio B. Isso vai bem da mão com a > noção intuitiva de função. Obviamente, isso restringe bastante a noção > clássica de função. Então acho, mas não tenho os suficientes critérios para > (nem pretendo agora) justificar filosoficamente, que a noção de função > depende bastante da visão filosófica que se tenha sobre a matemática, o que > me leva a pensar que quem respondeu positivamente a sua pergunta de se > funções são conjuntos, devem ser affins a uma visão platônica da > matemática, enquanto os que responderam negativamente devem ser mais afins > a uma visão construtivista. Mas claro, isso é só o que eu acho. > > >> > Acho muito mais intuitiva a formalização de funções na Teoria de Tipos, >> onde funções são representadas por meio de termos do cálculo lambda, que >> são algoritmos que permitem nao só expresar mas também calcular funções. >> >> De acordo! Você conhece livros-textos introdutórios *sobre lógica de >> primeira ordem* que usem cálculo lambda de maneira judiciosa e >> essencial? >> > > Não conheço. Se você encontrar (ou escrever) algum, por favor me manda a > referência. > >> >> []s, Joao Marcos >> > > []s > Juan Carlos > > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c44dd11a-5e9b-48bf-a7e8-a111e56cc94bn%40dimap.ufrn.br.
[Logica-l] Re: calcular é fazer dobraduras
... 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 molhado me desculpem). Mas sempre achei muito interessante isso, por exemplo existe um procedimento em origami que trissecta um ângulo dado (um dos três problemas clássicos de régua e compasso que nao tem solucao, conforme se deduz da álgebra das extensoes de corpos - 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/ > > > JM > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b4cdbd72-0073-4af5-96eb-2cd845f85a4an%40dimap.ufrn.br.
Re: [Logica-l] Re: "Funções são conjuntos"
... 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 mesmo uma maneira canônica, "com fórmula", pra se escolher um elemento em cada conjunto da família de nao-vazios). Pro aluno que acha que "funcao tem que ter fórmula"... O Axioma da Escolha nao significa nada... Porque o que sai dele é uma funcao que 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 & \text{se $x<0$}, \\ > x^2 & \text{se $x \ge 0$} \\ > \end{cases} > $ > > Eles acham que isso é (são?) duas funções, e eles têm muita > dificuldade pra nomes pras coisas, então eles não conseguem dizer que > as duas funções são estas (que eu vou escrever sem domínios e > contradomínios por motivos de correria): > > $f_1(x) = x^3$ > > $f_2(x) = x^2$ > > Depois que a gente escreve isso fica mais ou menos claro que nós > estamos falando de pelo menos três funções, e que se os alunos não > derem nomes pra elas melhores do que chamar elas de "a função", "a > função", "a função", "a função" e "a função", muita coisa pode dar > errado... > > Um modo de decidir qual definição de função é mais "elementar" é > descobrir qual é mais acessível pra pessoas que sabem pouquíssima > matemática - ou pra um certo grupo de pessoas que sabem pouquíssima > matemática. E já que os alunos daqui têm muita dificuldade com nomes e > letras isso me leva a concluir que isso aqui é uma função "bem > elementar (pra eles)", > > {(0,0), (1,1), (2,4), (3,9)} > > desde que > > 1) a gente desenhe ela como pontinhos em R^2, > 2) a gente tenha poucos pontinhos - se tiver infinitos ferrou tudo, > 3) a gente só use números inteiros pequenos e fáceis de desenhar... > > Desculpem o rant antropológico - e nos itens 2 e 3 eu tava pensando em > como construir outras funções "bem elementares" e em como medir a > elementaridade de funções, nesse sentido de "elementar pra esses > alunos no início do curso"... > > [[]], > Eduardo Ochs > > On Mon, 29 Jan 2024 at 11:49, Juan Carlos Agudelo Agudelo > wrote: > > > > Olá, João > > > > Acho que o resultado de sua pesquisa só mostra quanto estamos > acostumados com a formalização de funções na Teoría de Conjuntos. > Particularmente, acho que a formalização de funções como conjuntos de pares > ordenados é só uma codificação que funciona, mas que não mostra seu caráter > procedimental/computacional, e que é bastante contraintuitiva. Acho muito > mais intuitiva a formalização de funções na Teoria de Tipos, onde funções > são representadas por meio de termos do cálculo lambda, que são algoritmos > que permitem nao só expresar mas também calcular funções. > > > > Abs, > > Juan Carlos > > > > > > On Sun, Jan 28, 2024 at 5:48 AM Joao Marcos wrote: > >> > >> E o vencedor é... > >> > >> On Wed, Jan 24, 2024, 17:08 Joao Marcos wrote: > >>> > >>> O que vocês pensam desta asserção? Podem registrar suas opiniões aqui: > >>> > https://twitter.com/antitheorem/status/1750241375164014824?t=tIUhYdS_2OGHUOCPOT_aSQ=19 > >>> > >>> JM > >> > >> -- > >> LOGICA-L > >> Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > >> --- > >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. > >> Para acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiBq60CC-KEsMgCdtHBv3k7LpxSXVoJN9yk3iwzSrHdHg%40mail.gmail.com > . > > > > -- > > LOGICA-L > > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > > --- > > Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. > > Para acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSpfpTKYNo9Ef5WSoPd5Jzfmq-tBfdmdFkoA%3D0O2F6M_4A%40mail.gmail.com > . > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ad90d175-596e-44d7-b2ce-56f8c1001eedn%40dimap.ufrn.br.
[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
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, Bahia, 19 a 23 de fevereiro próximos) + II Encontro USP UFBA de Lógica e Fundamentos de Matemática (mesmo local, 21 a 23 de fevereiro próximos). ---> as atividades começarao na segunda dia 19/02 pela manha, no Auditório Maria José Zezé de Andrade (Instituto de Matemática e Estatística da UFBA). ---> a programacao e os palestrantes vem sendo atualizados na página do Grupo de Lógica da UFBA, em https://sites.google.com/view/semanatematicalogica2024/p%C3%A1gina-inicial --> um espelho das atividades especìficas do II Encontro USP UFBA (que ocorrerao a partir da quarta dia 21/02, como satélite da Semana Temática) será colocado numa página da USP, a ser divulgada em breve. ---> o evento NAO TEM INSCRICAO FORMAL, e, como é praxe nas atividades das Semanas Temáticas de Lógica na UFBA durante os veroes, os certificados serao feitos a partir de listas de presenca e de apresentacao de trabalhos. Ou seja, todos sao muito bem vindos em participar !!! --> Sempre que possivel, e já tradicionalmente, damos o espaco para a apresentacao de trabalhos de estudantes. Para este ano, a diretriz da Comissao Organizadora é: trabalhos de pesquisa nao originais (i.e., apresentacao de resultados já conhecidos na literatura que o aluno estudou) devem ser submetidos como poster, enquanto que a apresentacao de trabalhos de pesquisas originais de estudantes poderao ser orais e com 30 minutos de duracao (incluindo o tempo de perguntas). --> Em qualquer caso, o resumo da apresentacao deve ser encaminhado para o email do grupo de pesquisa da UFBA, math.logic.u...@gmail.com, indicando se a submissao é para poster ou para apresentacao oral. --> A data limite para o envio de resumos é 05 de fevereiro. --> Já foi encerrada a chamada para auxìlio da SBL (02 apoios de 500 reais cada), os contemplados serao contatados até a primeira metade da semana que vem com mais instrucoes. Adiantamos que, como é praxe para apoios da Sociedade Brasileira de Lógica, o pagamento somente é realizado quando o estudante comparecer presencialmente 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 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/16154538-a162-49c9-91d1-db6c00d71324n%40dimap.ufrn.br.
[Logica-l] Re: Vem aí os Seminários de Orientação extra-Lógica (SOL)
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 resolver e como encontrá-los? 16/03/2024 (sáb.) - 9:00 - 11:00 (Seminário) Ingressando numa pós - 13:00 - 15:00 (Seminário) Preparando e sobrevivendo a uma apresentação - 16:00 - 18:00 (Mesa redonda) Problemas de demarcação: Eu faço Lógica? Em segunda-feira, 15 de janeiro de 2024 às 21:28:28 UTC+1, mendeslo...@gmail.com escreveu: > Como já anunciado no Boletim VII-2 da SBL, acontecerá nos dias 15 e 16 de > março de modo virtual os Seminários de Orientação extra-Lógica (SOL), > evento parte do 3º Dia Carol Blasio por Diversidade na Lógica. > > Este será um evento voltado a estudantes ou pessoas interessadas em > estudar Lógica para conversarmos sobre aspectos da vida acadêmica que > geralmente não fazem parte de ementas de disciplinas ou de cursos. > > As inscrições abrirão em breve e, mais informações, podem ser encontradas > em > > Site: https://sologica.weebly.com/ > > Instagram: sol_logica <https://www.instagram.com/sol_logica/> > > Twitter: sol_logica <https://twitter.com/sol_logica> > > > João Mendes > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/92bf3f7a-19b7-4589-8367-70ef448ed3e4n%40dimap.ufrn.br.
Re: [Logica-l] a lógica /n|d/+as aulas de matemática
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 semestre dois cursos chamados de Fundamentos, Fundamentos I é um pré-cálculo (revisao de funcoes) mas também faz lógica proposicional (e aqui que vai ser a experiência), E Fundamentos II é geometria axiomática (esse que eu ministro mais). E nesse curso de Fundamentos II se supoe que os alunos comecem a ver demonstracoes pela primeira vez na vida (e eu digo a vocês, é um trauma pra eles, principalmente porque é disciplina pra calouros, o choque é táo grande que o colegiado do curso aqui já está decidindo colocar essa disciplina no segunda semestre). Pois bem, como eu uso principalmente as tautologias que eles vêem em Fundamentos I para aprender a fazer demonstracoes em Fundamentos II ? Como tautologias "sempre sao verdade", a gente vende com "verdades lógicas" ou "regras" que os alunos podem seguir na hora de fazer demonstracoes. Exemplos: (1) Se o aluno tem que fazer uma demonstracao do tipo "A ou B" (ou, o que essencialmente é a mesma coisa, mostrar que um conjunto X está contido numa uniao Y unido Z), a gente lembra pra eles que "p ou q"é tautologicamente equivalente a "(nao p) implica q" (tentando dar exemplos que justifiquem intuitivamente isso também...) logo, se o aluno quer mostrar "A ou B" ele pode usar a estratégia de mostrar "(nao A) implica B" (o que na prática matemática normalmente se redige assim: Se ocorre A, ótimo, entao para efeito de argumento vamos supor que nao ocorre A e mostrar que ocorre B...) ou para mostrar que X está contido na uniao de Y e Z, fazemos "tome x em X, se x está em Y ótimo, entao para efeito de argumento vamos supor que x nao está em Y e mostrar que está em Z" Esse tipo de coisa, usar uma tautologia pra justificar uma técnica de demonstracao, é algo que eu pelo menos sempre fiz, e acho que funciona (ou que pelo menos ajuda). Claro que está dentro do "uso mais ou menos relaxado de Lógica" ao qual você se referiu na sua mensagem inicial. Isso de "assumir que o primeiro é falso para provar o segundo", é uma idéia mais ou menos sofisticada para o aluno ingressante de matemática, entao é algo que a gente, professor, tem que efetivamente mostrar pra ele que é assim que normalmente se faz, e a existência da tautologia entra pra ajudar na justificativa e até mesmo para o efeito mnemônico ("lembre-se sempre da tautologia 'p ou q equivalente a (nao p) implica q' ..."). (2) Mais ou menos com mesmas idéias do meu exemplo anterior, a equivalencia entre a implicacao e sua contrapositiva na tabela de verdade ajuda a introduzir a técnica indireta de prova por contraposicao. (3) As equivalências relativas às Leis de De Morgan ajudam a ensinar o aluno a negar proposicoes com "ou" e com "e". Normalmente os alunos chegam sem saber negar esse tipo de frase. (4) Distributividade do "ou" com relacao ao "e", distributividade 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 justificar/introduzir provas por absurdo pelo menos eu sou mais "chique" e falo em "terceiro excluído" e "náo contradicao", já é um pouquinho melhor, hehe... Também sempre observo que "a Lógica que estamos usado é a Lógica Clássica, existem outras Lógicas"... (mas isso só como comentário mesmo, pra calouros nao dá pra imaginar falar muito mais, eu pelo menos acho isso). Em sexta-feira, 29 de dezembro de 2023 às 01:29:36 UTC+1, carniell escreveu: > Oi João: > > Vou tentar esclarecer melhor. > Acho que esse esforço por parte dos professores tinha a ver com o > movimento da chamada "Matemática Moderna", que era basicamente o apoio > de tudo na teoria elementar de conjuntos. > Vou tentar esclarecer o que se fazia, na direção do que você apontou como > (1). > > Muitos enunciados em geometria, que era o que mais tínhamos de > "matemática", são do tipo: > "Para todo coiso em um certo conjunto, se o coiso tem uma > propriedade X, então ele tem uma propriedade Y." > > A partir desse entendimento, que não envolve apenas tabelas-verdade > mas também quantificação mínima, uma prova seria: > > Suponha que x seja um coiso particular, mas genérico, que tem a > propriedade X. Então basta mostrar que o elemento tem também a > propriedade Y. > Por ex
[Logica-l] Concurso na UFBA - Possibilidades em Lógica Matemática
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 para portadores de títulos de Doutorado em Filosofia cuja tese tenha sido em Lógica Matemática. (Infelizmente nao vale o mesmo para Doutores em Computaçao !) As provas sao: Escrita, Didática, Títulos e Defesa de Memorial. Como sao concursos gerais de Matemática, a prova escrita é sobre tópico (sorteado de uma lista) de matemática, de nível de cursos de mestrado em matemática. As inscricoes vao até 16 de fevereiro. O edital com todas as regras e detalhes está disponível em https://concursos.ufba.br/sites/concursos.ufba.br/files/docentes/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 "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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/43155cdb-602c-4d5e-8fe3-57fa91434aa3n%40dimap.ufrn.br.
[Logica-l] Eventos em Barcelona e Coimbra (Inìcio de Julho 2024) - TACL + Summer Conference on Topology
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 Conference on Topology and its Applications Coimbra 08-12 Julho 2024 (com sessoes especiais, entre outras, em: Set Theoretic Topology, Topology and Categories, Topology in Logic and Computer Science, Topology and Order) Site da conferência: https://www.mat.uc.pt/~sumtopo/ ... Mais detalhes 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 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d9da3d79-e0bc-42ae-bc0e-5920c74b9596n%40dimap.ufrn.br.
[Logica-l] Auxílios para participação de estudantes no II Encontro USP UFBA de Lógica e Fundamentos/Semana Temática de Lógica da UFBA (Verão 2024)
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) para estudantes, para participação no II Encontro USP-UFBA de Lógica e Fundamentos, que vai acontecer junto à Semana Temática de Lógica, Conjuntos e Topologia que se realizará entre os dias 19 e 23 de fevereiro de 2024, no Instituto de Matemática e Estatística da Universidade Federal da Bahia, Campus Ondina, Salvador, Bahia. A Semana Temática de Lógica ocorrerá durante toda a semana de 19 a 23 de Fevereiro, sendo o II Encontro USP-UFBA realizado entre os dias 21 a 23 de Fevereiro. Auxílios ofertados: - 02 auxílios de R$ 500. Período de inscrição: - de 15 de dezembro de 2023 a 15 de janeiro de 2024. Requisitos pra candidatura: As vagas estão abertas para qualquer estudante de graduação e pós-graduação em Lógica ou área afim de alguma Universidade do Brasil, que atenda aos seguintes requisitos: - seja membro da SBL com anualidade 2024 paga; e - seja regularmente inscrito em algum programa de graduação ou pós-graduação em alguma Universidade no Brasil. Responsabilidades da/o bolsista: - participar *presencialmente* no II Encontro UFBA-USP de Lógica e Fundamentos/Semana Temática de Lógica, Conjuntos e Topologia da UFBA, entre os dias 19 e 23 de fevereiro de 2024 (serão consideradas submissões de estudantes que só possam participar a partir do dia 21 de fevereiro); e - apresentar o próprio trabalho de pesquisa em um dos dois eventos (ou na modalidade poster ou na modalidade de comunicação oral) Critérios de avaliação: serão considerados, em ordem de prioridade, 1) Afinidade do trabalho a ser apresentado com as áreas de Lógica, Teoria dos Conjuntos, Topologia, Fundamentos da Matemática, Lógica Filosófica e Lógica para Computação; e 2) Existência de outro financiamento para participar no evento. Inscrição: Para a inscrição é suficiente responder as perguntas do formulário no endereço: https://forms.gle/WyWPZCfLFqugi4NF9 Perguntas e dúvidas podem ser encaminhadas para o endereço math.logic.u...@gmail.com Para participar da seleção, antes do encerramento do período de inscrição, os candidatos deverão enviar para o mesmo endereço de email ( math.logic.u...@gmail.com ) o comprovante de pagamento da anuidade 2024 na SBL. Notar que o pagamento da anuidade de 2024 deve ser realizado em 2024. Atenciosamente, A Comissão Organizadora -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1462596319.4606804.1702628631534.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] sobre os fundamentos da matemática
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 iniciando com Paradoxo de Russel), Ou seja, mesmo com o trabalho hercúleo dos séculos XIX e XX, Tem que ter um pessoal de plantão na área de Fundamentos para debater os novos problemas que aparecem. Porque vão aparecer... Inclusive, se Paulson está aí ligado aos theorem-provers, nossa 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, 11:57 Frode Bjørdal wrote: > >> Who is the author? >> >> The commentary had several interesting observations, and a good one was >> expressed by the last sentence: "I give up!" >> >> I consider it to be a sociological text, and there are so many research >> programs on the Foundations of Mathematics that one cannot justify many of >> the sweeping statements which the author makes. >> >> >> Frode Alfson Bjørdal >> >> On Fri, Nov 3, 2023 at 10:03 PM Joao Marcos wrote: >> >>> O que acham os colegas disto? >>> >>> What do we mean by "the foundations of mathematics"? >>> https://lawrencecpaulson.github.io/2023/11/01/Foundations.html >>> "The world has moved on. People no longer worry about the issues that >>> were critical in the 19th century: the role of the real numbers, the >>> role of infinity, the status of infinitesimals, the very consistency >>> of mathematics. And the reason is simple: because Herculean work in >>> the 19th and 20th centuries largely banished those issues from our >>> minds." >>> >>> >>> JM >>> >>> -- >>> 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, >>> envie um e-mail para logica-l+u...@dimap.ufrn.br. >>> Para acessar esta discussão na web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljiw9HNqX3EUjo_e4wEVSCGEYGGc%3D_wC5D6QE0mGFiRKA%40mail.gmail.com >>> . >>> >> -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/283c6157-662e-48a0-958b-c3f449b36fb1n%40dimap.ufrn.br.
[Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy
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 prova muito bonita usando uma técnica de pontos fixos. https://www.youtube.com/watch?v=SpM3jQP7cg4 https://www.youtube.com/watch?v=oumofKO5oXM Na primeira parte eu explico também o papel que esse teorema tem no forcing (faz parte do caminho usado para obter um modelo transitivo enumerá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 "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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/35e3db74-647b-4152-a441-1d8ba6d872b7n%40dimap.ufrn.br.
Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica
Olá Obrigado pelos comentários! E pela referência principalmente. Este fio de mensagens ficou bem interessante, obrigado a todos de novo. Em tempo: eu agradeci a Lídia pela palestra mas esqueci de agradecer a Gisele e ao Encontro Brasileiro de Filosofas Analíticas pela organização da mesa, 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] Mesa de Filosofia da lógica: Consequência lógica Bom dia para tod@s, Acho que de fato o "axioma do vazio" (existe o conjunto vazio) não é necessário em ZF, por conta de que a lógica clássica pressupõe domínios não vacios. O que fica evidente na definição de modelo, onde se exige que os domínios dos modelos sejam não vazios, e levando em consideração que ZF é uma teoria pura (como já falaram anteriormente), qualquer domínio de interpretação deve ter pelo menos um conjunto, e pelo axioma de separação A dedução do axioma do vazio pode se obter particularizando sobre o axioma de separação, usando qualquer variável (que representa um conjunto arbitrário) e usando uma fórmula contraditória (por exemplo P(x) := x \neq x). No livro do Mendelson ("Introduction to Mathematica Logic", 5ed, 2010), a sessão 2.16 fala sobre "Quantification Theory Allowing Empty Domains". Acho que essa sessão pode ser de interesse para o que se está discutindo aqui. Abraços, Juan Carlos On Mon, Oct 9, 2023 at 1:47 PM 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Obrigado Henrique, obrigado Daniel, > > Achei legal isso de "teoria impura" (!!!), vou pensar depois com calma. > > Obrigado mesmo ! > > Pelo visto a observação do aluno tem sim "alguma graça", hehe. > > Abraços > > []s Samuel > > ------ > *De: *"Daniel Durante" > *Para: *"Walter Carnielli" > *Cc: *"samuel" , "Lista Lógica" , > "Joao Marcos" > *Enviadas: *Segunda-feira, 9 de outubro de 2023 15:38:01 > *Assunto: *Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica > > Fala Samuel, Walter e Henrique, > > O estudante é criativo ,mas está enganado: una das leis da Igualdade diz > que "qualquer coisa é igual a si própria", mas não diz que existe algo. > > > É Walter, mas se esta lei da igualdade está na lógica clássica, então tem > uma prova de duas linhas do argumento > > Vx(x=x) |– Ex(x=x) > > Aliás, na lógica clássica em geral vale: > > (1) |-VxPx => |-ExPx > > Ou seja, na lógica clássica, se uma dada propriedade 'P' vale para > qualquer um, então existe alguém que a instancia. > > Aí, então, eu acho que o estudante está certo em dispensar o axioma, desde > que aceite a lógica clássica. > > Mas o que eu acho mais interessante ainda que isso é pensar no contrário. > Será que tem algum teorema existencial que não é universal na lógica > clássica? Será que vale: > > (2) |-ExPx => |-VxPx > > Na lógica clássica, “infelizmente”, (2) não vale. Existem teoremas > clássicos existenciais cujas contrapartes universais não são teoremas > clássicos. E digo infelizmente porque eu acho isso é MUITO estranho. > > Não deveria ser papel da lógica postular a existência de coisas > específicas. Esse, me parece, é um papel das teorias, não das lógicas. A > teoria de conjuntos (ou qualquer outra teoria), me parece, pode postular a > existência de alguma coisa que seja diferente de todas as outras. (Existe o > conjunto vazio, existem unicórnios,...). Mas se alguma lógica faz isso, me > parece que ela está extrapolando seu papel. A lógica deveria cuidar do que > é comum a todos, do que é universal. > > É como se a lógica clássica fosse meio elitista, preconceituosa, como se > ela discriminasse os indivíduos. > > A lógica intuicionista, por exemplo, não é assim elitista. Nela vale (2). > Todo teorema existencial é também universal. Não existe discriminação > intuicionista entre os indivíduos, só discriminação clássica. > > Então, todos os exemplos de teoremas existenciais ExP(x) tais que a > contraparte universal VxP(x) não é teorema, são aqueles casos estranhos (e > duvidosos ?) de teoremas clássicos que não são teoremas intuicionistas. > > Aqui um exemplo que o João Marcos me mostrou certa vez: > > (3) Ex(P(x) -> VyP(y)) > > (4) Vx(P(x) -> VyP(y)) > > (3) é teorema clássico, mas (4) não é. > > Só que (3) não é teorema intuicionista. Então (3) não é nada mais que um > modo estranho de afirmar o princípio do terceiro excluído. > > Enfim, voltando para a questão do Samu
Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica
Oi Henrique, Obrigado. Esse predicado Sx que diz que x é conjunto, me parece algo mais de teoria de classes não ? Em que os objetos formalmente são classes e "alguns" objetos são conjuntos (os mais cuidadosamente construídos, digamos). Sim, ajudou no sentido de bagunçar mais, hehe, é 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" dado que empurra toda a discussão pra baixo do tapete. - Mensagem original - De: "Henrique Antunes" Para: "samuel" Cc: "LOGICA-L" , "Joao Marcos" Enviadas: Segunda-feira, 9 de outubro de 2023 14:31:23 Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica Oi, Samuel e colegas A minha impressão é que o aluno tinha razão, mas com as seguintes qualificações: a teoria de conjuntos em questão tem de ser pura e inclusiva, ou seja, não permitir domínios vazios. Agora, se a teoria for impura, então o fato de Ex(x = x) ser um teorema clássico não garante a existência do vazio, já que o objeto em questão pode não ser um conjunto. Na apresentação do Suppes, por exemplo, ele toma o predicado Sx, para "x é um conjunto", como primitivo. Nesse caso, o axioma ExSx, "existe um conjunto", é necessário para provar a existência do conjunto vazio a partir do axioma da separação, já que alguns quantificadores que ocorrem nos demais axiomas são condicionalizados ao predicado S. Por exemplo, o axioma da separação é formulado assim: (z){ Sz -> (Ey)[ Sy & (x)(x \in y <-> (x \in z & A(x)) ] } (Mas o Suppes usa variáveis diferentes para conjuntos para abreviar). Espero ter ajudado mais do que bagunçado. Abraços, -- Henrique Antunes On Mon, Oct 09, 2023 at 09:57:04AM -0700, 'samuel' via LOGICA-L wrote: > 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 Conjuntos, em muitos livros, é o Axioma do > Vazio: > > "Existe x tal que para todo y, y não pertence a x" > > (que depois é provado ser o único nessas condições pelo Axioma da Separação). > > Pois bem: no livro do Kunen dos anos 80 (referência clássica em conjuntos), o > primeiro axioma > é um "axioma de existência de conjuntos": > > "Existe x tal que x = x" > > (como qualquer coisa é igual a si mesmo, o axioma essencialmente diz que > existe > uma "qualquer coisa" pra ser igual a si mesma). > > Dada a existência de um conjunto, dada pelo axioma acima, e o Axioma de > Separação, obtemos o conjunto vazio separando, > nesse x que foi dito existir digamos, o subconjunto > > y = {z pertencente a x | z é diferente de z } > > e aí esse y não tem elementos (dado que nenhum z satisfaz o pedido) e por > unicidade (dada por Separação) ele é o vazio, OK. > > Em resumo, pelo que vocês vêm acima, na presença do Axioma de Separação, dizer > que "existe um conjunto qualquer" > ou que "existe um conjunto vazio" dá na mesma, seriam axiomáticas > equivalentes. > > ... Mas aí vem a pegadinha. > > Numa banca de mestrado que participei, o aluno "se recusou" a aceitar o axioma > do Kunen, "Existe x tal que x = x", > com o seguinte argumento: > > ---> Essa asserção segue de um axioma lógico sobre igualdade, que é "Para todo > x, x = x", logo, se ela > segue de um axioma, essa asserção é um teorema e não deveria ser um outro > axioma. > > ... Touché ! Dizer o quê pro aluno numa situação dessas ??? > > Depois de matutar um pouco a questão toda (pelo menos até onde eu vejo) é: ao > tratarmos de uma teoria, > NÓS TEMOS QUE PRESSUPOR QUE O DOMÍNIO DE DISCURSO É NÃO-VAZIO ? > > Porque se o domínio de discurso é não-vazio para a Teoria dos Conjuntos, de > fato, para todo x deveríamos > ter x = x, então em particular existe x tal que x = x. Seria então um teorema, > não axioma. > > Ao ver essa apresentação da Lidia, e uma apresentação que o Henrique Antunes > fez pra nós aqui na Matemática da UFBA, > > Foi apresentada essa diferença entre a Lógica clássica e a lógica livre, no > qual, resumidamente > > ---> Na lógica clássica os termos se referem a coisas que são supostas > existentes > > ---> Na lógica livre isso não vale necessariamente, então podemos falar de > Pégaso e de outros
Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica
... interessante que esse axioma não aparece em outras teorias né... Bom, talvez em outras teorias coloquem "disfarçado" nas definições. Em alguns casos a teoria pressupõe de saída a existência de alguns elementos (elemento neutro em grupos, vetor nulo em espaços vetoriais... e aí os casos triviais só tem esses caras mesmo). De vez em quando, em certas referências, pra se definir espaço métrico se diz que o conjunto M de suporte é não-vazio. OK, mas lá na frente se fala que a intersecção de subconjuntos convexos tem que ser convexo, e tem que se olhar para o subespaço vazio pra que a coisa não desabe logicamente né, no caso da intersecção de convexos disjuntos... Elucubrações, enfim. De alguma forma "prática" eu acho que, pelo menos em Matemática, se assume sempre que o universo de discurso é não-vazio, eu só não sei se sempre há o cuidado de 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: Segunda-feira, 9 de outubro de 2023 14:10:00 Assunto: Re: [Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica Ola Samuel, O estudante é criativo ,mas está enganado: una das leis da Igualdade diz que "qualquer coisa é igual a si própria", mas não diz que existe algo. O axioma de Kunen assevera a existência. Abs, W. Em seg., 9 de out. de 2023 13:57, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br > escreveu: 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 Conjuntos, em muitos livros, é o Axioma do Vazio: "Existe x tal que para todo y, y não pertence a x" (que depois é provado ser o único nessas condições pelo Axioma da Separação). Pois bem: no livro do Kunen dos anos 80 (referência clássica em conjuntos), o primeiro axioma é um "axioma de existência de conjuntos": "Existe x tal que x = x" (como qualquer coisa é igual a si mesmo, o axioma essencialmente diz que existe uma "qualquer coisa" pra ser igual a si mesma). Dada a existência de um conjunto, dada pelo axioma acima, e o Axioma de Separação, obtemos o conjunto vazio separando, nesse x que foi dito existir digamos, o subconjunto y = {z pertencente a x | z é diferente de z } e aí esse y não tem elementos (dado que nenhum z satisfaz o pedido) e por unicidade (dada por Separação) ele é o vazio, OK. Em resumo, pelo que vocês vêm acima, na presença do Axioma de Separação, dizer que "existe um conjunto qualquer" ou que "existe um conjunto vazio" dá na mesma, seriam axiomáticas equivalentes. ... Mas aí vem a pegadinha. Numa banca de mestrado que participei, o aluno "se recusou" a aceitar o axioma do Kunen, "Existe x tal que x = x", com o seguinte argumento: ---> Essa asserção segue de um axioma lógico sobre igualdade, que é "Para todo x, x = x", logo, se ela segue de um axioma, essa asserção é um teorema e não deveria ser um outro axioma. ... Touché ! Dizer o quê pro aluno numa situação dessas ??? Depois de matutar um pouco a questão toda (pelo menos até onde eu vejo) é: ao tratarmos de uma teoria, NÓS TEMOS QUE PRESSUPOR QUE O DOMÍNIO DE DISCURSO É NÃO-VAZIO ? Porque se o domínio de discurso é não-vazio para a Teoria dos Conjuntos, de fato, para todo x deveríamos ter x = x, então em particular existe x tal que x = x. Seria então um teorema, não axioma. Ao ver essa apresentação da Lidia, e uma apresentação que o Henrique Antunes fez pra nós aqui na Matemática da UFBA, Foi apresentada essa diferença entre a Lógica clássica e a lógica livre, no qual, resumidamente ---> Na lógica clássica os termos se referem a coisas que são supostas existentes ---> Na lógica livre isso não vale necessariamente, então podemos falar de Pégaso e de outros entes imaginários... Então eu penso, ok, na lógica classe os termos se referem a coisas que existem. Mas - antes disso (de definir o que os termos fazem) nós teríamos que decidir se existem coisas para que os termos possam se referir a elas, não ? Seria uma espécie de discussão anterior ao papel dos termos, eles têm coisas existentes pra denotar ? Então eu perguntei pra Lidia que estava apresentando sobre isso e deu pra ver que ela pressupõe que o universo de discurso é não-vazio, E no livro do Kunen tem alguns momentos lá na frente que ele fala que "na prática" tem que se supor que o universo de discurso é não-vazio (posso achar a página exata se alguém pedir), Então mi
[Logica-l] Re: Mesa de Filosofia da lógica: Consequência lógica
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 Conjuntos, em muitos livros, é o Axioma do Vazio: "Existe x tal que para todo y, y não pertence a x" (que depois é provado ser o único nessas condições pelo Axioma da Separação). Pois bem: no livro do Kunen dos anos 80 (referência clássica em conjuntos), o primeiro axioma é um "axioma de existência de conjuntos": "Existe x tal que x = x" (como qualquer coisa é igual a si mesmo, o axioma essencialmente diz que existe uma "qualquer coisa" pra ser igual a si mesma). Dada a existência de um conjunto, dada pelo axioma acima, e o Axioma de Separação, obtemos o conjunto vazio separando, nesse x que foi dito existir digamos, o subconjunto y = {z pertencente a x | z é diferente de z } e aí esse y não tem elementos (dado que nenhum z satisfaz o pedido) e por unicidade (dada por Separação) ele é o vazio, OK. Em resumo, pelo que vocês vêm acima, na presença do Axioma de Separação, dizer que "existe um conjunto qualquer" ou que "existe um conjunto vazio" dá na mesma, seriam axiomáticas equivalentes. ... Mas aí vem a pegadinha. Numa banca de mestrado que participei, o aluno "se recusou" a aceitar o axioma do Kunen, "Existe x tal que x = x", com o seguinte argumento: ---> Essa asserção segue de um axioma lógico sobre igualdade, que é "Para todo x, x = x", logo, se ela segue de um axioma, essa asserção é um teorema e não deveria ser um outro axioma. ... Touché ! Dizer o quê pro aluno numa situação dessas ??? Depois de matutar um pouco a questão toda (pelo menos até onde eu vejo) é: ao tratarmos de uma teoria, NÓS TEMOS QUE PRESSUPOR QUE O DOMÍNIO DE DISCURSO É NÃO-VAZIO ? Porque se o domínio de discurso é não-vazio para a Teoria dos Conjuntos, de fato, para todo x deveríamos ter x = x, então em particular existe x tal que x = x. Seria então um teorema, não axioma. Ao ver essa apresentação da Lidia, e uma apresentação que o Henrique Antunes fez pra nós aqui na Matemática da UFBA, Foi apresentada essa diferença entre a Lógica clássica e a lógica livre, no qual, resumidamente ---> Na lógica clássica os termos se referem a coisas que são supostas existentes ---> Na lógica livre isso não vale necessariamente, então podemos falar de Pégaso e de outros entes imaginários... Então eu penso, ok, na lógica classe os termos se referem a coisas que existem. Mas - antes disso (de definir o que os termos fazem) nós teríamos que decidir se existem coisas para que os termos possam se referir a elas, não ? Seria uma espécie de discussão anterior ao papel dos termos, eles têm coisas existentes pra denotar ? Então eu perguntei pra Lidia que estava apresentando sobre isso e deu pra ver que ela pressupõe que o universo de discurso é não-vazio, E no livro do Kunen tem alguns momentos lá na frente que ele fala que "na prática" tem que se supor que o universo de discurso é não-vazio (posso achar a página exata se alguém pedir), Então minha dúvida é essa: ainda em oposição à lógica livre talvez, Numa apresentação de uma teoria em lógica clássica, Devemos, ou é preferível, ou é saudável, ou é do gosto pessoal de cada um, -> Supor que o domínio de discurso é não-vazio ? Se sim, então o axioma "Existe 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 sua apresentação e por ter dado essa oportunidade para uma discussão. []s Samuel Em quarta-feira, 4 de outubro de 2023 às 14:50:01 UTC-3, Joao Marcos escreveu: > Mesa-redonda imperdível nesta 5a-feira, 05/10, às 19:00, transmitida pelo > excelente canal do Núcleo de Lógica e Filosofia Analítica da UFMA: > https://www.youtube.com/live/rcRVKwJPmsk?si=VKK8nkCjLm5dGWmS > > Em sua segunda iteração, o Encontro Brasileiro de Filósofas Analíticas > continua sua missão de abrir um espaço de diálogo para que pesquisadoras, > em fase inicial ou intermediária de pesquisa, de todas as regiões do país, > se conheçam, compartilhem suas pesquisas e formem uma rede de apoio que > estimule cada vez mais a presença e permanência de mulheres na Filosofia > Analítica, em suas mais diferentes ramificações. > > Na mesa de quinta-feira (05/10/23) teremos uma discussão de temas em > filosofia da lógica com a Profa. Gisele Secco (UFSM) mediando as seguintes > comunicações: > - “Referência, Autorreferência e Circularidade” por Fernanda Birolli (
[Logica-l] Nova live sobre Conjuntos e Matemática
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á 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6df61c8f-b140-44e5-8d0f-7af75fee44c5n%40dimap.ufrn.br.
[Logica-l] Re: ao
Oi gente, Sim, mesmo que o matemático establishment faça aquela escolha sobre "estar"/"pode ser"/"deve ser" do prefácio do Enderton, pra a maioria isso é só um xiszinho numa resposta que ele não está interessado na pergunta, é isso mesmo. Acho que eu falei isso 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, 08 Aug 2023 09:45:55 -0300 (BRT) Assunto: Re: ao Ah! Faltou dizer que uma boa crônica não só ajuda a gente a entender o mundo, como talvez até a melhorá-lo. ?? Em terça-feira, 8 de agosto de 2023 às 09:27:07 UTC-3, Daniel Durante escreveu: > Concordo com você, Julio. Os lógicos e o pessoal dos fundamentos não são > legisladores e nem juízes da matemática. São apenas cronistas. > > Saudações, > Daniel. > > Em terça-feira, 8 de agosto de 2023 às 07:54:10 UTC-3, jmstern escreveu: > >> > "Todo matemático, em geral, escolhe uma das seguintes alternativas: >> > A matemática está inteiramente internalizada na Teoria dos Conjuntos; >> > A matemática pode ser inteiramente internalizada na Teoria dos >> Conjuntos; >> > A matemática deve ser inteiramente internalizada na Teoria dos >> Conjuntos" >> >> Car(a/o)s: >> Permitam-me apresenta uma visao alternativa: >> >> -- A maioria dos matematicos, simplesmente Nao esta interessada nesta >> questao. >> Esta questao eh pertinente para -- Fundamentos da Matematica -- , >> uma Area Especifica muito interessante, para uma minoria que gosta do >> assunto, >> mas provavelmente desnecessaria para o trabalho da maioria dos >> matematicos. >> >> Reproduzo a seguir um pequeno trecho do artigo: >> >> Julio Michael Stern (2020). Prof. Carlos Edgard Harle: Boas Lembranças e >> Sábias Lições. Revista Matematica Universitária, 2020, 2, 56-61. >> <https://www.ime.usp.br/~jmstern/wp-content/uploads/2020/12/Ste20RMU.pdf> >> doi: 10.21711/26755254/rmu202025 >> <https://doi.org/10.21711/26755254/rmu202025> >> >> >> >> 2.3. [Terceira Licao:] >> Em engenharia, a construção de uma casa começa pelo trabalho nos >> fundamentos. >> Em matemática, os fundamentos são feitos no final, para suportar a casa >> que já temos! >> >> Enquanto fazia meu mestrado, tive notícia de uma suposta prova topológica >> de inconsistência de ZFC (a teoria de conjuntos de Zermelo–Fraenkel >> acrescida pelo Axioma da Escolha), uma ferramenta padrão de fundamentos da >> matemática. Lá fui eu, muito preocupado, conversar a respeito com meu >> orientador. >> O Harle logo me tranquilizou, explicando que, verdadeira ou não, a >> notícia pouco impacto teria sobre nosso trabalho em geometria [Lorentziana/ >> Riemanniana]. >> Para o Harle, o papel da geometria seria o de tratar racional e >> sistematicamente uma classe de problemas que se nos apresentam no mundo em >> que vivemos; situação semelhante à de outras disciplinas científicas ou >> especialidades da matemática. >> >> Na visão do Harle, o papel da área de fundamentos seria o de prover uma >> base comum que atendesse às necessidades de um programa avançado e >> abrangente de axiomatização de todas estas disciplinas. >> Tal programa seria altamente meritório; todavia, eu deveria ter sempre em >> mente a terceira lição, como acima enunciada. >> >> Muito mais tarde na vida, encontrei uma perspectiva (em minha visão) >> semelhante, na citação seguinte atribuída a Kurt Gödel, vide Mehlberg >> (1962, p.86), Lakatos(1978, p.27) e Stern (2011, p.645-647). Mais uma vez, >> esta lição, que aprendi com o Harle, sobre o papel que cabe em ciências >> exatas a seus fundamentos axiomáticos, veio a influenciar >> significativamente meu trabalho futuro. >> >> [...] o papel das assim chamadas ‘fundações’ é comparável à função >> exercida, nas teorias físicas, por hipóteses explicativas. [...] A real >> função dos axiomas é a de explicar os fenômenos descritos pelos teoremas >> deste sistema, e não o de prover uma genuína ‘fundação’ para estes >> teoremas. (Kurt Gödel) >> >> -- >> >> No artigo seguinte, faco uma analise mais detalhada desta (minha?) visao >> "empiricista" da matematica: >> >> Julio Michael Stern (2011). Constructive Verification, Empirical >> Ind
[Logica-l] Re: ao
Caros, A mensagem do Cassiano eu preciso digerir mais, hehe, Daniel, sua analogia com "geometria é álgebra" é pertinente sim, E na verdade me lembrou do prefácio de um excelente livro de graduação de Teoria dos Conjuntos, o do Enderton: se não me falha a memória, vai na seguinte linha: "Todo matemático, em geral, escolhe uma das seguintes alternativas: A matemática está inteiramente internalizada na Teoria dos Conjuntos; A matemática pode ser inteiramente internalizada na Teoria dos Conjuntos; A matemática deve ser inteiramente internalizada na Teoria dos Conjuntos" 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 é álgebra" tem a haver com a internalização da geometria dentro da álgebra, aí da mesma forma a pessoa pode decidir entre "está", "pode ser", "deve ser"... - Mensagem original - De: Daniel Durante Para: LOGICA-L Cc: marciopalmares , LOGICA-L , samuel , Petrucio Viana , Daniel Durante , Marcos Silva , Grupo de pesquisa CLEA , valeria.depaiva , Cassiano Terra Rodrigues Enviadas: Mon, 07 Aug 2023 10:41:05 -0300 (BRT) Assunto: Re: ao Oi Marcio e colegas, Eu acho, Marcio, que quando Samuel fala que a matemática é ZFC, ele não está querendo dizer isso literalmente, no sentido de que os números são certos conjuntos e que as funções são conjuntos de pares com certas propriedades,... Ele está falando de um jeito menos literal. Os números são qualquer coisa que se comporte como aqueles conjuntos se comportam em ZFC e as funções são qualquer coisa que se comporte como aqueles conjuntos de pares se comportam em ZFC. Porque veja, junto com dizer que a matemática é ZFC ele diz também que ZFC não tem modelo canônico e que a matemática não são nem as regras do jogo, nem os diversos tabuleiros onde o jogo é jogado - nem os axiomas de ZFC, nem seus muitos modelos. A matemática não é a formalização de ZFC e também não é cada uma das possíveis estruturas que verificam os axiomas. A matemática seria aquilo que todas as estruturas que verificam os axiomas têm em comum. Aí, cabe tanto os matemáticos contemporâneos que nem sabem quais são os axiomas de ZFC, mas que os respeitam, porque vivem em (jogam) versões desse jogo, ainda que talvez nem saibam disso. E cabe também, em certo sentido, os matemáticos do passado que também jogavam versões desse jogo sem saber. Talvez, se a gente procurar na história, a gente encontre os momentos em que as regras do jogo foram se estabelecendo, e o jogo foi sendo consolidado. Nessa visão dá para entender até o protesto de Valéria, por exemplo, que nos lembrou que muitos matemáticos se recusam a utilizar o axioma da escolha e se limitam a jogadas que cabem em ZF, uma versão simplificada do jogo. E protestos desse tipo ajudam também a explicar e acomodar as abordagens fundacionais alternativas. Qual seria a principal motivação de quem pensa em fundar a matemática na Teoria das Categorias, ou na Teoria dos Tipos? Eu acho que a principal motivação é ajustar o JOGO para alguma divergência que não se encaixa perfeitamente em ZFC. Acho que um bom exemplo para entender isso é a relação da geometria com a álgebra. Veja, não sou matemático e se eu tiver falando bobagem, vocês simplesmente desconsiderem. Mas vejo a afirmação de que a matemática é ZFC de um modo paralelo à afirmação de que a geometria é álgebra. Em um certo sentido, isso está correto. Que eu saiba, não há nada na geometria que não caiba na álgebra, no sentido de que não há nenhum resultado geométrico que não tenha contrapartida algébrica. Então, em um sentido matemático, de resultados, geometria é álgebra. Mas é claro que Euclides, ou os geômetras de régua e compasso não são algebristas e não estavam fazendo álgebra. É claro que conseguimos entender certas estruturas, relações e conceitos muito melhor e mais claramente na geometria que na álgebra, que todos temos intuições geométricas, mas que só alguns poucos de nós, matematicamente treinados, têm as intuições algébricas equivalentes. Então, em um outro sentido muito forte, geometria não é álgebra. Mas esse outro sentido muito forte, não é o sentido matemático. Em um sentido matemático, de resultados matemáticos, geometria é álgebra. Então, pensando nesses termos, eu concordo com a tese de Samuel de que a matemática é ZFC. Mas isso não me impede de concordar se o Eduardo Ochs ou alguém da teoria das categorias me disser que a matemática é Teoria das Categorias ou outra teoria qualquer, desde que as eventuais divergências extensionais entre a teoria nova e ZFC sejam convincentemente justificadas. Não sei se o Samuel, que é o "pai da criança", enxerga sua própria abordagem desse
Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas
Oi Petrucio, Da mesma forma que ninguém lê as letrinhas pequenas de nenhum contrato, O matemático establishment sabe (na maioria das vezes) que trabalha em ZFC, mesmo que só saiba dar como exemplo o Axioma da Escolha. (Muitos deles acham que a Hipótese do Continuo vale "na prática", 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 []s Samuel - Mensagem original - De: Jorge Petrucio Viana Para: Samuel Gomes da Silva Cc: Valeria de Paiva , Daniel Durante , Marcos Silva , pin...@googlegroups.com , Grupo de pesquisa CLEA Enviadas: Sat, 05 Aug 2023 14:54:05 -0300 (BRT) Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas Boa tarde! Uma dúvida honesta (não é, simplesmente, uma provocação): O que vocês estão chamando de ZFC? Se for o que está, por exemplo, no livro do Devlin (ou seja, First Order Logic ZFC), não concordo que "para um matemático-padrão ZFC e' a medida, o básico" (ou algo semelhante). Pelo que vejo, matemáticos padrão trabalham, pelo menos, em terceira ordem e usam "naive set theory" (uma versão mais próxima de Cantor do que de Zermelo). Um adendo: Uma vez eu desafiei uma plateia de matemáticos (uns 40 mais ou menos) a listarem 3 (apenas 3) axiomas da Teoria dos Conjuntos. O máximo que consegui foi: Axioma da Escolha. P Em sáb., 5 de ago. de 2023 às 13:20, 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > Oi Valéria, > > Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF > (ainda mais se a pesquisa é lógico orientada, digamos), > > Porém, porém, porém, para o tal matemático establishment que eu sempre > falo, > > O Axioma da Escolha está lá, mesmo que o matemático establishment não > perceba (porque muitas vezes ele usa o Axioma da Escolha sem perceber, é > preciso um certo "treino" e esforço pra ver quando o Axioma da Escolha foi > necessário ou não). > > Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se > usa o Axioma da Escolha para mostrar que "a reunião enumeravel de > enumeraveis é enumeravel", é um uso um pouco sutil. > > Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá > escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de > Zorn na prova padrão, como foi mostrado que é uma equivalência do Axioma 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 < > marcossilv...@gmail.com>, pin...@googlegroups.com , > Grupo de pesquisa CLEA > Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT) > Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números > e provas > > oi Samuel, > Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta. > Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o > básico. MAS com o abaixo não concordo não. > > >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos > os tabuleiros (e reciprocamente). > Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem > em todos os tabuleiros porque estão todos em ZFC puro. É o básico... > Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum > a todos os tabuleiros" do que uma lista de axiomas e a teoria > correspondente. > > ZF e' básico, o C(choice) tem muita gente que não quer não, que prefere > botar um asterisco numa prova qdo precisa de choice, pra alertar os > distraídos. e o número dessas pessoas, que se preocupam com resultados mais > construtivos, ou baseados em formulações alternativas de fundamentos e' > cada vez maior. não sei se significativamente maior no "rank and file" dos > matemáticos tradicionais, mas certamente bem maior nessa comunidade entre > matemática e informática que diz q trabalha com ciência da computação. > > Tem muita gente, que nem você, cuja pesquisa só faz sentido se certas > premissas tradicionais não valem: a maioria do pessoal de "teoria de tipos" > se enquadra nessa. (pra não falar dos sub-estruturalistas!) E mesmo todo > mundo nessa nova onda de 'Proof Assistants' pra uma nova matemática "( > > https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html > ) > faz parte da t
Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas
Oi Valéria, Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF (ainda mais se a pesquisa é lógico orientada, digamos), Porém, porém, porém, para o tal matemático establishment que eu sempre falo, O Axioma da Escolha está lá, mesmo que o matemático establishment não perceba (porque muitas vezes ele usa o Axioma da Escolha sem perceber, é preciso um certo "treino" e esforço pra ver quando o Axioma da Escolha foi necessário ou não). Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se usa o Axioma da Escolha para mostrar que "a reunião enumeravel de enumeraveis é enumeravel", é um uso um pouco sutil. Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de Zorn na prova padrão, como foi mostrado que é uma equivalência do Axioma 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 pesquisa CLEA Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT) Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas oi Samuel, Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta. Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o básico. MAS com o abaixo não concordo não. >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos os tabuleiros (e reciprocamente). Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem em todos os tabuleiros porque estão todos em ZFC puro. É o básico... Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum a todos os tabuleiros" do que uma lista de axiomas e a teoria correspondente. ZF e' básico, o C(choice) tem muita gente que não quer não, que prefere botar um asterisco numa prova qdo precisa de choice, pra alertar os distraídos. e o número dessas pessoas, que se preocupam com resultados mais construtivos, ou baseados em formulações alternativas de fundamentos e' cada vez maior. não sei se significativamente maior no "rank and file" dos matemáticos tradicionais, mas certamente bem maior nessa comunidade entre matemática e informática que diz q trabalha com ciência da computação. Tem muita gente, que nem você, cuja pesquisa só faz sentido se certas premissas tradicionais não valem: a maioria do pessoal de "teoria de tipos" se enquadra nessa. (pra não falar dos sub-estruturalistas!) E mesmo todo mundo nessa nova onda de 'Proof Assistants' pra uma nova matemática "( https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html ) faz parte da turma. Então concordo sim que a matemática e' o jogo e não os tabuleiros ou os campos ou as regras, mas essa essência do jogo muda, se os jogadores mudarem. abraços, Valeria On Sat, Aug 5, 2023 at 5:23 AM 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Salve Daniel, > > Incrível como entre nós, brasileiros, o FUTEBOL consegue explicar tantas > coisas né? > > Você pegou a ideia, sim é isso mesmo. > > Matemática é um trabalho, e os ambientes de trabalho são os modelos... Os > matemáticos, somos jogadores profissionais de futebol (com o BOM e o RUIM > da sua mensagem, é a tal coisa da dor e a delícia de ser o que é...). > > Mas pra além daquele BOM e RUIM tem mais uma coisa: existem esses momentos > (e na verdade os matemáticos fora da área de fundamentos sempre vivem esse > tipo de momentos) nos quais o teorema que provamos vale em todos os > tabuleiros, em todos os campos de jogo. > > Isso acontece quando provamos algo "ZFC puro", sem hipóteses adicionais. > > Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos > os tabuleiros (e reciprocamente). > > Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem > em todos os tabuleiros porque estão todos em ZFC puro. É o básico... > > Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum > a todos os tabuleiros" do que uma lista de axiomas e a teoria > correspondente. > > Eu, por exemplo, por minha área de atuação, normalmente trabalho > diretamente em modelos onde a Hipótese do Continuo não vale (meus > resultados, nem que seja por uma questão de contexto, fazem muito mais > sentido se HC não vale - minha dissertação de mestrado começava com um > diagrama com 6 cardinais entre aleph_1 e c (que agora são 5 depois do > recente p = t, um salve a Malliaris e Shelah) os quais, se vale HC, > colapsam tudo para um ponto só, de modo que minha dissertação de mestrado > inteira teria falado todo o tempo s
[Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas
} - aleph_omega não pode ser pela questão da cofinalidade -, e a quantidade de ordinais de cofinalidade não enumerável é a mesma quantidade de ordinais que é a mesma quantidade de conjuntos no universo (nessa última passagem estou roubando um pouco e considerando o Axioma da Escolha Global, mas tudo bem né 8-) ). Qualquer valor que o contínuo pode ter, ele terá em algum modelo - isso tudo é matemática pra mim. Eu não sinto necessidade que a Matemática me diga exatamente "qual aleph" é o tamanho da reta. Eu não sinto falta "que a Matemática me diga qual o valor do continuum". Eu gosto que sejam "infinitos valores possíveis"...!!! (Eu não lembro se eu cheguei a fazer essa analogia na live, mas eu sempre gosto de fazê-la: "a teoria dos anéis (ou mesmo dos corpos) não consegue decidir se existe um x tal que x^2 = 1 + 1 - pois existem corpos onde esse x existe, e existem corpos onde esse x não existe. Porque deveríamos esperar que a Teoria dos Conjuntos decidisse se 2^{aleph_0} = aleph_1 ? Ou porque deveríamos esperar que só existisse uma possibilidade de resposta ? No caso dos corpos não esperamos isso..." Obviamente a complicação aí é que a Teoria dos Conjuntos é frequentemente encarada como sendo "a Matemática" como se fosse uma tal "verdade objetiva" e tal, é aí que pega a coisa, eu sei disso também...) ... Mas, como eu disse lá em cima, isso tudo sou eu, eu não posso dizer que isso é a visão dos matemáticos, ainda mais que, em geral, os matemáticos não estão preocupados com isso de forma alguma, não existe preocupação com fundamentos da matemática, eles só querem colocar toda manhã o uniforme de onde eles jogam o jogo e jogar o jogo... E, mais ainda, eu raramente sou chamado a justificar formalmente essas visões, num paper por exemplo (o máximo é alguma discussão nesta lista, como a que estamos no momento...). Nos últimos dez anos tenho me interessado mais por aspectos filosóficos, mas nessa área sou apenas um diletante... E, só pra terminar, eu recomendo algumas leituras sobre gente de Conjuntos que sim tem uma visão bem mais completa e justificada do que a minha, em alguns casos similar e em outros não, ---> O Joel David Hamkins tem uma visão do "multiverso de conjuntos", tem esse paper dele no arXiv: https://arxiv.org/abs/1108.4223 Eu nunca li inteiro, nunca passei do abstract, mas o que tem mais ou menos em comum com essa minha visão é de que existem vários universos possíveis para a teoria dos conjuntos "acontecer". (Apesar das semelhanças, com certeza é diferente do meu ponto de vista porque mesmo "a noção de conjunto em si" ele acredita que seja diferente em cada universo, eu não penso assim) Mas pelo menos como "slogan" eu acho a idéia interessante - o multiverso dos conjuntos se parece com a minha idéia da infinidade de tabuleiros, ou da infinidade de quadras/campos de jogo. ---> tem um pessoal de Teoria dos Conjuntos (que eu deveria em algum momento tentar sugerir que um deles fosse chamado para um EBL...), que é o pessoal que frequenta o Artic Workshop de Conjuntos, e se você falar com qualquer um deles, eles têm sim uma noção do que seria "a verdade em Teoria dos Conjuntos", de uma maneira bastante diferente da minha, de modo que eles podem pegar um resultado de Teoria dos Conjuntos e dizer "para onde ele está apontando". Nesse sentido, muitas vezes aparecem "dicotomias" - que seriam momentos em que a teoria dos conjuntos apontaria "ou para um lado ou para o outro". Parece confuso né ? Pois é, e tem muita matemática técnica embutida nisso. Nos últimos anos, tem por exemplo "a dicotomia HOD", introduzida por Woodin, e aí tem este paper aqui por exemplo explicando: https://philpapers.org/rec/BAGLCB O "lado" para o qual a Teoria dos Conjuntos se inclinaria, lá na frente, decidiria também a Hipótese do Contínuo (pois se relaciona ao tal "Ultimate L Project" de Woodin também...). No caso, o paper acima expõe alguns resultados de Large cardinals os quais, assumindo a consistência deles, o caos prevaleceria e a Hipótese do Contínuo seria falsa (!!!). Observo, porém, que essa visão do pessoal do Artic Workshop é uma visão mais pura sobre "qual seria a melhor Teoria dos Conjuntos para se trabalhar" - até onde eu entendo, é uma busca por "uma Teoria dos Conjuntos legal", eles não se arvoram em dizer que com isso eles estão decidindo "o que é a matemática". Por 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 Teoria dos Conjuntos"... Que nesse caso seria ZFC + algumas coisas. ... Enfim, pra falar de Filosofia de
[Logica-l] Re: 34o colóquio brasileiro de matemática
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), Nesses eventos todos estive envolvido na submissão de proposta de sessão especial de lógica matemática e depois na organização da mesma, que no caso foi aprovada todas essas vezes. Em mais do que um desses eventos calhou de ter ou um lógico matemático propriamente dito ou pelo menos uma pessoa de área bem menos refratária à lógica matemática (e.g. teoria das categorias) no comitê científico, sempre, obviamente, pelo lado estrangeiro da coisa - o que sempre me deu mais ânimo pra fazer essas propostas. Exatamente por causa de tudo o que tem implicito no "obviamente" da frase anterior, eu nunca me animei a submeter sessão de lógica para colóquio no IMPA, organizado inteiramente pela galera brazuca da matemática. 8-) (Fico achando que vão encarar o pedido como vindo diretamente dos macaquinhos da entrada do prédio, essas coisas...) Mas isso sou eu, podemos 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 sessão de lógica nessa edição do colóquio: > ninguém submeteu uma proposta ou > nossa proposta não foi selecionada? > > alguém sabe? > -- > Renata de Freitas > IME-UFF > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cf56ec58-1ff8-4d19-8d93-7a99eaf80713n%40dimap.ufrn.br.
Re: [Logica-l] re-contando números
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: Eduardo Ochs Para: Claudio Callejas Cc: samuel , LOGICA-L , Marcelo Finger Enviadas: Tue, 04 Jul 2023 03:59:49 -0300 (BRT) Assunto: Re: [Logica-l] re-contando números Sejam: A = {0,1,2,3,...} B = {1,2,3,...} Esses dois conjuntos, A e B, são bem úteis e eu quero ter bons nomes curtos pra eles. Aí tem duas opções "naturais": ou 1) A=ℕ e B=ℕ^+, ou 2) A=ℕ∪{0} e B=ℕ. Se eu escolho a opção 1 eu fico com bons nomes curtos pros dois, e se eu escolho a opção 2 um dos nomes fica muito comprido. Quando eu dava aula de Matemática Discreta eu usava esse argumento, mas na verdade eu considerava ele como a parte mais visível de um iceberg enorme. As partes menos visíveis do iceberg eram: a) alguns livros preferem a opção 1 e outros preferem a opção 2; b) existem bons motivos pra ambas as escolhas; c) a gente quer aprender a lidar com livros de ambos os tipos; d) a gente quer aprender a lidar com _definições_; e) "quando vocês crescerem você vão ter que saber fazer as suas próprias definições". Aliás, faz anos que eu não dou aula de MD mas eu tenho dado aula de Cálculo 2, em que aparece um problema parecido... esse aqui: https://en.wikipedia.org/wiki/Constant_of_integration https://golem.ph.utexas.edu/category/2012/03/reader_survey_logx_c.html e eu uso isso como desculpa pra forçar os alunos a lerem vários livros e pra forçar eles a entenderem que várias contas que a gente faz em Cálculo 2 são "contas formais" nas quais faltam detalhes... em algumas poucas situações a gente vai ter tempo pra checar todos os detalhes e acrescentar as hipóteses que faltam, mas em geral a gente ou vai deixar esses detalhes "pra depois" ou vai deixar eles "pra lá"... ...ah, e uma das coisas que eu repito com mais frequência nas minhas aulas de Cálculo 2 é "Releia a Dica 7". A Dica 7 está aqui: http://anggtwu.net/LATEX/2023-1-C2-Tudo.pdf#page=4 Reparem que ela tem esse trecho aqui: Se as outras pessoas acharem que ler a sua solução é um sofrimento, isso é mau sinal; se as outras pessoas acharem que a sua solução está claríssima e que elas devem estudar com você, isso é bom sinal. Esse trecho tem um monte de idéias escondidas nas entrelinhas. Imaginem um aluno, o Alex, que acho que o certo é ℕ={1,2,3,...}, e que toda vez que ele encontra uma pessoas que usa ℕ={0,1,2,3,...} ele ridiculariza ela e chama ela de burra; e imaginem que na turma também tem um outro aluno, o Beto, que considera que o certo é ℕ={0,1,2,3,...} e que toda vez que ele vê alguém usando ℕ={1,2,3,...} ele ridiculariza essa pessoa e chama ela de burra, e imaginem que além disso na turma também tem o Carlos, que sabe lidar com as duas definições e não fica chamando ninguém de burro. As pessoas vão acabar preferindo evitar o Alex e o Beto e vão tentar ficar amigas do Carlos e estudar com ele... né? Então é melhor a gente tentar ser que nem o Carlos, e não que nem o Alex ou o Beto... [[]], Eduardo On Tue, 4 Jul 2023 at 02:14, Claudio Callejas wrote: > Bom dia, > > Só um pequeno comentário referente a uma notação mencionada por Samuel: em > computabilidade também é utilizado \omega para denotar o conjunto dos > números naturais incluindo o zero. > > Abraços, > Claudio. > > El lun, 3 jul 2023 a las 15:20, 'samuel' via LOGICA-L (< > logica-l@dimap.ufrn.br>) escribió: > >> ... 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: 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 cardinalidade n, começamos no zero e terminamos >>>>> 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 AM 'samuel' via LOGICA-L < >>> logi...@dimap.ufrn.br> wrote: >>> >>>> Oi João, >>>> >>>> Como "inteiros positivos" não vale com
Re: [Logica-l] re-contando números
... 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: 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 cardinalidade n, começamos no zero e terminamos >>> 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 AM 'samuel' via LOGICA-L < > logi...@dimap.ufrn.br> wrote: > >> 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 ser natural ou não (que até pra Maya >> parece ser importante...). >> >> Pela sua mensagem inicial, dá pra ver (ou inferi errado) que você >> considera o zero como natural. Eu sou desse time também. >> >> Bem, só pra dizer que não acrescentei nada na discussão a não ser >> platitudes, observo que, do ponto de vista meramente notacional, >> está começando a surgir (inclusive em artigos, já fui referee de uns >> dois) a seguinte diferenciação, pra gente que conhece Teoria dos Conjuntos e >> faz aplicações (ou equivalências) de Teoria dos Conjuntos em Análise e >> Topologia: >> >> ---> usar \omega para o conjunto dos números naturais "axiomático", que >> obviamente inclui o zero (i.e. o menor conjunto indutivo) >> >> ---> usar \mathbb{N} para o que seriam os inteiros positivos, i.e. >> \mathbb{N} = {1,2,3,...} >> >> Essa diferença notacional joga a polêmica pra baixo do tapete e tenho >> amigos que 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 cardinalidade n, começamos no zero e terminamos >> no n-1... Mas isso é apenas uma piada, obviamente. 8-) >> >> Em domingo, 2 de julho de 2023 às 08:57:08 UTC-4, Joao Marcos escreveu: >> >>> Ainda sobre "[l]os números que usamos para contar", é interessante >>> recordar que o problema conhecido como "Tarski's High School >>> Identities" / "Tarski's High School [Algebra] Problem" >>> https://en.wikipedia.org/wiki/Tarski%27s_high_school_algebra_problem >>> https://www.jstor.org/stable/2324454 >>> foi formulado originalmente usando os inteiros positivos. Nada de >>> zero aí! (Não sei dizer como se introduz tradicionalmente este >>> assunto na escola [primária] polonesa, ou mesmo como se costumava >>> introduzi-lo na escola alemã ---usando uma língua bastante razoável, >>> que Tarski empregava com mais fluência antes do inglês.) >>> >>> Quando eu defendi na minha universidade, há alguns anos, que a gente >>> começasse um curso de Matemática Discreta para o curso de Tecnologia >>> da Informação deixando o zero de lado, fui apedrejado. Mas quando eu >>> tentei introduzir para a minha filhota de quatro anos os números >>> inteiros positivos ela reclamou que o zero estava faltando. ;-b >>> >>> []s, JM >>> >>> >>> On Sun, Jul 2, 2023 at 9:42 AM Martín Figallo >>> wrote: >>> > >>> > Bom dia! >>> > >>> > Acho muito interessante a observação de João. Sobre o assunto eu >>> gostaria mencionar que na minha universidad >>> > (Bahía Blanca, Argentina) por tradição, nos cursos iniciais de álgebra >>> os números naturais são apresentados como 1,2,3 etc. >>> > Inclusive, o Princípio de Indução é enunciado informalmente neses >>> cursos como segui: "para toda propriedade P, se P(1) vale e se >>> > P(n) vale implica que P(n+1) também vale, então P vale para todos os >>> números naturais"
Re: [Logica-l] re-contando números
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 ser natural ou não (que até pra Maya parece ser importante...). Pela sua mensagem inicial, dá pra ver (ou inferi errado) que você considera o zero como natural. Eu sou desse time também. Bem, só pra dizer que não acrescentei nada na discussão a não ser platitudes, observo que, do ponto de vista meramente notacional, está começando a surgir (inclusive em artigos, já fui referee de uns dois) a seguinte diferenciação, pra gente que conhece Teoria dos Conjuntos e faz aplicações (ou equivalências) de Teoria dos Conjuntos em Análise e Topologia: ---> usar \omega para o conjunto dos números naturais "axiomático", que obviamente inclui o zero (i.e. o menor conjunto indutivo) ---> usar \mathbb{N} para o que seriam os inteiros positivos, i.e. \mathbb{N} = {1,2,3,...} Essa diferença notacional joga a polêmica pra baixo do tapete e tenho amigos que 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 cardinalidade n, começamos no zero e terminamos no n-1... Mas isso é apenas uma piada, obviamente. 8-) Em domingo, 2 de julho de 2023 às 08:57:08 UTC-4, Joao Marcos escreveu: > Ainda sobre "[l]os números que usamos para contar", é interessante > recordar que o problema conhecido como "Tarski's High School > Identities" / "Tarski's High School [Algebra] Problem" > https://en.wikipedia.org/wiki/Tarski%27s_high_school_algebra_problem > https://www.jstor.org/stable/2324454 > foi formulado originalmente usando os inteiros positivos. Nada de > zero aí! (Não sei dizer como se introduz tradicionalmente este > assunto na escola [primária] polonesa, ou mesmo como se costumava > introduzi-lo na escola alemã ---usando uma língua bastante razoável, > que Tarski empregava com mais fluência antes do inglês.) > > Quando eu defendi na minha universidade, há alguns anos, que a gente > começasse um curso de Matemática Discreta para o curso de Tecnologia > da Informação deixando o zero de lado, fui apedrejado. Mas quando eu > tentei introduzir para a minha filhota de quatro anos os números > inteiros positivos ela reclamou que o zero estava faltando. ;-b > > []s, JM > > > On Sun, Jul 2, 2023 at 9:42 AM Martín Figallo wrote: > > > > Bom dia! > > > > Acho muito interessante a observação de João. Sobre o assunto eu > gostaria mencionar que na minha universidad > > (Bahía Blanca, Argentina) por tradição, nos cursos iniciais de álgebra > os números naturais são apresentados como 1,2,3 etc. > > Inclusive, o Princípio de Indução é enunciado informalmente neses cursos > como segui: "para toda propriedade P, se P(1) vale e se > > P(n) vale implica que P(n+1) também vale, então P vale para todos os > números naturais". A definição formal e a inclusão > > do zero nos naturais vem depois nos cursos de Fundamentos da Matemática. > > Meu pai (lógico da escola de Monteiro, ya aposentado), nos cursos para > estudantes pré-universitários, > > apresentava aos números naturais como segue: "los números naturales son > precisamente aquellos números que usamos para contar o sea 1,2,3..." > > (os números naturais são precisamente os números que usamos para > contar). Eu acho que "los números que usamos para contar" e uma > > boa tradução ao Espanhol de "counting-numbers" que também serve para o > Português (que, como é bem sabido, são as línguas mais razoáveis do mundo). > > Espero ter entendido bem o mail de João e ter sido claro, o Portugues > não é minha língua nativa. > > > > Abraços, > > > > Martín > > > > > > > > El sáb, 1 jul 2023 a la(s) 23:32, Frode Bjørdal (bjorda...@gmail.com) > escribió: > >> > >> Felicitações! > >> > >> Acho que não existe um nome estabelecido para números naturais > positivos, porque continuavam hesitações ao decidir sobre uma definição dos > números naturais que inclui o número zero. > >> > >> Não gosto o termo "counting number", pois números não contam. Sugiro > que os termos "counter" e "contador" são melhores. > >> > >> Frode Alfson Bjørdal > >> > >> On Sat, Jul 1, 2023 at 9:32 PM Joao Marcos wrote: > >>> >
Re: [Logica-l] Um "paradoxo verdadeiro" em Física
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ísica E o contrario e' tambem um fenomeni? Isto e', o frio e' mais rapido de ferver que o quente? Em qua, 28 de jun de 2023 13:52, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > 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 em 1963 que, para assombro do seu professor de Física (que a > princípio não acreditou no estudante mas depois "replicou a experiência" e > viu que dava certo...), descobriu que > > "Água quente congela mais rapidamente do que água fria" > > Parece que é muito difí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 > > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a65afd49-090f-47e6-aa96-8ee639cae941n%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a65afd49-090f-47e6-aa96-8ee639cae941n%40dimap.ufrn.br?utm_medium=email_source=footer> > . > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1317364119.1125531.1687996090991.JavaMail.zimbra%40ufba.br.
[Logica-l] Um "paradoxo verdadeiro" em Física
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 em 1963 que, para assombro do seu professor de Física (que a princípio não acreditou no estudante mas depois "replicou a experiência" e viu que dava certo...), descobriu que "Água quente congela mais rapidamente do que água fria" Parece que é muito difí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 -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a65afd49-090f-47e6-aa96-8ee639cae941n%40dimap.ufrn.br.
Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40
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: > Caros, > > Confirmado, vai passar ao vivo no Canal do Departamento de Matemática da > UFBA. > > Além do link que eu mandei na resposta pro Walter, tem um atalho: > > https://www.youtube.com/@depmatufba > > Quinta próxima, 16h40. > > Chegou no Instagram também a divulgação... > > https://www.instagram.com/p/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 >> escreveu: >> >>> 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 2023 às 16:48:34 UTC-4, Thiago >>>> Nascimento da Silva escreveu: >>>> >>>>> Estou aguardando essa palestra já tem uns dois anos desde a primeira >>>>> vez que disse sobre ela. Estou interessado, se tiver link, estarei lá >>>>> virtualmente. >>>>> >>>>> Em seg., 5 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 YouTube correspondente. >>>>>> >>>>>> Abraços >>>>>> >>>>>> []s Samuel >>>>>> >>>>>> >>>>>> * >>>>>> >>>>>> Palestra:*"Quando as coisas não são o que >>>>>> dizem ser"* - >>>>>> >>>>>> o Princípio do Arenque Vermelho em Matemática >>>>>> >>>>>> (ou: um estudo sobre definições aparentemente contraditórias) >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >>>>>> >>>>>> >>>>>> >>>>>> Palestra do Café Cultural >>>>>> >>>>>> >>>>>> >>>>>> Quinta-feira, 15 de Junho de 2023 – 16h40 >>>>>> >>>>>> >>>>>> >>>>>> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina >>>>>> >>>>>> >>>>>> >>>>>> RESUMO: >>>>>> >>>>>> >>>>>> >>>>>> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" >>>>>> (em inglês, *red herring*) é o nome que se dá às chamadas "pistas >>>>>> falsas". É muito comum, em obras de suspense, que o autor deseje >>>>>> introduzir >>>>>> um personagem suspeito, ou alguma situação bastante peculiar ou >>>>>> estranha, >>>>>> com o intuito de desviar a atenção dos "verdadeiros culpados" da trama >>>>>> em >>>>>> tela. Essa técnica, que é muito ensinada nos cursos de escrita de >>>>>> roteiros >>>>>> e é vista como um recurso bastante positivo e recomendado para todos os >>>>>> escritores (não apenas os de suspense), é normalmente denominada como >>>>>> "introduzir arenques vermelhos". >>>>>> >>>>>> >>>>>> >>>>>> Já em oratória, entendida como a arte da eloquência e do bem falar >>>>>> (e, em parte, de como ganhar discussões), um "arenque vermelho" é >>>>>> entendido >>>>>> como sendo uma falácia (num contexto mais informal de lógica) na qual, >
Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40
Caros, Confirmado, vai passar ao vivo no Canal do Departamento de Matemática da UFBA. Além do link que eu mandei na resposta pro Walter, tem um atalho: https://www.youtube.com/@depmatufba Quinta próxima, 16h40. Chegou no Instagram também a divulgação... https://www.instagram.com/p/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 > escreveu: > >> 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 2023 às 16:48:34 UTC-4, Thiago >>> Nascimento da Silva escreveu: >>> >>>> Estou aguardando essa palestra já tem uns dois anos desde a primeira >>>> vez que disse sobre ela. Estou interessado, se tiver link, estarei lá >>>> virtualmente. >>>> >>>> Em seg., 5 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 YouTube correspondente. >>>>> >>>>> Abraços >>>>> >>>>> []s Samuel >>>>> >>>>> >>>>> * >>>>> >>>>> Palestra:*"Quando as coisas não são o que >>>>> dizem ser"* - >>>>> >>>>> o Princípio do Arenque Vermelho em Matemática >>>>> >>>>> (ou: um estudo sobre definições aparentemente contraditórias) >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >>>>> >>>>> >>>>> >>>>> Palestra do Café Cultural >>>>> >>>>> >>>>> >>>>> Quinta-feira, 15 de Junho de 2023 – 16h40 >>>>> >>>>> >>>>> >>>>> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina >>>>> >>>>> >>>>> >>>>> RESUMO: >>>>> >>>>> >>>>> >>>>> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" >>>>> (em inglês, *red herring*) é o nome que se dá às chamadas "pistas >>>>> falsas". É muito comum, em obras de suspense, que o autor deseje >>>>> introduzir >>>>> um personagem suspeito, ou alguma situação bastante peculiar ou estranha, >>>>> com o intuito de desviar a atenção dos "verdadeiros culpados" da trama em >>>>> tela. Essa técnica, que é muito ensinada nos cursos de escrita de >>>>> roteiros >>>>> e é vista como um recurso bastante positivo e recomendado para todos os >>>>> escritores (não apenas os de suspense), é normalmente denominada como >>>>> "introduzir arenques vermelhos". >>>>> >>>>> >>>>> >>>>> Já em oratória, entendida como a arte da eloquência e do bem falar (e, >>>>> em parte, de como ganhar discussões), um "arenque vermelho" é entendido >>>>> como sendo uma falácia (num contexto mais informal de lógica) na qual, >>>>> deliberadamente, procuramos desviar a atenção do interlocutor para longe >>>>> do >>>>> ponto principal da discussão - na maioria das vezes, apresentando um >>>>> argumento que, se não é logicamente errado, é absolutamente irrelevante >>>>> para o que está sendo discutido. Como vocês podem imaginar, esse tipo de >>>>> manobra diversionista é amplamente usado no jornalismo e na política, e a >>>>> curiosa expressão que a nomeia (e que faz menção a peixes defumados que >>>>> eram usados para distrair cães de caça em treinamento) já vem sendo >>>>> utilizada com esse sentido há mais de 200 anos. >>>>> >>>>> >>>>> >>>
[Logica-l] Re: Um "Arenque Vermelho "
Oi Walter, ... Hehe, como diziam nas minhas quebradas quando eu era mais novo, "um dois, nem me viu !!!" 8-) Eu me adiantei na divulgação, postei o resumo aqui ao mesmo tempo que enviei aos organizadores do Café Cultural aqui da UFBA, por isso ainda não sabia o link. Olhando 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 Samuel Em terça-feira, 6 de junho de 2023 às 07:13:52 UTC-4, Walter Carnielli escreveu: > Este anúncio do querido Samuel já é ele próprio um "arenque vermelho", que > nem tem cheiro de arenque, nem é vermelho: > > Convidar a gente para uma palestra tão interessante,e não dizer como se > assiste :'-) > > Belo truque Samuel, > > abraços > W. > Em ter., 6 de jun. de 2023 07:10, escreveu: > >> logi...@dimap.ufrn.br >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest_medium=email#!forum/logica-l/topics> >> Grupos >> do Google >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest_medium=email/#!overview> >> >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest_medium=email/#!overview> >> >> Resumo por e-mail dos temas >> Ver todos os temas >> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest_medium=email#!forum/logica-l/topics> >> >> >>- Palestra "Red Herring" - UFBA - 15 de junho, 16h40 >> >> <#m_3209613273096291475_m_-6478765430784406168_m_5641697585062713755_group_thread_0> >> >>- 6 atualizações >> >> Palestra "Red Herring" - UFBA - 15 de junho, 16h40 >> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/bff912125c95d89c?utm_source=digest_medium=email> >> >> samuel : Jun 05 01:45PM -0700 >> >> 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 coisas não são o que dizem >> ser"* - >> >> o Princípio do Arenque Vermelho em Matemática >> >> (ou: um estudo sobre definições aparentemente contraditórias) >> >> >> >> >> >> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >> >> >> >> Palestra do Café Cultural >> >> >> >> Quinta-feira, 15 de Junho de 2023 – 16h40 >> >> >> >> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina >> >> >> >> RESUMO: >> >> >> >> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" (em >> inglês, *red herring*) é o nome que se dá às chamadas "pistas falsas". É >> muito comum, em obras de suspense, que o autor deseje introduzir um >> personagem suspeito, ou alguma situação bastante peculiar ou estranha, >> com >> o intuito de desviar a atenção dos "verdadeiros culpados" da trama em >> tela. >> Essa técnica, que é muito ensinada nos cursos de escrita de roteiros e é >> vista como um recurso bastante positivo e recomendado para todos os >> escritores (não apenas os de suspense), é normalmente denominada como >> "introduzir arenques vermelhos". >> >> >> >> Já em oratória, entendida como a arte da eloquência e do bem falar (e, em >> parte, de como ganhar discussões), um "arenque vermelho" é entendido como >> sendo uma falácia (num contexto mais informal de lógica) na qual, >> deliberadamente, procuramos desviar a atenção do interlocutor para longe >> do >> ponto principal da discussão - na maioria das vezes, apresentando um >> argumento que, se não é logicamente errado, é absolutamente irrelevante >> para o que está sendo discutido. Como vocês podem imaginar, esse tipo de >> manobra diversionista é amplamente usado no jornalismo e na política, e a >> curiosa expressão que a nomeia (e que faz menção a peixes defumados que >> eram usados para distrair cães de caça em treinamento) já vem sendo >> utilizada com esse sentido há mais de 200 anos. >> >> >> >> E em Matemática ? Na Matemática, o Prin
Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40
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...@dimap.ufrn.br> wrote: > >> ... OK ! >> >> Em segunda-feira, 5 de junho de 2023 às 16:48:34 UTC-4, Thiago Nascimento >> da Silva escreveu: >> >>> Estou aguardando essa palestra já tem uns dois anos desde a primeira vez >>> que disse sobre ela. Estou interessado, se tiver link, estarei lá >>> virtualmente. >>> >>> Em seg., 5 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 YouTube correspondente. >>>> >>>> Abraços >>>> >>>> []s Samuel >>>> >>>> >>>> * >>>> >>>> Palestra:*"Quando as coisas não são o que >>>> dizem ser"* - >>>> >>>> o Princípio do Arenque Vermelho em Matemática >>>> >>>> (ou: um estudo sobre definições aparentemente contraditórias) >>>> >>>> >>>> >>>> >>>> >>>> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >>>> >>>> >>>> >>>> Palestra do Café Cultural >>>> >>>> >>>> >>>> Quinta-feira, 15 de Junho de 2023 – 16h40 >>>> >>>> >>>> >>>> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina >>>> >>>> >>>> >>>> RESUMO: >>>> >>>> >>>> >>>> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" >>>> (em inglês, *red herring*) é o nome que se dá às chamadas "pistas >>>> falsas". É muito comum, em obras de suspense, que o autor deseje >>>> introduzir >>>> um personagem suspeito, ou alguma situação bastante peculiar ou estranha, >>>> com o intuito de desviar a atenção dos "verdadeiros culpados" da trama em >>>> tela. Essa técnica, que é muito ensinada nos cursos de escrita de roteiros >>>> e é vista como um recurso bastante positivo e recomendado para todos os >>>> escritores (não apenas os de suspense), é normalmente denominada como >>>> "introduzir arenques vermelhos". >>>> >>>> >>>> >>>> Já em oratória, entendida como a arte da eloquência e do bem falar (e, >>>> em parte, de como ganhar discussões), um "arenque vermelho" é entendido >>>> como sendo uma falácia (num contexto mais informal de lógica) na qual, >>>> deliberadamente, procuramos desviar a atenção do interlocutor para longe >>>> do >>>> ponto principal da discussão - na maioria das vezes, apresentando um >>>> argumento que, se não é logicamente errado, é absolutamente irrelevante >>>> para o que está sendo discutido. Como vocês podem imaginar, esse tipo de >>>> manobra diversionista é amplamente usado no jornalismo e na política, e a >>>> curiosa expressão que a nomeia (e que faz menção a peixes defumados que >>>> eram usados para distrair cães de caça em treinamento) já vem sendo >>>> utilizada com esse sentido há mais de 200 anos. >>>> >>>> >>>> >>>> E em Matemática ? Na Matemática, o Princípio do Arenque Vermelho >>>> declara que, quando estamos fazendo uma definição técnica, algo que >>>> definimos como "um arenque vermelho" não precisa, em geral, *nem** >>>> ser vermelho e nem ser um arenque !* Frequentemente, de fato, vale uma >>>> asserção recíproca que é aparentemente redundante - mais 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 vezes, falar em "arenques não-vermelhos", ou ainda
Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40
... OK ! Em segunda-feira, 5 de junho de 2023 às 16:48:34 UTC-4, Thiago Nascimento da Silva escreveu: > Estou aguardando essa palestra já tem uns dois anos desde a primeira vez > que disse sobre ela. Estou interessado, se tiver link, estarei lá > virtualmente. > > Em seg., 5 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 YouTube correspondente. >> >> Abraços >> >> []s Samuel >> >> >> * >> >> Palestra:*"Quando as coisas não são o que dizem >> ser"* - >> >> o Princípio do Arenque Vermelho em Matemática >> >> (ou: um estudo sobre definições aparentemente contraditórias) >> >> >> >> >> >> Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >> >> >> >> Palestra do Café Cultural >> >> >> >> Quinta-feira, 15 de Junho de 2023 – 16h40 >> >> >> >> Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina >> >> >> >> RESUMO: >> >> >> >> Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" (em >> inglês, *red herring*) é o nome que se dá às chamadas "pistas falsas". É >> muito comum, em obras de suspense, que o autor deseje introduzir um >> personagem suspeito, ou alguma situação bastante peculiar ou estranha, com >> o intuito de desviar a atenção dos "verdadeiros culpados" da trama em tela. >> Essa técnica, que é muito ensinada nos cursos de escrita de roteiros e é >> vista como um recurso bastante positivo e recomendado para todos os >> escritores (não apenas os de suspense), é normalmente denominada como >> "introduzir arenques vermelhos". >> >> >> >> Já em oratória, entendida como a arte da eloquência e do bem falar (e, em >> parte, de como ganhar discussões), um "arenque vermelho" é entendido como >> sendo uma falácia (num contexto mais informal de lógica) na qual, >> deliberadamente, procuramos desviar a atenção do interlocutor para longe do >> ponto principal da discussão - na maioria das vezes, apresentando um >> argumento que, se não é logicamente errado, é absolutamente irrelevante >> para o que está sendo discutido. Como vocês podem imaginar, esse tipo de >> manobra diversionista é amplamente usado no jornalismo e na política, e a >> curiosa expressão que a nomeia (e que faz menção a peixes defumados que >> eram usados para distrair cães de caça em treinamento) já vem sendo >> utilizada com esse sentido há mais de 200 anos. >> >> >> >> E em Matemática ? Na Matemática, o Princípio do Arenque Vermelho declara >> que, quando estamos fazendo uma definição técnica, algo que definimos como >> "um arenque vermelho" não precisa, em geral, *nem** ser vermelho e nem >> ser um arenque !* Frequentemente, de fato, vale uma asserção recíproca >> que é aparentemente redundante - mais 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 vezes, falar em "arenques não-vermelhos", ou ainda, faz com que >> certas definições sejam refeitas de modo a incluir as versões "vermelha" e >> "não-vermelha"). Apresentaremos vários exemplos de "arenques vermelhos" em >> Matemática, e ao final discutiremos quais são os efeitos e influências (se >> é que existem) desses estranhos tipos de definições na prática matemática >> . >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/893fb4c1-e82e-49a7-966c-8fc4baa7c244n%40dimap.ufrn.br >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/893fb4c1-e82e-49a7-966c-8fc4baa7c244n%40dimap.ufrn.br?utm_medium=email_source=footer> >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/afa18427-d2d7-431d-9539-18db2653e64en%40dimap.ufrn.br.
[Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40
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 coisas não são o que dizem ser"* - o Princípio do Arenque Vermelho em Matemática (ou: um estudo sobre definições aparentemente contraditórias) Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) Palestra do Café Cultural Quinta-feira, 15 de Junho de 2023 – 16h40 Auditório Maria José Zezé de Oliveira – IME/UFBA, Campus Ondina RESUMO: Na literatura, no cinema ou nas artes em geral, um "arenque vermelho" (em inglês, *red herring*) é o nome que se dá às chamadas "pistas falsas". É muito comum, em obras de suspense, que o autor deseje introduzir um personagem suspeito, ou alguma situação bastante peculiar ou estranha, com o intuito de desviar a atenção dos "verdadeiros culpados" da trama em tela. Essa técnica, que é muito ensinada nos cursos de escrita de roteiros e é vista como um recurso bastante positivo e recomendado para todos os escritores (não apenas os de suspense), é normalmente denominada como "introduzir arenques vermelhos". Já em oratória, entendida como a arte da eloquência e do bem falar (e, em parte, de como ganhar discussões), um "arenque vermelho" é entendido como sendo uma falácia (num contexto mais informal de lógica) na qual, deliberadamente, procuramos desviar a atenção do interlocutor para longe do ponto principal da discussão - na maioria das vezes, apresentando um argumento que, se não é logicamente errado, é absolutamente irrelevante para o que está sendo discutido. Como vocês podem imaginar, esse tipo de manobra diversionista é amplamente usado no jornalismo e na política, e a curiosa expressão que a nomeia (e que faz menção a peixes defumados que eram usados para distrair cães de caça em treinamento) já vem sendo utilizada com esse sentido há mais de 200 anos. E em Matemática ? Na Matemática, o Princípio do Arenque Vermelho declara que, quando estamos fazendo uma definição técnica, algo que definimos como "um arenque vermelho" não precisa, em geral, *nem** ser vermelho e nem ser um arenque !* Frequentemente, de fato, vale uma asserção recíproca que é aparentemente redundante - mais 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 vezes, falar em "arenques não-vermelhos", ou ainda, faz com que certas definições sejam refeitas de modo a incluir as versões "vermelha" e "não-vermelha"). Apresentaremos vários exemplos de "arenques vermelhos" em Matemática, e ao final discutiremos quais são os efeitos e influências (se é que existem) desses estranhos tipos de definições na prática matemática. -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/893fb4c1-e82e-49a7-966c-8fc4baa7c244n%40dimap.ufrn.br.
[Logica-l] Edital para Contratação de Professor Visitante - UFBA
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, ensino e orientação a nível de pós-graduação. Cada programa de pós-graduação receberá as aplicações e fará uma seleção interna, depois os selecionados internamente serão encaminhados para a seleção definitiva que será feita pela Pró-Reitoria de Pesquisa e Pós-Graduação. Cada programa de pós-graduação decidirá sobre prazos e trâmites internos para a inscrição inicial, mas imagina-se que as inscrições serão feitas até no máximo o começo de julho. A boa notícia para os lógicos é: na UFBA estaremos recebendo aplicações para os programas de: Matemática, Filosofia e Ciência da Computação. 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 --> Marlo (msou...@ufba.br) Salvador está se firmando como um dos principais centros de Lógica no país e é uma cidade agradável e multicultural no Nordeste brasileiro. Recentemente fomos sede de um vibrante Encontro Brasileiro de Lógica, o primeiro depois da pandemia. Abraços []s Samuel (In English) There is an open call for visiting professors for UFBA (Federal University of Bahia), the profile we are looking for is: active researchers which are ready to proceed with research, advising and teaching activities in a PostGraduate Programme. There will be a first part of the selection, at which the PostGraduate Programmes will be specifically in charge. At UFBA, three areas will receive applications from logicians: Mathematics, Philosophy, Computer Science. For details on the applications for each programme, you may write to us: Mathematics --> Samuel G. da Silva (sam...@ufba.br) Philosophy --> Henrique Antunes (henrique.antu...@ufba.br) Computer Science --> Marlo Souza (msou...@ufba.br) Salvador is establishing itself as one of the main centers for Logic in Brazil, and it is a pleasant, multicultural city in the Brazilian Northeast. Recently we have hosted a vibrant Brazilian Logic Meeting, the first one after the pandemics. The applications have to be done till the beginning of July, 2023. ** UNIVERSIDADE FEDERAL DA BAHIA PRÓ-REITORIA DE PESQUISA E PÓS-GRADUAÇÃO A Universidade Federal da Bahia (UFBA), por meio da Pró-Reitoria de Pesquisa de Pós-Graduação (PRPPG), no uso de suas atribuições legais visando ao aprimoramento dos programas de pós-graduação Stricto Sensu, torna pública a abertura de inscrições no EDITAL PV 005/2023 - PRPPG/ UFBA Contratação de Professor Visitante 2023 - Processo Seletivo Simplificado para Contratação de Professores Visitantes, nos termos da Lei n°. 8.745, de 09/12/1993, com as alterações introduzidas pelas Leis n°. 9.849/99 e n°. 10.667/03 e do Decreto nº 7.485, de 18/05/2011, e Lei n.º 12.722, de 28/12/2012. As solicitações serão recebidas conforme o seguinte cronograma: 18/05/2023 Lançamento do Edital 20/07/2023 Data limite para envio pelos Programas de Pós-Graduação dos documentos dos candidatos selecionados à PRPPG por formulário https://forms.gle/9cHR5EsmzfBFWM5e8 Até 08/08/2023 Divulgação do resultado preliminar, disponibilizado no site www.propg.ufba.br 09 a 11/08/2023 Período de solicitação de Recursos 15/08/2023 Divulgação do resultado final, disponibilizado no site www.propg.ufba.br Edital disponível na pagina www.propg.ufba.br Ronaldo Lopes Oliveira Pró-Reitor de Pesquisa e Pós-Graduação Dayana Bastos Costa Coordenadora de Ensino de Pós-Graduação -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e7266d59-7f1c-4ead-a0ce-3f3639125f94n%40dimap.ufrn.br.
[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos
(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 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 bijeção, > no caso de conjuntos finitos esse menor ordinal vai ser um número natural > (e esse natural vai ser único > pelo Princípio da Casa dos Pombos e tal, se quiser manter um approach mais > combinatório no começo). > > Então, partindo dessa definição que você sugere, não vai aparecer em > livros de 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 definição abaixo? >> >> |vazio| = 0 >> |A U {a}| = |A|+1 >> >> Minha pergunta é sobre uma apresentação formal dessa teoria. >> >> Obrigado, >> P >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/23624a82-03ef-48e0-93e7-639736a35d4fn%40dimap.ufrn.br.
[Logica-l] Re: referências sobre cardinalidade de conjuntos finitos
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 bijeção, no caso de conjuntos finitos esse menor ordinal vai ser um número natural (e esse natural vai ser único pelo Princípio da Casa dos Pombos e tal, se quiser manter um approach mais combinatório no começo). Então, partindo dessa definição que você sugere, não vai aparecer em livros de 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 definição abaixo? > > |vazio| = 0 > |A U {a}| = |A|+1 > > Minha pergunta é sobre uma apresentação formal dessa teoria. > > Obrigado, > P > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/acba3eb3-4a0e-458c-85a9-94818dcc2f37n%40dimap.ufrn.br.
Re: [Logica-l] ChatGPT quis matar Newton da Costa
... 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 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, Marcelo Coniglio e > João Marcos eram exatamente idênticos ! > > > > Como se fossem exatamente a mesma pessoa. > > Hahaha... Você pode provar que eu não sou? > > "As against solipsism it is to be said, in the first place, that it is > psychologically impossible to believe, and is rejected in fact even by > those who mean to accept it. I once received a letter from an eminent > logician, Mrs. Christine Ladd-Franklin, saying that she was a > solipsist, and was surprised that there were no others. Coming from a > logician and a solipsist, her surprise surprised me." > (Russell, p. 180). Russell, Bertrand., Human Knowledge: Its Scope and > Limits,London: George Allen & Unwin, 1948. > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/409c4bc7-c2b4-416d-961a-f89f5b045391n%40dimap.ufrn.br.
Re: [Logica-l] ChatGPT quis matar Newton da Costa
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, 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 tratar ele > com paracetamol. > > O médico registra que a febre baixou mais o câncer segue igual. Então ele > conclui: > > O câncer não tem cura. > > O paracetamol não serve para nada. > > A realidade é o paracetamol foi desenvolvido para outros propósitos. > > Ese e o assunto qual seria o uso certo do ChatGPT, evidentemente para > oráculo não serve, para se informar parece que também não. Mas acho que > alguns dos defeitos podem ser resolvidos. > > Outro ponto, o único que se vê prejudicado pela fake news e o usuario. A > verdade não penso me informar por esse meio, nem por Facebook nem por > Instagram todas fabricas existentes de fake News. > > > > > Em qua., 12 de abr. de 2023 10:28, Alexandre Rademaker > escreveu: > >> >> Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk=1629s >> >> Que basicamente reforça os comentários do Marcelo. >> >> >> Ab., >> Alexandre >> >> >> > On 10 Apr 2023, at 10:13, Marcelo Finger wrote: >> > >> > > ChatGPT le é se transforma, desse modo, numa verdadeira máquina >> automática de mentiras! >> > >> > Claro! Ele é explicitamente treinado para gerar texto, sem qqer >> compromisso com a realidade (a menos daquilo que o pessoal chamou de >> "comportamento emergente"). Então, no seu âmago, ele é um gerador de fake >> news. >> > >> > O meu ponto é: nessa altura, isso não é mais novidade. >> > >> > Novidade seriam métodos para domar a besta. E parar de inflar a bola >> dele é uma necessidade. >> > >> > []s >> >> >> -- >> 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, >> envie um e-mail para logica-l+u...@dimap.ufrn.br. >> > Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/50313043-4D6A-4E06-8C9D-207DCB618A4D%40gmail.com >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5585b570-df44-4d76-bb59-476fe748067bn%40dimap.ufrn.br.
Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq
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 - Mensagem original - De: "Hugo Luiz Mariano" Para: "Samuel Gomes da Silva" Cc: "Walter Carnielli" , "Francisco Miraglia Neto" , "Ricardo Bianconi" , "Cc: Vinicius C. L." , "Lucia Renato Junqueira" , "Artur Hideyuki Tomita" , "Rogerio Augusto dos Santos Fajardo" , "Gabriel Zanetti Nunes Fernandes" , "Ana Luiza da Conceição Tenorio" , "Caio de Andrade Mendes" , "José Goudet Alvim" , "Juan Ferrer Meleiro" , "Fernando Yamauti" , "Thiago Alexandre" , "James Miller Simeão Toledo da Silva" , "Kaique Matias de Andrade Roberto" , "Kaique Ribeiro Prates Santos" , "Hugo Ribeiro" , "Jean Cerqueira Berni" , "Luan Alberto Ferreira" , "Mayk Alves de Andrade" , "Alfredo Roque Freire" , "José Siqueira" , "Valeria de Paiva" , "Rodrigo Figueiredo" , "Rodrigo Freire" , "Darllan Conceicao Pinto" , "Andreas Brunner" , "ciro.russo" , "Marcelo Passos" , "Rodrigo Roque Dias" , "Leandro Aurichi" , "LOGICA-L" Enviadas: Quarta-feira, 22 de março de 2023 17:12:33 Assunto: Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Olá Samuel e colegas, Vamos ver/torcer para que exista ao menos alguma folha de rosto mais formal para o encaminhamento à Capes (vi na lista da mensagem que há algebristas com conexões antigas com a Capes, talvez isto já esteja rolando nos bastidores algébricos...). Vou procurar documentos oficiais, mas o "folclore" (pelo menos no Qualis da Matemática) é que uma revista só entra na lista de um período (quadriênio, em geral) se ocorreu algum registro pelo Coleta-Capes de alguma publicação na revista no período anterior. Não creio que isto seja sempre respeitado (por exemplo, vi que o Annals of Math. está na lista atual, mas não creio que tenha havido algum "brasileiro" que tenha publicado lá nos últimos anos) De toda forma, é um critério muito bizarro e que certamente na prática joga para desorientar a produção científica (ou melhor, a publicação científica). Em particular, penso que para o Qualis Matemática atual, o Studia Logica não estaria contando nada! Desta forma, o melhor Qualis, para a Ciência, seria não haver mais Qualis... Abraços, Hugo Em qua., 22 de mar. de 2023 às 18:02, 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br > escreveu: Caros, Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se você viu. De todas as formas, porém, está bastante informal esse texto do .pdf do link também, com comparações e simulações e tal... Passa a mensagem, mas não tem cara de documento oficial. Já ouvi falar que as comissões de Matemática não gostam de informalidade nessas horas. Aproveitando: Hugo, você sabe se no atual Qualis, 2017-2020, está se mantendo/tentando manter a coisa da unificação dos Qualis em diferentes áreas ? Pergunto especificamente sobre a Studia Logica, o que interessa a todos aqui porque é a revista do próximo Proceedings do EBL. A Studia Logica está A1 em Computação e em Filosofia mas não aparece em Matemática. Aí eu comentei isso com Darllan aqui na UFBA, e ele me disse que você teria dito a ele que casos assim ocorrem porque não teve ninguém de Matemática publicando na 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 De: "Hugo Luiz Mariano" < hugo...@ime.usp.br > Para: "Walter Carnielli" < walte...@unicamp.br > Cc: "Logica l" < logica-l@dimap.ufrn.br >, "Francisco Miraglia Neto" < mirag...@ime.usp.br >, "Ricardo Bianconi" < bianc...@ime.usp.br >, "Cc: Vinicius C. L." < vinic...@ufabc.edu.br >, "Lucia Renato Junqueira" < lu...@ime.usp.br >, "Artur Hideyuki Tomita" < tom...@ime.usp.br >, "Rogerio Augusto dos Santos Fajardo" < faja...@ime.usp.br >, "Gabriel Zanetti Nunes Fernandes" < fernan...@ime.usp.br >, "Ana Luiza da Conceição Tenorio" < ana.teno...@usp.br >, "Caio de Andrade Mendes" < caio.men...@usp.br >, "José Goudet Alvim" < jose.al...@usp.br >, "Juan Ferrer Meleiro" < juanmele...@ime.usp.br >, "Fernando Yamauti&qu
Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq
Caros, Walter, você viu o link para um .pdf na mensagem né ? Fiquei na dúvida se você viu. De todas as formas, porém, está bastante informal esse texto do .pdf do link também, com comparações e simulações e tal... Passa a mensagem, mas não tem cara de documento oficial. Já ouvi falar que as comissões de Matemática não gostam de informalidade nessas horas. Aproveitando: Hugo, você sabe se no atual Qualis, 2017-2020, está se mantendo/tentando manter a coisa da unificação dos Qualis em diferentes áreas ? Pergunto especificamente sobre a Studia Logica, o que interessa a todos aqui porque é a revista do próximo Proceedings do EBL. A Studia Logica está A1 em Computação e em Filosofia mas não aparece em Matemática. Aí eu comentei isso com Darllan aqui na UFBA, e ele me disse que você teria dito a ele que casos assim ocorrem porque não teve ninguém de Matemática publicando na 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: "Logica l" , "Francisco Miraglia Neto" , "Ricardo Bianconi" , "Cc: Vinicius C. L." , "Lucia Renato Junqueira" , "Artur Hideyuki Tomita" , "Rogerio Augusto dos Santos Fajardo" , "Gabriel Zanetti Nunes Fernandes" , "Ana Luiza da Conceição Tenorio" , "Caio de Andrade Mendes" , "José Goudet Alvim" , "Juan Ferrer Meleiro" , "Fernando Yamauti" , "Thiago Alexandre" , "James Miller Simeão Toledo da Silva" , "Kaique Matias de Andrade Roberto" , "Kaique Ribeiro Prates Santos" , "Hugo Ribeiro" , "Jean Cerqueira Berni" , "Luan Alberto Ferreira" , "Mayk Alves de Andrade" , "Alfredo Roque Freire" , "José Siqueira" , "Valeria de Paiva" , "Rodrigo Figueiredo" , "Rodrigo Freire" , "Darllan Conceicao Pinto" , "Andreas Brunner" , "Samuel Gomes da Silva" , "ciro.russo" , "Marcelo Passos" , "Rodrigo Roque Dias" , "Leandro Aurichi" Enviadas: Quarta-feira, 22 de março de 2023 12:31:37 Assunto: Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Olá Walter e colegas! Realmente o pdf -- que aparentemente será encaminhado ao CA-MA -- tem um tom pouco formal. E como a proposta é baseada em uma utilização o SJR-Scimago, esta importa de lá algumas discrepâncias (me avisaram no privado de pelo menos uma, na aba da lógica) . Não sei se há muito o que fazer neste curto espaço de tempo. Mas também encaro como um pontapé inicial... Abraços, Hugo Em qua., 22 de mar. de 2023 às 13:43, Walter Carnielli < walte...@unicamp.br > escreveu: Olá Hugo, Cara(o)s toda(o)s: Eu assinei o formulário, estou em princípio de acordo com esse tipo de mudança mais racional . Mas não ficou claro para mim qual é a carta exata que vai ser enviada ao CA-MA. Deve ser alguma coisa melhor redigida do que as meras ponderações que aparecem na mensagem, imagino. Você já tem essa carta, digamos assim, em um tom mais oficialesco? Penso que algo semelhante deveria ser enviado ao CA-FI. Abraços, Walter Em qua., 22 de mar. de 2023 05:02, Hugo Luiz Mariano < hugo...@ime.usp.br > escreveu: Caros colegas, Encaminho mensagem recebida através de um colega algebrista contendo uma proposta da alteração do sistema de avaliação de revistas da área de matemática no CNPq. A proposta de alteração (ver 2 anexos) beneficiaria não apenas a área de álgebra, mas também áreas mais abstratas da matemática, como lógica e fundamentos. Noto que a manifestação de cada um que estiver de acordo, teria que ocorrer através do formulário abiaxo, até o dia 25 de março. https://docs.google.com/forms/d/e/1FAIpQLSeBXQNr7jAEsT4kkWKjzEDL35L4RVTyOVYeJvUO5Rl4qKrDoA/viewform?usp=sharing Abraços, Hugo -- Forwarded message - De: Plamen Emilov Kochloukov < pla...@unicamp.br > Date: ter., 21 de mar. de 2023 11:59 Subject: Critérios do CA-MA para avaliação das solicitações no CNPq To: < dricawag...@gmail.com >, < adrianaxavier2...@yahoo.com.br >, < adrielly@gmail.com >, < ferr...@fc.unesp.br >, < ailfon...@hotmail.com >, < alessandradelguing...@gmail.com >, < alebagat...@yahoo.com.br >, < alexc...@gmail.com >, < alex.freitas.cam...@usp.br >, < alexandr.kor...@ufabc.edu.br >, < ale...@unb.br >, < amkuz...@ya.ru >, < aline.vandrad...@gmail.com >, < pinto.al...@gmail.com >, < alonso.castella...@ufu.br >, Altair S O T < altair...@gmail.com >, < ama
[Logica-l] Enc: RAMiCS 2023 - Call for participation
- 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 Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: Registration deadline: February 28, 2023 RAMiCS 2021: 3 to 6 April 2023 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a physical conference. There are no conference fees but, due to limited resources, it is subject to approval by the conference organisers. REGISTRATION Participating at the conference dinner can take place at cost price (to be paid on site). To register for the conference please refer to the registration section of https://ramics20.lis-lab.fr/#registration. PROGRAM AND INVITED TALKS The RAMiCS 2023 program features 3 invited talks, 17 contributed talks, and 7 short talks. The invited talks are: Alexander Knapp, Augsburg University, Germany Specifying Event/Data-based Systems John Stell, University of Leeds, UK Algebra and Logic in Granularity Valeria Vignudelli, CNRS/ENS Lyon, France Equational Theories and Distances for Computational Effects For more details, see https://ramics20.lis-lab.fr/accepted.html ORGANIZING COMMITTEE: Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada For more information, see https://ramics20.lis-lab.fr/ -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/689663260.37685075.1675353344050.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
... 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 comentários meio aleatórios... 1. Esse Felipe Gonçalves tem uma webpage BEM bacana. Vou me focar nisso aqui: https://w3.impa.br/~goncalves/teaching.html 2. Em 2022 ele deu um curso - em Bonn - sobre artigos do J.H. Conway, em que cada aluno apresentava um seminário sobre um artigo: https://w3.impa.br/~goncalves/conwayisgod.html https://w3.impa.br/~goncalves/erikslides.pdf https://w3.impa.br/~goncalves/marvinslides.pdf 3. Quando eu crescer eu quero trabalhar num lugar em que os alunos a) tenham acesso a computadores, b) tenham colegas que saibam Beamer e Tikz, c) consigam fazer slides como esses, qdz, sem precisarem aprender tudo sozinhos. 4. Um amigo meu que eu não posso dizer quem é uma vez fez um curso numa universidade que eu não posso dizer qual é e que tinha uma ementa ambiciosíssima, mas no qual o professor - que eu não lembro quem era - botava os alunos pra fazerem seminários sobre os tópicos da ementa... "e só". Bom, tou bem curioso sobre como esse curso do IMPA vai ser! =P Abraços, Eduardo Ochs http://angg.twu.net/eepitch.html On Tue, 20 Dec 2022 at 00:07, Walter Carnielli wrote: > > Olá Clodomir, > > Obrigado, vi o CV dele. > > Tem umas 20 boas publicações, mas nada no tema do curso. Sem duvida é > competente, mas vai ter um trabalhão com esse curso.. > > > Abs > Walter > > > Em seg., 19 de dez. de 2022 23:44, Clodomir Neto > escreveu: >> >> Boa noite! >> >> O professor será Felipe Gonçalves: será: https://w3.impa.br/~goncalves/ >> >> At.te, >> -- >> Clodomir Silva Lima Neto >> Professor EBTT Matemática >> IFCE Campus Maranguape >> >> Em seg., 19 de dez. de 2022 23:35, Walter Carnielli >> escreveu: >>> >>> Oi Samuel, oi pessoal: >>> >>> Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo. >>> >>> E deveriam convidar um lógico, mas acharam um "number theorist" entre eles. >>> >>> Mas eu não sei quem é, vc conseguiu saber? >>> >>> Abs >>> Walter >>> >>> Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L >>> escreveu: >>>> >>>> Caros, >>>> >>>> Acabou de aparecer no Twitter, >>>> >>>> Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente, >>>> Computação, Lógica e Teoria dos Conjuntos (!!!), >>>> com uma ementa deveras ambiciosa...), >>>> >>>> E as surpresas continuam, quem vai ministrar nem é de Lógica, é um >>>> pesquisador que trabalha na 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ê recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse >>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br. >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica >>> >>> --- >>> Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfksKOj1YoX6bAtx3awjKO9xvgtvyNZaM-MEpxewde5Qw%40mail.gmail.com. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > > --- > Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdPN%3DAcKjej0ovaz8iNykhjuPaoB8bRsPPP3gCy2jmn2g%40mail.gmail.com. -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/472844398.20870725.1671515815503.JavaMail.zimbra%40ufba.br.
[Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
Caros, Acabou de aparecer no Twitter, Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente, Computação, Lógica e Teoria dos Conjuntos (!!!), com uma ementa deveras ambiciosa...), E as surpresas continuam, quem vai ministrar nem é de Lógica, é um pesquisador que trabalha na 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. 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.
[Logica-l] Fwd: RAMiCS 2023 - Call for short contributions / posters
... 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 multiple posting) CALL FOR SHORT CONTRIBUTIONS / POSTERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ Additionally to the standard CfP, RAMiCS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, etc. Short contributions will *not* be published in the conference proceedings. IMPORTANT DATES: Submission: January 27, 2023 Notification: February 03, 2023 RAMiCS 2023: April 03-06, 2023 INVITED SPEAKERS: Alexander Knapp, Augsburg University, Germany John Stell, University of Leeds, UK Valeria Vignudelli, CNRS/ENS Lyon, France GENERAL INFORMATION: Since 1994, the RAMICS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite short submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Please send your short submission as a single pdf file to ramics2...@easychair.org by January 27, 2023. ORGANIZERS: Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany Luigi Santocanale, LIS, Aix-Marseille University, France Michael Winter, Brock University, Canada -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/140336068.20078653.1671231909188.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica
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 fosse em Lógica Matemática (esse era o procedimento da Congregação para homologação de candidaturas). No entanto, com o final das vagas de REUNI e etc., ultimamente os concursos aqui no Departamento de Matemática estão sendo concursos gerais de Matemática. Em particular, os pontos para prova 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 2022 às 17:11:11 UTC-4, Cassiano Terra Rodrigues escreveu: > Camaradas, de fato, avançou. Mas todas as pontuações contribuíram. > Concurso público, neste país, é uma exigência recente, foi a Constituição > de 88 q consolidou. Antes disso, era na base do Quem Indica mesmo, ou > pegavam as pessoas no corredor. Que há distorções, todos sabemos, é por > isso q aqui tb debatemos, mas dado q é um tema q nos diz respeito > diretamente, é natural q cause reações, ainda mais pq se relaciona com > pontos sensíveis, como privilégios, direitos e carreiras públicos. Enfim. > Peço desculpas se pareci ríspido ou agressivo com alguém, posso ser > atabalhoado, mas não quero me indispor ninguém, longe disso. Há pessoas > muito queridas e muito respeitadas, por mim e por todo mundo, aqui. > Só uma coisa. Ricardo: > >> >> Sobre o caso da filosofia, muito foi dito já, mas deixo a matéria do UOL >> a respeito do Weintraub apenas a título de curiosidade. >> >> > > O Weintraub fez concurso pra Contábeis, é formado em economia. Já > publicaram até q foi o irmão dele, do direito, q organizou a banca. > Mas com a filosofia, qual a relação? É um exemplo de graduado numa área q > virou professor em outra? > Não entendi... > > > Saudações, > cass. > >> >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9a930a25-0a6e-47ed-8e41-0801224faf30n%40dimap.ufrn.br.
Re: [Logica-l] twin primes
... Vejam o comentário 6 (supostamente de um editor de um jornal de Lógica que se manteve anônimo). https://leiterreports.typepad.com/blog/2022/10/did-a-logic-journal-publish-a-supposedly-pathbreaking-piece-with-a-mistake.html Quem chamou a atenção para esse link foi a Catarina Dutilh Novaes 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 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/logic-journal-retracts-two-articles-after-refutation-in-online-discussion/ > > Ambos os papers seguem online, sem nenhum aviso visível nas páginas em que > estão publicados. > > JM > > > On Sun, Oct 30, 2022, 11:39 Joao Marcos wrote: > > > Public announcement > > > > > > Recently two articles on the applications of Rasiowa-Sikorski Lemma to > > arithmetic were published online in Studia Logica without proper > > examination and beyond reasonable standards of scholarly rigor. As it > > turned out, they contained an irreparable mistake and, consequently, have > > been retracted from the journal’s website. The papers will not appear in > > print. > > > > > > I want to thank all our readers who alerted us to this unfortunate > > incident. I feel responsible for the reputation damage caused by these > > publications, and I want to offer my sincere apologies to the scientific > > community and the author. > > > > Studia Logica editors have examined the journal's review procedure to > > ensure that a similar situation will not happen again. > > > > > > *Jacek Malinowski* > > > > *Studia Logica* > > > > *Editor-in-Chief* > > > > On Sat, Oct 29, 2022, 13:42 'Samuel Gomes da Silva' via LOGICA-L < > > logi...@dimap.ufrn.br> wrote: > > > >> ... 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 Samuel > >> > >> Ps: Detratores do Latex pulem a primeira razão, hehe... > >> - Mensagem original - > >> De: Walter Carnielli > >> Para: samuel > >> Cc: LOGICA-L > >> Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT) > >> Assunto: Re: [Logica-l] twin primes > >> > >> Ois, > >> > >> > >> Os artigos vão ser retirados do Sudia Logica. O próprio Janusz > >> Czelakowski pediu para retirar. > >> > >> Abs, > >> > >> Walter > >> Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L < > >> logi...@dimap.ufrn.br> escreveu: > >> > >> > > >> > 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á > tinha > >> > um contra-exemplo explícito para > >> > um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um > >> > número primo - e, nas últimas 15 horas, > >> > foi acrescentado um post onde supostamente se encontra onde estaria o > >> erro > >> > nesse paper II. > >> > > >> > Esses lançamentos da Studia Logica vão ser muito 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
Re: [Logica-l] twin primes
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/logic-journal-retracts-two-articles-after-refutation-in-online-discussion/ Ambos os papers seguem online, sem nenhum aviso visível nas páginas em que estão publicados. JM On Sun, Oct 30, 2022, 11:39 Joao Marcos wrote: > Public announcement > > > Recently two articles on the applications of Rasiowa-Sikorski Lemma to > arithmetic were published online in Studia Logica without proper > examination and beyond reasonable standards of scholarly rigor. As it > turned out, they contained an irreparable mistake and, consequently, have > been retracted from the journal’s website. The papers will not appear in > print. > > > I want to thank all our readers who alerted us to this unfortunate > incident. I feel responsible for the reputation damage caused by these > publications, and I want to offer my sincere apologies to the scientific > community and the author. > > Studia Logica editors have examined the journal's review procedure to > ensure that a similar situation will not happen again. > > > *Jacek Malinowski* > > *Studia Logica* > > *Editor-in-Chief* > > On Sat, Oct 29, 2022, 13:42 'Samuel Gomes da Silva' via LOGICA-L < > logica-l@dimap.ufrn.br> wrote: > >> ... 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 Samuel >> >> Ps: Detratores do Latex pulem a primeira razão, hehe... >> - Mensagem original - >> De: Walter Carnielli >> Para: samuel >> Cc: LOGICA-L >> Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT) >> Assunto: Re: [Logica-l] twin primes >> >> Ois, >> >> >> Os artigos vão ser retirados do Sudia Logica. O próprio Janusz >> Czelakowski pediu para retirar. >> >> Abs, >> >> Walter >> Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L < >> logica-l@dimap.ufrn.br> escreveu: >> >> > >> > 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á tinha >> > um contra-exemplo explícito para >> > um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um >> > número primo - e, nas últimas 15 horas, >> > foi acrescentado um post onde supostamente se encontra onde estaria o >> erro >> > nesse paper II. >> > >> > Esses lançamentos da Studia Logica vão ser muito 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 of >> >> Rasiowa–Sikorski Lemma in Arithmetic (II) >> >> <https://link.springer.com/article/10.1007/s11225-022-10015-4> >> >> Studia Logica (2022) >> >> Janusz Czelakowski >> >> >> >> >> >> >> https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture >> >> >> >> >> >> >> >> >> >> >> >> El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com) >> >> escribió: >> >> >> >>> The Twin Primes Conjecture is True in the Standard Model of Peano >> >>> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I) >> >>> Janusz Czelakowski >> >>> Studia Logica (2022) >> >>> https://link.springer.com/article/10.1007/s11225-022-10017-2 >> >>> >> >>> >> >>> JM >> >>> >> >>> -- >> >>> LOGICA
Re: [Logica-l] twin primes
... 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 Samuel Ps: Detratores do Latex pulem a primeira razão, hehe... - Mensagem original - De: Walter Carnielli Para: samuel Cc: LOGICA-L Enviadas: Sat, 29 Oct 2022 12:24:30 -0300 (BRT) Assunto: Re: [Logica-l] twin primes Ois, Os artigos vão ser retirados do Sudia Logica. O próprio Janusz Czelakowski pediu para retirar. Abs, Walter Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > > 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á tinha > um contra-exemplo explícito para > um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um > número primo - e, nas últimas 15 horas, > foi acrescentado um post onde supostamente se encontra onde estaria o erro > nesse paper II. > > Esses lançamentos da Studia Logica vão ser muito 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 of >> Rasiowa–Sikorski Lemma in Arithmetic (II) >> <https://link.springer.com/article/10.1007/s11225-022-10015-4> >> Studia Logica (2022) >> Janusz Czelakowski >> >> >> https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture >> >> >> >> >> >> El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com) >> escribió: >> >>> The Twin Primes Conjecture is True in the Standard Model of Peano >>> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I) >>> Janusz Czelakowski >>> Studia Logica (2022) >>> https://link.springer.com/article/10.1007/s11225-022-10017-2 >>> >>> >>> JM >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica >>> --- >>> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >>> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com?utm_medium=email_source=footer> >>> . >>> >> -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br?utm_medium=email_source=footer> > . > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1769119716.42262857.1667061713543.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] twin primes
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á tinha um contra-exemplo explícito para um dos teoremas do paper III - usando, vejam só, que 3^{20} + 8 é um número primo - e, nas últimas 15 horas, foi acrescentado um post onde supostamente se encontra onde estaria o erro nesse paper II. Esses lançamentos da Studia Logica vão ser muito 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 of > Rasiowa–Sikorski Lemma in Arithmetic (II) > <https://link.springer.com/article/10.1007/s11225-022-10015-4> > Studia Logica (2022) > Janusz Czelakowski > > > https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture > > > > > > El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (boto...@gmail.com) > escribió: > >> The Twin Primes Conjecture is True in the Standard Model of Peano >> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I) >> Janusz Czelakowski >> Studia Logica (2022) >> https://link.springer.com/article/10.1007/s11225-022-10017-2 >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%40mail.gmail.com?utm_medium=email_source=footer> >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/47ce2341-35bb-4724-aa54-bbcd793e17ffn%40dimap.ufrn.br.
Re: [Logica-l] Prêmio CAPES de tese 2022
... 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 apertado pra Evelyn, > > G. > > On Sat, Oct 15, 2022 at 10:36 AM Joao Marcos wrote: > >> Agora também com o prêmio de melhor tese na ANPOF! Evelyn está de muitos >> parabéns. >> >> JM >> >> On Fri, Aug 12, 2022, 13:34 Daniel Durante wrote: >> >>> Viva!! >>> >>> Obrigado colegas e Muitos parabéns para a Evelyn Que escreveu uma >>> tese belíssima e fez uma defesa impecável, das mais elogiadas pela banca >>> que eu já vi. Evelyn merece muito este prêmio, e muito mais. Nós que >>> participamos do caminho, Eu, que terminei sua orientação, João Marcos, que >>> iniciou, e Ole, que a co-orientou, certamente também ficamos muito >>> orgulhosos. >>> >>> O PPGFIL-UFRN também se orgulha. Em 2020 ganhamos uma menção honrosa com >>> a tese de João Edson, em filosofia da ciência, e agora o prêmio principal, >>> com a tese de Evelyn em filosofia da lógica!! E olha que não foi fácil >>> pré-selecionar a tese de Evelyn por aqui. Havia outras teses tão boas >>> quanto a dela, como, por exemplo, a de Sanderson Molick, orientada pelo >>> João Marcos! >>> >>> É isso aí. Uma injeção de ânimo para continuarmos trabalhando e >>> persistindo. Vamos superar estes tempos tão difíceis!! >>> >>> Saudações, >>> Daniel. >>> >>> Em sexta-feira, 12 de agosto de 2022 às 11:41:45 UTC-3, Thiago >>> Nascimento da Silva escreveu: >>> >>>> Fico muito feliz por tal conquista. Meus parabéns para Evelyn e para os >>>> Professores Ole e Daniel. >>>> >>>> Em sex., 12 de ago. de 2022 às 10:04, C. Mortari >>>> escreveu: >>>> >>>>> Parabéns à Evelyn, Daniel e Ole! >>>>> >>>>> Cezar >>>>> >>>>> Em 2022-08-12 08:53, Joao Marcos escreveu: >>>>> > >>>>> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318 >>>>> > >>>>> > O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn >>>>> > Erickson, orientada por Daniel Durante (e co-orientada por Ole >>>>> > Hjortland). >>>>> > >>>>> > A tese pode ser encontrada aqui: >>>>> > Rational theory revision in logic: beyond abductivism >>>>> > https://repositorio.ufrn.br/handle/123456789/44906?mode=full >>>>> > >>>>> > Parabéns aos envolvidos! >>>>> > Joao Marcos >>>>> > >>>>> > -- >>>>> > http://sequiturquodlibet.googlepages.com/ >>>>> >>>>> -- >>>>> 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, >>>>> envie um e-mail para logica-l+u...@dimap.ufrn.br. >>>>> >>>> Para ver esta discussão na web, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bec13384c99170bbf53ef39802571d6b%40cfh.ufsc.br >>>>> . >>>>> >>>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica >>> --- >>> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >>> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/54cb8fcd-07f3-4c27-8ff2-f9a11c1eec38n%40dimap.ufrn.br >>> >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/54cb8fcd-07f3-4c27-8ff2-f9a11c1eec38n%40dimap.ufrn.br?utm_medium=email_source=footer> >>> . >>> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica
[Logica-l] Registration no EBL - Estaremos atendendo na segunda pela manhã (e começo da tarde)
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 economizar aí uma diária de hotel, Porém nós estaremos lá preparando tudo desde cedinho, então quem quiser fazer já a registration na segunda mais cedo, talvez com mais calma, "estaremos atendendo" ---> de manhã: entre 9h e 12h30 --> no começo da tarde: entre 13h e 14h30 (a cerimônia de abertura é às 14h30 - talvez com um pequeno atraso pra justificar que estamos no Brasil - e a palestra da Itala vai ser às 15h30, sendo que essa não vai atrasar não). O registro vai estar acontecendo nas proximidades do Auditório, que fica no térreo do Instituto de Matemática e Estatí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á ser garantido aos que já preencheram. Quem ainda não preencheu e quiser ir possivelmente terá que ser servido a la carte. -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/83049b97-226f-4683-af10-81740e937ce4n%40dimap.ufrn.br.
[Logica-l] Favor fazer o upload de suas apresentações (EBL)
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 11, ou no máximo até dois dias antes das apresentações, agradecemos muitíssimo ! (Quem fizer o upload só na véspera ou na madrugada do dia da apresentação agradecemos só "muito", obviamente...) O formulário para carregar os arquivos (com instruções intuitivas) está disponível 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á 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/623e75f7-bd30-405d-86ee-3569823ddae2n%40dimap.ufrn.br.
[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)
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 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 inscrições no "Dinner Form" na página do evento, para > manter o valor de 130 reais (incluindo serviço e bebidas alcóolicas) devem > ser feitas até hoje, dia 07, e mais, acredito que no máximo amanhã de > manhã (dia 08) teremos que fechar esse formulário por demandas do > restaurante no que se 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. (ou N. A. H.) e não estamos identificando de quem > é esse depósito, se for de alguém que está lendo favor me informar off > list. > > > > > > Em segunda-feira, 5 de setembro de 2022 às 12:11:14 UTC-4, samuel escreveu: > >> ... 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 >> >> ... 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á 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 >>> Aba: Registration --> Registration Dinner >>> >>> e para aqueles que se inscrevam no jantar no máximo até a próxima >>> quarta-feira dia 07, >>> >>> Que o valor de 130 reais >>> >>> (que antes não incluía nem bebida alcóolica nem o serviço) >>> >>> POSSA AGORA INCLUIR >>> >>> Ou seja >>> >>> Pra quem se inscreveu ou pra quem se inscrever 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/28b673ec-1982-4d57-8599-61ccd4d4f33cn%40dimap.ufrn.br.
[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)
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 inscrições no "Dinner Form" na página do evento, para manter o valor de 130 reais (incluindo serviço e bebidas alcóolicas) devem ser feitas até hoje, dia 07, e mais, acredito que no máximo amanhã de manhã (dia 08) teremos que fechar esse formulário por demandas do restaurante no que se 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. (ou N. A. H.) e não estamos identificando de quem é esse depósito, se for de alguém que está lendo favor me informar off list. Em segunda-feira, 5 de setembro de 2022 às 12:11:14 UTC-4, samuel escreveu: > ... 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 > > ... 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á 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 >> Aba: Registration --> Registration Dinner >> >> e para aqueles que se inscrevam no jantar no máximo até a próxima >> quarta-feira dia 07, >> >> Que o valor de 130 reais >> >> (que antes não incluía nem bebida alcóolica nem o serviço) >> >> POSSA AGORA INCLUIR >> >> Ou seja >> >> Pra quem se inscreveu ou pra quem se inscrever 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a5ef2cb8-1d27-4f84-9b81-857ec6a65374n%40dimap.ufrn.br.
[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)
... 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 ... 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á 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 > Aba: Registration --> Registration Dinner > > e para aqueles que se inscrevam no jantar no máximo até a próxima > quarta-feira dia 07, > > Que o valor de 130 reais > > (que antes não incluía nem bebida alcóolica nem o serviço) > > POSSA AGORA INCLUIR > > Ou seja > > Pra quem se inscreveu ou pra quem se inscrever 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6fc1a351-b0e7-4c3c-bf69-2d80a819e34en%40dimap.ufrn.br.
[Logica-l] Livro de resumos do EBL disponibilizado
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ê 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/fd716979-827a-44fd-aaf2-af30cd7a32b6n%40dimap.ufrn.br.
[Logica-l] Sobre o jantar da conferência do EBL (boa notícia !!!)
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 Aba: Registration --> Registration Dinner e para aqueles que se inscrevam no jantar no máximo até a próxima quarta-feira dia 07, Que o valor de 130 reais (que antes não incluía nem bebida alcóolica nem o serviço) POSSA AGORA INCLUIR Ou seja Pra quem se inscreveu ou pra quem se inscrever 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8d07962b-445c-4ef5-8a11-3d4c1d708d7dn%40dimap.ufrn.br.
[Logica-l] Segunda dia 05, final das inscrições no XX EBL
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 que sempre representa um perda de tempo para todos). Esse formulário está na página: ebl2021.ufba.br --> Registration --> Registration Então, por favor, lembrem-se de se registrar. O registro é obrigatório para quem vai apresentar trabalho ! Se você vai usar o desconto por ser associado da SBL, por favor pague a anuidade de 2022, caso não tenha pago anteriormente. Instruções na página. --> Em ebl2021.ufba.br --> Registration --> Conference Dinner você encontra o formulário para declarar seu interesse no jantar da conferência (que vai ocorrer na quarta-feira dia 14, às 20hs, com cardápio de frutos do mar mas também existe carne e frango disponibilizados). Adoraríamos que quem pudesse já fazer o pagamento, o fizesse (são 130 reais por pessoa, se você for pagar por mais pessoas tem onde indicar isso no formulário). Quem deixar pra fazer o pagamento aqui na chegada, vai ter que confiar no wi-fi do momento da inscrição para fazer um PIX, o que pode representar também uma perda de tempo para todos. De todas formas, precisamos saber ASAP o número de pessoas para o jantar porque o restaurante nos pede essa informação com uma semana de antecedência. Então por favor preencham esse formulário (esse formulário seguirá aberto depois da segunda-feira, o outro - o das inscrições - será fechado na segunda de noite). ---> A programação do evento já está na página. Uma versão "para impressão" fica disponível em 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 e instruções... Até breve !!! []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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/115a55b1-27e3-47f5-814b-2055851f8817n%40dimap.ufrn.br.
[Logica-l] Programação Provisória do EBL
Prezados, Vocês podem encontrar a programação provisória do EBL Salvador no seguinte link: https://drive.google.com/file/d/1ljHOFpmJjbRqzeqE1OSjC_bkOVOXFV9k/view?usp=sharing Solicitamos que nos avisem sobre qualquer inconsistência. Como essa é uma programação provisória, estamos reservando 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á 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1256275082.5600800.1660927957872.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)
... 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 de agosto de 2022 às 19:14:00 UTC-3, samuel escreveu: > 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/UCSqOfroNO6rc3wUeP9-f1qg/featured > > Será a primeira live que faremos, então pedimos desculpas antecipadamente > por qualquer problema... 8-) > > --> a sessão online da sexta-feira 19/08 às 14hs vai ser transmitida via > Zoom no link > > https://ucl.zoom.us/j/96643160730 > > Convidamos todos os interessados 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! >> >> Itala >> >> Em sex., 12 de ago. de 2022 às 20:46, Walter Carnielli < >> walt...@unicamp.br> escreveu: >> >>> Pessoal ,desejo boa sorte mas esclareço que não poderei participar >>> porque eu estou dando uma palestra em um Fórum da Unicamp neste dia. >>> >>> Abs >>> Walter >>> >>> Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva < >>> valeria...@gmail.com> escreveu: >>> >>>> >PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a >>>> qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte da >>>> manhã. >>>> >>>> Muito obrigada pelo "shout-out" Samuel!! >>>> >>>> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos >>>> organizando uma sessão de teoria de categorias no mesmo encontro >>>> Brasil-Portugal. >>>> a descrição se encontra em >>>> https://sites.google.com/view/categoriasbrasil-portugal >>>> >>>> Abracos, >>>> Valeria >>>> >>>> >>>> On Thu, Aug 11, 2022 at 12:30 PM 'Samuel Gomes da Silva' via LOGICA-L < >>>> logi...@dimap.ufrn.br> wrote: >>>> >>>>> Prezados, >>>>> >>>>> Seguindo com a presença da Lógica na recente tradição dos encontros >>>>> bilaterais da Sociedade Brasileira de Matemática com as respectivas >>>>> sociedades de >>>>> outros países, em encontros organizados no Brasil (Brasil-Espanha >>>>> 2015, Brasil-Itália 2016 e Brasil-França 2019), >>>>> >>>>> Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto >>>>> Brasil-Portugal de Matemática >>>>> >>>>> <https://sites.google.com/view/ecbpm/> >>>>> https://sites.google.com/view/ecbpm/ >>>>> >>>>> o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de >>>>> 14 a 19 de agosto. >>>>> >>>>> A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 >>>>> (apresentações presenciais) e sexta dia 19 (apresentações online). >>>>> >>>>> Mesmo as apresentações presenciais, tentaremos viabilizar a >>>>> transmissão ao vivo pelo Canal de YouTube do Grupo de >>>>> Lógica da UFBA, mando mensagem na semana que vem confirmando isso >>>>> (além de divulgar o link para a sessão da sexta-feira >>>>> que vai ser online de todas as formas). >>>>> >>>>> Também temos uma página própria para a Sessão de Lógica: >>>>> >>>>> https://sites.google.com/view/logica-brasil-portugal >>>>> >>>>> Segue a descrição da sessão: >>>>> >>>>> == >>>>> >>>>> Tópicos: >>>>> >>>>> Decidability, Proof Theory, Type Theory, Model Theory, Complexity, >>>>> Algebraic Logic, Categorical >>>>> Logic, Non-Classical Logics, Set Theory. >>>>> >>>>> Organiza
Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)
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/UCSqOfroNO6rc3wUeP9-f1qg/featured Será a primeira live que faremos, então pedimos desculpas antecipadamente por qualquer problema... 8-) --> a sessão online da sexta-feira 19/08 às 14hs vai ser transmitida via Zoom no link https://ucl.zoom.us/j/96643160730 Convidamos todos os interessados 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! > > Itala > > Em sex., 12 de ago. de 2022 às 20:46, Walter Carnielli > escreveu: > >> Pessoal ,desejo boa sorte mas esclareço que não poderei participar >> porque eu estou dando uma palestra em um Fórum da Unicamp neste dia. >> >> Abs >> Walter >> >> Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva >> escreveu: >> >>> >PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a >>> qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte da >>> manhã. >>> >>> Muito obrigada pelo "shout-out" Samuel!! >>> >>> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu estamos >>> organizando uma sessão de teoria de categorias no mesmo encontro >>> Brasil-Portugal. >>> a descrição se encontra em >>> https://sites.google.com/view/categoriasbrasil-portugal >>> >>> Abracos, >>> Valeria >>> >>> >>> On Thu, Aug 11, 2022 at 12:30 PM 'Samuel Gomes da Silva' via LOGICA-L < >>> logi...@dimap.ufrn.br> wrote: >>> >>>> Prezados, >>>> >>>> Seguindo com a presença da Lógica na recente tradição dos encontros >>>> bilaterais da Sociedade Brasileira de Matemática com as respectivas >>>> sociedades de >>>> outros países, em encontros organizados no Brasil (Brasil-Espanha 2015, >>>> Brasil-Itália 2016 e Brasil-França 2019), >>>> >>>> Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto >>>> Brasil-Portugal de Matemática >>>> >>>> <https://sites.google.com/view/ecbpm/> >>>> https://sites.google.com/view/ecbpm/ >>>> >>>> o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de >>>> 14 a 19 de agosto. >>>> >>>> A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 >>>> (apresentações presenciais) e sexta dia 19 (apresentações online). >>>> >>>> Mesmo as apresentações presenciais, tentaremos viabilizar a transmissão >>>> ao vivo pelo Canal de YouTube do Grupo de >>>> Lógica da UFBA, mando mensagem na semana que vem confirmando isso (além >>>> de divulgar o link para a sessão da sexta-feira >>>> que vai ser online de todas as formas). >>>> >>>> Também temos uma página própria para a Sessão de Lógica: >>>> >>>> https://sites.google.com/view/logica-brasil-portugal >>>> >>>> Segue a descrição da sessão: >>>> >>>> == >>>> >>>> Tópicos: >>>> >>>> Decidability, Proof Theory, Type Theory, 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 >>>> ** >>>> >>>> 13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização) >>>> >>>> 14:00–14:20 Pedro Quaresma - Coimbra, Portugal >>>> >>>> New and interesting theorems >>>> >>>> 14:20–14:40 Renata de Freitas - Niterói, Brasil >>>> >>>> Graph logic in use >>>> >>>> 14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil >>>&
Re: [Logica-l] Prêmio CAPES de tese 2022
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! Muitas outras certamente virão! > > Abraços, > > Anderson > > Em segunda-feira, 15 de agosto de 2022 às 16:51:55 UTC-3, evgomes escreveu: > >> Olá Daniel, olá Evelyn! >> >> Parabéns por esta tão importante e memorável conquista! >> >> Abs, >> Evandro Gomes >> >> >> On Fri, Aug 12, 2022 at 9:22 AM Elaine Pimentel >> wrote: >> >>> Que grande notícia >>> >>> Parabéns, Evelyn! Parabéns Daniel! >>> >>> Acho que é uma ótima ideia colocar na página da SBL os prêmios de teses >>> em Lógica. Tivemos há um tempo atrás a Giselle Secco. Quem tiver >>> informações de anos anteriores, por favor, nós envie a informação? >>> >>> Obrigada. >>> >>> Parabéns novamente, Evelyn!! Um super abraço!! >>> >>> Elaine. >>> >>> On Fri, Aug 12, 2022, 06:53 Joao Marcos wrote: >>> >>>> >>>> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318 >>>> >>>> O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn >>>> Erickson, orientada por Daniel Durante (e co-orientada por Ole >>>> Hjortland). >>>> >>>> A tese pode ser encontrada aqui: >>>> Rational theory revision in logic: beyond abductivism >>>> https://repositorio.ufrn.br/handle/123456789/44906?mode=full >>>> >>>> Parabéns aos envolvidos! >>>> Joao Marcos >>>> >>>> -- >>>> http://sequiturquodlibet.googlepages.com/ >>>> >>>> -- >>>> 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, >>>> envie um e-mail para logica-l+u...@dimap.ufrn.br. >>>> Para ver esta discussão na web, acesse >>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljc8-i44y0QQLBGwJsdCNcqox9Dtzc6UYjUpU4k2s4wig%40mail.gmail.com >>>> . >>>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica >>> --- >>> >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >>> >> Para ver essa discussão na Web, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWW6%3DL_NzNZEDk5VSNisJLBdwReKy-Nvo%2BfHWhtej9ytQ%40mail.gmail.com >>> >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWW6%3DL_NzNZEDk5VSNisJLBdwReKy-Nvo%2BfHWhtej9ytQ%40mail.gmail.com?utm_medium=email_source=footer> >>> . >>> >> -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cfdebff3-6a62-4e0a-adcc-bfc7f7f6f7aen%40dimap.ufrn.br.
[Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)
Prezados, Seguindo com a presença da Lógica na recente tradição dos encontros bilaterais da Sociedade Brasileira de Matemática com as respectivas sociedades de outros países, em encontros organizados no Brasil (Brasil-Espanha 2015, Brasil-Itália 2016 e Brasil-França 2019), Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática https://sites.google.com/view/ecbpm/ o qual vai ser realizado aqui mesmo em Salvador, na semana que vem, de 14 a 19 de agosto. A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18 (apresentações presenciais) e sexta dia 19 (apresentações online). Mesmo as apresentações presenciais, tentaremos viabilizar a transmissão ao vivo pelo Canal de YouTube do Grupo de Lógica da UFBA, mando mensagem na semana que vem confirmando isso (além de divulgar o link para a sessão da sexta-feira que vai ser online de todas as formas). Também temos uma página própria para a Sessão de Lógica: https://sites.google.com/view/logica-brasil-portugal Segue a descrição da sessão: == Tópicos: Decidability, Proof Theory, Type Theory, 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 ** 13:50–14:00 Abertura da sessão (Elaine & João Marcos - organização) 14:00–14:20 Pedro Quaresma - Coimbra, Portugal New and interesting theorems 14:20–14:40 Renata de Freitas - Niterói, Brasil Graph logic in use 14:40–15:00 Samuel Gomes da Silva - Salvador, Brasil Kolmogorov-Veloso Problems, Dialectica Categories and Choice Principles 15:00–15:20 Alfredo Roque Freire - Aveiro, Portugal Modalities in worlds with different logics 15:20–15:40 Ciro Russo - Salvador, Brasil Coproducts and amalgamation of deductive systems by means of ordered algebras 15:40–16:00 Darllan Pinto - Salvador, Brasil Horn filter pairs and Craig interpolation in propositional logics * Sexta-feira, 19 de Agosto * 14:00–14:15 Marcelo Coniglio - Campinas, Brasil A new decision method for da Costa’s C-systems by means of restricted non-deterministic matrix semantics 14:15–14:30 Luís Pinto - Braga, Portugal Call-by-name and call-by-value lambda-calculi as modal calculi 14:30–14:45 Mário Florido - Porto, Portugal Substructural logics: less rules mean more expressiveness 14:45–15:00 Cristina Sernadas - Lisboa, Portugal Schema complexity in propositional-based logics 15:00–15:15 Mário Jorge Edmundo - Lisboa, Portugal Logic and algebraic varieties in non-Archimedean fields 15:15–15:30 Isabel Oitavem - Lisboa, Portugal A logical approach to the Polynomial Hierarchy 15:30–15:45 Alexandre Madeira - Aveiro, Portugal Towards the generation of graded modal logics: parametric methods and applications 15:45–16:00 Hugo Mariano - São Paulo, Brasil Algebraic and model-theoretical contributions to the theory of algebraically closed multifields 16:00–16:10 Manuel & Alfredo (organização) Encerramento === Uma versão completa dos resumos está na página do Brasil-Portugal, junto com todas as outras sessões https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas e de todos os modos os resumos de Lógica estão disponíveis no Drive abaixo: https://drive.google.com/file/d/1VDq4QbModS7udFIqrh3CCg1ofbno1Zk6/view Abraços []s Samuel PS: Temos colegas lógicos também na Sessão de Teoria das Categorias, a qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte da manhã. -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1614967870.1741939.1660246216221.JavaMail.zimbra%40ufba.br.
[Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs
Prezados, Já está disponível na página do EBL (aba Registration ---> Conference Dinner) o formulário de adesão ao Jantar da Conferência, que será num restaurante de tradicional comida baiana (moquecas para todos !) na quarta-feira da conferência, como é de costume. O custo é de 130 reais, não incluindo nem o serviço (10%) e nem bebidas alcóolicas. No formulário, você terá três opções de declaração: --> tenho interesse em ir e já vou pagar agora, anexando o comprovante de transferência bancária; --> tenho interesse em ir e vou pagar depois, nesse caso o seu pagamento de 130,00 será solicitado no dia da sua "registration" na chegada; --> não tenho interesse em ir. Em particular, se você já estiver seguro de que não tem interesse, ainda assim é importante que você preencha o formulário e declare não estar interessado, para que tenhamos uma 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 inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/424768870.79549.1658843645599.JavaMail.zimbra%40ufba.br.
[Logica-l] Prorrogação do Early Bird (até 31/07) - XX EBL, Salvador
Prezados colegas, Como nesta semana, até o dia 31 de julho, estamos todos entregando os arquivos .tex da versão final dos trabalhos aceitos para o XX EBL, Enquanto que o Early Bird para inscrições mais baratas venceu ontem, 24 de julho, Decidimos, a organização e a Diretoria da SBL, prorrogar por MAIS UMA SEMANA o prazo do Early Bird. Assim, as condições especiais para inscrição antecipada serão válidas até o próximo domingo, dia 31 de julho. A organização já está enfrentando algumas despesas inadiáveis e o dinheiro das inscrições é fundamental para viabilizar o evento. 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2015808579.7231792.1658758366692.JavaMail.zimbra%40ufba.br.
[Logica-l] Albergue a 50 reais para os estudantes interessados - XX EBL, Salvador
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 estadias podem começar no dia 10 de setembro. Os estudantes interessados podem passar os seus dados para nós, preenchendo um formulário na página do evento - aba "Students", procurar o texto abaixo, e obrigado a todos. PS: Esse acordo se destina a *todos* os estudantes interessados, não apenas aos 15 que já foram agraciados com o apoio da SBL. (sendo muito recomendado para esses 15, obviamente). Basta preencher o formulário com datas de entrada e saída, se estão com certeza que virão, e o albergue receberá esses dados e efetivará a reserva. Student Accomodation Students interested in staying at the partner hostel at discount rates may fill the Student Accomodation Form . Our Partner Hostel ( Barra Hostel is located in the Barra neighberhood, close to several touristic attractions, as well as restaurants and bars, and at 10 min ride from the Event Venue. EBL participants can stay in Barra Hostel at the discount rate of R$50,00 per day in a shared room with breakfast included. -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1596065616.4824087.1658240441944.JavaMail.zimbra%40ufba.br.
[Logica-l] Overleaf - opção para preencher o template EBL online
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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1604924348.19497591.1655680881622.JavaMail.zimbra%40ufba.br.
[Logica-l] Lançamento de livros no EBL
Prezados, Como de costume, será reservado um espaço no EBL para os colegas que no último período lançaram um livro, edição especial de periódico e afins, para apresentação desse novo trabalho à comunidade. Quem tiver então algum lançamento que deseje anunciar no EBL favor me procurar OFF-LIST. 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7948cbb0-fb91-474c-a1fc-22c6a4851de6n%40dimap.ufrn.br.
[Logica-l] Re: XX EBL - Deadline extended
Prezados, No contexto da extensão do deadline, Algumas informações: > Confirmando que o novo deadline é 19 de junho ! Também conhecido como daqui a 4 dias. Submissões são muito bem-vindas ! > Por algum esquecimento entre o EBL passado e este, a linha de pesquisa "Teaching Logic" (Ensino de Lógica) não estava listada entre os tópicos sugeridos, isso já foi atualizado no site do evento. Submissões nessa linha em particular são também muito bem-vindas !!! > Em conformidade com a nova data para a notificação/resposta das submissões (que agora é 17 de julho), 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 o XX Encontro Brasileiro de Lógica foi > estendido. > Por gentileza, compartilhem o arquivo em anexo. > > Abraço, > > Ciro > -- > > > > > = > Ciro Russo > Ph.D. > > Associate Professor > Departamento de Matemática > Instituto de Matemática e Estatística > Universidade Federal da Bahia > Campus de Ondina, Av. Milton Santos, Ondina > 40170-110 - Salvador - Bahia - Brazil > = > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a8b49b59-aa50-4e14-8bd6-5544c05ae5den%40dimap.ufrn.br.
[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais
... 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 finitas é uma base para uma topologia sobre X", assim bem direto, sem entrar em muitos detalhes (ou, equivalentemente, dada qualquer família de subconjuntos de X, essa família pode ser tomada como subbase para uma topologia sobre X) Pois é. Pensando com a visão de hoje, se a união dessa família de subconjuntos não for o X todo, na prática o que tem que ser feito é juntar o unitário de X à todas essas intersecções de subfamílias finitas, pois todo ponto tem que pertencer a pelo menos um aberto... Então a base, na verdade, seria "todas as intersecções de subfamílias finitas da família dada inicialmente, unindo com o unitário de X, formam uma base para uma topologia", e essa topologia é a menos fina que contém a família de subconjuntos dada inicialmente (e mais o X mas o X tem que estar em qualquer topologia de todo jeito, não tem muita graça...). E, como todo bom conjuntista, essas intersecções de subfamílias finitas têm que ser subfamílias finitas e não-vazias - já que a intersecção da família vazia é o universo todo, que não é conjunto... "Não intersectarás o vazio". Então eu, aqui no séc. XXI, complico o enunciado para "dada qualquer família de subconjuntos de X, a família de todas as suas intersecções finitas *e* não-vazias, unida com o unitário de X, é base para uma topologia". Ficou bem mais chato, né ? PORÉM, para esses caras dos anos 50, o vazio não é um só, teríamos "mais vazios", seria algo do tipo que você propõe ! A "intersecção da família vazia", pensando como existindo um único vazio, dá o universo todo, logo não podemos considerá-la. Porém se concebermos a existência da "família vazia de subconjuntos de X", i.e. a família é vazia mas a gente imagina que todos os moradores dessa família vazia são subconjuntos de X... some o paradoxo da intersecção do vazio ser o universo: pois aí a intersecção da família vazia de subconjuntos de X dá... X !!! (bom exercício para os estudantes que estão lendo). Assim como a intersecção da família vazia de subconjuntos 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 bem rápido... Por mais vazios então, muito bem ! Até []s Samuel PS: Comentário para os estudantes: o truque acima de pensar que o vazio é formado só por subconjuntos de X, hehe, não é muito diferente do que fazemos quando um reticulado é limitado superiormente, i.e. tem máximo. Por vacuidade, todo elemento do reticulado é uma cota inferior para o conjunto vazio. Assim, o máximo do reticulado é a maior cota inferior do vazio... Logo o ínfimo do vazio é... !!! Não é muito diferente de intersectar um vazio esperto, se o reticulado for... De subconjuntos de X. Em segunda-feira, 6 de junho de 2022 às 19:47:57 UTC-4, Joao Marcos escreveu: > > ---> o conjunto vazio por não ser uma coleção (???) > > O que é realmente _pouco natural_ é conceber uma teoria que é tão > homogênea a ponto de dispor de apenas _uma_ coleção vazia! > > {}s, JM > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5d4e0aa2-b049-411b-8afa-24ef05851b08n%40dimap.ufrn.br.
[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais
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 contra ---> o conjunto vazio por não ser uma coleção (???) ---> o zero não ser um número (???), ou, num segundo grau de implicância com o zero, ---> o zero não ser um número natural e meio que os argumentos vêm sempre do mesmo lugar - se não tem ninguém no conjunto não é uma coleçã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 junho de 2022 às 17:51:37 UTC-4, Joao Marcos escreveu: > Oh, dear Lenore... > > > Agora falando sério, o que será mais fácil de ter o conceito - o zero ou > o conjunto vazio ? > > Pois falemos sério! Você conhece alguma sociedade que "domine" o conceito > de conjuntos mas não o de números? > > {}s (ou ∅s), > Joao Marcos > > On Mon, Jun 6, 2022 at 5:04 PM samuel wrote: > >> ... 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: >> >>> >>> https://arstechnica.com/science/2022/06/what-the-simple-mathematical-abilities-of-animals-can-tell-us-about-ourselves/ >>> "crows can understand the concept of zero" >>> >>> JM >>> >> > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0b19504d-b7a4-4c72-a962-4eafb893d355n%40dimap.ufrn.br.
[Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais
... 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: > > https://arstechnica.com/science/2022/06/what-the-simple-mathematical-abilities-of-animals-can-tell-us-about-ourselves/ > "crows can understand the concept of zero" > > JM > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9b3bf77f-c16a-4b98-b7aa-52ecd983cbedn%40dimap.ufrn.br.
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
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, 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 pred(a,x,r) (em geral para ordens lineares, como eu > comentei). > > Obrigado Samuel pela referência. Lhe agradeceria, só para ter certeza, se > me pudesse confirmar se a relação r em pred(a,x,r) (pág. 103) é irreflexiva. > > Na "nova bíblia" sobre reticulados e ordens > > Introduction to Lattices and Orders (2nd ed) > Davey and Priestley > CUP 2002 > > Prezado Petrúcio, concordo com você, essa é uma excelente referência na > área de reticulados e ordens. Também gosto do livro "Lattices and ordered > sets" de Steven Roman. > > No texto, o conceito "down set" é definido, depois o conceito "down Q" e, > finalmente, este último particularizado para "down x", quando Q = { x } > (página. 20). > > Tal como mencionou depois o Samuel, eu preciso que o conjunto gerado por x > somente contenha os elementos estritamente menores do que x, por isso o que > preciso não é um down x. Em outras palavras, ocupando a notação de > reticulados, o que necessito é ↓x\{x}. > > > No livro "Elements of Set Theory" de Enderton (1977), esse conjunto é > chamado "initial segment up to x" (a definição está na página 173). > > Obrigado Juan Carlos pela referência. A diferença da sua referência, > dentro do contexto de teoria dos conjuntos, com a referência de Samuel, é > que na definição de "initial segment up to x" no livro de Enderton é usada > uma relação de ordem estrita (transitiva e irreflexiva), mas não > necessariamente linear. > > > Considerando as referências de Samuel e Juan Carlos, o conceito que > preciso só foi definido em teoria dos conjuntos, mas não dentro da teoria > de reticulados nem na teoria dos domínios. > > > Abraços, > Claudio Callejas. > > > El vie, 3 jun 2022 a las 12:51, Juan Carlos Agudelo Agudelo (< > juca.a...@gmail.com>) escribió: > >> Olá, >> >> No livro "Elements of Set Theory" de Enderton (1977), esse conjunto é >> chamado "initial segment up to x" (a definição está na página 173). >> >> >> On Fri, Jun 3, 2022 at 10:07 AM Jorge Petrucio Viana < >> petruci...@id.uff.br> wrote: >> >>> Será que Davey e Priestley iriam dar esse mole? >>> >>> Tá lá na página 20: ↓x = { y ∈ P | y ≤ x }. >>> >>> >>> >>> Em sex., 3 de jun. de 2022 às 11:51, samuel escreveu: >>> >>>> 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 reticulados e ordens >>>>> >>>>> Introduction to Lattices and Orders (2nd ed) >>>>> Davey and Priestley >>>>> CUP 2002 >>>>> >>>>> que contém um capítulo sobre teoria dos domínios, esse conjunto é >>>>> chamado "down x". >>>>> No texto, o conceito "down set" é definido, depois o conceito "down >>>>> Q" e, finalmente, este último particularizado para "down x", quando Q = { >>>>> x >>>>> } (página. 20). >>>>> >>>>> saudações lógicas, >>>>> P >>>>> >>>>> >>>>> Em sex., 3 de jun. de 2022 às 11:10, Claudio Callejas < >>>>> ccalleja...@gmail.com> escreveu: >>>>> >>>>>> Bom dia, >>>>>> >>>>>> Obrigado Samuel e João Marcos pelas respostas. >>>>>> >>>>>> Samuel, você poderia, por favor, me enviar uma referência da área de >>>>>> teoria dos conjuntos onde esteja definido
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
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 reticulados e ordens > > Introduction to Lattices and Orders (2nd ed) > Davey and Priestley > CUP 2002 > > que contém um capítulo sobre teoria dos domínios, esse conjunto é chamado > "down x". > No texto, o conceito "down set" é definido, depois o conceito "down Q" e, > finalmente, este último particularizado para "down x", quando Q = { x } > (página. 20). > > saudações lógicas, > P > > > Em sex., 3 de jun. de 2022 às 11:10, Claudio Callejas < > ccalleja...@gmail.com> escreveu: > >> Bom dia, >> >> Obrigado Samuel e João Marcos pelas respostas. >> >> Samuel, você poderia, por favor, me enviar uma referência da área de >> teoria dos conjuntos onde esteja definido o termo predecessores de x no >> conjunto ordenado (a,r)? Gostaria de citar essa referência no meu trabalho. >> >> O termo predecessores de x no conjunto ordenado (a,r) e a notação >> pred(a,x,r) fogem muito da terminologia das área de reticulados e teoria >> dos domínios, mas à falta de nome e notação para esse conceito nestas duas >> últimas áreas eu gostaria de sinalizar no meu trabalho que na área de >> teoria dos conjuntos o termo é chamado de predecessores de x, mas que eu >> irei chamá-lo de "right-open principal ideal generated by x" (estou >> adaptando a proposta de nome de João Marcos e trazendo a atenção que se >> parece ao conceito de ideal principal gerado por x). Enquanto à notação vou >> ter que pensar em algum tipo de seta, porque é a práxis da área. >> >> De toda forma, se outro membro da lista conhece algum nome e notação para >> o conjunto {y \in P : y> é um elemento de P, eu lhe agradeceria se pudesse me informar. >> >> Abraços, >> Claudio Callejas. >> >> El vie, 3 jun 2022 a las 10:07, samuel () escribió: >> >>> 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. >>> >>> 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), 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. >>>>> >>>> >>>> No caso de uma ordem linear r isto também poderia ser chamado (mais >>>> comumente?) de "right-open interval (bounded on x)", não? >>>> >>>> []s, Joao Marcos >>>> >>>> -- >>>> http://sequiturquodlibet.googlepages.com/ >>>> >>> -- >> > LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >> > Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e09pM4dEv5dgXxuTny9%3Dan6MVoJ%2BPmO_o42P8fTtUqQyQ%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e09pM4dEv5dgXxuTny9%3Dan6MVoJ%2BPmO_o42P8fTtUqQyQ%40mail.gmail.com?utm_medium=email_source=footer> >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8530b5ee-1222-42dc-8c73-d512324e9ca6n%40dimap.ufrn.br.
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
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: "Joao Marcos" , "Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA" Enviadas: Sexta-feira, 3 de junho de 2022 10:10:41 Assunto: Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Bom dia, Obrigado Samuel e João Marcos pelas respostas. Samuel, você poderia, por favor, me enviar uma referência da área de teoria dos conjuntos onde esteja definido o termo predecessores de x no conjunto ordenado (a,r)? Gostaria de citar essa referência no meu trabalho. O termo predecessores de x no conjunto ordenado (a,r) e a notação pred(a,x,r) fogem muito da terminologia das área de reticulados e teoria dos domínios, mas à falta de nome e notação para esse conceito nestas duas últimas áreas eu gostaria de sinalizar no meu trabalho que na área de teoria dos conjuntos o termo é chamado de predecessores de x, mas que eu irei chamá-lo de "right-open principal ideal generated by x" (estou adaptando a proposta de nome de João Marcos e trazendo a atenção que se parece ao conceito de ideal principal gerado por x). Enquanto à notação vou ter que pensar em algum tipo de seta, porque é a práxis da área. De toda forma, se outro membro da lista conhece algum nome e notação para o conjunto {y \in P : y) escribió: 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. 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), 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. No caso de uma ordem linear r isto também poderia ser chamado (mais comumente?) de "right-open interval (bounded on x)", não? []s, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/59186890.8736379.1654266863356.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
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. 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), 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. >> > > No caso de uma ordem linear r isto também poderia ser chamado (mais > comumente?) de "right-open interval (bounded on x)", não? > > []s, Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9348dca6-b586-4c35-bf69-50363d3f8de7n%40dimap.ufrn.br.
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
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 Em quinta-feira, 2 de junho de 2022 às 21:16:22 UTC-4, Claudio Andrés Callejas Olguín escreveu: > Oi João Marcos! > > Obrigado pela resposta, mas não estou precisando definir um down set. > Preciso dar um nome para o conjunto A={y \in P : y parcialmente ordenado e x é um elemento de P. A diferença com o ideal > principal gerado por x é que o conjunto A não contém x. > > Abraços, > Claudio Callejas. > > El jue, 2 jun 2022 a las 22:03, Joao Marcos () > escribió: > >> Gostaria de saber se vocês sabem se já foi definido o seguinte conceito >>> simples: Seja P um conjunto parcialmente ordenado e seja x um elemento de >>> P. Estou precisando dar ou saber de um nome e uma notação para o conjunto >>> formado por todos os elementos em P que são menores do que x. >>> >> >> Se eu entendi bem a pergunta, Claudio, um dos nomes que isso costuma >> receber é "down set". Há outros: >> https://en.wikipedia.org/wiki/Upper_set >> (o verbete também inclui as notações mais usuais para estas coisas) >> >> Abraços, Joao Marcos >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhSae%2BGNN6eUT-%2BUnMYSnpTN9%2BhuZ7_%3DeabcnNC3%3DROqw%40mail.gmail.com >> >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhSae%2BGNN6eUT-%2BUnMYSnpTN9%2BhuZ7_%3DeabcnNC3%3DROqw%40mail.gmail.com?utm_medium=email_source=footer> >> . >> > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3f5299de-b558-4f03-8f9b-3631c36aff38n%40dimap.ufrn.br.
[Logica-l] Posters do EBL disponíveis para download
Prezados, Estão disponíveis na página do XX EBL (Salvador, Bahia, 12 a 16 de setembro), www.ebl2021.ufba.br os posters oficiais do evento, para quem quiser imprimir e colocar na porta da sua sala ! (Aba Support, Seção Communications). A arte, autorizada pelo Instituto Carybé, segue na 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 --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1512767857.7917771.1654172854560.JavaMail.zimbra%40ufba.br.
[Logica-l] XX EBL Salvador - Apoio a Estudantes
Caros, Favor divulgar e compartilhar, Está aberta a chamada para apoio a estudantes para participação no XX EBL em Salvador, Bahia, com Escola de Lógica ocorrendo nos dias 10 e 11 de setembro de 2022 e o evento em si ocorrendo entre os dias 12 a 16 de setembro de 2022. Os estudantes (que devem necessariamente ser associados à SBL e não morarem em Salvador e Região Metropolitana) devem preencher um formulário na página do evento, ver aba "Students" em ebl2021.ufba.br A Diretoria da SBL irá decidir sobre quais estudantes serão apoiados e sobre qual será o valor 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, []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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1155440249.3548308.1652536020771.JavaMail.zimbra%40ufba.br.
[Logica-l] Acomodações XX EBL
Prezados, Outra parte do evento XX EBL cujas informações já estão disponíveis na página, Temos uma agência de turismo receptivo que fez negociações com hotéis especificamente para o EBL, com tarifas especiais, Na aba "Acommodations" da página ebl2021.ufba.br vocês encontram o 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" 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/806128138.14385676.1651873668414.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022
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-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ções já estão abertas, vejam detalhes/valores/prazos na página do > evento > > http://ebl2021.ufba.br/ > > na aba "Registration". Como de costume, existe o desconto para associados > da SBL, que pagam a inscrição com desconto > junto com a anuidade 2022 por transferência bancária (estrangeiros vão > pagar suas inscrições via PayPal). > > Em mais algumas semanas será lançada a chamada para apoio a estudantes de > graduação por parte da SBL, também como de costume. > Os estudantes apoiados pela chamada deverão ter trabalho aceito no evento > e terão isenção de inscrição, além de um limitado > apoio financeiro. > > Lembrando que o Call for Contributions também já está aberto há algumas > semanas (deadline 05 de junho), ver aba "Call for Contributions". > > A titulo de informação, comunicamos que duas práticas de EBLs passados > serão retomadas desta vez: > > ---> A Escola de Lógica ocorrerá no final de semana anterior ao evento; e > > ---> Para que todos possam economizar uma diária de hotel, vamos marcar o > início do 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7f823a8a-2103-4b52-b142-8177a8ee4b14n%40dimap.ufrn.br.
[Logica-l] Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022
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ções já estão abertas, vejam detalhes/valores/prazos na página do evento http://ebl2021.ufba.br/ na aba "Registration". Como de costume, existe o desconto para associados da SBL, que pagam a inscrição com desconto junto com a anuidade 2022 por transferência bancária (estrangeiros vão pagar suas inscrições via PayPal). Em mais algumas semanas será lançada a chamada para apoio a estudantes de graduação por parte da SBL, também como de costume. Os estudantes apoiados pela chamada deverão ter trabalho aceito no evento e terão isenção de inscrição, além de um limitado apoio financeiro. Lembrando que o Call for Contributions também já está aberto há algumas semanas (deadline 05 de junho), ver aba "Call for Contributions". A titulo de informação, comunicamos que duas práticas de EBLs passados serão retomadas desta vez: ---> A Escola de Lógica ocorrerá no final de semana anterior ao evento; e ---> Para que todos possam economizar uma diária de hotel, vamos marcar o início do 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 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1120352068.12132838.1651669806684.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)
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 Para: Samuel Gomes da Silva Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Enviadas: Fri, 18 Mar 2022 06:50:46 -0300 (BRT) Assunto: Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) Ótima iniciativa. Será gravado? On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > Prezados, > > Em parceria com o coletivo Lógicas Brasileiras ( > https://logicasbrasileiras.wordpress.com/), > > Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do > Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL > - Carol Blasio* por Diversidade na Lógica. > > Seguem dados da palestra: > > > ** > > Título: Dialectica e os Problemas de Kolmogorov-Veloso > > Palestrante: Valeria de Paiva (Topos Institute) > > Segunda, 21 de março, 19hs > > Entrar com o Google Meet > <https://meet.google.com/fcy-dxmy-hdd?authuser=0=122> > meet.google.com/fcy-dxmy-hdd > > > Resumo: > > Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir > abstrações de problemas e de raciocínio, assumindo que problemas são sempre o > que queremos resolver, quer em matemática, quer em computação ou mesmo na > filosofia. > Esse 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, trata de problemas, e não de lógica. > > > Queremos conectar os problemas de Kolmogorov aos objetos da construção > Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos > problemas de Kolmogorov, fornecendo os morfismos das categorias que > Kolmogorov não > possuia em 1932. Então quero tentar convencê-los de que essa coincidência de > estruturas algébricas ocorre em vários exemplos matemáticos e pode até > apontar para uma boa maneira de pensar sobre multi-sistemas de agentes. > > > > **** > > Por favor, sintam-se à vontade para repassar este convite a possíveis > interessados. > > Grato, > > []s Samuel G. da Silva - UFBA > > > > * Carolina Blasio da Silva (1984-2017) > > Carolina Blasio da Silva era uma brilhante lógica brasileira que, > infelizmente, morreu em 2017 > aos 33 anos de Idade. > > Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e > tinha também > um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. > Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e > obteve o seu doutoramento em Filosofia (Lógica). > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br?utm_medium=email_source=footer> > . > -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/470207501.13703016.1647612023559.JavaMail.zimbra%40ufba.br.
[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)
Prezados, Em parceria com o coletivo Lógicas Brasileiras ( https://logicasbrasileiras.wordpress.com/ ), Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - Carol Blasio* por Diversidade na Lógica. Seguem dados da palestra: ** Título: Dialectica e os Problemas de Kolmogorov-Veloso Palestrante: Valeria de Paiva (Topos Institute) Segunda, 21 de março, 19hs Entrar com o Google Meet meet.google.com/fcy-dxmy-hdd Resumo: Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir abstrações de problemas e de raciocínio, assumindo que problemas são sempre o que queremos resolver, quer em matemática, quer em computação ou mesmo na filosofia. Esse 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, trata de problemas, e não de lógica. Queremos conectar os problemas de Kolmogorov aos objetos da construção Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não possuia em 1932. Então quero tentar convencê-los de que essa coincidência de estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar para uma boa maneira de pensar sobre multi-sistemas de agentes. Por favor, sintam-se à vontade para repassar este convite a possíveis interessados. Grato, []s Samuel G. da Silva - UFBA * Carolina Blasio da Silva (1984-2017) Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, morreu em 2017 aos 33 anos de Idade. Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha também um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o seu doutoramento em Filosofia (Lógica). -- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br.
[Logica-l] Call for Registration - 1st Meeting Brazil-Colombia in Logic
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 The Deadline for Registration is December 10, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and 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: Sociedad Colombiana de Matemáticas Sociedade Brasileira 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c17a84fb-ea31-4810-95cc-695f1479d7ben%40dimap.ufrn.br.
[Logica-l] Association for Symbolic Logic - Associação "Outreach" 2022
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 JSL, BSL e RSL) você também terá acesso online às mesmas. Como o Brasil está na lista de "economias em desenvolvimento" (?!?!?!?) o valor para brasileiros é de 18 dólares. Pelo que vejo aqui no site, quem não estiver associado ainda pode tentar aplicar para uma "*Free Initial Individual 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 receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/518e6978-a570-4909-9789-466ea346d5e2n%40dimap.ufrn.br.
[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.
... 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 cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/ec9e09af-181b-4ff3-be62-9a4b4c23470cn%40dimap.ufrn.br.
[Logica-l] Fw: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
- Mensagem encaminhada - De: Pedro Hernan Zambrano Ramirez Para: logbog ; "logic-l...@helsinki.fi" Enviado: terça-feira, 21 de setembro de 2021 08:36:57 AMTAssunto: [LOGBOG: 1008] Deadline for contributions: Sept 24, 2021 - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 We apologize for the multiplicities of this message. CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de LogicaBrasil-Col(o-ô)mbia) Online Meeting Universidad Nacional deColombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee The mathematical logic interactions between Colombianand Brazilian logicians have been strong for a long time and have a history offriendships and collaborations that go back several decades, and this wasaccomplished through (but not exclusively by) many SLALMs (SimposiosLatino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros deLógica). With this "First Meeting Brazil-Colombia inLogic", we intend to initiate a new institutional phase of collaborationsand exchange of experiences in areas involving Foundations of Mathematicsbetween researchers and students from Brazil and Colombia: we hope this is thefirst of many events in the years to come! We are very glad to see some of the personages thathave created this profound and rich interaction between Colombian and Brazilianlogicians will be present in this meeting and that another generation ofresearchers and students have manifested its intention of carrying out andstrengthening this bond. Confirmed Plenary Speakers: * Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco(UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia(IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS,Bucaramanga, COL) Confirmed InvitedSpeakers: Rodrigo Freire (UnB,Brasília, BRA) João Marcos (UFRN,Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: Elaine Pimentel (UFRN,Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomessubmissions of 25 minutes talks (20 minutes presentation + 5 minutesquestions). We will accept submissionsfrom all areas related to Logic (including Mathematical Logic, Philosophy andComputer Science). To facilitate the organization, the authors will be asked todeclare whether the submitted work belongs to one of the following topics: · Categorialand Algebraic Logic · GeneralLogic · ModelTheory · Non-classicalLogics · ProofTheory · SetTheory Depending on the number of accepted submissions, the authors may be required to pre-recordtheir talks (sending us an editable link of the recording). Students(undergrads and grads) are encouraged to submit posters (10 minutespresentation). The languages of the meeting are: English, Spanish,Portuguese (we recommend the slides to be in English, but talks may bedelivered in any of the mentioned languages). The LaTeX template for submissions (for both talks andposters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, includingreferences. After producing your .pdf file, you will be asked toupload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September24, 2021 Accepted talks and posters will be announced on October22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and 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: Sociedad Colombiana deMatemáticas Sociedade Brasileira deLógica --- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de ColombiaBogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor Aviso legal: El contenido de este mensaje y los archivos adjuntos son confidenciales y de uso exclusivo de la Universidad Nacional de Colombia. Se encuentran dirigidos sólo para el uso del destinatario al cual van enviados. La reproducción, lectura y/o copia se encuentran prohibidas a cualquier persona diferente a este y puede ser ilegal. Si usted lo ha recibido por error, infórmenos y elimínelo de su correo. Los Datos Personales serán tratados conforme a la Ley 1581 de 2012 y a nuestra Política de Datos Personales que podrá consul
Re: [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia
Oi Julio, Por enquanto a idéia é fazer presencialmente (que é o que as consultas todas à comunidade dão como a resposta aos anseios da comunidade), Mas claro que dependendo da evolução das condições sanitárias sua sugestão pode ser considerada. Observo, porém, que uma decisão dessa magnitude 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 seus em paz e boa saude. > > Alguns de nos nao poderemos estar em Salvador pessoalmente, devido a > restricoes medicas (idade, comorbidades) associadas aa pandemia Covid19. > Assim, eu peco que a organizacao do EBL2022 considre a possibilidade de um > EBL hybrido, que permitita a aprticipacao virtual de pessoas nestas > condicoes. > Acho que a tendencia internacional eh acomodar este tipo de participacao. > > Ha varios formatos hybridos alternativos, que demandam distintos meios e > metodos tecnologicos. > > Alguns formatos hybridos demandam alta tecnologia, ex: (participacao > presencial + participacao simultanea vitrual e interativa com audio e > video. > > Outros formatos hybridos podem ser viabilizados com recursos muito > simples e modestos, ex: Broadcasting das conferencias (presenciais ou > previamente gravadas) + perguntas presenciais ou virtuais via chat com um > moderador. > > Desculpe o incomodo, mas creio que o pleito eh justo e benefico a todos. > Ademais, mesmo os jovens e saudaveis poderao se beneficiar deste formato > hybrido, no caso de faltar-lhes recursos financeiros (um problema 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 > *Cc:* samuel > *Subject:* [Logica-l] Re: XX EBL - 12 a 16/09 de 2022, Salvador, Bahia > > ... 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 associado no momento, a confirmação: o próximo > EBL vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de > Setembro de 2022. > > Até lá é esperar que a vacinação prossiga e que consigamos todos sair > dessa pandemia. > > Abraços, > > []s Samuel > > -- > Você recebeu essa mensagem porque está inscrito 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+u...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br?utm_medium=email_source=footer> > . > -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/119e14f6-3f14-42d5-9aa9-f5dbc8f53baan%40dimap.ufrn.br.