Re: [Logica-l] Raciocínio e Linguagem

2024-06-23 Por tôpico Carlos Augusto Prolo
udo isso > em vista, eu diria: viva Chomsky! ;-b > > Tendo me debruçado recentemente sobre textos escritos por linguistas > que trabalham na área de Semântica Formal, confesso que minha maior > preocupação tem sido a aparente débil formação lógica, que os leva com > alguma frequência a escrever

Re: [Logica-l] Raciocínio e Linguagem

2024-06-23 Por tôpico Carlos Augusto Prolo
2024, 14:12 Carlos Augusto Prolo > wrote: > >> Boa tarde. >> >> >> https://www1.folha.uol.com.br/ciencia/2024/06/nao-precisamos-de-linguagem-para-pensar-sugerem-neurocientistas.shtml >> >> Abraco. >> Prolo >> >> -- >> LOGICA

[Logica-l] Raciocínio e Linguagem

2024-06-23 Por tôpico Carlos Augusto Prolo
Boa tarde. https://www1.folha.uol.com.br/ciencia/2024/06/nao-precisamos-de-linguagem-para-pensar-sugerem-neurocientistas.shtml Abraco. Prolo -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no gr

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

2024-06-10 Por tôpico Carlos Augusto Prolo
Mas olhando um pouco mais para trás ainda, em áreas de processamento cognitivo em que a inserção da IA ocorreu a mais tempo, parece que deu certo. Os casos óbvios que me vem à mente são os da [assistência] à tradução de textos e correção/aconselhamento ortográfico/gramatical. Abraço, Prolo On M

Re: [Logica-l] Fwd: [sbc-l] Integridade cientifica - leitura recomendada

