[Logica-l] Tradução portuguesa de "Os princípios da mecânica quântica" de Dirac

Prezados colegas, Alguém conhece se existe uma tradução portuguesa de "Os princípios da mecânica quântica" de Dirac? Um aluno aqui está traduzindo a primeira parte do Cap. 1, antes de Dirac começar com o tecnicismo e a exposição formal. Eu tenho o original inglês e uma tradução ao espanhol.

[Logica-l] OFF TOPIC: wikipédia-pt

eping it to yourself. [...] if you are so proud of an article you >> created that you tell people you know in person, they may read the >> article, and from looking at your contributions, they can then learn >> what else you did on Wikipedia" >> https://en.wikipedia.org/wiki

Re: [Logica-l] uma pergunta sobre. wiki brasil

Prezado João Marcos, Eu faz anos que não colaboro com a Wiki Antigamente, eu escrevi mais de 30 artigos. Naquela época, um grupinho (uma maffia) tinha virado dona da wiki-pt e o comando de São Francisco não fez nada, apesar de que interveio várias vezes em diversas wikis. A questão da

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

ne o que 'e uma codificacao melhor ou uma pior? > qual deve ser o criterio pra codificacoes? > > Acho que chamar a professora no caso de uma "impostora intelectual" 'e > pegar pesado. > mas de novo, isso 'e so' mimha opiniao. > > Meus melhores votos pra 2020, >

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

Prezado JM e lista, Só agora que li o artigo em questão. O lado bom é que gerou uma discussão muito interessante na lista. Más o artigo é muito ruim, um lixo. Por exemplo: "Gödel’s own position. In remarking that “My theorems only show that the mechanization of mathematics . . . is impossible”

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

Prezado Chico e lista, Já que estamos no problema da representabilidade da aritmética, quero mencionar uma questão que gerou bastante confusão décadas atrás e que talvez alguns lógicos mais novos desconheçam. Trata-se de teorias de corpos ordenados. Algumas delas (característica zero? corpos

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

Prezado Chico, Muito esclarecedores os teus comentários. Eu não conheço e não sei se é pertinente um outro livro de Smullyan: "Diagonalization and Self-Reference" Nos últimos tempos da sua vida, Daniel Glushankoff estudo grupos reticulados e me comentava algumas coisas do seu trabalho. Essa

Re: [Logica-l] Kurt Gödel and the mechanization of mathematics

Hermógenes e lista, Eu , (pura teimosia?) continuo insistindo que a raiz do problema está na definição recursiva que usam as linguagens formais, que passam a ser, como Kleene disse, aritméticas. Foi Thoralf Skolem, um defensor da teoria de números, que "aritmetizou" a lógica e a matemática

Re: [Logica-l] Re: Kurt Gödel and the mechanization of mathematics

Eu não estou entendendo muito bem qual é o eixo desta discussão. Suponha que trabalhamos em AP. Se demonstrar que o conjunto das fórmulas que não são teoremas não é recursivamente enumerável, então o conjunto dos teoremas não é recursivo, E isso pode ser provado de maneira finitária. Certo?

Re: [Logica-l] Questão se uma certa teoria de primeira ordem é completa

Oi Anderson, Pode ser usado o método back-and-forth de Cantor para provar que duas ordens densas enumeráveis sem extremos são isomorfas: https://en.wikipedia.org/wiki/Back-and-forth_method. Lindo método. Veja Chang-Keisler para as consequências disso. Suponha que para uma teoria T todos os

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

nfortável, > e talvez a única. Não tenho nada contra os sócios da SADAF (que > sempre me pareceu saída de um conto do Borges) e menos ainda > contra os argentinos :-) > > Abraços, > > Walter > > Em sex., 6 de dez. de 2019 às 15:21, Carlos Gonzalez > escrev

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Prezado JM e lista, Lembro-me de que Klimovsky considerava uma teoria científica como um conjunto de objetos linguísticos, seja um conjunto de proposições, seja um conjunto de asserções, etc. Então estava forçado a recorrer a algum procedimento que fornecesse os detalhes da semântica. Poderiam

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Caro Walter e lista, Ai, a velha questão da existência em matemática! Parece que o tua posição está inspirada de alguma maneira em Hilbert ou no formalismo, quando você escreve: >>> É natural aceitar esta noção de "existir" como "estrutura. matemática definida rigorosamente". <<< Se não

[Logica-l] [Off Topic] Marie Curie

