Re: [Logica-l] AI Will Become Mathematicians’ ‘Co-Pilot’

Exato. E o mesmo vale para programação. E o Lean ajuda a mostrar como estas duas tarefas são a mesma. —- Alexandre Rademaker http://arademaker.github.io > On 10 Jun 2024, at 10:57, Marcelo Finger wrote: > > Mas é importante frisar que a parte crucial, que é imaginar a estr

Re: [Logica-l] NF really is consistent

Hahaha! No Lean confio, não confiaria se fosse o chatGPT! —- Alexandre Rademaker http://arademaker.github.io > On 25 Apr 2024, at 17:18, Joao Marcos wrote: > > https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/ > (because Lean says so!) > > the paper

[Logica-l] lógicas & química

Prezados, Estou procurando referências sobre uso de métodos formais (lógicas, provas, axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e motivado por uma recente conversa na maillings do Isabelle. https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Oi Marcos, Este é um exemplo interessante para discutir com alunos: % python test.py convert "No one hates everyone.” [ TOP: h0 INDEX: e2 [ e SF: prop TENSE: pres MOOD: indicative PROG: - PERF: - ] RELS: < [ person<0:6> LBL: h4 ARG0: x3 [ x PERS: 3 NUM: sg ] ] [ _no_q<0:6> LBL:

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Suspeito que ele possa ter se confundido com textos que apresentem a formalização com quantificadores generalizados. Então juntou tudo e fez uma grande confusão. Alexandre On Fri, 17 Nov 2023 at 09:23 Alexandre Rademaker wrote: > > Verdade João, não prestei a devida atenção. Bem mais

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Verdade João, não prestei a devida atenção. Bem mais sério, mostra como o modelo não sabe nada sobre a semântica da linguagem formal. Alexandre On Fri, 17 Nov 2023 at 08:46 Joao Marcos wrote: > Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode > ser corrigida pelo

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Mas porque acha isso Marcelo? A tradução foi literal, o chatGPT ‘leu’ a fórmula. Não está ruim, o problema é como caracterizar para ele que queríamos uma leitura não literal, mas uma interpretação da fórmula. []s Alexandre > On 16 Nov 2023, at 17:52, Marcelo Finger wrote: > > Engraçado

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

Em Calculus of Constructions seriam… onde não temos a distinção de termos e fórmulas. Um predicado é uma função com domínio em Prop. Mas dúvido que o chatGPT iria responder com esta argumentação se o Marcelo criticar a resposta recebida. Marcelo, dá uma olhada no artigo do Geoff

Re: [Logica-l] tradução entre linguagem natural e linguagem formal

amente para uso didático, certamente o projeto do Dan Flickinger e o livro do Johan Bos são os mais relevantes. E como esta área muito me interessa… não deixa de me atualizar com seus progressos! ;-) Ab., Alexandre Rademaker > On 16 Nov 2023, at 10:29, Joao Marcos wrote: > > PessoALL: &

Re: [Logica-l] seminário EMAp

https://youtu.be/6FcnSrrmKig Gravação da apresentação. Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad On Thu, Apr 20, 2023 at 8:17 AM Alexandre Rademaker wrote: > > https://emap.fgv.br/eventos/how-prove-it-lean > > > How To Pro

[Logica-l] seminário EMAp

: A Rigorous First Course, and Bicycle or Unicycle? (with Stan Wagon). I was the editor of the American Mathematical Monthly from 2007 to 2011. Hoje! Online. Mais informações no link acima. Ab., -- Alexandre Rademaker http://arademaker.github.io -- LOGICA-L Lista acadêmica brasileira dos

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

Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk=1629s Que basicamente reforça os comentários do Marcelo. Ab., Alexandre > On 10 Apr 2023, at 10:13, Marcelo Finger wrote: > > > ChatGPT le é se transforma, desse modo, numa verdadeira máquina > automática de mentiras! > > Claro!

Re: [Logica-l] Easychair went commercial

E mais barato certamente do que manter um serviço local em qualquer universidade. E mesmo de manter o serviço por um órgão público: administração, segurança, suporte usuários, backups etc. Mas ninguém faz a conta… Sent from my iPhone > On 12 Oct 2022, at 11:57, Joao Marcos wrote: > >

[Logica-l] Divulgacao evento online

https://ibm.github.io/neuro-symbolic-ai/events/ns-summerschool2022 IBM Neuro-Symbolic AI Summer School August 8-9, 2022 Começando agora… Ab., -- Alexandre Rademaker http://arademaker.github.io http://researcher.ibm.com/person/br-alexrad -- LOGICA-L Lista acadêmica brasileira dos

