[Logica-l] Renúncia na MAPE / CAPES

Caros colegas, nós da área MAPE resolvemos renunciar a nossos cargos. Nas circunstâncias atuais, não vemos futuro imediato para a avaliação, não sentimos respaldo da CAPES e não queremos simplesmente aguardar os finais de nossos mandatos. Escrevemos a carta aberta a seguir para comunicar e

Re: [Logica-l] Andrea Loparic

Cara Andrea... Quanta tristeza.. Não fui seu aluno, mas colega do seu filho. Andrea sempre amável. Tristeza e pêsames. Claus Em sáb, 30 de out de 2021 23:25, Joao Marcos escreveu: > Filósofa do Acolhimento > https://revistapesquisa.fapesp.br/filosofa-do-acolhimento/ > > > JM > > On Mon, Oct

Re: [Logica-l] [OUF] BARCELONA PRINCIPLES FOR A GLOBALLY INCLUSIVE PHILOSOPHY

Caro Cassiano!!! György Lukács Humm... Espetacular... Abraços, Claus Em sáb, 18 de set de 2021 12:00, Cassiano Terra Rodrigues < cassiano.te...@gmail.com> escreveu: > Camaradas, proposta interessante, vou divulgar. > Ainda está por ser feito um trabalho relacionando em q medida >

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González)

Mas que tristeza... Caro Carlos González... Sempre tão cortês e amável... Sentar com ele nos EBL's, sempre uma conversa boa e instrutiva, um novo ponto de vista instigante. Carlos, já muita saudades. Claus PS: João, o queridíssimo Paulo Veloso. Em sáb, 18 de set de 2021 15:27, josé carlos

Re: [Logica-l] Re: categorias e inclusão

Rsrsrsrss... boa Valéria!!! On Sat, Sep 5, 2020 at 8:26 PM Valeria de Paiva wrote: > Bom, eu conheco bem a Eugenia, nos somos "irmas" academicas, pois temos o > mesmo orientador, Martin Hyland. > Eu gosto bastante do trabalho dela em Teoria de Categorias-- adorei o > ultimo video da palestra

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

provada. > Este entretanto completa esse passo. > Os detalhes estão lá no artigo que aguarda volume, mas que já pode ser > lido. > > Note que uma prova por reducao é outra prova, nao é a que fizemos. > > > abs > > Hermann > > Em qui, 13 de ago de 2020 21:22, Claus A

Re: [Logica-l] Fwd: [logic-bsb] F. Miraglia, "An Introduction to Partially Ordered Structures and Sheaves", 2020

 > Informamos que o grande livro "An Introduction to Partially Ordered > Structures and Sheaves", > de autoria do professor Francisco Miraglia, está agora publicado em acesso > aberto pelo selo > 'Lógica no Avião' [lna.unb.br]. > > Trata-se de material de valor duradouro,

Re: [Logica-l] Corona vírus nos levou John Conway

Conway . > > 1: https://en.wikipedia.org/wiki/John_Horton_Conway > 2: https://es.wikipedia.org/wiki/John_B._Conway > > Em seg., 13 de abr. de 2020 às 07:34, Claus Akira Horodynski Matsushigue < > claus...@mat.unb.br> escreveu: > >> >> >> Nossa. Quem

Re: [Logica-l] Corona vírus nos levou John Conway

Nossa. Quem não estudou seus maravilhosos livros de análise funcional e variáveis complexas. Que falta de chão. John Conway. Claus Em dom, 12 de abr de 2020 22:24, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Colegas, > > Tenho a tristeza de comunicar o falecimento de John Conway

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

Veja.. não sou da ADUnB, nem estou defendendo-a. O prof Everaldo abaixo não é de "esquerda" por exemplo. Realmente é não fechar os olhos para o que está acontecendo no mundo, e pior, o morticínio que ocorrerá no Brasil... morticínio. Sugeriria também uma leve visita às residências dos nosso

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

b-l On Tue, Mar 24, 2020 at 10:10 AM Claus Akira Horodynski Matsushigue < claus...@mat.unb.br> wrote: > > > > > ORGULHO DE SER UnB!! > > > > > > > ADUnB pede suspensão completa das atividades na UnB > > A Associação dos Docentes da Un

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

ORGULHO DE SER UnB!! ADUnB pede suspensão completa das atividades na UnB A Associação dos Docentes da Universidade de Brasília (ADUnB) enviou um oficio ao Conselho de Ensino, Pesquisa e Extensão (Cepe), pedindo a suspensão completa das atividades de ensino na universidade,

