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

>> >> >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> > > _

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

esqueci de mandar pra lista... -- Forwarded message -- From: Valeria de Paiva Date: 2010/1/22 Subject: Re: [Logica-l] "Por que a maioria das pessoas acha a matemática tão difícil?" vídeo da Globonews To: Francisco Antonio Doria Bom, eu tambem tenho *muita* dificuld

[Logica-l] Fwd: categories: Government of Canada Post-Doctoral Research Fellowships (fwd)

Hicks Academic Administration Building Halifax, Nova Scotia, Canada, B3H 4H6 Tel: 902.494.2485 Fax: 902.494.8797 graduate.stud...@dal.ca http://dalgrad.dal.ca [For admin and other information see: http://www.mta.ca/~cat-dist/<http://www.mta.ca/%7Ecat-dist/>] -- Valeria de Paiva h

Re: [Logica-l] [Bulk] Re: Explicação do sign ificado da implicação clássica

---- A "Bridge" not too far *Valeria de Paiva* Cuil, Inc. [Home Page<http://www.cs.bham.ac.uk/%7Evdp/> ] *Date:* Thursday January 21, 2010 at 16:00 *Location:* AE201 (SRI A building) - not the usual location - (Directions<http://www.ai.sri.com/visiting/> ) Hosted by D

Re: [Logica-l] Níveis de conhecimento em Lógica

;> E-mail : arac...@inf.ufsc.br >> Personal Homepage: >> http://www.inf.ufsc.br/~aracele<http://www.inf.ufsc.br/%7Earacele> >> >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> >> > > > -- > Att. > > Aracele Garcia de Oliveira > M.Sc. Student in Computer Science > Federal University of Santa Catarina (UFSC) > Department of Informatics and Statistics(INE), > Florianopolis, SC - Brazil > Phone: +55 48 8834-4281 > E-mail : arac...@inf.ufsc.br > Personal Homepage: > http://www.inf.ufsc.br/~aracele<http://www.inf.ufsc.br/%7Earacele> > > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] A questão dos pareceristas (envolve ndo "Dualising Intuitionistic Negation" de Grah am Priest)

ter > > -- > > + > Walter Carnielli > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > P.O. Box 6133 13083-970 Campinas -SP, Brazil > Phone: (+55) (19) 3788-6519

Re: [Logica-l] Pollock e fractais

ng list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www

Re: [Logica-l] Regras para a igualdade em Deducao Natural

atematica >     Universidade Federal de Minas Gerais >     Av Antonio Carlos, 6627 - C.P. 702 >     Pampulha - CEP 30.161-970 >     Belo Horizonte - Minas Gerais - Brazil > Phone:   55 31 3409-5970/3409-5994 > Fax:       55 31 3409-5692 > http://www.mat.ufmg.br/~elaine > - > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: 14th Congress of Logic, Methodology and Philosophy of Science (fwd)

ical-methods mailing list logical-meth...@lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/logical-methods -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

abam sendo associados a grandes cardinais. Nunca >> pesquisei isso, mas me parece bem interessante. Lembremos também que a >> própria nocao de finitude nao fica suficientemente clara se retirarmos >> o Axioma da Escolha ! Perde-se a equivalência com a nocao de >> infinitude de Dedekind. >> >> Até mais, >> >> []s  Samuel >> -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

t; http://www3.interscience.wiley.com/journal/113463088/abstract > > http://www3.interscience.wiley.com/journal/113463761/abstract?CRETRY=1&SRETRY=0 > > http://www.emis.de/journals/CMUC/pdf/cmuc9301/sochor.pdf > > > Até, > > []s  Samuel > > > > Quot

Re: [Logica-l] Resenha de Gödel sobre Skolem-- um de slize acerca dos modelos não standard

Teoria dos Conjuntos Finitos sao equiconsistentes. Deve ser algo como > interpretar divisibilidade como pertinência ou algo assim. Nao conheco essa > tal > "bi-interpretacao"... > > []s  Samuel > > > > Quoting Valeria de Paiva : > >> Decio, >> obrigad

Re: [Logica-l] RES: P ≠ NP?

eressar (e entender!) possa... >> >> http://www.scribd.com/doc/35539144/pnp12pt >> >> Att. >> >> -- David Deharbe >> >> >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br &g

Re: [Logica-l] Editorial da ACM por M. Vardi

gt; -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.c

Re: [Logica-l] res: semântica paraconsistente

quot;sociais" do > nosso trabalho como cientistas pressupõe o esclarecimento daquilo que > fazemos em termos tão pedestres quanto possível, bem como a > reavaliação das nossas crenças e a defesa dos nossos pontos de vista. > > A batalha é ganha dia-a-dia, mas é infindável.  Abraços, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] res: semântica paraconsistente

; How can I feel so all alone? > (Bell's Theorem Blues) > Em 11/08/2010, às 14:45, Valeria de Paiva escreveu: > > (Temos colegas, aliás, que tem defendido seriamente > > a ideia de que a silogística aristotélica era intuicionista.) > > Quem, Joao Marcos? Aonde? > eu gost

Re: [Logica-l] AJUDA: RECUPERAÇÃO DE DOCUMENTOS [OFF TOPIC]

2010/8/12 Valeria de Paiva : > Outra sugestao (de incompetente, mas as vezes funciona e e' totalmente > trivial...) > duplique  os arquivos .ole e simplesmente mude o sufixo de .ole pra .doc. >  ja' me aconteceu muitas vezes de fazer isso e dar tudo certo, tanto >

Re: [Logica-l] Qualis 2010: *periódicos* que publi cam artigos na área de Lógica

ges.com/ > (in absentia, post-doc in cives vindobonensis) > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valer

[Logica-l] Fwd: Logic Meeting at UCLA

http://www.logic.ucla.edu. Best wishes, Itay. --++**==--++**==--++**==--++**==--++**==--++**==--++**== logical-methods mailing list logical-meth...@lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/logical-methods -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.or

[Logica-l] 5th IMLA: deadline extension

eter Schroeder-Heister (Chair General Programme Committee) Gerhard Heinzmann (Chair Organizing Committee) -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufr

Re: [Logica-l] incompletude concreta

gt; > >> > >> >> dar panos para a manga >> > >> >> >> > >> >> Picking holes in mathematics >> > >> >> -- Marianne Freiberger >> > >> >> http://plus.maths.org/content/picking-holes-mathematics >> > >> >> >> > >> >> (o artigo inclui em particular um exemplo interessante, mesmo que >> não >> > >> >> seja recente, de uma sentença indecidível que envolve uma coleção >> > >> >> finita de árvores finitas) >> > >> >> >> > >> >> >> > >> >> jm >> > >> >> ___ >> > >> >> Logica-l mailing list >> > >> >> Logica-l@dimap.ufrn.br >> > >> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> > >> > >> > -- >> > >> > fad >> > >> > >> > >> > ahhata alati, awienta Wilushati >> > >> >> > >> -- >> > >> fad >> > >> >> > >> ahhata alati, awienta Wilushati >> > >> ___ >> > >> Logica-l mailing list >> > >> Logica-l@dimap.ufrn.br >> > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > fad > > ahhata alati, awienta Wilushati > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Supercomputador Watson

+DE+CINCO+MIL+COMPUTADORES+JUNTOS.html > > Paulo > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs

[Logica-l] Fwd: 2011 Tarski Lectures: Johan van Benthem

...@lists.stanford.edu https://mailman.stanford.edu/mailman/listinfo/logical-methods -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman

Re: [Logica-l] cinco velinhas

t; Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > Federal University of Rio de Janeiro > www.cos.ufrj.br/~mario > ___ > Logica-l mailing list > Logica-l@dimap.ufrn

Re: [Logica-l] Qualis de Matemática - Revistas de Lógica

> > Claro que alguns colegas podem achar que toda essa cienciometria é bobagem > e que não deveríamos perder tempo com isso, mas, como disse no começo, o > jogo é jogado, temos que pelo menos decidir se (e como) vamos jogar ou não. > > > > > > > >

Re: [Logica-l] Adjusting a conjecture of Erdös

ite: http://www.cle.unicamp.br/prof/carnielli > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Marcelo Finger > Departamento de Ciencia da Computacao > Insti

Re: [Logica-l] bi-implicação intuicionista

vo de *bi-implicação > > intuicionista*? E sobre as relações entre este último e o conectivo > > clássico análogo? > > > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > _______ > Logica-l mailing list > Logica-l@d

Re: [Logica-l] bi-implicação intuicionista

czynska > Annals of Pure and Applied Logic 155 (2008) 86-96. > linkinghub.elsevier.com/retrieve/pii/S0168007208000353 > > Agradeço a todos que me responderam offlist com questões e sugestões de > leitura. > > Valeria de Paiva escreveu: > > mas posso perguntar pra que?

Re: [Logica-l] Teoremas de Noether

>> > princípio de conservação da energia, então há uma forte relação > entre > > o > > >> > princípio de indução e o princípio de conservação de energia, o que > me > > >> > parece BASTANTE surpreendente! > > >> > Claro que tudo isso, neste nível, é muito especulativo e por isso > > mi

Re: [Logica-l] Palestra de Voevodsky (ganhador da medalha Fields em 2002) sobre a possível inconsistência da aritmética

ade de Sao Paulo > Rua do Matao, 1010 > 05508-090Sao Paulo, SP Brazil > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) > http://www.ime.usp.br/~mfinger > ___________ > Logica-l mailing list > Logica-l@dimap.ufr

[Logica-l] NASSLLI 2012 - CALL for COURSE and WORKSHOP PROPOSALS

versity of Texas, Austin Valeria de Paiva (co-chair), Rearden Commerce, Inc. Angelika Kratzer, University of Massachusetts Lawrence S. Moss Indiana University Eric Pacuit, Maryland University Chris Potts, Stanford University Standing NASSLLI Steering Committee: ~ Da

Re: [Logica-l] Scope of Logic Theorems

EMBER 24, 2011 > > Papers should be sent electronically in PDF to > logic.theo...@logica-universalis.org > > http://www.logica-universalis.org > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/l

Re: [Logica-l] FW: FAPESP e UNICAMP pagando gente para nos "ensinar" como publicar e escrever reviews

. Esta duas foram editoras de ``Science'' e > ``Nature'', e agora são regiamente pagas para > ajudar a publicar artigos, mas de uma forma que me parece escandalosa. > > O artigo da FAPESP está aqui; > > http://dl.dropbox.com/u/6465890/PESQUISA%20FAPESP-%20Escreva%20bem%20ou%20perecca.pdf > > > P

Re: [Logica-l] FAPESP e UNICAMP pagando gente para nos "ensinar" como publicar e escrever reviews

gt; > > sphfg.. > >> > > > >> > > > >> > > > >> > > > >> > > > >> > > ___ > >> > > Logica-l mailing list > >> > > Logica-l@dimap.ufrn.br > >> > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > > >> > > >> > > >> > > >> > -- > >> > > >> > Prof. Dr. Walter Carnielli > >> > Director > >> > Centre for Logic, Epistemology and the History of Science – CLE > >> > State University of Campinas –UNICAMP > >> > 13083-859 Campinas -SP, Brazil > >> > Phone: (+55) (19) 3521-6517 > >> > Fax: (+55) (19) 3289-3269 > >> > e-mail: walter.carnie...@cle.unicamp.br > >> > Website: http://www.cle.unicamp.br/prof/carnielli > >> > ___ > >> > Logica-l mailing list > >> > Logica-l@dimap.ufrn.br > >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > >> ___ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > > > -- > > Álisson Gomes Linhares > > > > "As coisas são como são por que assim devem ser... ou são como são por > nós > > acreditarmos que assim devem ser?" > > "Não sabendo que era impossível, foi lá e fez." - Jean Cocteau > > > > > > > > -- > > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] FAPESP e UNICAMP pagando gente para nos "ensinar" como publicar e escrever reviews

t; > > > > > "All paid jobs absorb and degrade the mind." > > > _Aristoteles > > > > > > > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dim

[Logica-l] Fwd: NASSLLI 2012: Call for Course and Workshop Proposals - EXTENDED DEADLINE

sions; May 15, 2012 - Material for courses available for printing; Program Committee: Carlos Areces (co-chair), Universidad Nacional de Córdoba David Beaver, University of Texas, Austin Emily Bender, University of Washington Josh Dever, University of Texas, Austin Valeria de Paiva (co-chair), Rearde

Re: [Logica-l] Novo livro

t; Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: from Ken Lopez-Escobar's niece, Grisel

pez-Escobar Damgaard > > ___________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: from Ken Lopez-Escobar's niece, Grisel

zer isto, uma vez que conheço o > Ken há quase 30 anos. > Acabo de enviar uma mensage pessoal à Lista FOM, talvez o Chico > Miraglia possa fazer isso . > também. > > um abraço, > > Walter > > Em 16 de setembro de 2011 20:01, Valeria de Paiva > escreveu:

Re: [Logica-l] 100 mil teses da USP

>  Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) >  http://www.ime.usp.br/~mfinger > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ h

Re: [Logica-l] Fwd: inconsistency of P

> uma contradição, será que não estávamos fazendo matemática antes? > /Mais em http://www.cfh.ufsc.br/~principi/p141-9.pdf ) > > > JM > ___________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria

Re: [Logica-l] trabalho do Nelson

rquodlibet.googlepages.com/ > ___________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] trabalho do Nelson