[Logica-l] Fwd: FGV EMAp | Seminário: "Learning meaning from text with a logically structured model: An introduction to Functional Distributional Semantics" por Guy Emerson

Segue convite seminário online na EMAp/FGV esta quinta-feira as 16h. At., Alexandre > Begin forwarded message: > > From: Escola de Matematica Aplicada > Subject: FGV EMAp | Seminário: "Learning meaning from text with a logically > structured model: An introduction to Functional

Re: [Logica-l] [OFF] "ditadura da língua"

Bem, já é difícil convencer o uso de Esperanto, que tem uma base de falantes bem maior de acordo com https://en.wikipedia.org/wiki/Comparison_between_Esperanto_and_Interlingua… > On 30 Jul 2021, at 20:46, Walter Carnielli wrote: > > Caros: > > Como muita gente sabe, minha proposta para

[Logica-l] Fwd: FGV EMAp | Seminário: "Program Synthesis for Formalizations" por Nathan Fulton

Prezados, Peço ajuda na divulgação do seminário abaixo: PROGRAM SYNTHESIS FOR FORMALIZATIONS Formal methods can increase the quality and reliability of software systems. Unfortunately, developing libraries of formalized mathematics is expensive, time-consuming, and requires significant

[Logica-l] Re: Seminário 5/11/2020 - Kevin Buzzard (16h)

:44, Alexandre Rademaker wrote: > > > Para informação! Segue convite de palestra nesta quinta-feira as 16h. > > https://ide-fgv-br.zoom.us/meeting/register/tJ0rd-qoqjkqG9Em6l3_Mo75CENtWp9PfuBX > > <https://ide-fgv-br.zoom.us/meeting/register/tJ0rd-qoqjkqG9Em6l3_Mo75CENtWp9P

[Logica-l] Fwd: Seminário 5/11/2020 - Kevin Buzzard

0 - Kevin Buzzard > Date: 2 November 2020 11:24:45 GMT-3 > Cc: Alexandre Rademaker > > Titulo: Teaching mathematics to computers. > > Palestrante: Kevin Buzzard > > Resumo: > Computers have changed the way that mathematics is done. The ability to do > complicated

[Logica-l] teaching mathematics to computers - Kevin Buzzard

No dia 5/11/2020 as 14h, teremos a apresentação abaixo do Kevin Buzzard na EMAp/FGV. Maiores informações com link para inscrição e acesso, em breve. Title: teaching mathematics to computers. Abstract: Computers have changed the way that mathematics is done. The ability to do complicated

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

Também gosto muito desta frase Marcelo! ;-) E como Valeria já disse, a frase foi adaptação dela e aparece em http://arademaker.github.io/bibliography/acl-ldl-2015.html logo na introdução! Ab., Alexandre > On 22 Oct 2020, at 10:56, Valeria de Paiva wrote: > > Oi Marcelo, > a frase e'

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

Olá Marcelo, Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de datasets (corpora, recursos léxicos etc) para o processamento do Português. Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é a falta de colaboração e desnecessária competição que

[Logica-l] Seminário FGV/EMAp: GraphKR Semantic Parsing for Portuguese

Pessoal, Segue abaixo convite para seminário online da Escola de Matemática Aplicada da FGV, nesta quinta-feira as 16h. Valeria irá falar de GraphKR, uma abordagem para 'meaning representation’ de linguagens naturais. Seminário é aberto, link para inscrição no final do email, peço que

Re: [Logica-l] pandemia paraconsistente

Fico feliz de vc ter colocado o “acho” mas prefiro as opiniões individuas e não generalizadas. Eu não interpretei como vc diz. Alexandre Sent from my iPhone > On 20 Sep 2020, at 16:03, Eduardo Ochs wrote: > > acho que todo mundo interpretou a foto como sendo de uma garota que se > faz de

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

As apresentações dela no Youtube são muito boas! > On 4 Sep 2020, at 21:14, Joao Marcos wrote: > > Agora no New York Times: > https://www.nytimes.com/2020/09/04/books/review/x-y-mathematicians-manifesto-gender-eugenia-cheng.html > > JM > > On Tue, Jul 28, 2020, 15:59 Joao Marcos wrote: >

Re: [Logica-l] Glossário inglês-português

