r> escreveu:
>
>> Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando
>> e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19.
>>
>> Tony foi meu orientando de mestrado na Unicamp, e orientando de
>> doutorado do Jean-Yves Bezi
Carnielli
escreveu:
> Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando
> e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19.
>
> Tony foi meu orientando de mestrado na Unicamp, e orientando de
> doutorado do Jean-Yves Beziau na UFRJ.
>
Ainda não ficou claro o que "vaccuosly" quer dizer nos contextos elencados.
Mas, acho que cada autor pode adotar um sentido ou outro, conforme lhe
convém.
Em quinta-feira, 8 de abril de 2021, Tiago de Lima <
tiagosantosdel...@gmail.com> escreveu:
> Olá,
>
> Depois do email de Daniel Durante eu fi
Meus parabéns ao premiado.
Em qua, 10 de mar de 2021 21:42, jean-yves beziau
escreveu:
> O prêmio de lógica da Espanha 2021 foi recentemente atribuído a Víctor
> Aranda Utrero para o artigo
> "Completeness: From Husserl to Carnap":
> http://www.uni-log.org/logic-prize-spain
> Ele vai participar
Feliz dia da mulher!
Parabéns pela iniciativa.
Em seg, 8 de mar de 2021 16:13, Joao Marcos escreveu:
> Mesa redonda Las mujeres en la lógica
> 9 de marzo a las 4:00PM (GTM-6)
> (via Zoom)
>
>
> Panelistas: Atocha Aliseda Llera (UNAM), Itala Maria Loffredo
> D'Ottaviano (CLE-UNICAMP), Verónica Bo
My geevings to the family.
Em qui, 14 de jan de 2021 11:57, Tony Marmo escreveu:
> Difícil receber notícias como essas, estando hospitalizado. Mas, minhas
> condolências.
>
> Em qui, 14 de jan de 2021 00:21, Itala Maria Loffredo D'Ottaviano <
> it...@unicamp.br> esc
que estão fazendo com Jean-Yves! É fascismo puro esse
patrulhamento ideológico e estético.
Em seg, 21 de set de 2020 04:14, nastassja pugliese <
nastassjapugli...@gmail.com> escreveu:
> Caro Tony Marmo, quanta ginástica e quanta bobagem.
>
> Lamento muito que seja preciso faz
gente acha péssimos. Um judeu ortodoxo usando as
> roupas daquela garota e fazendo a pose dela ia nos causar um mal-estar
> equivalente.
>
> [[]],
> Eduardo
>
> Bonus link:
>
> http://duncankennedy.net/documents/Photo%20articles/Sexual%20Abuse,%20Sexy%20Dressing%20
?
>
> []s
>
>
> Em dom., 20 de set. de 2020 às 14:23, Tony Marmo
> escreveu:
>
>> Ele já mudou as fotos. E a discussão continuou!
>>
>> Mas, com todo respeito, não há razão alguma para qualquer pessoa se
>> indignar com a fotografia de uma mulher de 20 ou
Ele já mudou as fotos. E a discussão continuou!
Mas, com todo respeito, não há razão alguma para qualquer pessoa se
indignar com a fotografia de uma mulher de 20 ou 30 anos lendo um livro num
gramado, usando uma roupa que as alunas da USP, da Unicamp e da UFRJ usam
quase todos os dias quando vão á
No texto acima onde se lê "lógicas clássicas" leia-se "lógicas clássicas ou
não-clássicas", faltou esse disjunto quando digitei.
Em sáb, 19 de set de 2020 11:53, Tony Marmo escreveu:
> Vamos por partes.
> Pessoas que trabalham com lógicas clássicas pressupõem que ce
Vamos por partes.
Pessoas que trabalham com lógicas clássicas pressupõem que certas fórmulas
são ou não antologias em um determinado sistema conforme o sistema é
definido. Assim, de fato, o que é um antologia clássica não o é
necessariamente em sistemas com três ou mais valores, por exemplo.
Um pa
Aos participantes da lista,
Uma recomendação que vale a pena:
Hoje na TV Cultura haverá mais um bom programa sobre Filosofia, às 23 horas
e 45 minutos. O entrevistado será o filósofo francês Luc Ferry. Os amigos
do Rio de Janeiro podem ver se tiverem assinatura. Não sei quando a Rede
Brasil (TVE)
É preciso ler para comentar. Eu o li.
O artigo está muito bem escrito, é claro e informativo. Aliás, tem muito
conteúdo.
Porém, se me permite uma observação, o tema dele não é exatamente saber
qual é o escopo dos teoremas de Gödel.
As suas questões fulcrais, que ficam claras ao longo do texto, s
É um projeto inconstitucional.
Em seg, 17 de ago de 2020 01:15, Walter Alexandre Carnielli <
walte...@unicamp.br> escreveu:
> Caro Adolfo e demais colegas:
>
> Por favor assinem esta petição contra o recente golpe do governo de São
> Paulo:
>
>
> http://chng.it/f6rSRvnF
>
> Em dom, 16 de ago de 2
Eu vejo com muita simpatia trabalhos assim, já que eu mesmo insisto que
devemos buscar meios tais que permitam demonstrações as mais breves
possíveis. Destarte, esses são assuntos que merecem pelo menos uma atenção
cuidadosa.
Não é uma questão de ser fã do Pravitz.
Tem muitos aspectos positivos nes
Parabéns pela iniciativa.
Sobre materiais didáticos de lógica:
Existe um livro que foi editado em francês a partir de textos de Lewis
Carroll, "Logo que Sans peine" que já é famoso. Até hoje é o livro mais
didático já feito com alcance para o grande público.
Há também algumas histórias do escritor
Boa notícia!
Gustavo de saber se estrangeiros, residentes fora do Perú, podem aderir à
SPEL. Se sim, como podemos inscrever-nos?
Em seg, 27 de jul de 2020 17:40, Prensa SPEL escreveu:
> Cara Comunidade Lógica brasileira e lusófona,
> a Sociedade Peruana de Epistemologia e Lógica (SPEL), fundada
Caro Walter,
Primeiramente, força. Você tem razão nos aspectos gerais da sua queixa.
Mas, não desanimemos.
De certo modo, Jean-Yves já deu uma solução, que é criar outros prêmios de
lógica pelo mundo.
É como ganhar o Oscar: é bom, mas a Palma de Ouro de Cannes tem igual ou
maior prestígio. O fes
Ah! Também estava querendo lembrar os nomes deles! Obrigado!
Valéria,
Não tinha visto que era em co-autoria. Mando meus elogios também ao seu
parceiro. Vocês dois escrevem bem.
Em sex, 5 de jun de 2020 19:01, Joao Marcos escreveu:
> > esse artigo já me lembrou de outros que propunham siste
1. Seria interessante se alguém colocasse aqui uns liames para os artigos
originais do Gödel na internet, ou traduções confiáveis. Cotejar o que ele
escreveu com o que foi feito por outros depois é um bom método para guiar
mais claramente a discussão.
2. A questão de tratar da incompletude num met
Um filme sobre lógica precisa de dois elementos: um são as vozes dos
lógicos explicando o assunto, outro são recursos de animação para ilustrar
o que é explicado.
Por exemplo, se se vai falar do paradoxo de Aquiles e a tartaruga, faz-se
um desenho mostrando a corrida. Se se vai explicar uma ou mais
Infelizmente, por motivos pessoais familiares, tive de cancelar minha ida
ao evento na Academia Brasileira de Filosofia. Com muita dor por aí não
estar.
Em seg, 9 de dez de 2019 05:59, jean-yves beziau
escreveu:
> Mais uma publicação resultando do 2nd WoCoLoR
> https://www.uni-log.org/logos
> Lo
> >
>>> >
>>> >
>>> >
>>> > On Thu, Dec 5, 2019 at 5:21 PM Walter Carnielli
>>> wrote:
>>> >>
>>> >> Oi Tony,
>>> >>
>>> >> A pergunta é boa. E a minha resposta, da maneira mais sim
amente, o que garante a existência de conjuntos
> paraconsistentes? Resposta: seus modelos;
> Nossos modelos, baseados em Twist-Valued Models, são bastante
> próximos, neste sentido, dos modelos standard de ZF.
> Abs
>
> W.
>
> Em qui, 5 de dez de 2019 14:05, Tony Marmo
> e
Caro Walter,
Já que levantou o assunto, vou fazer uma pergunta:
Os conjuntos paraconsistentes existem?
Uma paráfrase possível para essa pergunta: o que garante a existência de
conjuntos paraconsistentes?
Obrigado
Em qui, 5 de dez de 2019 12:36, Walter Carnielli
escreveu:
> Caros colegas:
>
>
Mas, seria bom que o artigo no site da Globo fosse reescrito ou que outro
artigo fosse publicado.
Na forma que está o artigo em comento, não ajuda os leitores a conhecerem o
assunto, porque passa impressões pouco precisas e equivocadas.
PS: não conheço o autor do texto, nada tenho contra ele.
On
De fato, você tem razão: o início do texto tem um trecho que diz que a HC é
um paradoxo. Eis a passagem:
" Estudos recentes de um grupo de matemáticos que trabalham com AM apontam
que essa capacidade de aprendizado está relacionada a um paradoxo lógico,
conhecido como hipótese continua, descoberto
Existe um capítulo sobre o assunto em Carnielli e Pizzi. Lá está bem
explicado.
Porém, precisará aprender também algo sobre os sistemas com os axiomas T,
D, K, 4, etc.
On 23 Sep 2019 19:03, wrote:
> Olá, pessoal!
>
> Saudações de Fortaleza!
>
> Um aluno me perguntou se eu conhecia algum livro de
Uma das colunas mais lidas no Brasil, era a do Paulo Francis no caderno
"Ilustrada" da Folha de São Paulo. As pessoas riam muito lendo aquilo, mas
sabendo que era humor "pseudointelectual" .
A piada mais frequente do Francis era pegar uma figura de vulto de uma área
qualquer e dizer que ela não
Não vale a pena responder. Ele nem sequer entendeu as críticas que aqui
foram feitas. Como sempre, partiu para a desqualificação pura e simples dos
supostos adversários. Para quem conhece Aristóteles, está claro que ele
repete a mesma falácia.
Em quinta-feira, 25 de outubro de 2018, Joao Marcos
e
Respondendo à sua pergunta final:
O uso de premissas contraditórias recebeu mais de um tratamento na
Antiguidade.
Uma ideia era a de que as contradições trivializavam o raciocínio. Outra
era a de que premissas contraditórias não necessitam a conclusão.
Você já adentrou a teoria das falácias, tan
:
> 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
Está bom esse resumo.
Agora você precisa passar desses conceitos para a parte da lógica formal
contemporânea.
Veja também o livro de Nicholas Rescher, "Many-valued Logics", para ver
além da lógica clássica.
Em quinta-feira, 13 de setembro de 2018, Jessé Silva <
aprendizforeve...@gmail.com> escrev
Ficamos todos chocados e tristes.
Conheci o professor Arley na minha graduação e desde então foi um amigo e
interlocutor para quase todos os assuntos.
É como se uma biblioteca inteira de livros raros se queimasse!
Minhas condolências à família e à nossa comunidade de filósofos.
Em quinta-feira, 23
ar@s,
>>>
>>> Hesito em classificar esta mensagem de OFF- TOPIC, mas se for o
>>> caso, fica classificada condicionalmente. Para isso temos Lógica.
>>> Gostaria de parabenizar o Tony Marmo peio seu recente Doutorado na
>>> UFRJ orientado pelo Jean-Yves.
&g
Meus parabéns ao Guido pela iniciativa! É uma figura formidável e liderança
autêntica.
Em sexta-feira, 23 de fevereiro de 2018, Daniel Durante
escreveu:
> Colegas,
>
> Comunico a recente criação do GT de Metafísica Analítica da ANPOF, sob
> coordenação do Guido Imaguire, e do qual faço parte.
>
Caros Walter e Daniel,
Se for para usar dinheiro público brasileiro é melhor a CAPES ter seu
próprio serviço em linha para pesquisa a partir daqui do Brasil e não
transferir mais dinheiro nosso para eles. Por melhor que seja o PhilPapers,
o dinheiro que saísse daqui para lá faria falta aqui.
20
Infelizmente, caro Juan Carlos, com uns e outros praticantes de bullying
entrando nessa lista para ofender as pessoas gratuitamente, o problema do
desrespeito e da perseguição às pessoas fica cada vez maior, de forma que
as medidas com objetivo de combater os estigmas ficam sempre atrás da
realidad
O troll é quem provoca, é para ele que o administrador deve dizer chega.
Em 24 de maio de 2013 21:21, Joao Marcos escreveu:
> Será que deveríamos abrir uma consulta democrática para decidir quem é o
> troll?
>
> Chega, Tony. Chega.
> JM
>
>
> 2013/5/24 Tony Marmo :
Você está agindo sim como troll e de modo absolutamente inadequado para uma
lista de discussão. Para falar o que pensa você não tem de chamar os outros
de estúpidos e idiotas. Isto que você é errado, injustificável e
inaceitável. A EBL não é lugar para gente sem-educação ou sem hombridade
para pedi
Em 24 de maio de 2013 14:34, Eduardo Ochs escreveu:
>
> ...a internet esta' olhando pra gente:
>> http://www.dimap.ufrn.br/pipermail/logica-l/2013-May/thread.html#19201
>> Sorriam pra ficar bem na foto! =)
>> [[]], Eduardo
>>
>>
>> 2013/5/24 Tony Ma
Eu não difamo as pessoas, que consiste em insultá-las em mensagens abertas
para que todos vejam como a desqualifico.
Por favor, se estou enganado, você me diga uma única vez em que eu chamei
em aberto uma pessoa física de idiota, ou de imbecil, ou de estúpido. Nunca
faltei ao respeito com ninguém a
E justamente por não ser fechada que não podem acontecer essas coisas de
pessoas sem-educação virem aqui e por não terem argumento ficarem chamando
os outros de estúpido, de idiota ou coisa do gênero. Até porque quem se
juntou a essa lista precisou ser aprovado, pelo que eu me lembre. Mas,
ainda qu
Ademais, caro Marcelo, há pessoas aqui escrevendo ofensas aos demais por
conta dessa discussão, chamando em aberto as pessoas diretamente de
alienadas e de estúpidas, termos que não se aceitam numa lista como essa. O
negócio já foi longe demais.
Em 24 de maio de 2013 11:41, Marcelo Esteban Conigli
Por conta dessa discussão, uma pessoa já me chamou de alienado e de
estúpido e disse que não retira o que diz, que não pede desculpas e que vai
continuar perturbando por aqui. Você gostaria que fizessem isso com você?
Tem gente que não sabe o que é EBL e toma para outro lado a sua colocação.
Essa
Caro Jean-Yves,
Todos os brasileiros são americanos, assim como todos os franceses são
europeus.
Estadunidenses não falam nada disso pois eles acham que é aventura vir para
cá.
Mas, como dizem os demais, é melhor parar com essa discussão aqui, pois já
houve quem me insultasse mesmo com palavras
ar de você!
> Quer respeito? Então respeite! Quem fala o que quer, ouve o que não quer!
> Já escutou esse ditado?
>
> Sobre me retirar da lista, eu também não farei isso!
>
>
> Em 24 de maio de 2013 02:06, Tony Marmo escreveu:
>
> Não, eu não sou estúpido e não admito que você
a difícil para chegar lá desde as cidades onde vão
> chegar os participantes internacionais.
>
> Abraço,
> Pedro Zambrano.
>
> 2013/5/23 Tony Marmo
>
> > Pois é o que estou falando: uma pessoa sair de um lugar em que o custo de
> > vida é mais alto para passar uns di
a que perdeu a paciência agora!
>
>
> Em 24 de maio de 2013 01:29, Tony Marmo escreveu:
>
> Aí, você diz que é meu caso. Está me desqualificando sim.
>>
>> Ora bolas, as pessoas que saem de Rio Branco no Acre se passarem uns dias
>> em Presidente Prudente ou São J
falar estupidez, se informe
> um pouco mais! Se isso não for alienação, eu não sei mais o que é.
>
>
> Em 24 de maio de 2013 00:49, Tony Marmo escreveu:
>
> Primeiramente, você não tem o direito de desqualificar os outros.
>> Segundo, alienado é quem acha que o preço de h
Pois é o que estou falando: uma pessoa sair de um lugar em que o custo de
vida é mais alto para passar uns dias onde o custo de vida é mais barato é
muito mais lógico do que fazer o contrário.
Em 24 de maio de 2013 00:46, Eduardo Ochs escreveu:
> Tá, então vamos supor que o próximo EBL vai ser e
ara a "floresta"?
>
> E eu não estou interessado em saber se, para você ou outros que pensam
> como você, eu contribuo ou não com a discussão colocando aqui o que eu
> acho! Estou apenas expressando o que eu penso! Se isso te desagrada ou
> desagrada outros como você, realment
Não é mudando o sentido do que as pessoas dizem que você pode contribuir
para a discussão. Lamentável, meu caro, é não ter dinheiro para viajar e
hospedar-se em qualquer canto do país. Se você acha que as pessoas por
serem pobres e não poderem bancar os custos das coisas que os outros
organizam são
Eu não vou correr esse risco no Acre pq simplesmente não posso pagar a
passagem para lá ir. E depois hospitais funcionando direito não há, como
os jornais mostram. E se houver não dá para arriscar. Gente, ponham na
cabeça que as pessoas não têm dinheiro em quantidade infinita enumerável
para gasta
As observações seguintes sobre custo e como chegar não são específicas de
Rio Branco. São de vários lugares. Mas, Rio Branco continua fora de mão e a
maioria dos brasileiros e a maioria dos universitários brasileiros não mora
perto de lá.
Por favor, tenham comiseração com quem não pode pagar passa
Jean-Yves, quero apontar o seguinte: o custo de traslado e hospedagem é
fundamental para todos, principalmente para quem não tem bolsa nem
financiamento. Ter uma cidade com infraestrutura é essencial, mas é preciso
que seja mais barata. Não dá para fazer no Acre, por exemplo, porque a
maioria dos e
Três excelentes lugares para a próxima EBL: Campinas, São Paulo e São José
dos Campos, a última opção sendo muito boa e muito em conta, a uma hora e
meia de praias do litoral norte paulista, muitos hotéis bons e bons
shoppings, além de instituições de ensino superior bem interessantes como o
CTA (o
Pois é, disseste bem: "do que sabemos". Mas, o que sabemos não é o limite
de tudo. O saber constantemente se amplia. Do que se sabia no século XIV,
nada indicava que fosse possível fazer máquinas voadoras que chegassem a
Vênus.
Em 23 de maio de 2013 11:59, Joao Marcos escreveu:
> O Boolos tem um
;
> Se NP=coNP for falso ou indemonstrável, ñ vai dar pra tomar vitamina C
> pra queda de cabelo.
>
> []s
>
>
> 2013/5/23 Tony Marmo :
> > É uma opinião bem argumentada. Mas, eu me reservo ao direito de
> desconfiar
> > dessa medida. Afinal de contas, uma comparação cabív
É uma opinião bem argumentada. Mas, eu me reservo ao direito de desconfiar
dessa medida. Afinal de contas, uma comparação cabível é com o tratamento
da gripe: se alguém pode ser curado com vitamina C e repouso não vale a
penas apelar para radioterapia, ainda que alguém descubra alguma
radioterapia
Sentimental não, racional. A eficiente pressupõe sempre a busca pela
simplicidade das explicações. Agora, essas conjecturas enunciadas em termos
simples não têm demonstrações simples, mas isso não é uma necessidade. Logo
logo alguém conseguirá demonstrações muito mais eficientes. É só uma
questão d
Matemática avançada não necessariamente é incompreensível por si mesma.
Porém, como em toda ciência, só entende o que se diz quem a estudou em
nível superior. Afinal de contas, eu não leio fluentemente artigos de
medicina e, sim, a medicina avançada tem mais coisas do que sai no
noticiário científi
Creio que ainda não conheço pessoalmente o homenageado, mas dou-lhes os
parabéns e felicitações, considerando que a honraria é extensiva aos demais
filósofos brasileiros e franceses, e bem assim aos seus colegas e alunos.
Em 21 de maio de 2013 18:32, jean-yves beziau escreveu:
> O presidente da A
ece e ensina. Devo reconhecer, contudo, que muitas destas
> conjecturas e discussões na realidade acabam é pondo meus próprios
> limites à prova.
>
> Abraços óbvios, e bom trabalho para você,
> Joao Marcos
>
>
> 2013/5/17 Tony Marmo :
> > Já que você cutucou, que tal
", que nem chega a ser
> "realmente tema de pesquisa". Pode ser, claro, que a sua matemática
> seja "avançada" demais para mim.
>
> (Acho que esta discussão já está saindo bastante do escopo da lista,
> então vou parando por aqui.)
> JM
>
>
> 2013/5/17 To
números primos (e do nosso amplo desconhecimento a respeito deles):
> você já ouviu falar em criptografia RSA? e da hipótese de Riemann?
>
> Acho, sinceramente, que você não entendeu a piada.
> JM
>
>
> 2013/5/17 Tony Marmo :
> > É óbvio que essas coisas da matemática ele
É óbvio que essas coisas da matemática elementar são noções tão acessíveis
que qualquer um pode brincar com elas e fazer o video que o sujeito
matematiqueiro fez. Também posso brincar e dizer que um aluno "provou" que
"a raiz quadrada de 1 é +/-i". Isso é fácil demais para quem quiser fazer
brincad
teau. :-)
> (pois ele não andou fazendo uma pilantragem qualquer durante a 2a
> Guerra Mundial?)
>
> Sem dúvida, no Brasil fizeram coisas bem melhores.
>
> E tenho dito.
> JM
>
>
> 2013/5/15 Tony Marmo :
> > Mas, é óbvio que eu conferi, João Marcos. Eu vi o seriado e o liv
t; espaço-tempo e a teoria da relatividade, sobre a Biblioteca de
> Alexandria... e até mesmo sobre computadores, quando por aqui
> praticamente ninguém ainda tinha um em casa). Está tudo no livro, se
> você quiser conferir.
>
> Cada povo tem a BBC que merece. :-)
>
> JM
>
>
>
Caro Walter,
Você está correto ao diagnosticar o caso como algo que contribui mais para
a ignorância das pessoas. Sem dúvida. Mas, não sei se o sujeito estava de
brincadeira ou falando a sério. Por outro lado, você já viu o velho
documentário Cosmos de Carl Sagan? O Carl Sagan conhecia muito bem o
oremas, ou 'verdades
> > relativas´, isto é, deduções).
> >
> > Walter
> >
> > Em 12 de maio de 2013 22:15, Tony Marmo escreveu:
> >
> >> Caro Márcio,
> >>
> >> A resposta de Jean-Yves cobre com muita propriedade o assunto
', isto é, teoremas, ou 'verdades
> relativas´, isto é, deduções).
>
> Walter
>
> Em 12 de maio de 2013 22:15, Tony Marmo escreveu:
>
> Caro Márcio,
>>
>> A resposta de Jean-Yves cobre com muita propriedade o assunto.
>> Quanto à pergunta abaixo é
ode dar um exemplo mais concreto sobre a
> "questão da preservação da verdade" que envolva a necessidade de uma função
> tradução entre dois sistemas lógicos? Estou falando, claro, do ponto de
> vista da motivação e implicação filosóficas.
>
>
> Em 12 de maio de 2013 16:42
As motivações incluem a própria questão da preservação da verdade e a
necessidade de estudar lógicas-objeto a partir de meta-lógicas.
Em 12 de maio de 2013 16:39, Marcio Cunha escreveu:
> Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar
> as motivações e implicações fil
Essa prática é mais comum do que se pensa. Mas, há outras práticas funestas
como produzir coisas que não inovam em nada, mas apenas coligem resultados
de outros, em nome da solidez do saber.
Em 7 de maio de 2013 15:26, Daniel Durante escreveu:
> Para pensarmos um pouco.
>
> Saudações,
> Daniel.
De fato João Marcos, é intuitivo e mesmo parece sensato esperar que
afirmações extraordinárias necessitem de indícios ou provas extraordinárias.
Mas, aí há um pequeno detalhe crucial: definir o que seria extraordinário
para as alegações e o que seria extraordinário para os indícios ou provas.
Talv
Vou insistir mais uma vez num pedido, mesmo que seja a favor de uma ou duas
pessoas falecidas: por favor, respeito. Respeito ao Chico Xavier que não
merece ser chamado de pilantra, assim como o Rabino Sobel, como o Papa
Francisco, como o frei Beto e tanta gente mais que vive sua religiosidade a
sér
Caríssimos,
Com respeito a todos aqui e consideração e admiração pelos debatedores
acima, venho pedir o re-estabelecimento da paz e calma dos ânimos.
Vamos procurar debater mas sem desqualificar ninguém. Não personalizemos as
críticas tampouco. Podemos falar dos milagres sem mencionar santos, por
Caro Professor,
O reconhecimento que já tem no exterior e a confiança de pessoas como
Newton da Costa são evidentes. Quero dizer que também eu tenho simpatia
pelo seu trabalho e atitudes, independentemente dessa repercussão positiva.
Não se precisa de muita referência oficial para perceber a sua c
nao seja equivalente a P--> P?
> Esta lista vai gostar de saber...
>
>
>
> Em 22 de abril de 2013 16:45, Tony Marmo escreveu:
> > Primeiramente, ainda bem que você não tentou salvar a coisa com o
> argumento
> > de que se trata de pensamento matemático. Pelo amor
que ele.
> Aproveite a tarde e tente provar isso :-)
>
> W.
>
> Em 22 de abril de 2013 16:21, Tony Marmo escreveu:
> > Vira e mexe acho um caso, acabei de achar cinco minutos depois. Não dou o
> > nome do "santo", até porque não é o único e não vem ao ca
essão
> "ser uma propriedade das" dá a entender). Por outro lado, se R for
> simplesmente uma propriedade unária cujo domínio tem o *tipo* fbf, a
> tarefa em questão pareceria em tudo legítima.
>
> JM
>
>
> 2013/4/22 Tony Marmo :
> > Vira e mexe acho um ca
er já disse:
> "Se você encontrou alguma [demonstração] assim, é melhor mudar de
> livro..."
>
> JM
>
>
> 2013/4/22 Tony Marmo :
> > Caro João,
> >
> > Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar
> esses
> > exemp
Caro João,
Poderia. Ocorre que eu tenho muitos livros e pdfs comigo e para buscar
esses exemplos teria de sacrificar mais meu tempo. Mas, ocasionalmente a
gente acaba esbarrando em textos que dão teoremas que dizem o mesmo que as
definições, ou que na demonstração colocam paráfrases da proposição
se
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[at]gmail.com
> www.cfh.ufsc.br/~dkrause
>
>
>
>
>
>
>
>
> Em 20/04/2013, às 14:53, Tony Marmo escreveu:
>
> Caríssimos,
>
&g
É que eu observo muito bem. Mas, deixe estar.
Em 20 de abril de 2013 15:34, Walter Carnielli
escreveu:
> Ola Tony, eu nunca vi uma prova dessas.
>
> Se você encontrou alguma assim, é melhor mudar de livro... :-)
>
> Walter
>
>
> Em 20 de abril de 2013 14:
botoc...@gmail.com<mailto:botoc...@gmail.com>;
>> > logica-l@dimap.ufrn.br<mailto:logica-l@dimap.ufrn.br>
>> > Date: Fri, 19 Apr 2013 15:34:29 -0200
>> > Subject: Re: [Logica-l] the death of proofs
>> >
>> > ola
>> > desculpem-me pela
João,
Para contribuir para essa discussão que você instaurou aqui, pergunto o
seguinte: você poderia dar exemplo de uma prova comumente encontrada em
livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais
avançados, com qual você não esteja de acordo?
Muito obrigado se você tive
Depende de como as pessoas interpretam as consequências dos teoremas de
Goedel. Goedel mostrou no fundo que matemática e lógica não se confundem,
caso contrário seria possível à Aritmética de Primeira Ordem demonstrar sua
consistência e completude ao mesmo tempo. [Sei que os chatos vão dizer que
eu
Júlio,
Sobre a primeira pergunta, na verdade uma lógica praconsistente não deixa
de por essa característica ser consistente. Acho que o discurso que
apresenta as lógicas paraconsistentes em geral é consistente e
paraconsistente também.
Em 19 de março de 2013 10:38, Julio César escreveu:
>
> Olá
ticos".
> Abraço
> D
>
>
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-940 Florianópolis, SC -- Brasil
> deciokrause[at]gmail.com
> www.cfh.ufsc.br/~dkrause
> _
s
>
>
>
>
>> Abraço
>> Décio
>>
>>
>> Décio Krause
>> Departamento de Filosofia
>> Universidade Federal de Santa Catarina
>> 88040-940 Florianópolis, SC -- Brasil
>> deciokrause[at]gmail.com
>> www.
Caro Professor Décio,
Aproveitando essa discussão, pergunto: não é esse tipo de dúvida mais uma
prova de que já é o tempo de começar o ensino da lógica *não mais* pela
lógica clássica?
Em 10 de março de 2013 23:12, Décio Krause escreveu:
> Oi, Luiz
> Sim, concordo plenamente que de P podemos i
Caro João,
Tenho muita simpatia pela pergunta, mas é aquela velha história do pescador
que se encanta mais pela rede do que pelo mar. Contar o número de regras
usadas e de passos pode ser um meio para medir uma derivação, porém será um
entre vários meios de medição. E segundo, para medir será prec
Muito obrigado pelo informe e dou meus parabéns aos prosf. Walter
Carnielli, Itala D'Ottaviano e Marcelo Coniglio, e extensivamente a todos
nós, por entrarmos nessa nova etapa.
Em 5 de março de 2013 10:04, Walter Carnielli
escreveu:
> Caros Colegas e Funcionários:
>
>
> a Diretoria do Centro de
Caríssimos amigos,
Estou procurando algo que, segundo me parece, deva ser trivial, mas não
achei. É um fato conhecido que se um sub-reticulado S* de uma álgebra de
Stone S contiver os pseudo-complentos dos elementos de S, S*={s* pertence
S: s pertence a S}, então S* é uma álgebra de Boole. Gostari
Caros amigos,
Dois endereços eletrônicos meus foram usados para enviar e-mails falsos
inclusive para antigos endereços meus, com links suspeitos. Não fui eu quem
os enviou e não faço ideia de como meu e-mail tenha sido "hackeado", mas
estou avisando a todos para que não pensem que são meus e nem a
Caro Jean-Yves e demais amigos da lista,
Como Jean-Yves mencionou algumas pessoas que lecionam em alguns centros
importantes, fui procurar dar uma rápida olhada no que publicavam. Não
posso escrever muito, pois estou com tendenite, mas achei curiosa uma
afirmação que se encontra no artigo de Alex
Caríssimos amigos,
Como a gente sempre se vê às voltas com traduções de um idioma a outro,
gostaria de saber dos colegas, principalmente os matemáticos, se algumas
expressões lhes são familiares em Português ou como as preferem usar:
1. a. A primeira é se se usa "retículo" tanto quanto "reticulad
1 - 100 de 332 matches
Mail list logo