Eu sou um admirador da Maria Curie. Linus Pauling também ganhou dois prêmios Nobel. A Marie Curie desmaio de fome nas aulas na Sorbonne, mas isso não impediu que ficasse em primeiro lugar em Física e em segundo em Matemáticas. Foi a primeira mulher professora da Sorbonne, a primeira mulher a

Re: [Logica-l] [OFF-TOPIC] Produtividade com LaTex

Prezados Julio e lista, Quanto terá pago Bill Gates por esse artigo? "Produtividade", conceito que é um horror, pior porque está muito mal entendida. O produto final do Latex tem muita mais qualidade que o do Word: sou "produtivo" mas o resultado final é pior? Um torneiro que deixa a peça mal

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

Prezada Valeria e lista, Em primeiro lugar, devemos distinguir entre resultados técnicos-matemáticos por uma parte, argumentos pragmatistas por outro (e.g.: "serve para tal coisa", "é útil em tal sentido", etc.) e posições metafísicas (platonismo, convencionalismo, etc.) Os resultados técnicos

Re: [Logica-l] da geometria do pensamento

O trabalho de Gärdenfors é antigo, mas muito interessante. Fala "New Evidence for the Geometry of Thought" porque parece que agora neurocientistas estão infecionando a área, com suas belíssimas imagens em cores. Não é bom confundir grossas figuras neuronais, como as que se dão no início do

Re: [Logica-l] Olavismo & Lógica: Latindo errado

tando muito daquilo que se faz >> no âmbito da negação da verdade em diversos outros contextos. Não há >> dúvidas de que ele encontrou companheiros de peso. >> >> E fica a pergunta: como combater esse tipo de argumentação que tenta >> grudar no seu oponente o de

Re: [Logica-l] olavismo & Lógica

Prezados colegas, Eu não queria me envolver mais com esse cara Olavo do Carvalho, mas dadas as circunstâncias quero fazer alguns comentários, pedindo desculpas à lista pela obviedade de muitas coisas que falo. 1) Desconhecer ou minimizar os adversários; "Cantor e seus epígonos" A prova de

OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

Personalidades paranoicas (não confundir com esquizo-paranoicos) tem duas características fundamentais: 1) Delírio de grandeza 2) Delírio de perseguição. As duas estão relacionadas, pois apessoa é perseguida devido à sua pretendida grandeza, sendo dessa maneira injustiçada, segundo o seu delírio.

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

Das proprietates terminorum a mais famosa é a suppositio: proprietates terminorum = propriedades dos termos. Todos os apóstolos são 12 Pedro é apóstolo. Logo, Pedro é 12. Falando disso, fiquei sabendo de uma tradução ao português da Grammatica Speculativa http://hdl.handle.net/1884/30657

[Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

As citações são de: "Origem dos grandes erros filosóficos" https://books.google.com.br/books?id=2J9XMAAJ=origem+dos+grandes+erros+filos%C3%B3ficos=searchwithinvolume=tr%C3%AAs+graus Carlos 2018-09-16 0:50 GMT-03:00 Carlos Gonzalez : > > -- Forwarded message -

[Logica-l] Porque Mario Ferreira dos Santos não deve ser levado a sério.

Prezados colegas, Tenho medo que essa conversa do Jessé e o Tony Marmo crê confusão, pelo menos devemos diferenciar autores sérios de charlatões que falam como se fossem profetas revelando a palavra de Deus. Então, uma mostra do MF dos Santos. Olha que não é OFF-TOPIC, porque está falando do

Re: [Logica-l] Dúvida sobre o princípio da identidade

Prezado Jessé, Durante milhares de anos diferentes tipos de pensadores, como filósofos, lógicos, matemáticos, teólogos,etc., sofreram a doença dos princípios. Mas não como organizadores de teorias ou maneiras de estruturar o pensamento, mas dando um sentido metafísico e visto muitas vezes como

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

Prezado Samuel, > Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis, > ZF + Não existem inacessíveis... > Vai ter gente dando bons motivos para qualquer um deles. Não sei se bons motivos, mas tentei analisar prós e contras para algum deles em:

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Impressionante esse site. Muito obrigado Thanos! Carlos 2017-12-19 18:16 GMT-02:00 Thanos Tsouanas : > Oi Walter, > > On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote: > > Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem >

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

Parabéns, Samuel, Sem o teu grande esforço e dedicação não teria sido possível.. abraços Carlos 2017-10-28 18:12 GMT-02:00 : > Oi Samuel, > > Parabens! E, por favor, tambem transmita meus parabens a toda a Equipe de > Logica e Topologia da UFBA (Andreas, Ciro, Marcelo,

Fwd: [Logica-l] [OFF TOPIC] desregulamentar para lucrar

Prezados Márlon, Walter e demais colegas da lista, Coincido com várias coisas faladas neste thread e que não vou repetir. Desculpem por mencionar outras coisas bem conhecidas, mas prefiro ressaltar ideias fundamentais Tem pessoas que estão contra o saber. Sobre tudo, não querem um povo com

Re: [Logica-l] Material didático sobre TC

O Marcelo Coniglio escreveu um material introdutório com muito detalhe formal das provas. Não sei se ele publicou, mas tinha distribuído cópias informalmente vários anos atrás. Também considero o Jech-Hrabeck muito bom. Eu gostava de como explicava o desenvolvimento dos racionais e reais em ZF.

Re: [Logica-l] Acerca do que há de comum nos jogos

teniana, e em tentativas de convencimento/quase conversão entre > recalcitrantes contumazes, eu indico os trabalhos do mattieu marion, > jaroslav peregrin, hans glock e robert brandom. > > eu não sou competente suficiente para trabalhar no front de discussão > entre tradições, mas admiro mui

Re: [Logica-l] Acerca do que há de comum nos jogos

g e do David Stern sobre as > "investigações filosóficas" . Os pdfs são fáceis de encontrar na net. > > esta entrada na sep também me parece ser uma introdução competente: > https://plato.stanford.edu/entries/wittgenstein/#LangGameFamiRese > > 2017-08-06 16:49 GMT-03:

Re: [Logica-l] Acerca do que há de comum nos jogos

encontrar na net. > > esta entrada na sep também me parece ser uma introdução competente: > https://plato.stanford.edu/entries/wittgenstein/#LangGameFamiRese > > 2017-08-06 16:49 GMT-03:00 Carlos Gonzalez <gonza...@gmail.com>: > >> 1) Poderiam passar uma bibliografia introdutó

Re: [Logica-l] Acerca do que há de comum nos jogos

1) Poderiam passar uma bibliografia introdutória para "semelhança de família"? 2) O que fala Wittgenstein sobre jogo e criança. São as crianças as que jogam. Chamamos também de jogo atividades de filhotes de mamíferos e aves. 3) Posso estar equivocado, mas eu vejo nesse tipo de discussões muito

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

Prezado Walter e outros colegas, Essa história de Tarski é altamente significativa com relação a vários problemas da filosofia e da história da matemática e a lógica. O meu primeiro artigo filosófico tem muito a ver com isso, pois ocupa-se da discussão entre Zermelo e vários matemáticos

[Logica-l] [META] Só lógica formal stricto sensu? Ou + epistemologia? Ou + ...

Prezados colegas Na tradição da lista, assim com na SBL e nos EBL, "lógica" era entendida num sentido amplo que incluía epistemologia, filosofia e história de ciência, filosofia da lógica e da matemática, etc. Segundo o meu ponto de vista, isso não é nenhum capricho, arbitrariedade nem

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

Prezado Dória: PR=EPR tem consequências experimentais? (verificáveis/refutáveis por observação) Carlos 2016-12-21 13:21 GMT-02:00 Francisco Antonio Doria : > Não é brinquedo; é um fato fundamental o que está sendo descrito aqui: > > ER = EPR > > -- > fad > > ahhata alati,

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

A lógica estuda paradoxos. EPR é frequentemente denominado de paradoxo. Portanto, é a física tentando solucionar uma questão lógica, um paradoxo. :-) Além disso, Relatividade Geral e Mecânica Quântica são contraditórias. Como PR=EPR, relaciona essas teorias ou a contradição é eliminada ou temos

Re: [Logica-l] Heyting

Olá Bruna, Eu não sei quase nada do assunto, mas vou dar um palpite: Que tal dar uma olhada no artigo de TROELSTRA no Handbook of Mahematical Logic de Barwise (ed.) para ter um panorama de algumas questões relacionadas? Se pessoal da lista achar que não é conveniente, por favor falem. Carlos p.

Re: [Logica-l] a dialeteia de Paul Cohen (!)

Não é ambiguidade sintática, é só "pôr em evidência" o operador de possibilidade, segundo a regra ensinada no colegial: Possivel ( p ) ^ Possivel ( - p ) - Possivel ( p ^ - p ) :-) :-) :-) Carlos 2016-10-25 10:00 GMT-02:00 Joao Marcos