http://openwordnet-pt.org E convido todos a contribuir! Corrigi proof agora, alguns da lista abaixo já estavam bem traduzidos! Alguns ainda precisam melhor tradução! Ab., Alexandre > On 30 Aug 2020, at 16:19, Joao Marcos wrote: > > Com "proof" corre[c]tamente traduzido como

[Logica-l] Fwd: [isabelle] [isabelle, Coq-Club, MetaMath] The Zande's Challenge

De uma antiga mensagem em minha inbox. Talvez já tenha sido discutida nesta lista… Ab., -- Alexandre Rademaker http://arademaker.github.io > Begin forwarded message: > > From: José Manuel Rodriguez Caballero > Subject: [isabelle] [isabelle, Coq-Club, MetaMath] The Zande's Chal

Re: [Logica-l] Demanda da CAPES à SBC: Conferências da área de Lógica

Acho que deve entrar. Não é marginal, pelo contrário. Ab., -- Alexandre Rademaker http://arademaker.github.io > On 17 Jul 2019, at 16:24, Joao Marcos wrote: > >> https://docs.google.com/spreadsheets/d/1LGyI6Li8T2PxXy7DKvVfsPeX_DguHH_h9l2CyvVGkGM/edit?usp=sharing >> Recordo

Re: [Logica-l] Complexity Theory lost in Math?

