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

['samuel' via LOGICA-L]

Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa !

https://jornal.usp.br/universidade/usp-recebe-doacao-de-biblioteca-especializada-em-teoria-das-categorias/?fbclid=IwZXh0bgNhZW0CMTEAAR3QVDsJH-HZYFFWiuYY1YA6E8ACx5s829JDgXUmJqGrDGyjIEsdRoVrmp8_aem_J37lbAD_wOczWU8plXqQWQ

-- 
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/167a9a97-b9d2-441e-8538-c43a4ae16f30n%40dimap.ufrn.br.

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

['samuel' via LOGICA-L]

(abaixo, segue mensagem repassada para público geral, docentes do nosso
Departamento de Matemática)

*

Prezados,

Saudacoes,

A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA de 
Lógica e Fundamentos da
Matemática e a 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] Geometria e lógica / Inteligência artificial

['samuel' via LOGICA-L]

Oi,

Tem a haver com o assunto de ontem (geometria e lógica), mas como é de 
inteligência artificial achei que caberia melhor uma nova conversa.

"Inteligência artificial resolve problemas de geometria no nível de 
medalhistas
da olimpíada internacional"

https://deepmind.google/discover/blog/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

['samuel' via LOGICA-L]

... Nao resisti a fazer uma busca aqui, e para o Joel David Hamkins pelo 
menos essa ponte da minha mensagem anterior existe, ver a resposta dele em

https://mathoverflow.net/questions/30631/computability-and-geometry

[]s  Samuel

Em quarta-feira, 31 de janeiro de 2024 às 16:52:00 UTC+1, samuel 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

['samuel' via LOGICA-L]

Olás,

Nao respondendo mas pondo um pouquinho de tempero na coisa,

Lembro que Tarski fez uma axiomatizacao da geometria elementar que é 
"decidable"...

Uma possível ponte entre essas nocoes e Turing computability ?

Abracos

[]s  Samuel

Em quarta-feira, 31 de janeiro de 2024 às 15:49:20 UTC+1, 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"

['samuel' via LOGICA-L]

... Touché !!!

Isso me lembra mais o joguinho de tentar descobrir a història completa 
através de respostas "sim", "nao" e "irrelevante".

O exemplo mais clássico é: "homem olha pro lado, acende um fósforo e morre".

... ao cabo de meia hora, uma hora, trabalhando em grupo dá pra recuperar a 
histó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

['samuel' via LOGICA-L]

... Hum, perguntei aqui pra eles (os fas de origami, conheço alguns de 
fato) e a coisa do espirografo pra eles é só lembranca da infância (o que é 
meio a cara deles também). Se aparecer algo de referencia técnica eu volto 
aqui e aviso...

[]s  Samuel 

Em quarta-feira, 31 de janeiro de 2024 às 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"

['samuel' via LOGICA-L]

*   

  
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

['samuel' via LOGICA-L]

... Opa,

E conversando com uns amigos aqui apareceu a seguinte referência (mais 
técnica) que chega
a criar o "corpo dos números origamicos" (!!!)

New York Journal of Mathematics
New York J. Math. 6 (2000) 119–133.
A Mathematical Theory of Origami Constructions
and Numbers
Roger C. Alperin

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"

['samuel' via LOGICA-L]

Olás,

Essa questao da "coisa" x "implementacao da coisa", eu confesso que em 
geral os teoristas de conjuntos ficamos meio viciados nisso (guilty as 
charged),

Entao se você me perguntar o que *é* o par ordenado (a,b) a tendência é que 
eu diga que

(a,b) = { {a}, {a,b} }

Mas esse tipo de 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

['samuel' via LOGICA-L]

... Sobre origamis,