Re: [Logica-l] uma dúvida filosófica...sobre Heidegger. (perdão se não for um tema muito próximo da lógica)

Como disse JM, está no § 11 de Einfürung in die Metaphysik. No volume 40 da Gesamtausgabe, p. 41 a partir da segunda linha, está o trecho citado. São lições de 1935, editadas por Petra Jaeger. A partir da p. 232 desse volume, tem um postfácio da editora, com detalhes sobre o texto e a edição,

Re: [Logica-l] Verbete Wikipedia

Eu acho que deveria ser apagado imediatamente. Carlos On Mon, Mar 31, 2014 at 12:32 AM, Jaison Schinaider jaiso...@gmail.comwrote: Realmente, Tá tão ruim, que não tem conserto... Parece-me que teria que escrever tudo de novo, do zero... Abraços, 2014-03-31 0:14 GMT-03:00 Décio Krause

Re: [Logica-l] vem artigo do Venn

Prezado Jorge, O acesso a essa revista está liberado no archive.org : https://archive.org/details/londonedinburg5101880lond Também tem o livro de lógica de Venn: https://archive.org/stream/symboliclogic01venngoog#page/n3/mode/2up e muitas outras coisas de John Venn. Eu gosto dos artigos em:

[Logica-l] Artigo histórico

Prezados colegas, Estou precisando o artigo: Caneva, Kenneth L. From galvanism to electrodynamics: The transformation of German physics and its social context. *Historical studies in the physical sciences* 9 (1978): 63-159. @article{caneva1978galvanism, title={From galvanism to electrodynamics:

Re: [Logica-l] a proof, or just an illustration?

Não sei o que vocês entendem por prova: 1) Uma dedução formal? 2) Uma fundamentação da verdade de um enunciado? 3) ?? Quando Gauss fez medir os ângulos do triângulo formado por 3 picos, para ver qual geometria era a verdadeira, tinha, naturalmente, um monte de pressupostos físicos, de aplicação,

[Logica-l] Concurso de lógica em Uberlândia, MG -- Esclarecimentos

Prezados colegas, Pede-se ampla difusão. Desculpem eventuais duplicações. Enquanto estava se desenvolvendo o processo de chamado a concurso para a área de lógica, no Instituto de Filosofia da UFU, mudou a legislação nacional, como já foi discutido nesta lista. Além disso e como consequência,

[Logica-l] Concurso na área de lógica, filosofia da ciência e filosofia da linguagem -- Uberlândia -- Retificação

Prezados colegas, Pede-se ampla difusão. Desculpem eventuais duplicações. Devido ás mudanças recentes na legislação, o edital do concurso para professor da Universidade Federal de Uberlândia teve uma retificação. Observar que a data das inscrições mudou para 14-28 de agosto. Pede-se graduação e

Re: [Logica-l] A. Turing vs E. Post- opiniao

Prezado Marcelo, A questão colocada por vc, de Post não ter causa política por trás para apoiar sua figura, pode ser facilmente resolvida. Segundo Urquhart http://www.ualberta.ca/~francisp/papers/UrquhartPost.pdf , p. 430 He died of a heart attack on 21 April 1954 after electro-shock treatment at

Re: [Logica-l] Neural foundations of logical and mathematical cognition

Olá Júlio, É isto ?? : http://www.researchgate.net/publication/10733303_Neural_foundations_of_logical_and_mathematical_cognition/file/79e414ff3ee3f72981.pdf []'s Carlos 2013/5/31 Jccac jcacusto...@gmail.com: Olá lista! Alguém sabe como conseguir o artigo abaixo? : Neural foundations of

Re: [Logica-l] Grupo = Modelo de ZF ?

Não estou compreendendo muito bem qual é o direcionamento que estão querendo dar a esta discussão. Em primeiro lugar, já que nomearam L-S, entram em pauta as questões de relativização, pois se não considerarmos essas questões a coisa passa de confusa para contraditória. Eu gosto da linguagem

[Logica-l] Obras de Bolzano em francês, espanhol, português ou italiano.

Agradecerei se indicarem obras de Bernard Bolzano que possam ser acessadas em formatos eletrônicos, (pdf, etc.) nos idiomas francês, espanhol, português ou italiano. Carlos ___ Logica-l mailing list Logica-l@dimap.ufrn.br

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

