Re: [Logica-l] Problemas técnicos na inscrição no SLALM

Só para avisar que já resolveram o problema técnico do pagamento e pode se pagar sem problema pelo PayPal, mesmo desde outros países. Abraços, JC On Tue, May 14, 2024 at 10:23 AM Juan Carlos Agudelo Agudelo < juca.agud...@gmail.com> wrote: > Prezada Elaine, > > Obrigado por sua

Re: [Logica-l] Problemas técnicos na inscrição no SLALM

ensagem, como você fez, > guardá-la e pagar diretamente a eles no local. Eles vão ter que cobrar o > "early registration fee", certo? > > Abraços, > > On Tue, May 14, 2024 at 2:46 PM Juan Carlos Agudelo Agudelo < > juca.agud...@gmail.com> wrote: > >> Bom

[Logica-l] Problemas técnicos na inscrição no SLALM

Bom dia, Estou com problemas no pagamento da inscrição no XX SLALM, e como é altamente provável que várias pessoas da lista também estejam pensando em participar do evento, aproveito este espaço para expor meu problema e procurar ajuda: quando pressiono o botão de PayPal, aparece uma janela que

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

O assunto parece bastante interessante!!! []s Juan Carlos On Wed, Jan 31, 2024 at 10:59 AM 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> wrote: > ... 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

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

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

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

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 >

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

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

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

El mié, 11 de oct. de 2023 2:01 p. m., Juan Carlos Agudelo Agudelo < juca.agud...@gmail.com> escribió: > > On Tue, Oct 10, 2023 at 9:50 PM Joao Marcos wrote: > >> Hu... E quem vem primeiro? Uma dada semântica para uma teoria de >> > primeira ordem com igualda

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

Bom dia para tod@s, Acho que de fato o "axioma do vazio" (existe o conjunto vazio) não é necessário em ZF, por conta de que a lógica clássica pressupõe domínios não vacios. O que fica evidente na definição de modelo, onde se exige que os domínios dos modelos sejam não vazios, e levando em

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

Sobre as críticas do Noam Chomsky ao ChatGPT: https://cambiocolombia.com/tecnologia/la-critica-de-chomsky-chatgpt?fbclid=IwAR1xT4QP-zU3J4NV-Oo1x_KuhQi7g0UTDyG8xk52jINJE7efYgtSVLeITi8 Tristemente não tenho subscrição ao "The New York Times" para ler o artigo original. Abs, Juan Carlos On Wed,

Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting?

Obrigado ao Marcelo Finger pelo dado, e ao Francisco Miraglia e ao João Marcos por conferir o que o Marcelo (corretamente) achava. A referência que mandou o João parece ser chave para resolver a questão, vou ler com cuidado. Abraços, JC On Wed, Mar 15, 2023 at 11:14 AM Joao Marcos wrote: >

Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting?

> direito... > [[]], Eduardo > > On Tue, 14 Mar 2023, 18:46 Juan Carlos Agudelo Agudelo, < > juca.agud...@gmail.com> wrote: > >> Boa tarde, >> >> Estou interessado em saber se é possível definir operadores involutivos >> não triviais em álgebra

[Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting?

Boa tarde, Estou interessado em saber se é possível definir operadores involutivos não triviais em álgebras de Heyting, usando só os operadores e constantes das álgebras de Heyting. Imagino que a resposta é negativa, mas até agora não consegui demonstrar nem refutar isso, e também não achei esse

Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022

Parabéns para o Walter e a Juliana!!! Abraços, JC El mié, 18 de ene. de 2023 10:52 a. m., Walter Carnielli < walte...@unicamp.br> escribió: > (EN below!!!) > > Prezados colegas da SBL e da Lista Brasileira de Lógica: > > Gostaríamos de agradecer a premiação relativa ao Prêmio Newton da >

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

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 < petrucio_vi...@id.uff.br> wrote: > Será que Davey e Priestley iriam dar esse mole? > > Tá lá na

Re: [Logica-l] Referências bibliográficas

lvez tenhamos mais interessados nos trabalhos de Manuel Fidel. > > > Abraços! > > Aldo > > > > > > > > El mar, 10 may 2022 a la(s) 13:26, Juan Carlos Agudelo Agudelo ( > juca.agud...@gmail.com) escribió: > >> Bom dia, >> >> Agradeço se alguem

[Logica-l] Referências bibliográficas

Bom dia, Agradeço se alguem puder me compartilhar algum dos seguintes artigos: M.M. Fidel. An algebraic study of a propositional system of Nelson. Mathematical Logic, Proc. of the First Brasilian Conf. on Math. Logic, Campinas 1977, Lect. Notes Pure Appl. Math. 39, 1978, 99–117. M.M. Fidel. An

[Logica-l] Professores Teoria de Tipos no estado de São Paulo

Bom dia, Com o objetivo de explorar possibilidades de trabalho em conjunto na convocatória http://www.fapesp.br/13817, gostaria de saber quais professores de universidades do estado de São Paulo trabalham em Teoria de Tipos. Abs, Juan Carlos Agudelo Agudelo Profesor Instituto de Matemáticas

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

Pensando na afirmação da Andrea Loparic: "Fora da linguagem, à negação só creio ter sentido associar o gesto de rejeição-ou o ato de destruição - seja lá do que for. Como alguns de vocês já insinuaram! " A fome não pode ser considerada evidencia (ou proba) de não ter comido (ou não ter comido o

Re: [Logica-l] Re: Uma noticia de profundissimo pesar

Também acabo de ver a triste noticia e não consigo ainda acreditar. Um grande abraco para o João, e muita força neste difícil momento, Juan Carlos Agudelo 2017-08-27 11:41 GMT-05:00 Ciro Russo : > Car@s, > > não conheço pessoalmente nem Carol nem João Marcos, mas

Re: [Logica-l] Por que a Unicamp ultrapassou a USP, investimento em pesquisa, e salários

O Colômbia investe mais (em proporção) do que o Brasil em ensino superior? Teria que ver as cifras e de onde que saem as cifras para acreditar!!! 2017-07-22 18:21 GMT-05:00 Walter Carnielli : > "O Brasil gasta mais em pesquisa e desenvolvimento do que outros países

[Logica-l] Voltando à discussao cor/raça no Lattes...

Voltando à discussão cor/raça no Lattes, me tomo a liberdade de enviar um correio que circulou em outras listas acadêmicas que estão discutindo sobre o assunto, e que mostra a posição de alguns cientistas sociais que trabalham com o tema da desigualdade social/racial no Brasil.

Re: [Logica-l] Functional Completeness

Olá, Victor, Outra boa referência é: Gottwald, Siegfried. A Treatice on Many-Valued Logics. Research Studies Press Ltd. 201. Nas seções 8.1 e 9.1.5 aborda o tema da completeza (ou completude?) funcional. Abraços, Juan Carlos 2012/5/24 Joao Marcos botoc...@gmail.com Olá, Victor: 2012/5/24

[Logica-l] Fwd: Superturing machines

me mandar o artigo... agradeço! Abs, -- Juan Carlos Agudelo Agudelo Profesor Instituto de Matemáticas Universidad de Antioquia 2012/4/11 Marcelo Finger mfin...@ime.usp.br: Oi Dória. Pois é, esta foi exatamente a pergunta que passou pela minha cabeça: O resultqdo da Hava é mais ou menos

Re: [Logica-l] S5 metalogica, paraconsitencia, mundos possiveis

Caro Jean-yves, Obrigado pelas observações. Em relação à questão que colocou no final de sua mensagem: sera que podemos dizer que uma proposicao contingente e necessaramente contingente? eu melhor trocaria a pergunta por: sera que podemos dizer que uma proposição satisfatível (na lógica