[Logica-l] Seminário Livre de Filosofia @ UFSC
Pessoal, Segue divulgação da próxima sessão do Self - Seminário Livre de Filosofia - evento que vem acontecendo por iniciativa de estudantes da pós-graduação em Filosofia da Universidade Federal de Santa Catarina. Título: "Uma reformulação da regra “N(P → Q), NP ⊢NQ" Por: Pedro Merlussi Resumo: Um dos argumentos mais importantes a favor do incompatibilismo – a tese de que o determinismo e o livre-arbítrio são incompatíveis – é o argumento modal da consequência. Trata-se de um argumento modal porque ele faz uso do operador modal da não-escolha, o operador “N”, que é caracterizado como se segue: “NP” abrevia “P e ninguém tem, nem nunca teve, qualquer escolha sobre se P”. Peter van Inwagen, que apresentou o argumento modal da consequência em seu An Essay on Free Will, defendeu que o operador N tem duas regras válidas de inferência (van Inwagen, 1983, p.94), a saber, a regra (α) □P ⊢ NP, e a regra (β) N(P → Q), NP ⊢ NQ. A regra (α) diz que, no caso de P ser uma proposição necessariamente verdadeira, então podemos concluir que ninguém tem, nem nunca teve, qualquer escolha sobre se P. A regra (β) afirma o seguinte: no caso de não termos escolha sobre P acarretar Q, e não termos escolha sobre P, então podemos concluir que não temos escolha sobre Q. Em primeiro lugar, meu objetivo nesta comunicação consiste em apresentar duas objeções ao argumento modal consequência que procuram mostrar a invalidade da regra (β). A primeira objeção foi apresentada por McKay e Johnson (1996). Já a segunda, mais recente, foi formulada por Michael Fara (2008). Em seguida, procuro mostrar que as objeções não são bem-sucedidas. Argumentarei que uma reformulação da regra (β) do argumento de van Inwagen, baseada em Crisp e Warfield (2000) e denominada de regra “Beta Determinismo”, permite responder às duas objeções supracitadas. Finalmente, na última parte desta comunicação, procuro antecipar algumas objeções ao que procuro defender. Data: 01/06/12 Horário: 14h30 Local: Sala 8 do prédio do CED - UFSC Todos são bemvindos! Mais informações: http://abre.ai/self_ufsc - Renato ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] ACM Goedel Prize
O prêmio está sendo oferecido este ano a três papers importantes para a teoria algorítmica de jogos, a saber: Elias Koutsoupias and Christos H. Papadimitriou: Worst-case equilibria, Computer Science Review, 3(2): 65-69, 2009. Tim Roughgarden and Éva Tardos: How Bad Is Selfish Routing?, Journal of the ACM, 49(2): 236-259, 2002. Noam Nisan and Amir Ronen: Algorithmic Mechanism Design, Games and Economic Behavior 35: 166-196, 2001. http://www.acm.org/press-room/news-releases/2012/goedel-prize-2012 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] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
pra que usa mac, o TeXShop, pacote userfriendly. 2012/5/31 Teófilo Reis > Prezados, > > Além das classes citadas pelo João Marcos, tem também a classe powerdot > para fazer apresentações no LaTeX. > > -- > > ** > Teófilo Reis > Ph.D Program > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > > > Em 31 de maio de 2012 19:13, Francisco Antonio Doria > escreveu: > > > Sou viciado em LaTeX... > > > > 2012/5/31 Carolina Blasio > > > > > > > > > > > Caros, > > > Aprender a usar o beamer, e antes disso o LaTeX, é uma economia de > muito > > > tempo e paciência... mesmo se optar por ler os manuais completos!Por > > sorte, > > > basta aprender o básico em qualquer tutorial ou blog, e procurar saber > os > > > outros comandos por demanda: é só fazer uma busca na internet que você > > acha > > > informações para e de todo tipo de usuários. No pior das hipóteses, > pode > > > tirar as dúvidas em fóruns e até por aqui. > > > Start:(LaTeX) > > > > > > http://www.mat.ufmg.br/~regi/topicos/intlat.pdfhttp://www.latex-project.org/ > > > (beamer) > > > > > > http://www.telecom.uff.br/pet/petws/downloads/tutoriais/beamer/tut_beamer_2k100205.pdf > > > http://linorg.usp.br/CTAN/info/portuguese/beamer/tutorialbeamer.pdf > > > Abraços,Carol > > > > > > > > > > > > > > > > Date: Thu, 31 May 2012 15:37:16 -0300 > > > > From: gonza...@gmail.com > > > > To: marmo.t...@gmail.com; logica-l@dimap.ufrn.br > > > > CC: filonict...@yahoo.com > > > > Subject: Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM > > > "PRESENTATIONS": COMO RESOLVER > > > > > > > > Prezado Tony, > > > > > > > > As fórmulas em powerponto e worldy tem dois problemas básicos: > > > > > > > > 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que > > > > cria todo tipo de problema de compatibilidade > > > > > > > > 2) As fontes comuns, como a Times New Roman e a Arian, que foram > > > > acrescentando carateres. Sempre que puder, salva com "incorporando > > > > fontes". Por exemplo, tem versões de Times New Roman que não tem > > > > setas. As primeiras versões dessa fonte tinham os caracteres mais > > > > comuns e 20K, agora passa o mega. > > > > > > > > As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para > > > > Beamer. LyX é um front-end bastante simples para LaTeX, mas que > > > > permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 > > > > páginas. > > > > > > > > Carlos > > > > > > > > 2012/5/31 Tony Marmo : > > > > > Obrigado ao João e ao Walter. > > > > > > > > > > Só quero relatar uma experiência comum. Você digita um texto com > > > fórmulas > > > > > que têm setas, conjunção, disjunção e negação. Vai pro slide, no > > lugar > > > > > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no > > lugar > > > de > > > > > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam > > > > > completamente diferentes e você está confiante de que deu tudo > certo, > > > para > > > > > só depois ver que a emenda ficou pior que o soneto. > > > > > > > > > > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, > > > enfim, > > > > > vou olhar os pacotes que o João falou e ver se eles rodam no meu > > > sistema. > > > > > > > > > > Em 31 de maio de 2012 14:36, Joao Marcos > > > escreveu: > > > > > > > > > >> > Alguém conhece algum programa que faça com que as fórmulas e os > > > símbolos > > > > >> > apareçam direito sempre, para a gente não ficar horas e horas > > > tentando > > > > >> > arrumar o que não devia ter problemas... Ou é algum comando do > > > > >> powerpointe > > > > >> > ou do keynote que eu desconheço? > > > > >> > > > > >> LaTeX. > > > > >> > > > > >> Há dois pacotes: prosper (pior) e beamer (melhor). > > > > >> > > > > >> 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 > > > > ___ > > > > 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 > > > ___ > 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] Turing-awareness
Como prévia ao mês do centenário de Turing: Your Turing Test --See how Turing aware you are http://rjlipton.wordpress.com/2012/05/27/your-turing-test/ Have fun! 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] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Prezados, Além das classes citadas pelo João Marcos, tem também a classe powerdot para fazer apresentações no LaTeX. -- ** Teófilo Reis Ph.D Program Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP Em 31 de maio de 2012 19:13, Francisco Antonio Doria escreveu: > Sou viciado em LaTeX... > > 2012/5/31 Carolina Blasio > > > > > > > Caros, > > Aprender a usar o beamer, e antes disso o LaTeX, é uma economia de muito > > tempo e paciência... mesmo se optar por ler os manuais completos!Por > sorte, > > basta aprender o básico em qualquer tutorial ou blog, e procurar saber os > > outros comandos por demanda: é só fazer uma busca na internet que você > acha > > informações para e de todo tipo de usuários. No pior das hipóteses, pode > > tirar as dúvidas em fóruns e até por aqui. > > Start:(LaTeX) > > > http://www.mat.ufmg.br/~regi/topicos/intlat.pdfhttp://www.latex-project.org/ > > (beamer) > > > http://www.telecom.uff.br/pet/petws/downloads/tutoriais/beamer/tut_beamer_2k100205.pdf > > http://linorg.usp.br/CTAN/info/portuguese/beamer/tutorialbeamer.pdf > > Abraços,Carol > > > > > > > > > > > Date: Thu, 31 May 2012 15:37:16 -0300 > > > From: gonza...@gmail.com > > > To: marmo.t...@gmail.com; logica-l@dimap.ufrn.br > > > CC: filonict...@yahoo.com > > > Subject: Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM > > "PRESENTATIONS": COMO RESOLVER > > > > > > Prezado Tony, > > > > > > As fórmulas em powerponto e worldy tem dois problemas básicos: > > > > > > 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que > > > cria todo tipo de problema de compatibilidade > > > > > > 2) As fontes comuns, como a Times New Roman e a Arian, que foram > > > acrescentando carateres. Sempre que puder, salva com "incorporando > > > fontes". Por exemplo, tem versões de Times New Roman que não tem > > > setas. As primeiras versões dessa fonte tinham os caracteres mais > > > comuns e 20K, agora passa o mega. > > > > > > As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para > > > Beamer. LyX é um front-end bastante simples para LaTeX, mas que > > > permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 > > > páginas. > > > > > > Carlos > > > > > > 2012/5/31 Tony Marmo : > > > > Obrigado ao João e ao Walter. > > > > > > > > Só quero relatar uma experiência comum. Você digita um texto com > > fórmulas > > > > que têm setas, conjunção, disjunção e negação. Vai pro slide, no > lugar > > > > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no > lugar > > de > > > > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam > > > > completamente diferentes e você está confiante de que deu tudo certo, > > para > > > > só depois ver que a emenda ficou pior que o soneto. > > > > > > > > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, > > enfim, > > > > vou olhar os pacotes que o João falou e ver se eles rodam no meu > > sistema. > > > > > > > > Em 31 de maio de 2012 14:36, Joao Marcos > > escreveu: > > > > > > > >> > Alguém conhece algum programa que faça com que as fórmulas e os > > símbolos > > > >> > apareçam direito sempre, para a gente não ficar horas e horas > > tentando > > > >> > arrumar o que não devia ter problemas... Ou é algum comando do > > > >> powerpointe > > > >> > ou do keynote que eu desconheço? > > > >> > > > >> LaTeX. > > > >> > > > >> Há dois pacotes: prosper (pior) e beamer (melhor). > > > >> > > > >> 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 > > > ___ > > > 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 > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Sou viciado em LaTeX... 2012/5/31 Carolina Blasio > > > Caros, > Aprender a usar o beamer, e antes disso o LaTeX, é uma economia de muito > tempo e paciência... mesmo se optar por ler os manuais completos!Por sorte, > basta aprender o básico em qualquer tutorial ou blog, e procurar saber os > outros comandos por demanda: é só fazer uma busca na internet que você acha > informações para e de todo tipo de usuários. No pior das hipóteses, pode > tirar as dúvidas em fóruns e até por aqui. > Start:(LaTeX) > http://www.mat.ufmg.br/~regi/topicos/intlat.pdfhttp://www.latex-project.org/ > (beamer) > http://www.telecom.uff.br/pet/petws/downloads/tutoriais/beamer/tut_beamer_2k100205.pdf > http://linorg.usp.br/CTAN/info/portuguese/beamer/tutorialbeamer.pdf > Abraços,Carol > > > > > > Date: Thu, 31 May 2012 15:37:16 -0300 > > From: gonza...@gmail.com > > To: marmo.t...@gmail.com; logica-l@dimap.ufrn.br > > CC: filonict...@yahoo.com > > Subject: Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM > "PRESENTATIONS": COMO RESOLVER > > > > Prezado Tony, > > > > As fórmulas em powerponto e worldy tem dois problemas básicos: > > > > 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que > > cria todo tipo de problema de compatibilidade > > > > 2) As fontes comuns, como a Times New Roman e a Arian, que foram > > acrescentando carateres. Sempre que puder, salva com "incorporando > > fontes". Por exemplo, tem versões de Times New Roman que não tem > > setas. As primeiras versões dessa fonte tinham os caracteres mais > > comuns e 20K, agora passa o mega. > > > > As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para > > Beamer. LyX é um front-end bastante simples para LaTeX, mas que > > permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 > > páginas. > > > > Carlos > > > > 2012/5/31 Tony Marmo : > > > Obrigado ao João e ao Walter. > > > > > > Só quero relatar uma experiência comum. Você digita um texto com > fórmulas > > > que têm setas, conjunção, disjunção e negação. Vai pro slide, no lugar > > > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no lugar > de > > > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam > > > completamente diferentes e você está confiante de que deu tudo certo, > para > > > só depois ver que a emenda ficou pior que o soneto. > > > > > > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, > enfim, > > > vou olhar os pacotes que o João falou e ver se eles rodam no meu > sistema. > > > > > > Em 31 de maio de 2012 14:36, Joao Marcos > escreveu: > > > > > >> > Alguém conhece algum programa que faça com que as fórmulas e os > símbolos > > >> > apareçam direito sempre, para a gente não ficar horas e horas > tentando > > >> > arrumar o que não devia ter problemas... Ou é algum comando do > > >> powerpointe > > >> > ou do keynote que eu desconheço? > > >> > > >> LaTeX. > > >> > > >> Há dois pacotes: prosper (pior) e beamer (melhor). > > >> > > >> 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 > > ___ > > 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
Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Olá pessoALL, Um material bastante interessante é o LSHORT, disponível em diversas línguas (a versão brasileira foi "feita" pelo Professor Lenimar Nunes de Andrade - UFPB). ftp://ctan.tug.org/ctan//info/lshort/ Abraços. Em 31 de maio de 2012 18:22, Carolina Blasio escreveu: > > > Caros, > Aprender a usar o beamer, e antes disso o LaTeX, é uma economia de muito > tempo e paciência... mesmo se optar por ler os manuais completos!Por sorte, > basta aprender o básico em qualquer tutorial ou blog, e procurar saber os > outros comandos por demanda: é só fazer uma busca na internet que você acha > informações para e de todo tipo de usuários. No pior das hipóteses, pode > tirar as dúvidas em fóruns e até por aqui. > Start:(LaTeX) > http://www.mat.ufmg.br/~regi/topicos/intlat.pdfhttp://www.latex-project.org/ > (beamer) > http://www.telecom.uff.br/pet/petws/downloads/tutoriais/beamer/tut_beamer_2k100205.pdf > http://linorg.usp.br/CTAN/info/portuguese/beamer/tutorialbeamer.pdf > Abraços,Carol > > > > >> Date: Thu, 31 May 2012 15:37:16 -0300 >> From: gonza...@gmail.com >> To: marmo.t...@gmail.com; logica-l@dimap.ufrn.br >> CC: filonict...@yahoo.com >> Subject: Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": >> COMO RESOLVER >> >> Prezado Tony, >> >> As fórmulas em powerponto e worldy tem dois problemas básicos: >> >> 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que >> cria todo tipo de problema de compatibilidade >> >> 2) As fontes comuns, como a Times New Roman e a Arian, que foram >> acrescentando carateres. Sempre que puder, salva com "incorporando >> fontes". Por exemplo, tem versões de Times New Roman que não tem >> setas. As primeiras versões dessa fonte tinham os caracteres mais >> comuns e 20K, agora passa o mega. >> >> As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para >> Beamer. LyX é um front-end bastante simples para LaTeX, mas que >> permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 >> páginas. >> >> Carlos >> >> 2012/5/31 Tony Marmo : >> > Obrigado ao João e ao Walter. >> > >> > Só quero relatar uma experiência comum. Você digita um texto com fórmulas >> > que têm setas, conjunção, disjunção e negação. Vai pro slide, no lugar >> > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no lugar de >> > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam >> > completamente diferentes e você está confiante de que deu tudo certo, para >> > só depois ver que a emenda ficou pior que o soneto. >> > >> > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, enfim, >> > vou olhar os pacotes que o João falou e ver se eles rodam no meu sistema. >> > >> > Em 31 de maio de 2012 14:36, Joao Marcos escreveu: >> > >> >> > Alguém conhece algum programa que faça com que as fórmulas e os símbolos >> >> > apareçam direito sempre, para a gente não ficar horas e horas tentando >> >> > arrumar o que não devia ter problemas... Ou é algum comando do >> >> powerpointe >> >> > ou do keynote que eu desconheço? >> >> >> >> LaTeX. >> >> >> >> Há dois pacotes: prosper (pior) e beamer (melhor). >> >> >> >> 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 >> ___ >> 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 -- c) Clodomir Neto ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Caros, Aprender a usar o beamer, e antes disso o LaTeX, é uma economia de muito tempo e paciência... mesmo se optar por ler os manuais completos!Por sorte, basta aprender o básico em qualquer tutorial ou blog, e procurar saber os outros comandos por demanda: é só fazer uma busca na internet que você acha informações para e de todo tipo de usuários. No pior das hipóteses, pode tirar as dúvidas em fóruns e até por aqui. Start:(LaTeX) http://www.mat.ufmg.br/~regi/topicos/intlat.pdfhttp://www.latex-project.org/ (beamer) http://www.telecom.uff.br/pet/petws/downloads/tutoriais/beamer/tut_beamer_2k100205.pdf http://linorg.usp.br/CTAN/info/portuguese/beamer/tutorialbeamer.pdf Abraços,Carol > Date: Thu, 31 May 2012 15:37:16 -0300 > From: gonza...@gmail.com > To: marmo.t...@gmail.com; logica-l@dimap.ufrn.br > CC: filonict...@yahoo.com > Subject: Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": > COMO RESOLVER > > Prezado Tony, > > As fórmulas em powerponto e worldy tem dois problemas básicos: > > 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que > cria todo tipo de problema de compatibilidade > > 2) As fontes comuns, como a Times New Roman e a Arian, que foram > acrescentando carateres. Sempre que puder, salva com "incorporando > fontes". Por exemplo, tem versões de Times New Roman que não tem > setas. As primeiras versões dessa fonte tinham os caracteres mais > comuns e 20K, agora passa o mega. > > As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para > Beamer. LyX é um front-end bastante simples para LaTeX, mas que > permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 > páginas. > > Carlos > > 2012/5/31 Tony Marmo : > > Obrigado ao João e ao Walter. > > > > Só quero relatar uma experiência comum. Você digita um texto com fórmulas > > que têm setas, conjunção, disjunção e negação. Vai pro slide, no lugar > > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no lugar de > > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam > > completamente diferentes e você está confiante de que deu tudo certo, para > > só depois ver que a emenda ficou pior que o soneto. > > > > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, enfim, > > vou olhar os pacotes que o João falou e ver se eles rodam no meu sistema. > > > > Em 31 de maio de 2012 14:36, Joao Marcos escreveu: > > > >> > Alguém conhece algum programa que faça com que as fórmulas e os símbolos > >> > apareçam direito sempre, para a gente não ficar horas e horas tentando > >> > arrumar o que não devia ter problemas... Ou é algum comando do > >> powerpointe > >> > ou do keynote que eu desconheço? > >> > >> LaTeX. > >> > >> Há dois pacotes: prosper (pior) e beamer (melhor). > >> > >> 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 > ___ > 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
Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Prezado Tony, As fórmulas em powerponto e worldy tem dois problemas básicos: 1) Os pacotes adicionais e versões que usam, como o M$-Equation, que cria todo tipo de problema de compatibilidade 2) As fontes comuns, como a Times New Roman e a Arian, que foram acrescentando carateres. Sempre que puder, salva com "incorporando fontes". Por exemplo, tem versões de Times New Roman que não tem setas. As primeiras versões dessa fonte tinham os caracteres mais comuns e 20K, agora passa o mega. As últimas versões de LyX (eu tenho 2.03) tem um bom suporte para Beamer. LyX é um front-end bastante simples para LaTeX, mas que permite acessar o baixo nível do TeX. O Beamer tem um manual de 250 páginas. Carlos 2012/5/31 Tony Marmo : > Obrigado ao João e ao Walter. > > Só quero relatar uma experiência comum. Você digita um texto com fórmulas > que têm setas, conjunção, disjunção e negação. Vai pro slide, no lugar > desses símbolos aparece sempre um #. Aí você pensa: "# entrou no lugar de > seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam > completamente diferentes e você está confiante de que deu tudo certo, para > só depois ver que a emenda ficou pior que o soneto. > > O que me chateia nisso é que depois eu me sinto meio idiota. Mas, enfim, > vou olhar os pacotes que o João falou e ver se eles rodam no meu sistema. > > Em 31 de maio de 2012 14:36, Joao Marcos escreveu: > >> > Alguém conhece algum programa que faça com que as fórmulas e os símbolos >> > apareçam direito sempre, para a gente não ficar horas e horas tentando >> > arrumar o que não devia ter problemas... Ou é algum comando do >> powerpointe >> > ou do keynote que eu desconheço? >> >> LaTeX. >> >> Há dois pacotes: prosper (pior) e beamer (melhor). >> >> 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 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Obrigado ao João e ao Walter. Só quero relatar uma experiência comum. Você digita um texto com fórmulas que têm setas, conjunção, disjunção e negação. Vai pro slide, no lugar desses símbolos aparece sempre um #. Aí você pensa: "# entrou no lugar de seta". Substitui todos os #s por setas. Bingo, as fórmulas ficam completamente diferentes e você está confiante de que deu tudo certo, para só depois ver que a emenda ficou pior que o soneto. O que me chateia nisso é que depois eu me sinto meio idiota. Mas, enfim, vou olhar os pacotes que o João falou e ver se eles rodam no meu sistema. Em 31 de maio de 2012 14:36, Joao Marcos escreveu: > > Alguém conhece algum programa que faça com que as fórmulas e os símbolos > > apareçam direito sempre, para a gente não ficar horas e horas tentando > > arrumar o que não devia ter problemas... Ou é algum comando do > powerpointe > > ou do keynote que eu desconheço? > > LaTeX. > > Há dois pacotes: prosper (pior) e beamer (melhor). > > 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] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
> Alguém conhece algum programa que faça com que as fórmulas e os símbolos > apareçam direito sempre, para a gente não ficar horas e horas tentando > arrumar o que não devia ter problemas... Ou é algum comando do powerpointe > ou do keynote que eu desconheço? LaTeX. Há dois pacotes: prosper (pior) e beamer (melhor). 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
[Logica-l] SÍMBOLOS QUE DESAPARECEM EM "PRESENTATIONS": COMO RESOLVER
Caros membros da lista, Uma velha história que se repete: a gente vai fazer slides numa apresentação e os símbolos aparecem errado. Você conserta manualmente, mas daí pode ser pior a emenda que o soneto, se outros detalhes escapam. Mesmo arquivos em pdf têm dado problemas, coisa que se não espera. Mas, em compensação eu vejo presentations em powerpoint na internet com os símbolos mais complicados. Alguém conhece algum programa que faça com que as fórmulas e os símbolos apareçam direito sempre, para a gente não ficar horas e horas tentando arrumar o que não devia ter problemas... Ou é algum comando do powerpointe ou do keynote que eu desconheço? ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] DEBATE DA COSTA E CARNIELLI
Caros membros da lista, A propósito dessa questão da internet, eu queria saber se já está online o debate entre Walter Carnielli e Newton da Costa que foi gravado ano passado ou retrasado. Qual é o endereço? Obrigado. Em 31 de maio de 2012 11:43, Joao Marcos escreveu: > Infelizmente, ainda não... Conseguimos recentemente aprovar um > projeto para compra de equipamento para fazer exatamente isso, mas o > dinheiro ainda não foi liberado. > > Joao Marcos > > 2012/5/31 Tony Marmo : > > Vc pode gravar e colocar na internet? > > > > Em 31 de maio de 2012 09:36, Joao Marcos escreveu: > >> > >> Agradecemos a divulgação. Estão todos convidados. > >> > >> > >> * * * > >> > >> NOITE DIFUSA > >> http://goo.gl/9lZmT > >> > >> Data: qua, 6 de junho, 19:00 > >> Local: Sala 3D5, UFRN > >> > >> "Lógica Difusa: Uma abordagem semântica" > >> > >> Palestrantes: > >> Heloína Alves Arnaldo > >> http://lattes.cnpq.br/5580392803736306 > >> Liliane Ribeiro da Silva > >> http://lattes.cnpq.br/0521358821384556 > >> > >> Resumo: > >> A lógica difusa é uma teoria introduzida por Lofti Zadeh. Tem como > >> principal característica a modelagem matemática da incerteza na > >> linguagem natural, utilizando graus de pertinência (valores entre 0 e > >> 1) para indicar o quanto uma informação pertence a um certo conjunto. > >> Assim, na lógica difusa, uma proposição não é simplesmente verdadeira > >> ou falsa, como na lógica clássica, mas pode ter graus de verdade > >> intermediários, tipicamente valores entre 0 (falso absoluto) e 1 > >> (verdade absoluta). Neste trabalho faremos uma breve introdução a > >> assuntos como Conjuntos Difusos, Lógica Difusa e Normas Triangulares > >> (T-normas). As T-normas são a base para extensão dos conectivos > >> lógicos clássicos para graus de verdade difusos. Também > >> introduziremos uma generalização de T-norma Intervalar, T-conorma > >> Intervalar, Implicação Intervalar e Complemento Intervalar e > >> apresentaremos uma noção de relação de consequência lógica para a > >> lógica difusa baseada nesta generalização. > >> ___ > >> 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
Re: [Logica-l] LoLITA Seminars / UFRN - 06Jun2012: NOITE DIFUSA
Infelizmente, ainda não... Conseguimos recentemente aprovar um projeto para compra de equipamento para fazer exatamente isso, mas o dinheiro ainda não foi liberado. Joao Marcos 2012/5/31 Tony Marmo : > Vc pode gravar e colocar na internet? > > Em 31 de maio de 2012 09:36, Joao Marcos escreveu: >> >> Agradecemos a divulgação. Estão todos convidados. >> >> >> * * * >> >> NOITE DIFUSA >> http://goo.gl/9lZmT >> >> Data: qua, 6 de junho, 19:00 >> Local: Sala 3D5, UFRN >> >> "Lógica Difusa: Uma abordagem semântica" >> >> Palestrantes: >> Heloína Alves Arnaldo >> http://lattes.cnpq.br/5580392803736306 >> Liliane Ribeiro da Silva >> http://lattes.cnpq.br/0521358821384556 >> >> Resumo: >> A lógica difusa é uma teoria introduzida por Lofti Zadeh. Tem como >> principal característica a modelagem matemática da incerteza na >> linguagem natural, utilizando graus de pertinência (valores entre 0 e >> 1) para indicar o quanto uma informação pertence a um certo conjunto. >> Assim, na lógica difusa, uma proposição não é simplesmente verdadeira >> ou falsa, como na lógica clássica, mas pode ter graus de verdade >> intermediários, tipicamente valores entre 0 (falso absoluto) e 1 >> (verdade absoluta). Neste trabalho faremos uma breve introdução a >> assuntos como Conjuntos Difusos, Lógica Difusa e Normas Triangulares >> (T-normas). As T-normas são a base para extensão dos conectivos >> lógicos clássicos para graus de verdade difusos. Também >> introduziremos uma generalização de T-norma Intervalar, T-conorma >> Intervalar, Implicação Intervalar e Complemento Intervalar e >> apresentaremos uma noção de relação de consequência lógica para a >> lógica difusa baseada nesta generalização. >> ___ >> 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
Re: [Logica-l] LoLITA Seminars / UFRN - 06Jun2012: NOITE DIFUSA
Vc pode gravar e colocar na internet? Em 31 de maio de 2012 09:36, Joao Marcos escreveu: > Agradecemos a divulgação. Estão todos convidados. > > * * * > > NOITE DIFUSA > http://goo.gl/9lZmT > > Data: qua, 6 de junho, 19:00 > Local: Sala 3D5, UFRN > > "Lógica Difusa: Uma abordagem semântica" > > Palestrantes: > Heloína Alves Arnaldo > http://lattes.cnpq.br/5580392803736306 > Liliane Ribeiro da Silva > http://lattes.cnpq.br/0521358821384556 > > Resumo: > A lógica difusa é uma teoria introduzida por Lofti Zadeh. Tem como > principal característica a modelagem matemática da incerteza na > linguagem natural, utilizando graus de pertinência (valores entre 0 e > 1) para indicar o quanto uma informação pertence a um certo conjunto. > Assim, na lógica difusa, uma proposição não é simplesmente verdadeira > ou falsa, como na lógica clássica, mas pode ter graus de verdade > intermediários, tipicamente valores entre 0 (falso absoluto) e 1 > (verdade absoluta). Neste trabalho faremos uma breve introdução a > assuntos como Conjuntos Difusos, Lógica Difusa e Normas Triangulares > (T-normas). As T-normas são a base para extensão dos conectivos > lógicos clássicos para graus de verdade difusos. Também > introduziremos uma generalização de T-norma Intervalar, T-conorma > Intervalar, Implicação Intervalar e Complemento Intervalar e > apresentaremos uma noção de relação de consequência lógica para a > lógica difusa baseada nesta generalização. > ___ > 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
[Logica-l] LoLITA Seminars / UFRN - 06Jun2012: NOITE DIFUSA
Agradecemos a divulgação. Estão todos convidados. * * * NOITE DIFUSA http://goo.gl/9lZmT Data: qua, 6 de junho, 19:00 Local: Sala 3D5, UFRN "Lógica Difusa: Uma abordagem semântica" Palestrantes: Heloína Alves Arnaldo http://lattes.cnpq.br/5580392803736306 Liliane Ribeiro da Silva http://lattes.cnpq.br/0521358821384556 Resumo: A lógica difusa é uma teoria introduzida por Lofti Zadeh. Tem como principal característica a modelagem matemática da incerteza na linguagem natural, utilizando graus de pertinência (valores entre 0 e 1) para indicar o quanto uma informação pertence a um certo conjunto. Assim, na lógica difusa, uma proposição não é simplesmente verdadeira ou falsa, como na lógica clássica, mas pode ter graus de verdade intermediários, tipicamente valores entre 0 (falso absoluto) e 1 (verdade absoluta). Neste trabalho faremos uma breve introdução a assuntos como Conjuntos Difusos, Lógica Difusa e Normas Triangulares (T-normas). As T-normas são a base para extensão dos conectivos lógicos clássicos para graus de verdade difusos. Também introduziremos uma generalização de T-norma Intervalar, T-conorma Intervalar, Implicação Intervalar e Complemento Intervalar e apresentaremos uma noção de relação de consequência lógica para a lógica difusa baseada nesta generalização. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Portuwiki
Concordamos em discordar. Minha experiência com os wizards foi muito negativa - com uma exceção. Cheguei a oferecer espaço na Coppe para discutirmos as dificuldades e me ridicularizaram na página de chat deles. Gente assim n˜åo é séria. Quem me conhece aqui sabe que sou tolerante e bem humorado. Mas nåo dou murro em faca de ponta, e nåo insisto no que me parece ser causa perdida. Boa sorte, JM! Colaboro com outras wikis; a brazuca por enquanto fica pela geladeira... 2012/5/31 Joao Marcos > Parece difícil para muitos entender a proposta de "desenvolvimento > colaborativo" e a produção de "conhecimento livre", ideias discutidas > no livro do Eric Raymond citado pelo Carlos. Vou insistir aqui no > link, ao verbete correspondente desta vez em inglês: > http://en.wikipedia.org/wiki/The_Cathedral_and_the_Bazaar > "A Wikipédia é um projeto que implementa o modelo do Bazar, enquanto a > Nupedia e a Enciclopédia Britannica são projetos que usam o modelo da > Catedral." > O livro todo, obviamente, pode ser lido gratuitamente online. > > * * * > > Quando comecei pessoalmente a supervisionar, há vários anos, a criação > e a reforma de mais de 100 verbetes da área de Lógica na Wikipédia > brazuca > > ( > http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001031.html > http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001032.html > http://www.dimap.ufrn.br/pipermail/logica-l/2008-July/002454.html > ) > > tive um único "problema" com os editores, a saber: o IP da UFRN foi > bloqueado por "excesso de edições", que levou o pessoal responsável a > suspeitar de vandalismo --- eles são bem rápidos em detectar este tipo > de atividade, e já fizeram isso com mais de um membro desta lista que > pretendeu "consertar a língua portuguesa" ou "desqualificar um verbete > por excesso de erros". > > Entrei em contato com o rapazinho, apresentei-me e expliquei sobre o > nosso projeto. Eles liberaram na hora, e pediram desculpas, pois, > afinal, não tinham como adivinhar. > > Há bastante tempo também, meu amigo que é jornalista especialista em > divulgação científica na Superinteressante me pediu para sugerir nomes > de cientistas que fossem críticos à empreitada colaborativa. > Passei-lhe o nome do Doria, que tem sido sempre consistente em > criticar a Wikipédia, e daí resultou uma das entrevistas que ele > concedeu à revista. Não entendo contudo (e ninguém entende) que tal > crítica, mesmo persistente (e aparentemente sem fundamento teórico), > resulte em um desabono do projeto como um todo. > > Não há chance de esperar da Wikipedia deferência para com os > proclamados especialistas da catedral. O modelo é outro. Também não > há chance de esperar, por exemplo, que uma certa escolha linguística > bonitinha que tenhamos feito ao escrever um certo texto lá permaneça > no futuro, que é dinâmico e tem tendência à feia "padronização" (o > mesmo ocorre com "chunks of free code" disponibilizados online por > desenvolvedores com "bom gosto"). > > Parabenizo Carlos Gonzalez e Ruy de Queiroz por acreditar e > *colaborar* para a iniciativa. > > Joao Marcos > > > 2012/5/30 Carlos Gonzalez : > > Oi Décio, > > > > Realmente o quantificador estava omitido, já corrigi. Esquecer um > > quantificador pode ser considerado um erro grave, mas se vc vê as > > erratas de livros famosos vai ver que sempre têm alguma omissão, erros > > de escrita, etc. Considera que esses livros, além de ser corrigidos > > por muitas pessoas passam por revisores profissionais. Por exemplo, > > num seminário que fiz faz tempo tínhamos o pré-print de um trabalho > > que depois foi publicado nas Memoirs da AMS e corrigimos vários erros. > > Poucos dias atrás, um colega consultou-me sobre uma definição errada > > que tem o livro de Hrbacek-Jech, que está na terceira edição > > *revisada*. A ideia da Wikipédia é que alguém aponte o erro e seja > > corrigido. > > > > Talvez o português não seja bom: > > Existe um conjunto y que contém o conjunto vazio ∅, e para cada x ∈ y, > > o sucessor > > de x, {x} também pertence a y. Note que Zermelo define o sucessor de x > > como {x} e não > > como von Neumann como x ∪ {x} . > > > > Mas o alemão de Zermelo também não é grande coisa :-) : > > > > 267 > > Axiom VII. Der Bereich enthält mindestens eine Menge Z, welche > > die Nullmenge als Element enthält und so beschaffen ist, daß jedem ihrer > > Elemente a ein weiteres Element der Form {a} entspricht, oder welche mit > > jedem ihrer Elemente a auch die entsprechende Menge {a} als Element ent- > > hält. > > > > Traduzido, melhorado e modernizado nas Collected Works - Gesammelte > > Werke de Zermelo: > > Axiom VII. There exists in the domain at least one set Z that contains > > the null set as an element and is so constituted that to each of its > elements > > a there corresponds a further element of the form {a}, in other words, > that > > with each of its elements a it also contains the corresponding set {a} > as an > > element. > > > > Atualmente ficou: > > Existe um c
Re: [Logica-l] Portuwiki
Parece difícil para muitos entender a proposta de "desenvolvimento colaborativo" e a produção de "conhecimento livre", ideias discutidas no livro do Eric Raymond citado pelo Carlos. Vou insistir aqui no link, ao verbete correspondente desta vez em inglês: http://en.wikipedia.org/wiki/The_Cathedral_and_the_Bazaar "A Wikipédia é um projeto que implementa o modelo do Bazar, enquanto a Nupedia e a Enciclopédia Britannica são projetos que usam o modelo da Catedral." O livro todo, obviamente, pode ser lido gratuitamente online. * * * Quando comecei pessoalmente a supervisionar, há vários anos, a criação e a reforma de mais de 100 verbetes da área de Lógica na Wikipédia brazuca ( http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001031.html http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001032.html http://www.dimap.ufrn.br/pipermail/logica-l/2008-July/002454.html ) tive um único "problema" com os editores, a saber: o IP da UFRN foi bloqueado por "excesso de edições", que levou o pessoal responsável a suspeitar de vandalismo --- eles são bem rápidos em detectar este tipo de atividade, e já fizeram isso com mais de um membro desta lista que pretendeu "consertar a língua portuguesa" ou "desqualificar um verbete por excesso de erros". Entrei em contato com o rapazinho, apresentei-me e expliquei sobre o nosso projeto. Eles liberaram na hora, e pediram desculpas, pois, afinal, não tinham como adivinhar. Há bastante tempo também, meu amigo que é jornalista especialista em divulgação científica na Superinteressante me pediu para sugerir nomes de cientistas que fossem críticos à empreitada colaborativa. Passei-lhe o nome do Doria, que tem sido sempre consistente em criticar a Wikipédia, e daí resultou uma das entrevistas que ele concedeu à revista. Não entendo contudo (e ninguém entende) que tal crítica, mesmo persistente (e aparentemente sem fundamento teórico), resulte em um desabono do projeto como um todo. Não há chance de esperar da Wikipedia deferência para com os proclamados especialistas da catedral. O modelo é outro. Também não há chance de esperar, por exemplo, que uma certa escolha linguística bonitinha que tenhamos feito ao escrever um certo texto lá permaneça no futuro, que é dinâmico e tem tendência à feia "padronização" (o mesmo ocorre com "chunks of free code" disponibilizados online por desenvolvedores com "bom gosto"). Parabenizo Carlos Gonzalez e Ruy de Queiroz por acreditar e *colaborar* para a iniciativa. Joao Marcos 2012/5/30 Carlos Gonzalez : > Oi Décio, > > Realmente o quantificador estava omitido, já corrigi. Esquecer um > quantificador pode ser considerado um erro grave, mas se vc vê as > erratas de livros famosos vai ver que sempre têm alguma omissão, erros > de escrita, etc. Considera que esses livros, além de ser corrigidos > por muitas pessoas passam por revisores profissionais. Por exemplo, > num seminário que fiz faz tempo tínhamos o pré-print de um trabalho > que depois foi publicado nas Memoirs da AMS e corrigimos vários erros. > Poucos dias atrás, um colega consultou-me sobre uma definição errada > que tem o livro de Hrbacek-Jech, que está na terceira edição > *revisada*. A ideia da Wikipédia é que alguém aponte o erro e seja > corrigido. > > Talvez o português não seja bom: > Existe um conjunto y que contém o conjunto vazio ∅, e para cada x ∈ y, > o sucessor > de x, {x} também pertence a y. Note que Zermelo define o sucessor de x > como {x} e não > como von Neumann como x ∪ {x} . > > Mas o alemão de Zermelo também não é grande coisa :-) : > > 267 > Axiom VII. Der Bereich enthält mindestens eine Menge Z, welche > die Nullmenge als Element enthält und so beschaffen ist, daß jedem ihrer > Elemente a ein weiteres Element der Form {a} entspricht, oder welche mit > jedem ihrer Elemente a auch die entsprechende Menge {a} als Element ent- > hält. > > Traduzido, melhorado e modernizado nas Collected Works - Gesammelte > Werke de Zermelo: > Axiom VII. There exists in the domain at least one set Z that contains > the null set as an element and is so constituted that to each of its elements > a there corresponds a further element of the form {a}, in other words, that > with each of its elements a it also contains the corresponding set {a} as an > element. > > Atualmente ficou: > Existe um conjunto y que contém o conjunto vazio ∅, e para cada x ∈ y, > o conjunto > {x} também pertence a y. Note que Zermelo usa {x} como o sucessor de x > na sequência > numérica (Zahlenreihe) 0, {0}, {{0}}, {{{0}}}, . . . A definição > habitual, que provém de > von Neumann, estabelece sucessor de maneira diferente como x ∪ {x} . > ∃y ((∅ ∈ y) ∧ ∀x(x ∈ y ⇒ {x} ∈ y)) > > Vc encontrou mais erros? > > O que não compreendo é porque vc fala que não são os axiomas de > Zermelo. Para mim eles são sim. > > Alguém da lista encontrou erros, imprecisões, etc.? > > Mais palpites, opiniões, etc. ? > > Podem avaliar a página na própria Wikipédia. Podem fazer comentários > nela indicando erros. > > É