que PA > é inconsistente, já que em ZFC não há problemas de falta de recurso para > codificação. Ou seja, se o plano dele estivesse correto, mas os detalhes > não, ele conseguiria pelo menos uma prova da inconsistencia de ZF, o que já > seria suficientemente interessante. E ele está gastanto cent

Re: [Logica-l] trabalho do Nelson

quot;coding" da pior especie, mascaram a realidade matematica, na minha opiniao. abs Valeria 2011/9/30 Francisco Antonio Doria : > Por que não acreditar na prova de consistência de Goedel para PA? Ou na de > Kunen, baseada num algoritmo? > > 2011/9/30 Valeria de Paiva >> &g

Re: [Logica-l] trabalho do Nelson

> a perspectiva correta. Talvez falta um pouco de semântica. Mas como eu > falei, não entendo nada disso e esses palpites apenas expressam uma > sensação, não tem bases muito sólidas. > > Abraço > Rodrigo > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] trabalho do Nelson

, he was prepared to always answer > yes, but he was going to take 2^100 times as long to answer yes to 2^100 > then he would to answering 2^1. There is no way that I could get very far > with this." > > > > Abraço > Rodrigo > > > 2011/9/30 Valeria de Paiva >>

Re: [Logica-l] Nelson, etc

_ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] trabalho do Nelson