Prezado Ruy e lista, Parabéns pelas importantes contribuições. Eu criei mais de uma dúzia de páginas e realizei centenas de contribuições. Depois começou o embate de uma máfia que tem dentro da wikipédia brasileira, com abusos de poder, desrespeitos e chegando aos insultos, como pode ser

[Logica-l] Manifestação do Conselho Superior da Capes sobre a Lei 12772/2012

Prezados colegas, Quando eu li o texto da lei 12772 também achei que era um retrocesso em muitos sentidos. A Manifestação da CAPES MANIFESTAÇÃO DO CONSELHO SUPERIOR DA CAPES SOBRE A LEI 12772/2012, QUE REDEFINE A CARREIRA DO MAGISTÉRIO FEDERAL O Conselho

[Logica-l] Manifestação do Conselho Superior da Capes sobre a Lei 12772/2012

Prezados colegas, Quando eu li o texto da lei 12772 também achei que era um retrocesso em muitos sentidos. A Manifestação da CAPES assinala alguns desses graves problemas. É contraproducente e até imoral manter uma pessoa por 3 anos num cargo inferior ao que merece pelas suas capacidades. Também

Re: [Logica-l] Fwd: link para página web com notas de aula

JM, Será que um livro pode ser didático ou correto, mas ambas coisas é impossível? Duas pedrinhas mais duas pedrinhas são 4 pedrinhas. E daí para a abstração e além. Eu penso que frases como A set is any collection, group, or conglomerate. são a coisa mais inútil do mundo. A partir dos

[Logica-l] Off Topic: Suicídio de Aaron Swartz

Prezados colegas, Eu acho que o suicídio de Aaron Swart http://news.slashdot.org/story/13/01/12/1240255/aaron-swartz-commits-suicide acusado de ter baixado 4 milhões de documentos de JSTOR com a intenção de disponibilizá-los, coloca uma questão muito relevante para estudiosos e pesquisadores, que

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

J.M. Eu acho que agora captei o ponto. 1) Com relação à questão didática de que os sistemas hilbertianos/axiomáticos costuma dificultar justamente a compreensão da diferença entre axiomas e regras Eu tenho sérias dúvidas. Classicamente era dito que a partir de princípios como A=A poderia

Re: [Logica-l] Global e local

Prezado JM e lista, Em primeiro lugar: obrigadão e obrigadíssimo. Os teus esclarecimentos deixam claros problemas complexos. Esta questão, além de dar lugar a muitos comentários, daria lugar a um paper (ou mais?). Assim vou comentar o mínimo indispensável. O Γ para enfraquecer a regra 2): eu

Re: [Logica-l] dúvida sobre os sistema K e T de Hughes e Cresswell

Prezado João Marcos, Eu não entendo o que vc quer dizer com: Pior, a fixação 'filosófica'/'algébrica' em sistemas hilbertianos/axiomáticos costuma dificultar justamente a compreensão da diferença entre axiomas e regras, e da diferença entre teoremas e a noção mais geral de consequência. Em

Re: [Logica-l] densely ordered sets

Julio, Eu usei conjunto densamente ordenado na minha tese de doutorado. http://cutter.unicamp.br/document/?code=vtls75125 e ordem densa, ordem linear densa, etc. Se mencionar os reais, então é bom diferenciar claramente, denso, completo, arquimedeano e conceitos semelhantes. Carlos

Re: [Logica-l] Ultrafiltros

Caros, Nas pp. 110-111 do livro de Felgner tem um resumo de equivalentes do BPI. Do equivalente (f) (f) In every Boolean Algebra, there exists a 2-valued measure. segue-se que BPI é equivalente a: Toda álgebra de Boole contém um ultrafiltro. Consideremos uma álgebra de Boole sem átomos. Pelo

Re: [Logica-l] Nomes para o dual e o contingente do operador de crença

Acho que vai para o lado do agnosticismo, ou melhor do apistismos. Na vida cotidiana, eu falo ~B~p ~Bp como não tenho a menor ideia sobre p. Talvez desorientador, desorientado, etc. também expressem essa ideia intuitiva. Desorientador(p) como não dá para acreditar em p nem em não p. Claro que

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

Prezado Daniel, Minha escolha da palavra desnecessária foi infeliz. Seria mais correto dizer insignificante, sem nenhum valor, um mero enfeite inútil, etc. O problema é: será que teríamos a tecnologia T, se não for pela teoria C?. Por exemplo: conseguiríamos ter linguagens de programação sem a

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