Origamis (principalmente por permitir movimentos do tipo "deslizar", o que 
aí já entra topologia além
da geometria) sao capazes de "performar" operacoes que a régua e o compasso 
nao permitem
(nao sei se isso aparece na reportagem que nao consegui ler, se estou 
chovendo no 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"

['samuel' via LOGICA-L]

... Já que chegamos nas "coisas que alunos dizem",

Outra coisa interessante é que aluno acha que "funcao tem que ter fórmula".

Aí é que a pessoa nao entende o Axioma da Escolha de jeito nenhum (porque se
o Axioma da Escolha se fez necessário para criar uma funcao-escolha é 
porque nao
se tinha 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&s=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

['samuel' via LOGICA-L]

Caros,

Repassando a pedido dos organizadores. 

***

Seguem algumas instruçoes (principalmente para os estudantes interessados) 
sobre
a participacao na Semana Temática de Lógica da UFBA (Campus Ondina da UFBA, 
Salvador, 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)

['samuel' via LOGICA-L]

 Caros,

Achei a programacao tao bacana que nao resisti a um recorte e cole aqui,

Parabéns aos idealizadores,

Até

[]s  Samuel
15/03/2024 (6ª) 

   - 14:00 - 17:00 (Seminário)
   Habilidades de estudos e organização
   - 18:00 - 20:00 (Mesa redonda)
   Problemas: quais a lógica dá conta de 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  
>
> Twitter: 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

['samuel' via LOGICA-L]

Oi Joao,

Salve, estava devendo falar alguma coisa aqui.

Olha, a experiência aqui na UFBA (e eu me lembro que mesmo antes disso 
cheguei a fazer coisas do tipo quando dava aula pra faculdades 
particulares, coisa de 25 anos atrás, afffe como o tempo passa hehe),

É a seguinte:

Temos no primeiro 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 exemplo:
> Provar que, para todo triângulo (coiso que está em um certo
> conjunto), se ele for isósceles, então tem dois ângulos iguais.
>
> A(o) estudante aprende a fazer um desenho como um recurso heurístico
> que mostra um triângulo genérico, nota que "isósceles" significa ter
> dois lados iguais, e
> pode usar a propri

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

['samuel' via LOGICA-L]

Prezados,

Foi aberto em 02/01 um concurso da UFBA, e o nosso Departamento de 
Matemática tem 02 vagas para Matemática, sendo 01 vaga em regime de 20 
horas e 01 vaga em regime de Dedicaçao Exclusiva. 

Como tem sido praxe nos últimos anos, a titulaçao exigida abre a 
possibilidade de inscriçao 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

['samuel' via LOGICA-L]

Prezados

Recebi informes sobre os seguintes eventos, que ocorrerao em semanas 
consecutivas no início de julho de 2024:

---> TACL - Topology, Algebra and Categories in Logic
Barcelona, 01-05 Julho 2024 (com Escola 25-28 Junho)

Site da conferência: 

https://iiia.csic.es/tacl2024/

---> Summer 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.

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

['samuel' via LOGICA-L]

Caros,

Comentário rápido, sem elaborar muito, 

Me parece ingênuo imaginar que a Matemática não vá enfrentar novos 
"momentos de quebra de paradigmas" (como os bem conhecidos
e descritos no texto, que são os de sempre, descoberta dos irracionais, 
geometrias não-euclidianas, crise dos fundamentos 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

['samuel' via LOGICA-L]

Caros

Saudações, 

Estão disponibilizadas no nosso canal do YouTube (Mathematical Logic UFBA) 
dois seminários que apresentei sobre o "Teorema da Reflexão de Lévy", que é 
um teorema importantíssimo de Teoria dos Conjuntos (parte do arcabouço 
teórico da técnica de forcing) e que eu encontrei uma 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.

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

['samuel' via LOGICA-L]

Oi gente,

Aproveitando pra comentar da dúvida que eu apresentei na apresentação da 
Lidia Batinga (que pro framework dela
deu pra ver que a resposta era "sim").

Aí, todo mundo pode dar aqui um pitaco que eu estou curioso com isso já faz 
uns três anos.

Lá vai:

O primeiro axioma de Teoria dos 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 (USP)
> - “Lógica e ontologia: uma relação próxima” por Lídia Batinga (UFPB)
> - “Lógica abstrata: o que podemos fazer de novo?” Por Luiza Ramos (USP)
>
> %%%
>
> Toda uma série de eventos 

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

['samuel' via LOGICA-L]

Caros,

Pra verem como a discussão que tivemos recentemente influenciou minhas 
visões
de Matemática... Fiz nova live hoje !

https://www.youtube.com/watch?v=BZjOlLou948

Abraços

[]s  Samuel

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está 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: Coletivo Lógica Viva: sobre infinitos, números e provas

['samuel' via LOGICA-L]

Salve Daniel, prazer falar com você, como sempre também, e pelo visto se 
você estivesse na live ela não terminaria pois seus
questionamentos são bastante interessantes e a coisa iria embora no 
tempo... 

Primeiro, registrar que "o meu amigo de Brasília" já me deu bronca dizendo 
que não era exatamente aquilo que ele me disse
anteriormente, hahaha, 

Então, eu desde o final do meu doutorado (2004), início da minha carreira 
na UFBA (2006), tenho essa visão da matemática que eu falei na live
(eu lembro que no começo do mestrado eu pensava diferentemente, de modo 
bastante mais ingênuo),

E tenho primeiramente que dizer: eu não me coloco como "o porta-voz de como 
os matemáticos pensam", e nem "de como os teoristas de conjuntos pensam", 
quase tudo que eu coloquei na live são visões "personalíssimas" (pra usar 
essa palavra que está na moda...) minhas. E sim, ter uma visão
pessoal ajuda a passear por esse ambiente cheio de ovos no chão - mas, uma 
coisa eu posso dizer, eu como matemático vindo da Lógica
e ativo na comunidade brasileira de Lógica e tendo por isso bastante 
contato com a Filosofia, o matemático padrão, "establishment", não
tem essas preocupações com fundação da matemática não e, mais importante, 
em geral o matemático padrão não é chamado a se posicionar
"filosoficamente" sobre sua epistemologia própria do que seja a matemática, 
isso eu sempre faço por questão por gostar mesmo desse tipo
de discussão (sempre gostei, talvez por isso enveredei pela Teoria dos 
Conjuntos...)  e por minha atuação dentro da lógica como um todo. 

Então vamos lá: tem uma frase que eu gosto muito que é "eu sou eu e minhas 
circunstâncias" (que acabei de colocar no Google aqui, não conhecia
o autor e não sei qual a teoria na qual ela se coloca, então não posso nem 
comprar nem vender essa teoria na sua completude...), mas é uma frase que 
eu gosto.

Pra mim, matemática é meio assim: é ela e suas circunstâncias...

Aí, por facilidade mesmo (o que concordo que alguém pode achar que é 
"preguiça ou covardia", touché), eu coloco: matemática é ZFC. 

Na minha analogia com tabuleiros, matemática é O JOGO, o qual pode ser 
jogado EM QUALQUER TABULEIRO QUE NÃO VIOLE AS
REGRAS. 

Aí, quando eu digo que sou semantista, pra mim não tem existe contradição 
nisso porque porque, exatamente por gostar muito de resultados de 
consistência, qualquer coisa que não leve a contradição TERÁ O SEU 
TABULEIRO ESPECÍFICO ONDE ELA VALE (e aí nesse caso a noção de "verdade" é
mais de "ser válido em algum modelo" - o que, pelo Teorema de Completude, 
equivale a não levar a contradição...). É nessa pegada que eu digo
que sou semantista. Se vale em algum modelo, eu considero DO JOGO. 

Essa coisa do JOGO, a gente pode pensar também em O ESPORTE.

Futebol é um ESPORTE, e que é jogado em todo o mundo, alguns lugares na 
areia, alguns lugares na grama, alguns lugares na grama
sintética (para desespero do Zico), em alguns lugares a trave é de madeira, 
noutros lugares não tem trave e a gente coloca duas
pedras no chão onde a bola tem que passar... Mas tudo isso é FUTEBOL. 

E o FUTEBOL existe como jogo, e pode ser jogado EM MUITOS AMBIENTES - cada 
quadra/campinho de futebol pelo mundo seria UM MODELO. 

Em todas essas instanciações do jogo, eu não posso pegar a bola com a mão. 
"Não pegar a bola com a mão" é um axioma. É da base
da teoria. Isso vai valer EM TODOS OS AMBIENTES. (Seria o "ZFC absoluto", 
algo que, como consequência sintática de ZFC, é 
também consequência semântica e valeria em todos os ambientes... Tem muito 
do Teorema de Completude embutido aí no que
estou dizendo, como podem perceber...)

Se a gente levasse a ferro e fogo e quisesse que O FUTEBOL DECIDISSE TUDO, 
que a REGRA FOSSE ATÉ OS ÚLTIMOS DETALHES, a gente acabaria chegando na 
conclusão que "o futebol só pode ser jogado com essa bola, por estes 
jogadores e no maravilhoso estádio monumental de Wembley,
na Inglaterra, onde o jogo foi criado"... Isso seria meio reducionista, não 
?

Então pra mim A MATEMÁTICA É O ESPORTE... Onde ele puder ser jogado sem 
violar as regras básicas, "é do jogo". Mesmo que
esse jogo não me diga exatamente qual é o tamanho da reta... 

Aí a coisa da Hipótese do Contínuo que você disse, só aí já teríamos uma 
quantidade "do tamanho do universo" de matemáticas
possíveis se pensarmos no tamanho da reta ("o continuum"): por um resultado 
de Easton, "o contínuo pode ser tudo o que ele pode ser", no sentido
de que a única restrição é que o tamanho da reta não pode ter cofinalidade 
enumerável. Nesse sentido, começando com um modelo
da Hipótese Generalizada do Contínuo de "ground model", a gente pode fazer 
um forcing até que simples (um forcing pra cada valor
que eu queira, no caso) e fazer com que o contínuo seja aleph_2, ou 
aleph_3, ou aleph_4, ou aleph_{omega + 1} - 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 conjun

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

['samuel' via LOGICA-L]

Oi gente, oi Renata,

Desculpem a demora em responder, estou meio devagar nesta semana. 8-(

Então, vejam só,

O que eu tenho participado bastante, de 2015 pra cá, são dos "joint 
meetings" entre as sociedades matemáticas
de dois países (Brasil-Espanha 2015, Itália 2016, França 2019, Portugal 
2022),

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

['samuel' via LOGICA-L]

... 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ú

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

['samuel' via LOGICA-L]

Oi João,

Como "inteiros positivos" não vale como resposta... Não tenho resposta 
válida pra sua pergunta não. Eu sempre uso "inteiros positivos"
quando quero me referir aos... inteiros positivos. 

Só observo que a sua pergunta tangencia (ou mais do que tangencia...) a 
famosa polêmica (?) do zero 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:
> >>>
> >>> Viva!
> >>>
> >>> O inglês é uma língua peculiar, né? Enquanto virtualmente todas as
> >>> línguas razoáveis usam hoje em dia o termo "injetivo", muitos
> >>> matemáticos que têm o inglês como língua nativa ainda teimam em falar
> >>> em "one-to-one function" para se referir a funções injetivas --- por
> >>> certo para melhor potencializar a confusão com "one-to-one
> >>> correspondence", que se refere a funções bijetivas... Não vou nem
> >>> comentar sobre o hábito de troc

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

['samuel' via LOGICA-L]

Oi gente,

Quase "off topic" mas pra quem se interessa por exemplos interessantes em 
Ciência, 

Hoje, muito por acaso, eu ouvi falar pela primeira vez do "Efeito Mpemba":

https://en.wikipedia.org/wiki/Mpemba_effect

Esse efeito é nomeado em homenagem a um jovem estudante de colegial da 
Tanzania 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

['samuel' via LOGICA-L]

https://www.youtube.com/watch?v=WvRUhdU-ccY&t=4385s

Pra quem quiser ver, acima o link, adianto que houve problemas de 
sincronização dos slides da tela da sala com a tela do YouTube. 

Abraços

[]s  Samuel

Em sexta-feira, 9 de junho de 2023 às 12:00:46 UTC-3, samuel escreveu:

> 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 

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

['samuel' via LOGICA-L]

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 "

['samuel' via LOGICA-L]

 
>> 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.
>> Thiago Nascimento da Silva : Jun 05 05:48PM -0300 
>>
>> 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 <
>> samuel : Jun 05 01:53PM -0700 
>>
>> ... OK !
>>  
>> Em segunda-feira, 5 de junho de 2023 às 16:48:34 UTC-4, Thiago Nascimento 
>> da Silva escreveu:
>>  
>> Valeria de Paiva : Jun 05 01:57PM -0700 
>>
>> oi Samuel,
>> eu estou interessada em ouvir a palestra sim, por favor mande o canal!
>> obrigada,
>> Valeria
>>  
>> On Mon, Jun 5, 2023 at 1:45 PM 'samuel' via LOGICA-L <
>> logi...@dimap.ufrn.br>
>> wrote:
>>  
>> Gisele Secco : Jun 05 02:03PM -0700 
>>
>> Eu gostaria muito, Samuel!
>> Obrigada,
>> G.
>>  
>> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L <
>> logi...@dimap.ufrn.br>
>> wrote:
>>  
>>  
>> -- 
>> Gisele Dalva Secco
>>  
>> ORCID <https://orcid.org/-0003-3290-746X>
>> PhilPeople <https://philpeople.org/profiles/gisele-dalva-secco>
>> samuel : Jun 05 02:12PM -0700 
>>
>> 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 
>> Você recebeu esse resumo porque está inscrito para receber atualizações 
>> deste grupo. Você pode alterar suas configurações na página de 
>> associação do grupo 
>> <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join>
>> .
>> Para cancelar sua inscrição neste grupo e deixar de receber e-mails do 
>> mesmo, envie um e-mail para logica-l+u...@dimap.ufrn.br. 
>>
>

-- 
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/0513f96f-12ac-4286-bd36-d76ccc2865fen%40dimap.ufrn.br.

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

['samuel' via LOGICA-L]

Oi gente,

Obrigado, até lá eu descubro o canal. 

Até mais

[]s  Samuel

Em segunda-feira, 5 de junho de 2023 às 17:04:28 UTC-4, gisele secco RS 
escreveu:

> Eu gostaria muito, Samuel!
> Obrigada,
> G.
>
> On Mon, Jun 5, 2023 at 1:53 PM 'samuel' via LOGICA-L <
> 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-

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

['samuel' via LOGICA-L]

... 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&utm_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

['samuel' via LOGICA-L]

Caros,

Acredito que a palestra abaixo vá ser transmitida ao vivo, havendo 
interessados eu
posso checar qual é o canal do YouTube correspondente. 

Abraços

[]s  Samuel

*

Palestra:*"Quando as 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

['samuel' via LOGICA-L]

Prezados,

Saudações. 

A Universidade Federal da Bahia abriu chamada para a contratação de 
Professores Visitantes em 2023. Vejam a mensagem encaminhada no final,  com 
mais informações e o link para o Edital.

O perfil procurado é de um pesquisador ativo que esteja pronto para atuar 
em pesquisa, 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

['samuel' via LOGICA-L]

(a soma ordinal e a soma cardinal coincidem PARA ORDINAIS FINITOS, na 
mensagem anterior, claro)

Em quarta-feira, 3 de maio de 2023 às 13:34:15 UTC-3, samuel escreveu:

> Olá,
>
> A sua definição é essencialmente a definição da soma ordinal, acertando 
> aqui e ali um detalhe,
>
> A questão é que 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

['samuel' via LOGICA-L]

Olá,

A sua definição é essencialmente a definição da soma ordinal, acertando 
aqui e ali um detalhe,

A questão é que pode se provar por induçao finita que a soma ordinal e a 
soma cardinal coincidem.

Nos livros de conjuntos, em geral, a cardinalidade é o menor ordinal para o 
qual o conjunto tem 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

['samuel' via LOGICA-L]

... Haha, boa, pois é, empiricamente a gente sabe que os três com certeza 
são dois-a-dois distintos, pra provar
formalmente, que dificuldade hehehe...

[]s  Samuel

Em quarta-feira, 12 de abril de 2023 às 13:49:01 UTC-3, Joao Marcos 
escreveu:

> > Não sei se vocês tentaram, mas há coisa de uns 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

['samuel' via LOGICA-L]

Caros,

Retomando uma mensagem do Walter,

Não sei se vocês tentaram, mas há coisa de uns dois meses eu por teste 
perguntei "quais são as maiores contribuições à lógica de..." para vários 
casos
(no ChatGPT), ou uma pergunta semelhante, 

e na verdade os textos gerados para Walter Carnielli, 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&t=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] Concurso Público (FIL-UnB) - Área: Lógica

['samuel' via LOGICA-L]

Caros,

Só pra confirmar a informação da UFBA que apareceu, 

Por vários anos aqui no Departamento de Matemática houve concursos por 
subáreas específicas,

E no caso de Lógica conseguimos (não foi fácil...) que fosse possível a 
inscrição de Doutores em Filosofia, desde que a tese de doutorado
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

['samuel' via LOGICA-L]

... 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 Ma

Re: [Logica-l] twin primes

['samuel' via LOGICA-L]

Olás

Na verdade é uma série de quatro artigos, estão os quatro no perfil 
ResearchGate do autor.

Além da Conjectura dos Primos Gêmeos e da Infinitude dos Primos de 
Mersenne, um deles resolve também
a Conjectura de Goldbach !!!

Nessa discussão no MathOverFlow que o Aldo mandou o link, ontem já 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) 
> 
> 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
>>  
>> 
>> .
>>
>

-- 
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

['samuel' via LOGICA-L]

... Parabéns de novo a Evelyn, e ao Daniel e ao Ole ! Agora pelo prêmio 
ANPOF !!!

Que legal ter boas notícias no final de semana.

Abraços

[]s  Samuel

Em sábado, 15 de outubro de 2022 às 18:21:36 UTC-4, gisele secco RS 
escreveu:

> Júbilo! Esperança!
>
> Vivas a todas e todos, e um abraço 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
>>>  
>>> 
>>> .
>>>
>> -- 
>> 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_LjAWQCCC4_AQ2J4aa_afyYtzGF_LX60x%3Dsw_Wb7y-JTJw%40mail.gmail.com
>>  
>> 
>> .
>>
> -- 
> Gisele Dalva Secco
> UFSM/Brasil 
> +55 55 3220 8440 <+55%2055%203220-8440>
> ORCID 
> PhilPeople 
>

-- 
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+un

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

['samuel' via LOGICA-L]

Caros

Só pra confirmar  e reforçar (amanhã está indo uma mensagem a todos os 
inscritos com esta e outras informações...)

Marcamos o início das atividades científicas para a tarde da segunda-feira 
para dar
a chance de quem quisesse marcar a sua chegada em Salvador na segunda de 
manhã pudesse 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)