2022-01-14 Por tôpico Carlos Augusto Prolo
On Fri, Jan 14, 2022 at 2:12 PM Marcelo Finger wrote: > >> qual é o oposto de "integridade"? > > Desintegração. Ao menos é esse o sentimento. > Desinteria? > > Em sex., 14 de jan. de 2022 às 14:01, Joao Marcos > escreveu: > >> Os seis princípios arrolados durante a administração Obama >> ( >

Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN

2021-12-07 Por tôpico Carlos Augusto Prolo
Oi Eduardo. Nunca tinha ouvido falar sobre isto. Confesso que fiquei um pouco curioso, li a reportagem, e vi que o nome do professor não me era desconhecido. Ele é médico, professor da UFRN, atua como psiquiatra da UNIMED aqui em Natal, e sei que é ligado ao Espiritismo. No profile dele no sistema

Re: [Logica-l] 20 milhões de dólares para um projeto para formalização de matemática, proof assistants, etc.

2021-09-22 Por tôpico Carlos Augusto Prolo
Eu suspeito que os 20 milhões de dólares sejam basicamente o custo da construção de um novo prédio para abrigar o centro, nem tão grande assim, com alguma mobília, equipamentos, talvez alguma reserva para manutenção por algum tempo. Abraço, Prolo On Wed, Sep 22, 2021 at 9:38 PM Itala Maria Lo

Re: [Logica-l] Re: My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

2021-09-12 Por tôpico Carlos Augusto Prolo
ria da filosofia, contextualizando os filosofos com a > ciencia, politica, etc. da epoca, eh sempre uma boa opcao. > Abracos > Abilio > > > > > > > Em dom., 12 de set. de 2021 às 12:54, Carlos Augusto Prolo > escreveu: > > > > Pessoal, > > o que mai

Re: [Logica-l] Re: My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

2021-09-12 Por tôpico Carlos Augusto Prolo
Pessoal, o que mais me chamou a atenção nestas duas mensagens foi a "metodologia de ensino:" Aprendi mais sobre filosofia e Hegel nestas duas mensagens do que em qualquer oportunidade na vida que consigo me recordar, kk. Grato. Prolo On Sun, Sep 12, 2021 at 11:25 AM jyb wrote: > “H

Re: [Logica-l] sobre a "reforma da língua"

2021-08-27 Por tôpico Carlos Augusto Prolo
ente da fonte > propositora. Mudanças só permanecem se abraçadas por uma comunidade, podem > ficar restritas a grupos específicos por gerações até que ou desapareçam ou > sejam abraçadas por uma comunidade maior. > > []s > > > Em qui., 26 de ago. de 2021 às 20:05, Carlos Augusto Pro

Re: [Logica-l] sobre a "reforma da língua"

2021-08-26 Por tôpico Carlos Augusto Prolo
Correção: onde ido, or \in {m,f,mf,i} identificariam os gêneros do possuidor e da coisa possuída. On Thu, Aug 26, 2021 at 8:05 PM Carlos Augusto Prolo wrote: > Tive uma idéia genial para o João; > considerando-se que o pronome possessivo pode concordar com o possuidor ou > com a coisa

Re: [Logica-l] sobre a "reforma da língua"

2021-08-26 Por tôpico Carlos Augusto Prolo
{m,f,mf,i} identificariam os gêneros do possuidor e da coisa possuída. Abraço, Prolo On Thu, Aug 26, 2021 at 7:49 PM Carlos Augusto Prolo wrote: > Alguém sabe dizer como anda a aceitação (nos países que falam a língua > inglesa) dos pronome "they" e "their" como neutro no sin

Re: [Logica-l] sobre a "reforma da língua"

2021-08-26 Por tôpico Carlos Augusto Prolo
Alguém sabe dizer como anda a aceitação (nos países que falam a língua inglesa) dos pronome "they" e "their" como neutro no singular em lugar de he/she e his/her? Abraço, Prolo On Thu, Aug 26, 2021 at 4:55 PM Joao Marcos wrote: > Viva, Cifuentes: > > A conversa nesta thread morreu rápido, e

Re: [Logica-l] Vácuo

2021-04-08 Por tôpico Carlos Augusto Prolo
On Thu, Apr 8, 2021 at 4:57 PM Tiago de Lima wrote: > Olá, > > Depois do email de Daniel Durante eu fiquei com uma dúvida. Que tal essa > frase aqui: > > Todos os seres humanos com mais de 200 anos têm mais de 100 anos. > > Daniel, o que você acha? É verdadeiro por vacuidade ou é verdadeiro pour

[Logica-l] Re: Vácuo

2021-04-07 Por tôpico Carlos Augusto Prolo
Opa, "... vacuosly true, vacuos* truth em* português? " On Wed, Apr 7, 2021 at 9:23 PM Carlos Augusto Prolo wrote: > Prezados, > como se diz (ou como vocês dizem) vacuosly true, vacuos true in português? > Cada vez que que eu começo a dizer "vacuamente verdadeira"

[Logica-l] Vácuo

2021-04-07 Por tôpico Carlos Augusto Prolo
Prezados, como se diz (ou como vocês dizem) vacuosly true, vacuos true in português? Cada vez que que eu começo a dizer "vacuamente verdadeira" meus ouvidos doem que só e eu chaveio (switcho?) para inglês. Abraço, Prolo -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L

Re: [Logica-l] El Premio Turing, considerado como el "Nobel de la informática", es para los creadores de la base sobre la...

2021-03-31 Por tôpico Carlos Augusto Prolo
Muito merecido a ambos. Fico um pouco surpreso de não ter acontecido antes. Jeff Ullman gostava de escrever livros. Quando não precisava fazer mais nada fez este excelente livro acadêmico de programação em ML: https://www.amazon.com.br/Elements-Programming-Ml97-Jeffrey-Ullman-dp-0137903871/dp/01379

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

2020-08-30 Por tôpico Carlos Augusto Prolo
Olá. oração = clause: subordinate clause, relative clause = oração subordinada, oração relativa. Uma sentence=frase contém uma ou mais orações de forma estruturada. Traduzir sentence como oração provoca uma confusão absolutamente desnecessária [na minha opinião]. Abraço, Prolo On Sun, Aug 30,

Re: [Logica-l] Análise de silogismo

2018-09-16 Por tôpico Carlos Augusto Prolo
1) A regra foi feita para impedir a entrada de professores de fora do Departamento. 2) Helena não é do Departamento. 3) A regra foi feita para impedir a entrada de Helena. ou variantes mais polêmicas como: A: Não querem que eu entre! B: Não, é diferente, não querem que professores de fora do Depar

Re: [Logica-l] Piracicaba-Beijing via Kirchberg

2018-02-19 Por tôpico Carlos Augusto Prolo
Tem vôo de Natal para Lisboa e de lá para a China pela TAP. Só não dá certo o sincronismo. O vôo chega em Lisboa se não me engano meia hora depois daquele que parte para a China. Eu quis dizer DEPOIS mesmo, não foi erro do corretor ortográfico, kkk. Mas funciona se você não se importar de passar um

[OFF-TOPIC] Re: [Logica-l] Fwd: [Novo artigo] Relatório do Banco Mundial compara alhos com bugalhos no ensino superior

