[Logica-l] Agradecimento

Quero agradecer - muito - ao Acácio e ao Décio - e tambem ao Jean-Yves, o imenso presente de aniversário que me deram, o livro A True Polymath. E tambem, claro, aos que contribuiram para o projeto. Muito, muito obrigado! -- fad ahhata alati, awienta Wilushati -- Você está recebendo esta

Re: [Logica-l] Ainda o tempo

Desculpem: só li agora essa mag. Cheguei a esboçar um paper que nunca publiquei onde oi tempo, visto numa teoria que admita a relatividade restrita, é um campo que pode inclusive ter massa através do mecanismo de Higgs. Em resumo: uma teoria admite a relatividade restrita se tiver como grupo de

Re: [Logica-l] An Inferentially Many-Valued Two-Dimensional Notion of Entailment

Parabens! 2018-05-25 20:28 GMT-03:00 Joao Marcos : > PessoALL: > > Uma parte importante da tese de doutorado de Carolina foi publicada > recentemente: > > An Inferentially Many-Valued Two-Dimensional Notion of Entailment > Carolina BLASIO, Joao MARCOS and Heinrich WANSING >

Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada (Palestra)

Como é esse Princípio de Ariadne? 2018-05-11 22:56 GMT-03:00 Walter Carnielli : > Oi Valéria, quando me refiro ao infinito, eu falo de todos, não só dos > "bonzinhos que não mordem", tipo infinito potencial. Cão potencial > também não morde :-) > > Falo sobre todos

Re: [Logica-l] Novo livro

no artigo. 2018-03-04 3:18 GMT-03:00 Francisco Antonio Doria <famado...@gmail.com>: > Quem concebeu tudo, e organizou o desenho básico foi o Shyam, CS erudito > alem da hard science. Fui convidado por ele para palpitar, sugerir, opinar: > essa minha função. > > 2018-03-03 15:24 GMT-0

Re: [Logica-l] Novo livro

Quem concebeu tudo, e organizou o desenho básico foi o Shyam, CS erudito alem da hard science. Fui convidado por ele para palpitar, sugerir, opinar: essa minha função. 2018-03-03 15:24 GMT-03:00 Walter Carnielli : > Olá Dória, parabens! > Com prefácio de Sir Roger

[Logica-l] Novo livro

Já o havia anunciado; ei-lo, publicado. https://www.amazon.com/Map-Territory-Exploring-Foundations-Collection-ebook/dp/B079SV43LR/ref=sr_1_1?ie=UTF8=1520031609=8-1=wuppuluri -- fad ahhata alati, awienta Wilushati -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"

[Logica-l] Textos inéditos sobre teoria da computação

Newton e eu trabalhamos muito em CS desde os anos 90. Recentemente ele me pediu que organizasse o que fizemos em resumos. Foi feito, aproveitando muito material já publicado e alguma coisa inédita. Se alguém tiver interesse a respeito, pode me escrever em pvt que mando essas nossas notas. Um

[Logica-l] Novo livro

Fui convidado para co-editar um volume de ensaios exploratórios em filosofia da ciência para a Springer. O livro está pronto, e mesmo se algo risqué, a qualidade dos participantes garante-o: http://www.springer.com/in/book/9783319724775 -- -- Você está recebendo esta mensagem porque se

Re: [Logica-l] A Solution of the P versus NP Problem

sco Antonio Doria <famado...@gmail.com>: > Newton e eu temos conversado bastante sobre o paper de Blum. É muito > diferente do enfoque usado por nós, e sugerido por Kreisel. Para começar, > trabalhamos explicitamente num sistema axiomático (usamos ZFC, em geral). > Assim, P≠

Re: [Logica-l] A Solution of the P versus NP Problem

Newton e eu temos conversado bastante sobre o paper de Blum. É muito diferente do enfoque usado por nós, e sugerido por Kreisel. Para começar, trabalhamos explicitamente num sistema axiomático (usamos ZFC, em geral). Assim, P≠NP é expresso por uma sentença \Pi_2, que explicitamos. Tal sentença é

Re: [Logica-l] How do we construct the Gödel’s sentence in Martin-Löf type theory?