Caro Walter e lista, Existe um costume generalizado envolvendo ciência e tecnologia que é mais ou menos assim. De uma teoria científica C é derivada uma tecnologia T. Essa tecnologia é muito útil e muitas pessoas apreendem T sem ter ideia de C. Então concluem falaciosamente que C es

[Logica-l] A edição da página da Sociedade Brasileira de Lógica foi eliminada por falsos motivos .

a informação sobre sociedades científicas e a contribuição de especialistas e eu passa-se a ser uma alvo personificado. Carlos Gonzalez -- Forwarded message -- From: Oona Castro ocas...@wikimedia.org Date: 2012/7/27 Subject: Re: [Logica-l] Chamada aos Professores para o Programa

Re: [Logica-l] duas abordagens à resolução de problemas

Oi JM, Dada uma conjectura, por exemplo, uma conjectura matemática, e fixado um sistema axiomático adequado para essa conjectura, por exemplo, ZFC, o primeiro que tem de fazer é tentar demonstrar que essa conjectura é independente no sistema, sob certos pressupostos (p.ex. consistência de ZF). Se

[Logica-l] Fwd: Chamada aos Professores para o Programa Wikipédia no Ensino

-- From: Oona Castro ocas...@wikimedia.org Date: 2012/7/27 Subject: Re: [Logica-l] Chamada aos Professores para o Programa Wikipédia no Ensino To: Carlos Gonzalez gonza...@gmail.com Cc: Everton Alvarenga ezalvare...@wikimedia.org, Carlos González filonict...@yahoo.com Prezado Carlos, trata-se de

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

Parabéns Walter, pela merecida premiação, fruto de notáveis contribuições à lógica. É uma honra para todos nós ter um colega de primeiro nível internacional na pesquisa como você. Abraços Carlos 2012/8/1 Joao Marcos botoc...@gmail.com: -- Forwarded message -- From: Juliana

[Logica-l] Página da Sociedade Brasileira de Lógica na Wikipedia

Prezados colegas, O texto Atividades fundamentais foi eliminado do artigo da Wikipédia sobre a Sociedade Brasileira de Lógica: http://pt.wikipedia.org/w/index.php?title=Sociedade_Brasileira_de_L%C3%B3gicaoldid=31310976 por um administrador da Wikipédia com apelido Yanguas:

[Logica-l] Tradução de artigos da Wikipédia em inglês.

Prezados colegas, Síntese: Sugiro que antes de realizar/encomendar uma tradução para o português de um artigo da Wikipédia em inglês seja pedida uma avaliação do artigo em inglês a algum pesquisador na área. Justificativa: Se compararmos a Wikipédia em inglês com a da língua portuguesa, notamos

Re: [Logica-l] Fator de impacto 2011 dos periódicos com Logic no nome

Caro Walter, Como já foi discutido tantas vezes nesta lista, o problema central é: * Como avaliar a qualidade de uma pesquisa científica? * Como avaliar a importância dos resultados de uma pesquisa científica? Sem a questão da qualidade e da relevância, podemos cair num tanto faz no qual um

Re: [Logica-l] verso em universo, universidade a partir de universo

Prezados JM e lista, Desculpem, mas estou muito confuso. http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3Dkata%2F1 κατά com genitivo, A. II Movimento para baixo. 7. Com relação a como em τó καθóλου, universal, como nos Primeiros analíticos, 24a19, como a

Re: [Logica-l] verso em universo, universidade a partir de universo

Caro Arthur, Só para ajudar no inicio da discussão: http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.04.0059%3Aentry%3Duniversus http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.04.0059%3Aalphabetic+letter%3DU%3Aentry+group%3D6%3Aentry%3Duniversitas Carlos

Re: [Logica-l] Portuwiki

competência, para benefício de comunidades de usuários cada vez mais amplas. Abraços, Joao Marcos 2012/6/1 FAD 2 famado...@gmail.com: Vamos abrir o debate, Wiki e Universidade. Quem topa? Sent from my iPhone On 31/05/2012, at 00:07, Carlos Gonzalez gonza...@gmail.com wrote: Caro

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

Re: [Logica-l] Portuwiki

/~dkrause -- Em 30/05/2012, às 17:39, Carlos Gonzalez gonza...@gmail.com escreveu: Caro Francisco, Já que é um lixo, manda pau: http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_ordem http://pt.wikipedia.org/wiki

Re: [Logica-l] Portuwiki