duvido portanto é que  uma noção razoável de existência de números > seja baseada em uma noção de complexidade, como Nelson acredita. Em última > análise, por tudo que já escrevi, não me parece inteligível a inferência > "complexo implica não existe". > > Abraço > Rodrigo &

Re: [Logica-l] trabalho do Nelson

s.com/2011/10/01/what-if-peano-is-inconsistent/ a lista Logica funcionando do jeito que achamos bom, parabens Joao Marcos... valeria 2011/10/1 Valeria de Paiva : > oi Rodrigo, >>Isso não é motivo para acreditar na inconsistência de PRA, > e', nisso concordamos plenamente. > bom t

Re: [Logica-l] trabalho do Nelson

igualmente a Terry Tao e ao cuidadoso escrutínio > do Daniel Tausk lá na USP junto com o Rodrigo: > http://www.cs.nyu.edu/pipermail/fom/2011-October/015832.html > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > -- Valeria de Paiv

Re: [Logica-l] Nelson, etc

eja, constroi a árvore >>> em que a relação paternidade/filiação sempre respeita >>> uma regra de inferência do sistema. >>> >>> Na Teoria da Computação estamos cansado de >>> demonstrar FINITARIAMENTE a correteza de um algoritmo, >>> m

[Logica-l] IMLA special issue J Log Comp call for papers