['samuel' via LOGICA-L]

Caros,

Escrevo pra lembrar que disponibilizamos um link para que vocês carreguem 
os arquivos de suas apresentações no EBL (tentando aproveitar melhor o 
tempo, evitando o tempo morto de ficar usando pendrives antes das 
apresentações). 

Quem puder carregar os arquivos das apresentações até o dia 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 !!!)

['samuel' via LOGICA-L]

Olás

Eu de novo.

Quem for preferir a opção vegetariana, é bom avisar a gente com 
antecedência,

Me mandem esse aviso off-list. 

Obrigado

[]s  Samuel

Em quarta-feira, 7 de setembro de 2022 às 11:20:44 UTC-4, samuel escreveu:

> Caros,
>
> Diante de alguns questionamentos, checamos no 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 !!!)

['samuel' via LOGICA-L]

Caros,

Diante de alguns questionamentos, checamos no restaurante: haverá a opção 
de moqueca vegetariana.

Pelas receitas que vi na Internet, uma moqueca vegatariana não tem nada de 
origem animal no seu preparo (nada nem no molho),
logo serve a princípio como opção vegana.

Lembrando que as 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 !!!)

['samuel' via LOGICA-L]

... O cardápio será

--> entradas: mini acarajé, mini abará, bolinho de peixe

