t;> Com os nossos agradecimentos aos atuais 375 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/lis
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
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
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
ários?
Ab.,
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
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 wrote:
>
> OI, Valéria
> Obrigado. O problema para mim é que não sou bom nessas coisas de
[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
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 organizados pela
> Sociedade
> Br
https://quantumexperience.ng.bluemix.net/
Comentários são bem vindos !
Alexandre
Sent from my iPhone
--
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
Legal este Open Logic Project , não conhecia!
Alexandre
Sent from my iPhone
> On 26 de ago de 2016, at 17:28, Joao Marcos wrote:
>
> Vale a pena conferir:
> http://openlogicproject.org/2016/08/25/line-art-portraits-of-logicians/
>
> JM
--
Você está recebendo esta mensagem porque se inscreve
Professor Doria,
Hermann também é muito bom! Os que acompanham de perto sabem que foi o Hermann
quem de fato liderou o processo.
Alexandre
Sent from my iPhone
> On 10 Oct 2016, at 12:18, Francisco Antonio Doria wrote:
>
> Lew é muito bom. Logo, se tiver engano, é muito sutil.
>
>> On Mon
Lembrei que este assunto já tinha circulado na lista. Para os interessados,
uma palestra no Youtube:
https://www.youtube.com/watch?v=oxWruJZ-BbU&index=31&list=WL
Para quem assistir, ficarei bem curioso por comentários! Achei a posição um
pouco super simplificada.
Ab.,
Alexandre Radema
http://community.wolfram.com/groups/-/m/t/943673
<http://community.wolfram.com/groups/-/m/t/943673>
[]s
--
Alexandre Rademaker
http://arademaker.github.io <http://arademaker.github.io/>
http://researcher.ibm.com/person/br-alexrad
<http://researcher.ibm.com/person/br-alexrad&
Alguns da lista podem se interessar.
[]s
--
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:
> Subject:
https://aeon.co/essays/the-rise-and-fall-and-rise-of-logic
Alexandre
Sent from my iPhone
--
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+unsub
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
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 w
https://www.amazon.com/Symposium-Logic-Computer-Science-Proceedings/dp/0818607203/ref=sr_1_1?s=books&ie=UTF8&qid=1487966983&sr=1-1&keywords=Proceedings+1986+IEEE+Symposium+on+Logic+in+Computer+Science
Alguma boa alma carnavalesca teria, por acaso, este proceedings ?
Ab.,
Ale
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 announce a new entry with the following abstract
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
> Subject: [isabelle] Software Implementa
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
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 wrote:
>
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
> pesarorosa
> noticia sobre a tragéd
http://emap.fgv.br/postdoctoral-position-applied-mathematics
<http://emap.fgv.br/postdoctoral-position-applied-mathematics>Best,
Alexandre Rademaker
http://arademaker.github.com/
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Googl
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 :).
>
> Vale lembrar também
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 figu
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 Mathe
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 definitions
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 em
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:
>
>
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:
>
>
me, pois julgam
>> que a totalidade da existência circunscreve-se às suas bem limitadas
>> manobras e jogos intelectuais.
>>
>>
>>
>> a) Arthur Buchsbaum
>>
>> ___
>> Logica-l mailing list
>> L
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
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
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 "demonstraçã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:
> B
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 i
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 repass
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
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' minha,
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 calcu
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 cal
: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
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 expertis
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 um
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 Distributiona
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
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:
>
> Certa
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!
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
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
o ter desviado muito da sua questão. Especificamente 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,
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
https://aari
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 que,
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 próprio
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
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: h
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
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
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
60 matches
Mail list logo