Convite pra submeter artigo.. Valeria -- Call for Papers: Special Issue of the Journal of Logic and Computation on Intuitionistic Modal Logics and Applications (IMLA) Guest Editors: Valeria de Paiva and Natasha Alechina Constructive modal logics and type theories are of increasing

Re: [Logica-l] Tools for Teaching Logic

t; > > Adolfo >> > > >> > > == >> > > Adolfo Neto >> > > Assistant Professor - Federal University of Technology, Paraná >> > > Web: http://www.dainf.ct.utfpr.

Re: [Logica-l] A logica com fisica do objeto qualquer

rary object" >> >> JM >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

forço? > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriade

Re: [Logica-l] Inconsistency of P: parabéns ao Ed Nelson, ao Terrence Tao e ao Daniel Tausk

>> 13083-859 Campinas -SP, Brazil >> Phone: (+55) (19) 3521-6517 >> Fax: (+55) (19) 3289-3269 >> Institutional e-mail: walter.carnie...@cle.unicamp.br >> Website: http://www.cle.unicamp.br/prof/carnielli >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] fibring in logic

 (fibring}  e muito mais sobre combinações de >> >>>> lógicas é  o tema do nosso  livro: >> >>>> >> >>>> W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia and C. >> >>>> Sernadas. Analysis and Synthesis of Logics. How to Cut