--> pratos principais:

MOQUECA DE PEIXE
MOQUECA DE CAMARÃO
BOBÓ DE CAMARÃO
FILÉ Á PARMEGIANA
FILÉ DE FRANGO COM LEGUMES

--> sobremesas:

PUDIM DE LEITE OU AMBROSIA.
-Cada convidado terá direito a uma das opções

... 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

['samuel' via LOGICA-L]

Prezados

Em 

ebl2021.ufba.br

AbaProgram --> Book of Abstracts

Já está disponibilizada uma versão preliminar (faltando só ISBN a princípio)

do Livro de resumos do EBL.

Abraços

[]s  Samuel

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você 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 !!!)

['samuel' via LOGICA-L]

Caros,

Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL,

A mensagem de agora é:

---> Conseguiremos garantir, para os que já se inscreveram no Formulário do 
Jantar
da Conferência (que vai ocorrer na noite da quarta-feira dia 14).

O formulário está em:

ebl2021.ufba.br
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

['samuel' via LOGICA-L]

Prezados,

Saudações,

Algumas informações sobre o XX EBL em Salvador - que já está chegando ! 
Todo mundo empolgado ?

---> Segunda, 05 de setembro, é o último dia para preencher o formulário de 
inscrição no EBL (quem não preencher vai ter que fazer a inscrição 
"manualmente" na sua chegada,
o 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.

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

['samuel' via LOGICA-L]

... Ah sim,

E temos "um plus a mais",

No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior)