decisions and optimisations based on subtle properties of specific grammars can [...] be more important than worst-case complexity. (Carroll, 1994: http://aclweb.org/anthology/P94-1040) -- Alexandre Rademaker http://arademaker.github.io > On 12 Mar 2019, at 08:34, Joao Marcos wrote: > >

Re: [Logica-l] Pedido de artigos, referências

Na verdade a apresentação que assisti foi de https://www.ircam.fr/person/gerard-assayag/ no ano anterior em Madrid. Outro cara trabalhando com isso em Lisp. []s -- Alexandre Rademaker http://arademaker.github.io > On 14 Dec 2018, at 16:21, Alexandre Rademaker wrote: > >

Re: [Logica-l] Dados em Lógica de Descrição EL (OWL-EL)

Imagino que vc conheça o site da BFO certo Marcelo ? Tem algum escopo mais específico ? Sent from my iPhone > On 20 Sep 2018, at 09:08, Marcelo Finger wrote: > > Caros. > > Alguém conhece bases de dados (ontologias) públicas escritas na linguagem de > lógica de descrição EL (ou EL++) ou

[Logica-l] Why do we teach logic?

But the primary goal, the one thing that I really want my students to come away with, is not any skill at symbolisation and truth-tables, but rather a method of thinking which involves minute and precise attention to detail and which involves an ability to reason from and manipulate

Re: [Logica-l] Fulkerson Prize & Computerized Theorem Proving

Interessante evento João! Sim por favor nos avise se tivermos vídeos !! Obrigado por compartilhar links. Sent from my iPhone > On 31 Jul 2018, at 07:33, Joao Marcos wrote: > > O prêmio Fulkerson ("for outstanding papers in the area of discrete > mathematics is sponsored jointly by the

Re: [Logica-l] Lógicos e mercado de trabalho

Ola Ana, Estamos falando de pessoas e projetos ? Nossa tem muita coisa... IBM tem um grupo em Haifa forte de métodos formais e SMT também existem ainda alguns lógicos em Almaden e Yorktown. Aqui no Brasil eu trabalho com linguagem. SRI no laboratório de C.S. tendo o Natarajan Shankar como

Re: [Logica-l] Lógicos e mercado de trabalho

Eu na IBM Research Brazil Sent from my iPhone On 26 Mar 2018, at 12:59, Joao Marcos wrote: >> Afora pesquisa em Universidades, alguém tem alguma >> experiência do uso da lógica em centros de pesquisa ou empresas que possa >> me relatar? Lembrei da Valéria de Paiva :). > >

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

Também estou sem palavras. Meus sentimentos mais sinceros ao João Marcos. Alexandre Sent from my iPhone > On 26 Aug 2017, at 14:02, Walter Carnielli wrote: > > Colegas e amig@s: > > > Achei que me cabia, por estar sabendo, repassar a estarrecedora e >

Re: [Logica-l] Saiu o Qualis 2016 !

Se alguém tiver interesse em contribuir na atualização de: https://github.com/arademaker/qualis Aceitaria com alegria contribuições . Ter os dados em RDF já é um passo para depois provarmos a inconsistência ! :-) Alexandre Sent from my iPhone > On 9 Jun 2017, at 16:52, Adolfo Neto

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

cursos de graduação de Economia e Administração da FGV, propiciando a chegada do grupo que viria a ser o núcleo inicial da EMAp. Ab., Alexandre Rademaker http://arademaker.github.com/ http://researcher.ibm.com/person/br-alexrad 2017-05-07 15:58 GMT-03:00 Claus Akira Horodynski Matsushigue

[Logica-l] Fwd: [isabelle] Software Implementation of the Mathematical Logic R0 Available for Download

FYI -- Alexandre Rademaker http://arademaker.github.io <http://arademaker.github.io/> http://researcher.ibm.com/person/br-alexrad <http://researcher.ibm.com/person/br-alexrad> > Begin forwarded message: > > From: Ken Kubota <m...@kenkubota.de> > Subject: [isa

[Logica-l] Fwd: [isabelle] New in the AFP: The Existence of God (again)

Formally verified proof! Alexandre Sent from my iPhone Begin forwarded message: > From: Lawrence Paulson > Date: 2 May 2017 11:58:43 GMT-3 > To: isabelle-users > Subject: [isabelle] New in the AFP: The Existence of God (again) > > I’m happy to

[Logica-l] With Gratitude to Raymond Smullyan

With Gratitude to Raymond Smullyan via consequently.org: Greg Restall’s website While I was busy writing my most recent paper, “Proof Terms for Classical Derivations”, I heard that Raymond Smullyan had died at the age of 97. I posted a tweet with a photo of a page from the draft of the paper I

Re: [Logica-l] [OFF] "It is time to delete your Academia.edu account"

1+ também removi minha conta agora. Para os que se autenticaram usando a conta do Google, também é importante remover a permissão do Academia.edu da lista de apps autorizados. Visitem sua conta da Google e vejam seção segurança Alexandre Sent from my iPhone > On 28 Jan 2017, at 17:29, Walter

Re: [Logica-l] Probabilistic Theorem Proving

Lembrei que este assunto já tinha circulado na lista. Para os interessados, uma palestra no Youtube: https://www.youtube.com/watch?v=oxWruJZ-BbU=31=WL Para quem assistir, ficarei bem curioso por comentários! Achei a posição um pouco super simplificada. Ab., Alexandre Rademaker http

Re: [Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

Olá Samuel, Bem legal a iniciativa de filmar as palestras e disponibilizar no github... Obrigado. Sent from my iPad > On 14 de jun de 2016, at 09:29, 'Samuel Gomes' via LOGICA-L > wrote: > > Caros, > > Escrevo para dar atualizações relativas aos meetings

[Logica-l] Ontologia SUMO, ATP, ITP e Explicação de provas

[4] http://www.adampease.org/professional/CASC.pdf Ab., Alexandre Rademaker http://arademaker.github.com/ -- 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

Re: [Logica-l] (sem assunto)

complicado dado que participei da criação da Biblioteca Digital da FGV. http://bibliotecadigital.fgv.br/dspace Alexandre Rademaker Sent from my iPhone On 22/09/2013, at 23:17, Décio Krause deciokra...@gmail.com wrote: OI, Valéria Obrigado. O problema para mim é que não sou bom nessas coisas de

[Logica-l] O Globo - Homo lattes

., Alexandre Rademaker http://arademaker.github.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Lattes to BibTeX

podem ser feitos no link acima! Espero que seja útil para a comunidade. Ab., Alexandre Rademaker Professor - FGV/EMAp Tel.: +55 21 3799-5551 http://arademaker.github.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin

[Logica-l] Workshop Logics and Ontologies for Portuguese, November, 21-25th 2011, FGV

corpora and basic tools such as tokenizers, taggers and splitters. This lack of resources slows down considerably, almost stops, any work on reasoning about knowledge obtained from language, the main goal of the project on Textual Inference Logic (TIL), coordinated by Alexandre Rademaker (EMAp/FGV

[Logica-l] Workshop Logics and Ontologies for Portuguese, November, 21-25th 2011, FGV

corpora and basic tools such as tokenizers, taggers and splitters. This lack of resources slows down considerably, almost stops, any work on reasoning about knowledge obtained from language, the main goal of the project on Textual Inference Logic (TIL), coordinated by Alexandre Rademaker (EMAp/FGV

Re: [Logica-l] cinco velinhas

membros da lista, O Administrador da LOGICA-L ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Alexandre Rademaker http://web.me.com/arademaker

Re: [Logica-l] A Cabra, a Campina e a Corda

mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Alexandre Rademaker http://web.me.com/arademaker/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l