2017-11-27 Por tôpico Carlos Augusto Prolo
Sem entrar no mérito, ficando apenas nas preliminares, a introdução diz: >> ... Encomendado pelo governo ... Quem foi que encomendou mesmo? **QUAL** governo? Abraço, Prolo 2017-11-27 15:55 GMT-03:00 Marcelo Finger : > > -- Forwarded message -- > From: Direto da Ciência > Dat

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

2017-08-26 Por tôpico Carlos Augusto Prolo
É com bastante pesar que recebo esta notícia. As notícias dos jornais associam Carol à Unicamp mas ele gravitava também em torno da UFRN, onde era bem conhecida do pessoal do Dimap e do Departamento de Filosofia. Eu a conhecia pessoalmente como vários daqui que devem estar se sentido chocados. Meus

Re: [Logica-l] caderninhos de Brouwer

2017-06-14 Por tôpico Carlos Augusto Prolo
Podia estar escrito em aramaico antigo e não faria diferença ... Abraço, Prolo 2017-06-13 16:43 GMT-03:00 Joao Marcos : > Vi algumas páginas destes cadernos em uma palestra de Dirk Van Dalen > em dezembro, e decidi que nunca mais reclamaria da letra dos meus > alunos... Algumas páginas são real

[off-topic:] Re: [Logica-l] a lógica do cancer

2017-03-24 Por tôpico Carlos Augusto Prolo
Vira e mexe as pessoas sempre centram no sim ou não, tem ou não tem. Na área de otimização combinatória e qualquer correlata a gente se acostuma com que o problema não desparece quando não tem solução ótima (ou não tem uma que pode ser obtida em tempo razoável). Transpondo para o problema em questã

Re: [Logica-l] [Off-topic] E vamos ficar parados?

2016-09-24 Por tôpico Carlos Augusto Prolo
Jason, eu li o assunto estava decidindo não ler para não estragar o meu humor. Ai resolvi lhe dar o benefício da dúvida e comecei a ler e o fiz até o parágrafo abaixo quando então desisti. > Muitos dos professores assinantes desta lista podem pensar: "Isto não me prejudica, já que sou professor

Re: [Logica-l] O café da manhã dos campeões...

2016-07-08 Por tôpico Carlos Augusto Prolo
Foi má tradução de "fait d'oranges fraiches et de concentre" http://www.studiod.ca/assets/Uploads/portfolio/Orange-Maison-gable-2.jpg A relevância da word order ... (from concentrate and [from] not/non concentrate) Prolo 2016-07-08 13:25 GMT-03:00 Walter Carnielli : > Finalmente, o exem

Re: [Logica-l] Situacao de pesquisador/professor estrangeiro no Brasil

2014-02-07 Por tôpico Carlos Augusto Prolo
depois destes três anos é que começam a contar os 16 anos para titular ... Carlos Prolo On Fri, 7 Feb 2014 19:37:21 -0200, Joao Marcos wrote: > 2014-02-07 17:49 GMT-03:00 Carlos Augusto Prolo : >> JM diz: >>>> Claro, ele pode progredir verticalmente para Adjunto 1 se dem

Re: [Logica-l] Situacao de pesquisador/professor estrangeiro no Brasil

2014-02-07 Por tôpico Carlos Augusto Prolo
JM diz: >> Claro, ele pode progredir verticalmente para Adjunto 1 se demonstrar que tem >> doutorado Só depois de aprovado no probatório! Pelo menos isto é o que está na proposta que está sendo discutida aqui na UFRN. Não sei se este caveat ainda pode ser derrubado nas discussões das unidades ou

Re: [Logica-l] Aniversario do Kmuth - Tex/LaTeX forever?

2014-01-10 Por tôpico Carlos Augusto Prolo
Falando em 100 anos, isto me fez lembrar da minha HP32SII (sucessora de uma HP41C, tendo convivido por algum tempo com uma HP11C), que carrego na minha mochila desde sempre, como as canetas, lapiseiras, ou como as chaves que carrego no bolso da calça. Dias atrás precisei trocar as baterias, que dur

Re: [Logica-l] uma questão de terminologia

2013-12-06 Por tôpico Carlos Augusto Prolo
Você pode ter triplas, quadruplas, etc. vistas como funções (e.g., <1,2,3> ou <<1,2>,3> significando f(1,2)=3 ou f(1)(2)=3)? Neste caso, eu diria que o conjunto é uma espécie de função de aridade variável. Em particular constantes (e.g., 7) são funções de 0 argumentos. Carlos Prolo On Thu, 5 Dec