Também faremos a live das duas sessões de Teoria das Categorias,

Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30.

Abraços

[]s  Samuel

Em terça-feira, 16 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/
>
> 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 

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

['samuel' via LOGICA-L]

Caros

Atualizando as informações (sobre as sessões de Lógica Matemática do 
Brasil-Portugal), 

---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser transmitida 
ao vivo (a famosa "live") no canal de YouTube do grupo de Lógica Matemática
da UFBA:

https://www.youtube.com/channel/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/

 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 propositio

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

['samuel' via LOGICA-L]

Caros,

Já dei os parabéns pelo twitter, mas bom registrar por aqui também.

Sen-sa-cio-nal

Parabéns a Evelyn, Daniel e Ole !

Abraços

[]s  Samuel

Em terça-feira, 16 de agosto de 2022 às 08:06:00 UTC-3, Anderson Nakano 
escreveu:

> Cara Evelyn, caro Daniel,
>
> Parabéns por essa conquista! 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
>>>  
>>> 
>>> .
>>>
>>

-- 
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] Re: sobre as capacidades matemáticas dos (outros) animais

['samuel' via LOGICA-L]

... Legal,

Essa sua observação me lembra uns truques com quantificadores que livros 
americanos de topologia dos anos 50 usavam...

Por exemplo, em algum desses livros você encontra coisas do tipo "dada 
qualquer família de subconjuntos de um conjunto X, a família de todas as 
suas intersecções 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