Re: [Logica-l] Evento em Salvador - 2012

******* > > > > > > > > Universidade Federal da Bahia - http://www.portal.ufba.br > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: Your input on a proposed change at NSF

ssed with NSF leaders. best, Eric Eric M. Friedlander (President, AMS) -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] A note In Memoriam of Edgard George Kenneth (Ken) Lopez-Escobar

3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > ___________ > Logica-l mailing list > Logica-l@dimap.uf

Re: [Logica-l] divulgação de palestra

st > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] "provas" x "demonstrações", em Lógica

t;demonstrabilidade" de proposições > "demonstráveis" fosse uniformemente empregada! > > Ou pelos menos é essa a minha opinião --- que me parece apropriada até > prova em contrário. :-D > Joao Marcos > > > PS: A propósito, o emprego do peculiar termo "teorético" parece > completamente _desnecessário_, em português, quando temos disponível o > termo "teórico" para o mesmo fim. > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Prova científica

;>> Maria Francisca >>> Curitiba - PR >>> >>> >>> ___ >>> Logica-l mailing list >>> Logica-l@dimap.ufrn.br >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >> >> >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] "provas" x "demonstrações", em Lógica

ot;. E, como adjetivo, usar só "demonstrável". > > > Um abraço, > > Fernando Náufel, D.Sc. > fnau...@gmail.com > http://fnaufel.wordpress.com > http://www.uff.br/llarc > > Professor Adjunto > (~Professor Doctor > see http://en.wikipedia.org/wiki/Professo

Re: [Logica-l] "provas" x "demonstrações", em Lógica

, no entanto, que seja o caso de descartar por essa razão o uso > consagrado de "prova" e "provar" nas ciências formais. > > Abraços > Andrea > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logi

Re: [Logica-l] Prova científica

SC -- Brasil > deciokrause[at]gmail.com > www.cfh.ufsc.br/~dkrause > > "He [God] will never choose among indiscernibles" > (G.W.Leibniz) > [But] He (God) would never choose among discernibles too. (M. Franciotti) > > > > >

Re: [Logica-l] terminologia , anglicismos e língua portuguesa

uver necessidade, traduz-se para o >      português, mas nunca se tem muito tempo (ou conhecimento >      linguístico) para dedicar à tarefa. > >  Então, para testar este meu palpite, eu pergunto: quantos de vcs >  fazem lógica originalmente em português? E quantos de vcs fazem >  rasc

Re: [Logica-l] "provas" x "demonstrações", em Lógica

ão do público brasileiro e português. > > Com relação ao que podemos fazer para ajudarmos os nossos alunos a não > se perderem na selva de terminologias ---e notações--- da literatura, > creio que o mais racional seria simplesmente tentar mencionar para > eles aquelas que são mais difundidas ou imp

Re: [Logica-l] Lançamento do livro "The Functional Interpretation of Logical Deduction" (World Scientific)

Parabens Ruy e Ju! Sent from my iPhone On Nov 11, 2011, at 3:18 PM, Ruy de Queiroz wrote: > Caros(as), > > Estão todos convidados a comparecer ao lançamento do nosso livro (em > parceria com Anjolina e Dov Gabbay): > > The Functional Interpretation of Logical > Deduction

Re: [Logica-l] "provas" x "demonstrações", em Lógica

>>>> Louvo teu esforço (hercúleo, por sinal) em tentar estabelecer uma >>>> terminologia para uma área que já tem uma (bem) estabelecida. Concordo com >>>> Valéria: há um limite para a discussão sobre terminologia. Francamente, os >>>> argumentos em favor de &

Re: [Logica-l] Teoremas de Gödel

o como diferença e >> >>>>> alteridade subsidiárias deste. As coisas são mesmo assim? Esta >> especulação >> >>>>> nos ilumina com a verdade? Não sei. Talvez nunca saberemos. Mas isso >> não >> >>>>> importa à Filosofia, afina

Re: [Logica-l] re-Qualis-ficação de Conferências ligadas à Lógica na área de Computação

