Esta é uma lista direcionada aos profissionais e estudantes de LÓGICA de todo o Brasil (and elsewhere!).

A LOGICA-L é uma lista aberta a toda a comunidade com interesse e atuação na área de LÓGICA. Como tal, serão bem-vindos membros da área de filosofia, de matemática, de computação, de linguística e outras áreas onde haja pesquisadores interessados em lógica. Pretende-se aqui tratar da divulgação de notícias sobre conferências, seminários, simpósios, publicações, programas de pesquisa, empregos, bolsas, links interessantes, e tudo o mais que for do interesse da comunidade de lógicos brasileiros. A LOGICA-L também se pretende um fórum online, a ser usado com discrição e bom senso, para a discussão de outros assuntos de interesse geral relacionados à area de LÓGICA.

Para se inscrever (ou se desinscrever) nesta lista, clique neste link. Alternativamente você pode em princípio mandar emails para <logica-l+subscribe@dimap.ufrn.br> (ou para <logica-l+unsubscribe@dimap.ufrn.br>).

A coleção de postagens anteriores da LOGICA-L pode ser visitada online a partir deste link. Como a lista em princípio não é moderada, pede-se aos seus membros se responsabilizem individualmente pelo conteúdo de suas mensagens, e que respeitem as regras básicas de NETiqueta. Neste documento se encontram os princípios e regras de convívio que norteiam a nossa convivência nesta comunidade, bem como as regras seguidas pela administração da lista (nota: apenas os 10 primeiros itens deste documento estão atualmente ativos). Vale notar que a página de entrada da lista permite fazer buscas de uma variedade de formas diferentes. Por exemplo, uma busca pelas mensagens de maio de 2010 seria acionada pela search query "after:2010/05/01 AND before:2010/05/31".

Terence Tao - Machine-assisted proofs

Samuel Gomes

Terence Tao - Machine-Assisted Proofs (February 19, 2025)