['samuel' via LOGICA-L]

Olá,

Boa pergunta, eu deveria saber mais de etnomatemática para responder !

Fiz a pergunta porque é muito comum encontrar por aí (por exemplo no site 
Quora que obviamente tem
muitos amadores,além de gente que recebe por postar variações das mesmas 
perguntas sempre...) pessoas que argumentam 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

['samuel' via LOGICA-L]

... Zero ? Nevermore, nevermore. 

(seria mais engraçado com raven no lugar de crow, obviamente...)

Agora falando sério, o que será mais fácil de ter o conceito - o zero ou o 
conjunto vazio ?

Abraços

[]s  Samuel

Em segunda-feira, 6 de junho de 2022 às 10:52:48 UTC-4, Joao Marcos 
escreveu:

>
> 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

['samuel' via LOGICA-L]

Olá Claudio,

Na página 103 aquele R pode até ser uma "relação-classe",  e em boa parte 
das aplicações pode ser até a relação de pertinência (entendida como 
relação-classe). A primeira vez que aparece pred(A,x,R) no livro é na 
página 14, especificamente para ordens lineares  (no sentido estrito, 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 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> ordenado 
>> e x é um elemento de P, eu lhe agradeceria se pudesse me informar.
>>
>>

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

['samuel' via LOGICA-L]

Olá,

Mas Davey/Priestley inclui o x ou não ? Porque até onde me lembre o down 
set de x pega o x próprio e todos abaixo, o Cláudio
aí não quer pegar o x.

Abraço

[]s  Samuel

Em sexta-feira, 3 de junho de 2022 às 10:43:28 UTC-4, Petrucio Viana 
escreveu:

> Bom dia!
>
> Na "nova bíblia" sobre 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
>>  
>> 
>> .
>>
>

-- 
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

['samuel' via LOGICA-L]

Olá,

Sim, por isso eu comentei que era uma notação bastante usada em teoria de 
conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma 
chamar esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem 
tomando a família das semi-retas, nos dois sentidos, como subbase.

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

['samuel' via LOGICA-L]

Olá,

Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x no 
conjunto ordenado (a,r), para esse conjunto ao qual você
se refere. 

Fazemos isso mais normalmente para ordens lineares, mas não vejo porque não 
usar a mesma notação se a ordem não for linear.

Abraço

[]s  Samuel

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
>>  
>> 
>> .
>>
>

-- 
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] Re: Inscrições abertas para o XX EBL - Salvador, 12 a 16 de Setembro de 2022