lassificatória das conferências da área, que de fato não faz parte do >> Qualis, mas afeta igualmente nossos pedidos de financiamento e as >> avaliações que recebemos) e seus critérios muitas vezes abstrusos, só >> posso lhes sugerir conferi-lo diret

Re: [Logica-l] Fwd: NASSLLI 2012: North-American Summer School in Logic, Language and Information, Austin TX (U.S.A.), 18-22 June 2012

ts) > * Adam Lopez (Johns Hopkins University): Statistical Machine Translation > * Eric Pacuit (Stanford University): Social Choice Theory for Logicians > * Valeria de Paiva (Rearden Commerce) & Ulrik Buchholtz (Stanford > University): Introduction to Category Theory > * Adam Peas

[Logica-l] Gowers and Elsevier

http://gowers.wordpress.com/2012/01/21/elsevier-my-part-in-its-downfall/ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman

Re: [Logica-l] Gowers and Elsevier

não estão interessados no > problema, e não se importam de trabalhar para dar lucro às gananciosas > editoras internacionais; OU (b) não sabem o que fazer a respeito e, > talvez por isso mesmo, não fazem nada. > > > Joao Marcos > > > 2012/1/21 Valeria de Paiva : >> htt

Re: [Logica-l] Gowers and Elsevier

fknowledge.com/ > http://gowers.wordpress.com/2012/01/23/httpthecostofknowledge-com/ > > JM > > 2012/1/22 Valeria de Paiva : >> oi Walter e Joao, >> >> eu tenho reclamado com amigos e tb em situacoes mais sociais nos >> ultimos anos, mas e' realmente di

Re: [Logica-l] Porque não vou boicotar somente a Elsevier

History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Boicote da Elsevier, mais uma...

is going "up in smoke". Whatever is happening, clearly it's hot. Check it out! -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Boicote à Elsevier adquirindo "momento"

al > attitude to resign immediately from the Editorial Board.  However,  I > may resign  in the  near future- for the moment  I will refrain from > publishing and refereeing for Elsevier. > - > > Abs, > > Walter > Em 12

[Logica-l] Math2.0

http://johncarlosbaez.wordpress.com/2012/02/16/math-2-0/ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Ruth Barcan Marcus (1921-2012)

http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Boicote à Elsevier adquirindo "momento"

ember  of the   editorial board of the Journal of Applied >> Logic published  by Elsevier ( >> http://www.sciencedirect.com/science/journal/15708683). At the moment >> I have  commitments with several author and I do not find an ethical >> attitude to resign immediately from th

Re: [Logica-l] mais sobre o julgamento da Lógica na Computação

 na  Wiley- são as três que dominam >>>>  o  mercado! >>>> >>>> >>>> E não se  pode  esquecer, como  postei  na  Lista, que a Springer >>>> "força" os   autores a  pagar >>>> os serviços da   E-danz,  uma empresa parceira da Springer  que " >>>> melho

Re: [Logica-l] Como modificar as listas Qualis ?

fic >> than "Re: Contents of Logica-l digest..." >> > > > > > Universidade Federal da Bahia - http://www.portal.ufba.br > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Como modificar as listas Qualis ?

; http://www.cfh.ufsc.br/~dkrause > -- > > Em 24/02/2012, às 23:06, Valeria de Paiva > escreveu: > > > Pois e' Samuel, obrigada pela explicacao!! > > > > Vamos nessa entao? > > > > Criamos um site com uma

Re: [Logica-l] Como modificar as listas Qualis ?

periencia em fazer sites dinamicos... =\ > [[]], Eduardo > > >> Em 24/02/2012, às 23:06, Valeria de Paiva > >> escreveu: > >> > >> > Pois e' Samuel, obrigada pela explicacao!! > >> > > >> > Vamos nessa entao? > >> > > >&g

Re: [Logica-l] Como modificar as listas Qualis ?

ém, claro ! > > []s Samuel > > PS: Acho que um "subgrupo" da lista poderia se comunicar diretamente para > fazer isso, para nao ficar enchendo a logica-l de mensagens, eu me > candidato a participar do subgrupo, hehe... > > > Quoting Valeria de Paiva : > >

Re: [Logica-l] Curso de Verão (Depto de Matemática): "Homotopy Type Theory", por Peter Lumsdaine

ty with it, but I recommend getting it and > > trying out the interface beforehand. It's available from > > http://coq.inria.fr/, and there are several good introductions online; I > > recommend the first few exercises from > > http://www.cis.upenn.edu/~bcpierce/sf/toc.html. Warning: Coq can be > > dangerously addictive! (In the words of Andrew Appel: Coq is the world's > > best video game.) > > > > Much more reading (both light and heavy) on Homotopy Type Theory can be > > found at http://homotopytypetheory.org. > > > > > > > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Como modificar as listas Qualis ?