Caro Francisco, Eu teve, na realidade ainda tenho, problemas com administradores da Wikipédia. Além disso, na mesma Wikipédia tem polêmicas várias envolvendo administradores. A Wikipédia tem por volta de 30 administradores, o que é muito pouco. Isso complica ainda mais as coisas. Entretanto, eu

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

Prezado Tony, Eu acho que estamos discutindo critérios metodológicos sobre a escrita científica e que essa é uma discussão interessante e relevante. Em particular, com relação à ambiguidade assinalada, está claro que a Wikipédia pode ser usada como obra de referência no sentido que as

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

Prezado Álisson e lista, É uma questão muito complexa que deve ser analisada com cuidado. O primeiro que quero dizer é que, segundo a minha experiência pessoal, escrever um artigo de enciclopédia sobre temas filosóficos ou científicos é uma questão muito difícil e trabalhosa. Seria muito

Re: [Logica-l] algumas coisas formAIS - geometricas, logicas, filosoficas - mesmo fora do Brasil

Olá Alessio, - Gärdenfors sugere que, com recurso a alguns ingredientes geometricos (como o conceito de espaco n-dimensional, com alguma metrica [city-block, euclidiana, ...]) isso problema (= a formalização de semelhante) torna-se muito mais facil e pode ser formalisado (na teoria do

Re: [Logica-l] Wikiversidade: departamento de lógica

Prezado Francisco e lista, O que vc assinala é um problema real, que eu mesmo vivi várias vezes. Entretanto, que acho que o estilo Wikipédia tem um potencial enorme e que não podemos ficar de fora. O que sistemas wiki precisam para melhorar é justamente a colaboração de especialistas. Eu, na

Re: [Logica-l] Wikiversidade: departamento de lógica

-- Em 06/04/2012, às 14:20, Carlos Gonzalez gonza...@gmail.com escreveu: E se alguém tivesse colocado numa wiki: La logique c'est la physique de l'object quelconque? ___ Logica-l mailing list Logica-l

Re: [Logica-l] Salman Khan: revolução ou falta de assunto?

Desde que os ícones das interfaces gráficas quiseram nos convencer de o nosso esforço para apreender a ler e escrever e não se analfabetos foi inútil, muitos mitos e dogmas sobre o audiovisual infeccionam o terreno pedagógico. Nesse contexto, uma aula filmada com um professor falando é as vezes

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

Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 09/12/2011, às 20:41, Carlos Gonzalez gonza...@gmail.com escreveu: Eu li em algum lado que a ordem dada por Andrónico de Rodas era didática. Começava com o Organon, seguia com

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

Eu li em algum lado que a ordem dada por Andrónico de Rodas era didática. Começava com o Organon, seguia com a Física (e talvez tratados naturais) e continuava com a Metafísica. Mas um nome dado à Física é Auscultações da natureza, Naturalis Auscultationis, Φυσικής Ακροάσεως [Physikés Acroáseos],

Re: [Logica-l] Perguntas sobre o elucidativo artigo sobre osTeoremas de Gödel

Décio e lista, Realmente seria um bom exercício encontrar falácias no artigo e no blog. Essa Carla responde para o Homo Erectus: Homo, vc está totalmente equivocado. E sobretudo, é incoerente. Note que seu método de contestação é baseado apenas na leitura que Jacques Bouveresse faz – o que é só

Re: [Logica-l] Prova científica

Prezada Maria Francisca, Em primeiro lugar, em matérias de lógica, o dicionário de Abbagnano não me parece uma ferramenta confiável e deve ser usado com cuidado, pois cai facilmente em imprecisões e ambiguidades, como mostra a crítica à tua citação feita nesta lista. O artículo prueba do

Re: [Logica-l] Curiosidade histórica: O palimpsesto de Arquimedes

Podem ler The Archimedes Codex, How a Medieval Prayer Book Is Revealing the True Genius of Antiquity’s Greatest Scientist de Reviel Netz e William Noel (um best seller) ou podem assistir o documentário da NOVA: http://www.pbs.org/wgbh/nova/physics/inside-archimedes-palimpsest.html :-) para fazer

[Logica-l] Questão de lógica na prova para professores de SP

Prezados colegas, Os professores de SP que fizeram o curso para o concurso tiveram uma prova com 30 questões. A primeira questão da prova e: Segundo Aristóteles, o silogismo é um discurso em que, postas algumas coisas, outras se seguem necessariamente. Eis um exemplo típico de silogismo:

Re: [Logica-l] Físico prova impossibilidade de se viajar no tempo

as maneiras razoáveis de fundamentação. A folha colocou que eu dei um positivo para o artigo, mas só coloquei positivo num comentário e apareceu no artigo. Carlos Gonzalez . http://physics.ust.hk/dusw/Publication/PhysRevLett_106_243602.pdf Our experimental results indicate that the optical precursor

Re: [Logica-l] Verbetes da Wikipédia em português produzidos no CIn-UFPE

Prezado Ruy, Acho muito importante esse tipo de iniciativa e penso que deveríamos ter um comprometimento cada vez maior com a Wikipédia, devido a quantidade de pessoas que a usam, incluindo muitos estudantes universitários. Carlos Em 7 de julho de 2011 10:36, Ruy de Queiroz r...@cin.ufpe.br

Re: [Logica-l] Concursos

) A conveniência de recomendar aos membros da SBL que não aceitem ser membros em bancas de concurso que não siga a recomendação 1) Também não faz sentido não deixar que o candidato filme a sua própria aula, como também aconteceu. Seria tão bom que todos os concursos fossem limpos! Carlos Gonzalez Em 13