['samuel' via LOGICA-L]

Caros,

Caso não tenha ficado claro, o valor com desconto da inscrição tem que ser 
pago JUNTO com a anuidade 2022, então por exemplo para professores
teremos

250 early bird de inscrição + 150 anuidade da SBL = 400 total   (o que dá 
um desconto de 100 reais com relação ao que pagam os não-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] Call for Registration - 1st Meeting Brazil-Colombia in Logic

['samuel' via LOGICA-L]

CALL FOR REGISTRATION

1st Meeting Brazil-Colombia in Logic

(1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia)

Online Meeting

Universidad Nacional de Colombia at Bogotá – December 14-17, 2021

No registration fee



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

['samuel' via LOGICA-L]

Caros,

Na condição de membro do Membership Committee da ASL, venho fazer minha 
propaganda anual da associação. 

Já é o momento para ou renovar ou fazer pela primeira vez a associação à 
ASL para o ano de 2022, além dos volumes físicos de revistas escolhidas 
(que você pode escolher duas entre 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.

['samuel' via LOGICA-L]

... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o 
Avigad. 

https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para 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.

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

['samuel' via LOGICA-L]

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&utm_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.

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

['samuel' via LOGICA-L]

... E o site já está no ar:

http://ebl2021.ufba.br/

Em domingo, 19 de setembro de 2021 às 16:50:30 UTC-4, samuel escreveu:

> Caros,
>
> A esta altura a grande maioria de vocês já foi informada disso pelo 
> Boletim da SBL, que foi
> enviada a todos os associados, 
>
> Mas, pra quem não esteja 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ê 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/7d688d62-d075-4788-99e0-72c843caaff6n%40dimap.ufrn.br.

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

['samuel' via LOGICA-L]

Caros,

A esta altura a grande maioria de vocês já foi informada disso pelo Boletim 
da SBL, que foi
enviada a todos os associados, 

Mas, pra quem não esteja associado no momento, a confirmação: o próximo EBL 
vai acontecer presencialmente em Salvador, Bahia, entre 12 e 16 de Setembro 
de 2022.

Até lá é esperar que a vacinação prossiga e que consigamos todos sair dessa 
pandemia.

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/030bb5b8-8d89-4df3-9d17-8dadac68248an%40dimap.ufrn.br.