gt; > > onde é possivel criar uma peticao e colher assinaturas. > > []s > Jerusa. > > -- > JERUSA MARCHI > INE - CTC - UFSC > ---------- > > > On Sat, 25 Feb 2012, Valeria de Paiva wrote: > > oi Eduardo, Rodrigo

Re: [Logica-l] Fwd: Horas para barrar o código florestal

a para > nós no link www.avaaz.org/po/contact< > http://www.avaaz.org/po/contact?footer>. > > > > > -- > --- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > Sta

Re: [Logica-l] documento para a capes

há duas > propostas e a primeira é a prioritária. Portanto, [A2 ou B1] e [B1 ou A2] > são diferentes: > no primeiro caso a proposta é "prioritariamente A2" e no segundo "B1, mas > não menos > que B1". A tabela não tem qualquer pretensão de completude: > concen

Re: [Logica-l] documento para a capes

i falta da ACM Transactions on > Computational Logic (TOCL). Não sei porque, só aparece em Farmácia e áreas > afins... > > Beijo! > > > 2012/3/20 Valeria de Paiva > > > Caros colegas, > > > > Continuando a mensagem do Rodrigo abaixo, a tabela com revistas de Logica

Re: [Logica-l] documento para a capes

OK, funciona pra mim! ;) se alguem achar ruim, por favor reclame... obrigada! valeria 2012/3/20 Elaine Pimentel > Oi, Valeria! > > Bem, um jornal da ACM é um jornal da ACM... Então não sei, talvez A2? > > Abraços! > > Elaine. > > 2012/3/20 Valeria de Paiva > >

Re: [Logica-l] documento para a capes

Computação apresenta > >>> discrepâncias > >>> similares àquelas da Matemática: apenas uma entre as sete melhores > >>> revistas > >>> de Lógica > >>> Matemática mencionadas acima possui uma classificação segund

[Logica-l] Fwd: documento para a capes

-engrandecimento talvez a gente tenha errado um tanto pra baixo. acho melhor deixarmos como esta', por enquanto, apesar de suas excelentes razoes pra puxar pra cima. Abracos, Valeria -- Forwarded message -- From: Valeria de Paiva Date: 2012/3/21 Subject: Re: [Logica-l] docu

Re: [Logica-l] The Abel Prize 2012

.cos.ufrj.br/~mario <http://www.cos.ufrj.br/%7Emario> > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Pa

Re: [Logica-l] classificacao das revistas de logica 2011

Pure and Applied Logic > 8. Logic Journal of the IGPL > 9. Studia Logica > 10. Journal of Symbolic Logic > 11. Archives for mathematical logic > 12. Bulletin of Symbolic Logic > > >-- > Jean-Yves Beziau > Editor-in-Chief - Logica Universalis > Current issue: &

Re: [Logica-l] Tatu

; Edificio 320. > Ciudadela Universitaria Melendez > Cali, Colombia > > https://sites.google.com/site/elainepimentel/ > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.

Re: [Logica-l] uma nota lógica sobre bibliometria e cienciometria

iar uma Comissão Especial de Lógica & > Computação). Ainda na área de Computação, para as qualis-ficações > está aparentemente sendo construído um big software para coleta e > processamento dos índices bibliométricos em questão, seguindo as > regras de cálculo do próprio documento de área. Haverá outros membros > desta lista que podem explicar melhor como isto vai funcionar. Tudo > indica contudo que boa parte das inconsistências já apontadas > permanecerão, até porque algumas delas são sistêmicas, e resultam da > nossa própria forma de medir as coisas. > > Talvez não consigamos mudar as coisas de verdade enquanto não pudermos > mudar propriamente *as regras do jogo*. > > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Blog para recolher assinaturas - Documento para a CAPES

___**_ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l< > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> > > > > > > -- > fad > > ahhata alati, awienta W

  1   2   3   4   5   6   >