Re: [Logica-l] LaTeX --- rtf

e elegante em TeX ficou uma sujeira confusa em RTF. Os funcionários que tem a maioria das revistas e editoras brasileiras quase nunca sabem LaTeX, nem o básico. Pode se oferecer para entregar a versão final em PDF, que vai dar menos trabalho que converter para RTF. Carlos Gonzalez Em 8 de

Re: [Logica-l] Universidade de Sorocaba (UNISO) procura professor de Física

-demitidos http://www.cruzeirodosul.inf.br/materia.phl?editoria=32id=248023 http://www.cruzeirodosul.inf.br/materia.phl?editoria=32id=247853 http://www.cruzeirodosul.inf.br/materia.phl?editoria=39id=248255 Carlos Gonzalez Em 20 de dezembro de 2010 01:59, psdias2 psdi...@yahoo.com.br escreveu: Peço

Re: [Logica-l] Nova equivalência para o Axioma da Esco lha

Parabéns para vc e o Joao Paulo. Pressupõe a existência do fator? Ou seja, supõe que o produto cartesiano é não vazio? Em Argentina, Gregorio Klimovsky, falecido o ano passado, demonstrou várias equivalências. Entre elas, que a existência de ideais maximais em reticulados distributivos é

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

Olá Samuel, Além de Con(PA) poder ser provada em ZF, podemos trabalhar com teorias mais fortes, como ZF + existe um cardinal inacessível=ZFI. Trivialmente, Con(ZFI) implica Con(ZF). Em ZFI pode ser demonstrada Con(ZF), que é um enunciado aritmético (com a numeração de Gödel) e que implica

Re: [Logica-l] manifolds

Prezado Arthur e colegas, Uma dica que resultou útil para mim e tal vez seja útil para alguém mais. As vezes os termos utilizados por uma determinada área técnica também tem um monte de significados na linguagem comum, de modo que a tradução mais comum não funciona como tradução na área técnica,

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

Caríssimos, Eu acho que o nome do vídeo (e desta discussão) deveria ser: por que a maioria das pessoas não gosta da matemática, porque senão tem razão o Doria: a pessoas acham a matemática difícil porque as equações diferenciais são difíceis e tem equações diferenciais que a maioria das pessoas

Re: [Logica-l] Nem raciocínio, ném lógico

Caros verdadeiros especialistas em raciocínio lógico, I - A questão matemática. Dada uma sequência infinita de números naturais, adivinhar a sequência a partir de um segmento inicial (por isso finito). Sem colocar mais condições, o problema não faz sentido. Já foi dito que colocar recursivo (ou

Re: [Logica-l] Por que a maioria das pessoas acha a mate mática tão difícil? vídeo da Globonew s

Caro Doria, A matemática que a maioria das pessoas no Brasil acha difícil, não é a que vc lê três vezes, mas regra de três e a porcentagem. A coisa daria uma longa discussão. Eu lecionei num curso de licenciatura em matemática. Os meus colegas ensinavam exercícios tipo de resolução mecânica e

Re: [Logica-l] Raciocínio lógico

Existe o problema de dada uma sequẽncia de números, determinar se ela é randômica em algum sentido da palavra, especificando algum critério para tanto. Eu vi coisas assim em livros de estatística. È claro que existem infinitos polinômios que tem zero para essa sequência e também existem infinitas

  1   2   >