vasores). Enquanto o
invasor continuar existindo, a violência continuará existindo, mas uma
violência é justa: a da reação do povo submetido ao extermínio. A outra
violência, a do invasor, é claramente injusta (salvo do ponto de vista do
próprio invasor).
Saudações,
Márcio
Em domingo, 19
Oi, Samuel, obrigado pela gentileza das suas respostas anteriores que eu
não comentei muito diretamente. :-)
Agradeço também ao Daniel por oferecer mais elementos para a discussão.
Obrigado! :-)
Tenho um amigo que escreveu recentemente um livro sobre como ZFC se
infiltra no solo e contamina toda
á q os lógicos, para descrever os raciocínios, quando
> inventam linguagens, agem como matemáticos. E me fez pensar ainda no que
> significa dizer q a matemática é ciência, o que é descoberta ou invenção ou
> constatação etc. Não tenho mesmo melhor resposta do q a do Márcio, são
> critérios pra
acho tudo bem interessante e
> provocativo, no bom sentido, de provocar questionamentos.
>
> abraços,
> Valeria
>
> On Sun, Aug 6, 2023 at 6:03 AM Márcio Palmares
> wrote:
>
>> E quanto à matemática dos séculos 17, 18 e 19 de antes da aritmetização
>> da análise
E quanto à matemática dos séculos 17, 18 e 19 de antes da aritmetização da
análise e do surgimento da lógica moderna?
Newton, Leibniz, Gauss... Nenhum deles ouviu falar sobre ZFC. Se a
matemática é ZFC, o que eles praticavam? E quanto aos antigos? Arquimedes,
que nem algarismos indo-arábicos
Olá, pessoal!
Eu perguntei ao ChatGPT o seguinte:
Márcio: Certas espécies de pássaros possuem capacidade rudimentar de
cálculo. Pássaros comem frutos e raízes. Quando um pássaro calculador come
uma raiz quadrada de dois, certas enzimas em seu sistema digestivo são
capazes de examinar a raiz
Obrigado, Valeria!
O Joao Marcos também apontou esse artigo aí. :-)
Uma coisa que eu notei com o passar dos anos foi que existe uma barreira
que às vezes dificulta a conversa entre nós que nos reivindicamos
categoristas (eu ainda no nível amador, mas pleiteando promoção para o
nível
Em outros trabalhos mais populares do William Lawvere às vezes Cantor é
identificado com a teoria de conjuntos atual, e talvez o John L. Bell
estivesse reproduzindo também essa tendência simplificadora... :-)
Abraços,
Márcio
Em sexta-feira, 21 de outubro de 2022, Fernando Yamauti
escreveu:
>
lei do terceiro-excluído (mas acho que não terá
nenhuma conexão direta com antropologia ou linguística, ou biologia e
sociologia...) :-)
Abraços,
Márcio
Em sex., 21 de out. de 2022 às 13:08, Joao Marcos
escreveu:
> > Essa é fácil. Vai para a estante de sociologia, apesar do título.
> &
s, the Discrete
and the Infinitesimal in Philosophy and Mathematics".)
Essa opinião é interessante, especialmente porque ele parece ter sido o
orientador de doutorado do Graham Priest.
Aí onde ele deixou o problema, parece que temos um bom ponto de partida
para uma pesquisa séria sobre o assunto.
Abraços,
ença de Nixon não
se refere ao Watergate, mas sim às afirmações de Jones sobre o Watergate...
Mas acho que seria uma fuga meio desonesta, não sei...)
Valeu, pessoal! Obrigado!
Abraços!
M.
Em quinta-feira, 15 de abril de 2021, Tiago de Lima <
tiagosantosdel...@gmail.com> escreveu:
> Olá M
Olá, pessoal!
Preciso de uma ajudinha com um problema. Barwise e Etchemendy, no livro
"The Liar: An Essay on Truth and Circularity" citam o exemplo abaixo,
retirado do artigo de Kripke "Outline of a Theory of Truth", sobre
sentenças que, em si mesmas, não parecem problemáticas, mas que em
Sensacional essa ferramenta...
Obrigado, João Marcos, por compartilhar.
[]'s
M.
Em seg., 30 de nov. de 2020 às 21:32, Joao Marcos
escreveu:
> quiver
> https://varkor.github.io/blog/2020/11/25/announcing-quiver.html
>
>
> JM
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo
gt;
> Até mais,
>
> []s Samuel
> - Mensagem original -----
> De: Valeria de Paiva
> Para: Márcio Palmares
> Cc: Samuel Gomes da Silva , LOGICA-L <
> logica-l@dimap.ufrn.br>
> Enviadas: Sat, 10 Oct 2020 13:31:19 -0300 (BRT)
> Assunto: Re: Teoria Flow: o princípio da part
e nao, pois a gente sabe modelar
> o lambda-calculus com ou sem tipos.
> a minha impressao sobre foundational frameworks 'e que eles todos
> funcionam -mais ou menos- igualmente.
> umas coisas sao melhores em um, outras em outro, mas no final da' tudo
> mais ou menos no mesmo na media.
No livro "Introduction to higher order categorical logic", Lambek e P.J.
Scott dizem o seguinte:
"An obvious question to ask about the untyped λ-calculus, as originally
defined or as extended by us, is what its models, that is, Curry algebras
or C-monoids, look like. In particular, are there any
Muito obrigado, Samuel!
Vou ler! (Espero conseguir entender!) :-)
Abraço!
M.
Em sexta-feira, 9 de outubro de 2020, samuel escreveu:
> ... Bom, só pra dar um pitaco de Princípio da Partição em categorias,
> recentemente eu publiquei este paper aqui, relacionando tanto o Axioma da
> Escolha
Oi, Valeria!
Que bom que Adonai respondeu à sua pergunta... Eu sempre pensei assim: todo
epimorfismo pode ser cindido em Set, temos portanto uma versão categorial
do axioma da escolha, sabemos que o axioma da escolha implica a lei do
terceiro escolhido, então saberemos como é a álgebra dos
Olá, pessoal!
Estamos divulgando nosso trabalho sobre a teoria Flow, uma teoria geral
sobre funções, cujo propósito inicial era fornecer um framework tanto para
a teoria de categorias quanto para ZF. No meio do caminho, Adonai resolveu
o problema em aberto do princípio da partição, isto é,
Olá, pessoal!
Compartilho a seguir o link para o preprint de um artigo que será em breve
publicado (assim esperamos):
http://philsci-archive.pitt.edu/16610/
Trata-se de uma teoria de primeira ordem com igualdade e uma única letra
funcional, cuja interpretação pretendida é o conceito intuitivo
Olá, pessoal!
Escrevi um trabalho sobre o Lema de Yoneda (monografia de graduação) sob a
forma de um texto introdutório sobre Teoria de Categorias. Está disponível
para download no link abaixo:
https://hdl.handle.net/1884/57890
Já compartilhei em privado com alguns 'categoristas' da Lista. =)
Uma curiosidade: em seu livro "A Escalada do Homem" Jacob Bronowski diz que
von Neumann não considerava o xadrez como um jogo. De acordo com Bronowski,
von Neumann afirmava que o xadrez seria uma espécie de "técnica de
computação": para cada posição no tabuleiro, existe uma única solução que é
a
*--*
*Décio Krause*
*Departamento de Filosofia*
*Universidade Federal de Santa Catarina*
*88040-900 Florianópolis - SC - Brasil*
*http://www.cfh.ufsc.br/~dkrause http://www.cfh.ufsc.br/~dkrause*
*--*
Em 21/02/2014, às 11:38, Márcio Palmares
realmente estivesse sendo usada no sentido
matemático do termo?
Agradeço se alguém puder liquidar essa dúvida.
Abraço a todos,
Márcio
(estudante de licenciatura em matemática da UFPR procurando um resultado
interessante para seu trabalho de conclusão de curso...)
Em 25 de janeiro de 2010 22:45
nesta
lista.
Parabéns para você e para o Daniel por esse excelente trabalho.
Márcio
2011/10/2 Rodrigo Freire freires...@gmail.com
Olá a todos
Não que eu considere isso relevante, mas a atmosfera de discussão da usp
que
encontrou o erro foi constituída por duas pessoas apenas: eu e Daniel
2009/7/26 Frank Thomas Sautter ftsaut...@gmail.com
João Marcos,
ótima a indicação das colunas do Hélio, felizmente ele está de volta após
um período de ausência.
Os argumentos são idênticos aos do Richard Dawkins (não são originais), mas
vale a pena pela coragem intelectual do Hélio:
Prezado Arthur,
Admiro sua coragem e sinceridade, e também a clareza com que expõe seus pontos
de vista. Essas qualidades facilitam o trabalho de seus críticos.
Permita-me discordar de você, uma vez mais, em particular em relação à sua
enumeração de dois supostos filósofos:
1. Fritjof Capra;
!
Márcio
Novos endereços, o Yahoo! que você conhece. Crie um email novo com a sua
cara @ymail.com ou @rocketmail.com.
http://br.new.mail.yahoo.com/addresses
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman
28 matches
Mail list logo