Posso fazer uma observação? Para teorias S com um conjunto recursivamente enumerável de teoremas (e mais outras condições simples, tipo ``aritmética suficiente'') existem infinidades de sentenças indecidíveis. E todas, se o desejarmos, com significado matemático sensato. Um exemplo (em ZFC,

Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

; https://sites.google.com/site/firstwomeninlogicworkshop/, > > associada ao LiCS. > > a gente tenta, ne? > > abracos, > Valeria > > > On Fri, Jun 16, 2017 at 2:56 PM, Francisco Antonio Doria < > famado...@gmail.com> wrote: > >> Digo o mesmo! >> >> On Fri, Jun

Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

Digo o mesmo! On Fri, Jun 16, 2017 at 6:50 PM, Marcelo Finger wrote: > > Parabéns aos autores! > > []s > > > -- Forwarded message -- > From: Oxford University Press > Date: 16 June 2017 at 18:06 > Subject: Logic Journal of the

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

Newton publicou sobre o tema com a Mineko Yamashita, já falecida, e Leila Zardo Puga. 2017-06-11 8:22 GMT-03:00 Ricardo Grande : > Uma amiga me pediu artigos de Lógica e Direito, Lógica aplicada ao direito > e coisas afins. > Caso alguém conheça algo para me indicar,

Re: [Logica-l] el problema

Há uns vinte anos soube que Solovay discutiu várias versões do número Omega de Chaitin, com propriedades estranhíssimas. Discuti a coisa com o Newton e saímos à cata de outros exemplos agualmente peculiares. Newton sugeriu uma versão do Omega cuja construção invocava explicitamente o Axioma da

[Logica-l] Livro no prelo.

Uma homenagem que faço ao Newton: http://www.worldscientific.com/worldscibooks/10.1142/q0091 -- fad ahhata alati, awienta Wilushati -- 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

Re: [Logica-l] Axiomatizando a teoria da computação

constructive if there is a recursive n f n is a G odel numb er of P n where P n is de ned Takeuti This is equivalent [image: page2image20360] is equivalent to PA recursively restrict 2017-02-20 8:24 GMT-03:00 Francisco Antonio Doria <famado...@gmail.com>: > Pois é, minha dúvida é essa, po

Re: [Logica-l] Axiomatizando a teoria da computação

nte fica sem poder provar uma infinidade > de > > propriedades óbvias. > > Sim! > > > Alguém já viu uma axiomática para a teoria da computação como PA + > Regra omega de Shoenfield? > > Mão, não é suficiente. Acho que já conversamos isso aqui na lista. >

Re: [Logica-l] Axiomatizando a teoria da computação

nte fica sem poder provar uma infinidade > de > > propriedades óbvias. > > Sim! > > > Alguém já viu uma axiomática para a teoria da computação como PA + > Regra omega de Shoenfield? > > Mão, não é suficiente. Acho que já conversamos isso aqui na lista. >

Re: [Logica-l] Axiomatizando a teoria da computação

Daí resulta que - por exemplo - uma infinidade de conjuntos de máquinas de Turing polinomiais no tempo, na interpretação standard, têm justo essa propriedade, indecidível. 2017-02-20 6:14 GMT-03:00 Francisco Antonio Doria <famado...@gmail.com>: > Obrigado! Funções recursivas t

[Logica-l] Axiomatizando a teoria da computação

Como se sabe, ZF, ZFC, e mesmo PA (aritmética de Peano) não servem para axiomatizarmos a teoria da computação, já que uma infinidade de funções recursivas terão propriedades formalmente indecidíveis mas trivialmente verdadeiras. A gente fica sem poder provar uma infinidade de propriedades óbvias.

Re: [Logica-l] Judment

krísis vem do verbo grego kríno - eu distinguo, eu separo. 2017-02-15 15:17 GMT-02:00 Joao Marcos : > > eu continuo achando que "judgement" tambem pode ser traduzido com > > "julgamento" quando usado na acepcao matematica do termo, como os > > julgamentos da teoria de

[Logica-l] Outro ensaio com o Newton

Aqui neste livro: https://www.amazon.com/Space-Limits-Understanding-Frontiers-Collection/dp/3319444174/ref=sr_1_1?ie=UTF8=1485211605=8-1=shyam+wuppuluri -- fad ahhata alati, awienta Wilushati -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Re: [Logica-l] Fwd: Graph Isomorphism

Obrigado, João Marcos, por este post. Pena que Scott Aronson não fale sobre o folclore que circula a respeito, e não publicado. Um dos raros papers que o mencionam é um preprint de S. ben-David e S. Halevy, primeira versão de 1994, mas com uma versão de 2002, creio. Nunca foi publicado, sei lá o

Re: [Logica-l] Processo Seletivo para Professor Substituto de Lógica Matemática na UFRGS

Até 3a feira o prazo. Curto pra dedeu... 2017-01-01 22:06 GMT-02:00 newtonperon . : > Inscrições pela internet até 3 de janeiro. Maiores informações em: > > https://plone.ufrgs.br/progesp/progesp-1/processo-seletivo/ >

[Logica-l] [ciência] um exemplo em lógica aplicada

Vejam, por favor, o texto de divulgação de um livro meu a sair pela World Scientific, sobretudo o parágrafo ao fim: *The Limits of Mathematical Modelling in the Social Sciences: The > Significance of Gö**del's Incompleteness Phenomenon*Francisco Antonio > Doria, editor > > Current

[Logica-l] [ciência] Outro exemplo

Alain Aspect propôs um problema de decisão em teoria de emaranhados quânticos: construir um algoritmo cujo input é uma função de onda de Schrödinger, e cujo output nos diga se tal função descreve ou não partículas emaranhadas. O problema é indecidível. Não existe tal algoritmo. Tem duas provas:

Re: [META] [Logica-l] A nova equação da física --- O que isso tem a ver com a lógica [Humor]

Só uma correção: não foi o Newton quem me respondeu com aqueles comentários. Foram diversos outros amigos. Newton e o Leopoldo, ao contrário, me incentivaram na suposta loucura... 2016-12-22 6:13 GMT-02:00 Joao Marcos : > > > > ``Ter a ver com'' é difícil de responder.

[Logica-l] [Ciência] Lógica e física, emaranhadas.

Um teorema que mistura lógica e física; ``Não existem espaçostempo com big bang Cohen-genéricos.'' O Absoluteness Lemma de Shoenfield é essencial na prova. -- fad ahhata alati, awienta Wilushati -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do

Re: [Logica-l] A nova equação da física --- O que isso tem a ver com a lógica [Humor]

41 GMT-02:00 Márlon Henrique Teixeira < >>> marlonhenriqu...@gmail.com>: >>> >>>> Obrigado professor Dória, >>>> >>>> achei aqui um pequeno texto que explicar a equação e pode ser >>>> informativo aos demais. >>>> >&

Re: [Logica-l] A nova equação da física

-finalmente-unir-os-dois- > campos-da-fisica-126139 > > Abraços > > Márlon > > Em 21 de dezembro de 2016 13:33, Francisco Antonio Doria < > famado...@gmail.com> escreveu: > >> As pontes de Einstein-Rosen (``buracos de minhoca'') explicam a >> não-localidad

Re: [Logica-l] A nova equação da física

com>: > Qual o significado? > > Em 21 de dezembro de 2016 13:21, Francisco Antonio Doria < > famado...@gmail.com> escreveu: > >> Não é brinquedo; é um fato fundamental o que está sendo descrito aqui: >> >> ER = EPR >> >> -- >> fad >> >

[Logica-l] A nova equação da física

Não é brinquedo; é um fato fundamental o que está sendo descrito aqui: ER = EPR -- fad ahhata alati, awienta Wilushati -- 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,

Re: [Logica-l] Game Theory and Philosophy of Economics

Giandomenica Becchio escreveu a meu pedido um ensaio sobre o uso de lógicas não-clássicas na Escola Austríaca. Vai aparecer como um dos capítulos desse livro para a World Scientific. Ela, en passant, mostra inclusive que quem inventou o P vs. NP foi Karl Menger - o filho, em 1931. 2016-11-11

Re: [Logica-l] Game Theory and Philosophy of Economics

Tem um artigo meu, de 1998, com Marcelo Tsuji e o Newton. É muito citado entre economistas matemáticos. Seu tema embasa um livro que editei para a World Scientific, no prelo. É:*The Limits of Mathematical Modelling in the Social Sciences: The Significance of Gö**del's Incompleteness Phenomenon. *

Re: [Logica-l] Um par de boas notícias do CNPq

Boa! 2016-11-11 9:35 GMT-02:00 Walter Carnielli : > Caros > > ,talvez seja OFF -TOPIC , mas certamente muito relevante para a > comunidade: > > O novo presidente do CNPq, Mario Neto na reunião com todos os CAs > informou que não haverá corte de recursos para

[Logica-l] Livro dedicado ao Newton

Propaganda da World Scientific: --- The Limits of Mathematical Modeling in the Social Sciences: The Significance of Gödel's Incompleteness Phenomenon Dedicated to Newton da Costa, friend and mentor Francisco Antonio Doria, ed. Current mathematical

[Logica-l] Livro em homenagem ao Newton

O livro ao qual me referi, em homenagem ao Newton, tem a seguinte introdução (no Google Drive). ​ introduction.pdf ​ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do

[Logica-l] Novo livro

Editado por mim, e com um time de colaboradores expert,* entreguei ontem à World Scientific o livro _The Limits of Mathematical Modelling in the Social Sciences in the Light of Gödel’s Incompleteness Phenomenon_. Será o primeiro a tratar da questão. E é dedicado ao Newton, a quem, como é notório,

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

Gostaria de poder contribuir, mas desconheço as técnicas usadas. On Tue, Oct 11, 2016 at 10:24 AM, Joao Marcos wrote: > Bem, certamente os nossos colegas estão precisando menos da nossa > *confiança* na correção do resultado e mais da *leitura competente* do > material que

Re: [Logica-l] Fwd: Proof-theoretic proof of NP=PSPACE?

Lew é muito bom. Logo, se tiver engano, é muito sutil. On Mon, Oct 10, 2016 at 4:06 AM, Joao Marcos wrote: > Mais detalhes em: > > Welcome to NP=PSPACE Area !!! > http://www.tecmf.inf.puc-rio.br/NPPSPACE > > JM > > > -- Forwarded message -- > > Date: Sat, 8

Re: [Logica-l] Semana que vem: Brasil-Itália no IMPA.

Não vou poder ir, infelizmente, por motivos médicos. 2016-08-26 13:07 GMT-03:00 : > Prezados, > > Este é o lembrete final para a Sessão Especial de Lógica Matemática no 1st > Joint Meeting Brazil-Italy of Mathematics, organizado pelas sociedades > brasileira e italiana de

Re: [Logica-l] Preciso de um exemplo

Pois é, não sei se as coisas dele são estritamente aritméticas... Estou tentando com eqs diofantinas, mas tá difícil. Essas coisas existem graças a um teorema que, p.e., tem no Rogers. Obrigado pelo retorno, Samuel. 2016-08-18 23:52 GMT-03:00 'Samuel Gomes' via LOGICA-L <

[Logica-l] Preciso de um exemplo

Preciso de um exemplo explícito de uma sentença estritamente aritmética que seja independente de ZFC + algum grande cardinal. Alguém tem esse exemplo? -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar

[Logica-l] Artigo via Capes

Acaba de sair um artigo meu com o Newton, publicado na revista de economia teórica editada pelo Barkley Rosser Jr. É aquele onde discutimos um algoritmo quase polinomial para problemas NP-completos, semelhante ao de Babal. (A coisa foi bolada, no nosso caso, para problemas em economia.) Alguém

Re: [Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

Ou seja: como a incompletude, esses outros resultados estranhos têm consequências fora da lógica. 2016-06-16 8:23 GMT-03:00 'Samuel Gomes' via LOGICA-L < logica-l@dimap.ufrn.br>: > Oi Hermógenes, > > --> A coisa dos "modelos pensantes" é simplesmente um jargão. Dizer que um > modelo M "pensa"

Re: [Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

Sistemas formais são coisa muito estranha. Parecem inocentinhos, mas... 2016-06-16 4:12 GMT-03:00 Francisco Antonio Doria <famado...@gmail.com>: > Essas propriedades estranhas aparecem a toda hora, e inesperadamente. > Recentemente Newton e eu provamos o seguinte - já me r

Re: [Logica-l] Verbete Wikipedia

O comando americano da Wikipedia. Quem licencia o nome e formato. 2014-04-01 16:27 GMT-03:00 Helder heldergeov...@gmail.com: 2014-04-01 16:24 GMT-03:00 Francisco Antonio Doria famado...@gmail.com: A Wiki americana. 2014-04-01 15:36 GMT-03:00 Walter Alexandre Carnielli walter.carnie

Re: [Logica-l] Verbete Wikipedia

Francisco Antonio Doria famado...@gmail.com: O comando americano da Wikipedia. Quem licencia o nome e formato. 2014-04-01 16:27 GMT-03:00 Helder heldergeov...@gmail.com: 2014-04-01 16:24 GMT-03:00 Francisco Antonio Doria famado...@gmail.com : A Wiki americana. 2014-04-01 15:36

Re: [Logica-l] Verbete Wikipedia

É idiota. Vcs nunca publicariam a famos 11a edição da Britannica... 2014-04-01 19:17 GMT-03:00 Helder heldergeov...@gmail.com: 2014-04-01 19:12 GMT-03:00 Francisco Antonio Doria famado...@gmail.com: Desculpe, Helder: se vcs conferem poder pelo número de contributos - tô fora. É um sistema

Re: [Logica-l] medievalidade do acaretamento

taliare originalmente é dividir; cf. talho, retalhar, em português. Entailed property era morgadio. On Wed, Nov 20, 2013 at 11:17 AM, jean-yves beziau beziau...@gmail.comwrote: O sentindo de entailment que usam Quine e os bad guys é o sentindo de inseparable connection. que seguindo o

Re: [Logica-l] Computer Scientists Prove God Exists

Ele estava em Viena, creio. 2013/11/6 Vivek Nigam vivek.ni...@gmail.com Só uma observação, um dos autores do trabalho é brasileiro: Bruno Woltzenlogel Paleo. On Wed, Oct 30, 2013 at 11:30 PM, Joao Marcos botoc...@gmail.com wrote:

Re: [Logica-l] On writing proofs that can't go wrong

E como ficam teoremas existenciais importantes, p.e. o teorema da codificação de Shannon? A prova deste é bastante clara, e vc vê o motivo de não ser construtivo. E certas estruturas exóticas para 4-variedades? As que não podemos descrever e muito menos construir? Certas versões do número Omega

[Logica-l] Uso de indecidibilidade em criptografia

Alguem conhece codificações baseadas em funções recursivas parciais? Usando o fato de seu contradomínio ser produtivo? -- fad ahhata alati, awienta Wilushati ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?

Piti de estrela... 2013/8/5 Walter Carnielli walter.carnie...@gmail.com Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já

Re: [Logica-l] Profissao de cientista?

Concordo :)) 2013/7/28 Walter Carnielli walter.carnie...@gmail.com É mais uma manobra rasteira com intenção de proteger mercado para incompetentes. Imagine o que sería a ciência se se exigisse canudo de Arquimedes, Torricelli, Darwin... A única profissão que deveria exigir deproma (!)

[Logica-l] Palestra 4a feira dia 3 de julho

Palestra 4a feira 3/7, Coppe, sala F110, 9 hs da manhã, a convite de Laura Bahiense. O problema P vs NP e a lógica matemática. Formulação intuitiva do problema. Formalizações para o problema; dificuldades. Impossibilidade de se caracterizar alguns conjuntos infinitos de máquinas polinomiais no

[Logica-l] Além de Turing e Post

Em 1936 Kleene publicou um teorema da incompletude diverso do de Gödel: usa uma sentença Pi_2 e esta implica de modo estrito a sentença de Gödel que formaliza a consistência de PA. Kreisel combina este resultado com a prova de Gentzen e obtem uma hierarquia sobre PA indexada pelos ordinais

Re: [Logica-l] [OFF] Ficção científica focada em lógica e matemática

Tem um romance paraconsistente, The Incomplete Enchanter, de L. Sprague de Camp. 2013/6/11 Manuel Doria manueldo...@gmail.com Para quem tiver interesse pessoal ou de divulgação complementar dentro e fora da sala de aula, este é o repositório mais completo que encontrei. Contém resenhas

[Logica-l] Duas notícias

O livro com Newton, ``Física Quântica: Fragmentos'' já está nas mãos do editor, a Contraponto, e está em fase de revisão. Sai ainda esse ano, espero. E Greg Chaitin me comenta que ~`Goedel's Way'' continua listado pela revista Scientific American entre seus bestsellers. -- fad ahhata alati,

[Logica-l] off topic

``Don't feed the trolls'' é um princípio da internet que costumo seguir. Mas há momentos em que segui-lo fica impossível. Não conheço, em pessoa, quem me ataca através desta lista. Se tivermos sido apresentados, não me recordo. Nunca dele examinei projeto, artigo, tese - isso apesar de ter

Re: [Logica-l] Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2012.2

Houve algum problema, Ruy, com os editores da Wiki? On Sat, Apr 27, 2013 at 5:55 PM, Ruy de Queiroz r...@cin.ufpe.br wrote: Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2012.2: * * *Lógica*

Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger

Como não se trata de assunto lógico, nada comentarei a respeito aqui. Noto apenas que - nessa área em que sou amador - recebi um prêmio internacional, o Prix Caumont La Force 1995. Tomo esse interesse de Rodrigo Podlacki por mim como um cumprimento malgré soi - não é a primeira vez que o

Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger

que tal, write interesting stuff? On Tue, Apr 23, 2013 at 10:28 PM, Joao Marcos botoc...@gmail.com wrote: 1. write fewer original-research papers 2. get real credit for surveys, reviews and exposition 3. get real credit for refereeing 4. get real credit for communicating 5. sharing all

Re: [Logica-l] Parece que vão mudar...

Só fazendo uma ressalva, se vc me permite, o departamento de engenharia de produção no qual trabalho é muito bom. Uma aluna minha de doutorado está apresentando uma comunicação esses dias num congresso em Roma; outro recem doutor saiu da tese publicando dois artigos em revistas do exterior de bom

Re: [Logica-l] Cor e/ou Raca no Lattes

Manuel, O antropólogo foi Arthur Ramos, no Tratado de Antropologia dele. 2013/4/12 Manuel Doria manueldo...@gmail.com Subespécies (raças) são categorias nebulosas (fuzzy), como toda categoria biológica. Essencialismo em categorias biológicas morreu com Charles Darwin. Todas têm fuzzy

Re: [Logica-l] Cor e/ou Raca no Lattes

De acordo! 2013/4/12 Julio Stern jmst...@hotmail.com Caro Walter: O **para que** foi explicitado ao citar-se a lei 12.288. Eh para implementar Politicas de Acao Afirmativa (PAAs), na forma de Cotas, ou outras variantes. Creio que incluir variaveis raciais nas metricas de avaliacao de

Re: [Logica-l] Cor e/ou Raca no Lattes

Pois é, minha sugestão seria: raça humana. Ou, no meu caso, viralata - sou um tremendo mix étnico. 2013/4/11 Ana Cholodovskis anacholodovs...@gmail.com Acho que a opção Não desejo declarar parece ser a escolha unânime. Recusei a declarar também, afinal, quais são os critérios para definir a

Re: [Logica-l] Bur(r)ocratadas: Concurso para Lógica e Teoria dos Conjuntos na UFBA e outros

vivo contornando estupidez burrorática. na coppe felizmente acontece pouco. 2012/9/19 Walter Carnielli walter.carnie...@gmail.com Caros: conto mais uma pérola para fazer parte do folclore, como estas do Samuel. Em 1976 a Ayda Arruda era diretora do Instituto de Matemática da UNICAMP, e

Re: [Logica-l] parabens / porcao

!' The second one says 'What do you mean by know? What do you mean by talking? What do you mean by you?', and so on. (Richard Feynman) Em 08/08/2012, às 22:48, Francisco Antonio Doria famado...@gmail.com escreveu: pirãozinho com tainha? me convida tambem! 2012/8/8 Décio Krause deciokra

Re: [Logica-l] parabens / porcao

basta colocar no subject a tag [ot], como off topic, e pronto. 2012/8/8 jean-yves beziau beziau...@gmail.com Cara Andrea Eu nao seria tao radical assim. Acho bom fazer uma lista onde tudo e possivel, brincadeira, aviso, discussao, etc. Mas acho importante a pessoa antes de mandar um e-mail

Re: [Logica-l] parabens / porcao

pirãozinho com tainha? me convida tambem! 2012/8/8 Décio Krause deciokra...@gmail.com JM Concordo com o JY. Quando for a Florianópolis, me avise que vamos comer um pirãozinho com tainha. E uns camarões bem grandes. Ah, isso é privado. Parabéns e obrigado por esta Lista. Abraço D

Re: [Logica-l] Convite para o Blog IF

Botei nos meus bookmarks, e achei bem interessante. Mas: http://www.rcgg.ufrgs.br/extensao1.htm revela um autor que nunca ouviu falar em Prigogine... 2012/8/7 rodrigo cid rodrigorl...@hotmail.com Meus caros amigos lógicos e filósofos, Estou escrevendo para convidá-los a serem autores do

Re: [Logica-l] Convite para o Blog IF

Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 07/08/2012, às 08:28, Francisco Antonio Doria escreveu: Botei nos meus bookmarks, e achei bem interessante. Mas: http

Re: [Logica-l] Nível que chegou a coisa.

Tinha sido eliminada sim, pela discussão na página Wiki do Carlos, que acabo de ler. Alguem de melhor senso restabeleceu o verbete. 2012/8/7 Joao Marcos botoc...@gmail.com Não foi: https://pt.wikipedia.org/wiki/Hip%C3%B3tese_de_Suslin A versão lusófona está aparentemente baseada na versão

[Logica-l] Wiki 2 - encontro no Rio

Vamos ter o encontro com o pessoal da Wiki no dia 13/8, 2a feira, 14 hs, Coppe/UFRJ, sala F125. Está aberto a quem quiser participar, e todas as contribuições são bem vindas! -- fad ahhata alati, awienta Wilushati ___ Logica-l mailing list

Re: [Logica-l] Wiki

Sturmtruppen. O problema não é chave de galão, Julio; é que os editores são - ou parecem ser - incompetentes e pretensiosos. On Mon, Aug 6, 2012 at 8:11 AM, Julio Stern jmst...@hotmail.com wrote: Tambem gostaria de ter ao meu dispor o uso das Sturmtuppen sempre que injustamente ofendido por

Re: [Logica-l] Wiki

Para mim o problema é esse. Para o ministro - deixemo-lo ministrando... 2012/8/6 Joao Marcos botoc...@gmail.com Este problema não parece ter sido citado explicitamente no link sobre o processo do ilustríssimo ministro. JM 2012/8/6 Francisco Antonio Doria famado...@gmail.com: Aqui o

Re: [Logica-l] Wiki 2 - encontro no Rio

Acabo de confirmar a sala 125, bloco F, para nós. 2012/8/6 Francisco Antonio Doria famado...@gmail.com Vamos ter o encontro com o pessoal da Wiki no dia 13/8, 2a feira, 14 hs, Coppe/UFRJ, sala F125. Está aberto a quem quiser participar, e todas as contribuições são bem vindas! -- fad

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

Parabens, Walter! 2012/8/1 Joao Marcos botoc...@gmail.com -- Forwarded message -- From: Juliana Bueno-Soler juliana.bu...@cle.unicamp.br Date: 2012/8/1 Subject: Walter Carnielli: indicação para medalha de ouro Caros colegas e amigos: escrevo para comunicar que o Prof.

Re: [Logica-l] wikipedia, again

http://diariodawikipedista.blogspot.com.br/2008/02/friends-forever.html On Mon, Jul 16, 2012 at 3:50 PM, Francisco Antonio Doria famado...@gmail.com wrote: Mais ou menos confirmando o que disse aqui, eis uma relação de editores da Wiki brazuca: http://diariodawikipedista.blogspot.com.br

Re: [Logica-l] O IMPA , a Matemática, a Filosofia da Ciência e o raciocínio lógico

Conhecendo o André - que se parece muito com o Leopoldo - vc entende essa espontaneidade dele. Aliás foi o Leopoldo que me levou ao Newton. 2012/7/13 Walter Carnielli walter.carnie...@gmail.com Incrível alguém ligado ao IMPA reconhecer isso! Só poderia mesmo ser o filho do de alguém

[Logica-l] Editor no Rio

Estou marcando com a editora da Taylor Francis Brasil na Coppe 4a feira, dia 4/7, pela manhã, pra discutir projetos. Quem quiser se juntar é bem vindo. (Perdão se isso é offtopic, mas acho que interessa a muita gente.) Depois dou coordenadas precisas. -- fad ahhata alati, awienta Wilushati

Re: [Logica-l] Editor no Rio

Dez horas 4/7, minha sala na Coppe, F 108. 2012/6/29 Francisco Antonio Doria famado...@gmail.com Estou marcando com a editora da Taylor Francis Brasil na Coppe 4a feira, dia 4/7, pela manhã, pra discutir projetos. Quem quiser se juntar é bem vindo. (Perdão se isso é offtopic, mas acho que

[Logica-l] Computação fuzzy

Dia 25/6 (até 29/6) o Dr. Apostolos Syropoulos vai dar um curso sobre ``Computação Fuzzy.'' 10 horas, todos os dias, sala F 125, engenharia de produção, Coppe/UFRJ. -- - ahhata alati, awienta Wilushati. ___

[Logica-l] CRC Press quer autores

A CRC Press é um selo da Taylor Francis, um dos maiores grupos editoriais do mundo. Estão no Brasil agora permanentemente e querem publicar livros em português - técnicos, claro. Quem estiver interessado, p.f. entra em contato em pvt comigo. (Eles editam tb em inglês, e tb posso intermediar o

Re: [Logica-l] o fim da complexidade? (algo sério seguido de algo potencialmente divertido)

Acho que é indepenente de ZFC, mesmo se juntarmos grandes cardinais. 2012/6/7 Joao Marcos botoc...@gmail.com Aqui um artigo muito interessante e informativo, mesmo que não exatamente recente: The Status of the P Versus NP Problem By Lance Fortnow Communications of the ACM, Vol. 52 No. 9,

Re: [Logica-l] Uma experiência

solícitas. Isso que você está fazendo é bastante importante, é um projeto que merece dar certo e tem tudo para isso. Atenciosamente, Carlos C. Lechner Em 5 de junho de 2012 13:58, Francisco Antonio Doria famado...@gmail.comescreveu: Me pediram e estou ajudando. 2012/6/5 Walter Carnielli

[Logica-l] Uma experiência

Há umas semanas o Samuel Jurkiewicz, coordenador do programa de engenharia de produção, me pediu que orientasse, coordenasse, o que quer que seja, um grupo de alunos de graduação, todos na faixa dos vinte anos e todos estudantes de engenharia de produção, que - palavras deles - ``queriam estudar

Re: [Logica-l] Portuwiki

Noto novamente que se trata, que eu saiba, do primeiro Wiki brasileiro a romper o anonimato - enfatizo, que tenha visto. Nem sequer me responderam na Superinteressante... 2012/6/5 Joao Marcos botoc...@gmail.com Olá, Everton: Agradeço a profissional auto-introdução, e dou-lhe as boas-vindas à

Re: [Logica-l] Uma experiência

mean by talking? What do you mean by you?', and so on. (Richard Feynman) Em 05/06/2012, às 04:40, Francisco Antonio Doria famado...@gmail.com escreveu: Há umas semanas o Samuel Jurkiewicz, coordenador do programa de engenharia de produção, me pediu que orientasse, coordenasse, o que quer que

Re: [Logica-l] Portuwiki

... (Noto que quem me deu muitas dicas a respeito foi Antonio Callado, autor de uma peça com esse título, ``A Revolta da Cachaça.'' Trocamos uns bons longos telefonemas, e ele, que havia pesquisado muito o caso, me mandou seu livro de presente.) 2012/6/5 Francisco Antonio Doria famado...@gmail.com

Re: [Logica-l] Uma experiência

Obrigado. Vou postando aqui os resultados, pra ter feedback de vcs. Grato. 2012/6/5 Rodrigo Freire freires...@gmail.com Parabéns pela iniciativa, que é importante. Abraço Rodrigo 2012/6/5 Francisco Antonio Doria famado...@gmail.com Decio e Rodrigo, obrigado. É meio louco, mas, se

Re: [Logica-l] Uma experiência

Enviado via iPhone Em 05/06/2012, às 07:26, Francisco Antonio Doria famado...@gmail.com escreveu: Obrigado. Vou postando aqui os resultados, pra ter feedback de vcs. Grato. 2012/6/5 Rodrigo Freire freires...@gmail.com Parabéns pela iniciativa, que é importante. Abraço Rodrigo

Re: [Logica-l] Referências do Wikipédia

no problem... 2012/6/3 Helder heldergeov...@gmail.com Ops... Desculpe-me pelo engano. Foi um acidente ao copiar e colar. O trecho que citei era de Walter Carnielli. (pelo menos coloquei o link certo, ufa!) Att, Helder 2012/6/3 FAD 2 famado...@gmail.com: Não disse isso. Sent from

Re: [Logica-l] Portuwiki

Bom vc se manifestar, e romper o anonimato, porque quando de minha desastrada experiência, creio que em 2009, nenhum dos wizards que me trataram de modo pouco elegante, digamos assim, quis abandonar o anonimato. (Como disse, houve uma exceção, entre os editores.) Deixo claro que uso MUITO a wiki

Re: [Logica-l] Portuwiki

+no+sabe+es+jefe%22aq=faqi=g-K1aql=gs_l=igoogle.12..0i30.871.871.0.2467.1.1.0.0.0.0.209.209.2-1.1.0...0.0.eADdtwoRgww Carlos 2012/6/2 Francisco Antonio Doria famado...@gmail.com: Tentei colaborar, me chutaram. Joguei pro alto. Só encontrei um wizard brasileiro sensato. Os demais são... bem

Re: [Logica-l] Portuwiki

Tentei colaborar, me chutaram. Joguei pro alto. Só encontrei um wizard brasileiro sensato. Os demais são... bem, deixa pra lá. Colaborei em enciclopédias e dicionários, já. Alem de um de minha própria coautoria, colaborei com Aurélio Buarque de Hollanda Ferreira e depois com Antonio Houaiss.

Re: [Logica-l] Portuwiki

Bota uma porção de gente que entende pouco das coisas escrevendo, vão falar bobagem. Tua metáfora é bonita, mas a realidade nem sempre segue nossas metáforas... 2012/6/2 Joao Marcos botoc...@gmail.com Daí minha convicção que enciclopédia se faz - nos wizards - com gente erudita. O que

  1   2   3   4   5   6   7   >