Re: [Logica-l] Elliott Mendelson - Introduction to Mathematical Logic Tradução

Sim... Seria muito importante uma boa tradução do Mendelson! Abraços, Claus On Fri, Oct 18, 2019 at 6:11 PM Rodrigo Oliveira wrote: > O livro Elliott Mendelson - Introduction to Mathematical Logic ainda é > considerado como uma boa introdução à lógica? > Há interesse na comunidade em uma

Re: [Logica-l] AI & CH: Não tem "yes" nenhum aí!

Mas não é mais só uma "crença" ou expectativa de Gödel, mas de um número crescente de set-topologos!! Em dom, 13 de jan de 2019 6:11 PM, Joao Marcos Isso mesmo, Walter. > > ### > > Um episódio interessante de se mencionar nesta lista, sobre este > assunto, diz respeito à crença persistente de

Re: [Logica-l] A matemática, que nada sabe de observação

Olá caro João Marcos... Caso vc tenha acesso, será que poderia fazer um copy-paste do artigo aqui para nós?? Grato, Claus On Fri, Nov 9, 2018 at 12:02 AM Joao Marcos wrote: > A matemática, que nada sabe de observação > - De onde vêm as ideias matemáticas: do mundo real ou da dedução pura? >

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

Olá Samuca... Algo muito importante anotado por ti! Diria que o problema *não* é o Axioma do infinito, no sentido que ele seria um problema a não ser enfrentado! Mas diria por outra parte que o problema principal *é* o Axioma do infinito, no sentido que ele e os demais Axiomas que são em

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

Cara Carol. João e pequenina Maia... é sem palavras, estarrecedor, abismado. Força, muita força a todas/os... Carol, pesquisadora, professora, mulher, mãe, amiga... grande mulher. lembro-me do primeiro EBL em Itatiáia. A alegria em pessoa, pessoa em alegria nos deixou. O mundo está mais

Re: [Logica-l] el problema

Pois é! Esta é uma pergunta (?) interessante!!! Se a solução do problema for (fosse) um EXISTE CLÁSSICO um algoritmo/programa (i.e., existe exclusivamente da Lógica Clássica), certamente seria interessante, mas não serviria em nada prá esta questão prática que é da Computação. Prá Computação,

[Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

Nota Oficial do IMPA Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos Um dos mais importantes e prolíficos autores de livros de matemática no país, Elon Lages Lima, ex-diretor do IMPA (Instituto de Matemática Pura e Aplicada), morreu na manhã deste domingo, aos 87

Re: [Logica-l] Axiomatizando a teoria da computação

Prezado Dória > Como se sabe, ZF, ZFC, e mesmo PA (aritmética de Peano) não servem > para axiomatizarmos a teoria da computação, já que uma infinidade de > funções recursivas terão propriedades formalmente indecidíveis mas > trivialmente verdadeiras. A gente fica sem poder provar uma

Re: [Logica-l] Edital de Seleção - Mestrado e Doutorado - Computação, UnB

Na verdade TABLEAUX + ITP + FroCoS aqui em BRASÍLIA em ***2017***, no próximo ano, 25-29 September 2017. 2016-10-08 4:41 GMT-03:00 Joao Marcos : > 2016-10-08 3:08 GMT+02:00 Cláudia Nalon : > > > > Se alguém tiver particular interesse em trabalhar com automação

Re: [Logica-l] [META] mudanças na administração da lista

Olá a todas/os Quero aqui expressar minha grande alegria com o fato desta lista voltar a ser auto-moderada e que este regresso seja feito de forma bastante RESPONSÁVEL por todas e todos nós! Assim como muitos, infelizmente não tive tempo de me manifestar também contra a moderação anterior e

Re: [Logica-l] Minicurso Teoria das Categorias e Feixes - 06-17/fev - 16h - Escola de Verão - MAT/UnB

. Organização: Claus Akira Horodynski-Matsushigue Grupo de Teoria da Computação - Depto. de Matemática Instituto de Ciências Exatas (IE) - Universidade de Brasília (UnB) ___ Logica-l mailing list Logica-l@dimap.ufrn.br

[Logica-l] Minicurso Teoria das Categorias e Feixes - 06-17/fev - 16h - Escola de Verão - MAT/UnB

Moerdijk and Gonzalo E. Reyes. Springer-Verlag, 1991. Organização: Claus Akira Horodynski-Matsushigue Grupo de Teoria da Computação - Depto. de Matemática Instituto de Ciências Exatas (IE) - Universidade de Brasília (UnB) ___ Logica

[Logica-l] ABERTURA DE CONCURSO PÚBLICO PARA PROFESSOR ADJUNTO: Teoria da Computação

-- Forwarded message -- Informo que estão abertas as inscrições para o cargo de Professor Adjunto: Área de Matemática, Subáreas: Álgebra ou Teoria dos Números ou Geometria ou Análise ou Sistemas Dinâmicos, requisito básico: Doutorado em Matemática, regime de trabalho dedicação

Re: [Logica-l] Nelson, etc

Grande Dória É isso que falo desde meu doutorado É isso aí! Perfeito! Desse modo, simplesmente não tem nem sentido dizer que alguns problemas/afirmações são ou não independentes a qualquer sistema formal, pois eles nem podem ser bem expressos nele (portanto menos ainda serem resolvidos

Re: [Logica-l] Nelson, etc

Akira Horodynski Matsushigue claus...@mat.unb.br Grande Dória É isso que falo desde meu doutorado É isso aí! Perfeito! Desse modo, simplesmente não tem nem sentido dizer que alguns problemas/afirmações são ou não independentes a qualquer sistema formal, pois eles nem podem ser bem

Re: [Logica-l] Fwd: De la parte de la nieta de Ken Lopez-Escobar

Notícia tristérrima! Verdadeiramente chocante! Meu pêsames à família e a todos nós, que ficamos um pouco órfãos. Claus 2011/9/13 josé carlos cifuentes jcc...@gmail.com Que triste notícia, meus sentimentos para os que o conheceram mais de perto. Cifuentes Em 13 de setembro de 2011

Re: [Logica-l] A mais curta demonstração de que P =/= NP

Perfeito Walter 2011/6/3 Walter Carnielli walter.carnie...@gmail.com == Teorema: P =/= NP Prova Considere, conjuntivamente as seguintes asserções: (A) P =/= NP (B) Se P =/= NP então NP =/= P (C) Exatamente uma destas trës

Re: [Logica-l] Como a linguagem (idioma) influencia no processo cognitivo

Caríssimo Décio, Não é lá muito prudente me meter numa ceara que não é a minha. Entretanto, para mim, é mais que claro que a cultura influencia a nossa visão de mundo (com muitas aspas). Porém, a questão certamente bem mais complicada é se esta influência se dá também na Matemática e na Lógica

Re: [Logica-l] RES: Novo Livro: Brazilian Studies....

Caro Décio e demais autores, Parabéns!! Temos assim cada vez mais espaço. Abraços, Claus 2011/2/7 Adolfo Neto adolfo@gmail.com Parabéns Décio e demais autores/organziadores! Vai ter Kindle edition? []s Adolfo 2011/2/7 Jorge Alberto Molina mol...@unisc.br Parabéns Décio ,

Re: [Logica-l] Nova equivalência para o Axioma da Es colha

Parabéns Samuel... Interessante o resultado. Talvez fosse interessante pensar um tantinho no Axioma das escolhas dependentes, que alguns neo-bourbakistas pensam ser melhor que o Axioma da escolha puro. O que acha?? Agraços, Claus 2010/9/29 sam...@ufba.br: Caros, Tenho o prazer de

Re: [Logica-l] Quimeras lotéricas emaranhadas

, Em 4 de junho de 2010 22:02, Claus Akira Horodynski Matsushigue clau...@ime.usp.br escreveu: Sim caro Ruy, tem a ver com a reutilização do mesmo espaço, o que não é possível com o tempo.  Mas lembremos que também tem a ver com a altura (tamanho) da classe, visto que também não se sabe se L

Re: [Logica-l] Quimeras lotéricas emaranhadas

Sim caro Ruy, tem a ver com a reutilização do mesmo espaço, o que não é possível com o tempo. Mas lembremos que também tem a ver com a altura (tamanho) da classe, visto que também não se sabe se L=?NL (sendo L a classe do espaço logarítmico). Abraços, Claus 2010/6/4 Ruy de Queiroz

Re: [Logica-l] Fwd: Por que a maioria das pessoas acha a matemática tão difícil? vídeo da Globonews

Exatamente isso Adolfo!!! Não há prof. no mundo que dê jeito se o cara NÃO SENTA E ESTUDA!!! ufa, parece até que dá um trabalho! Acho que se tem que parar de colocar culpa SÓ NOS PROFS (e/ou alunos individualmente) e começar a analisar o Sistema educacional brasileiro. É UMA VERGONHA! A