Prezados colegas,
Resgatei essa mensagem antiga do Prof. Decio Krause porque estou intrigado
com um problema:
1º) De fato, é pouco provável que os estudantes de pedagogia possam
compreender o significado do programa da "epistemologia genética", pois não
possuem nenhum preparo em lógica ou em álge
use <http://www.cfh.ufsc.br/~dkrause>*
> *--*
>
> Em 21/02/2014, às 11:38, Márcio Palmares
> escreveu:
>
> Prezados colegas,
>
> Resgatei essa mensagem antiga do Prof. Decio Krause porque estou intrigado
> com um p
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 me
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. =)
C
Prezado Desidério,
Queira, por gentileza, se possível, criticar o seguinte ponto de vista:
“A filosofia teria cem vezes razão se reservasse para si os territórios aonde a
ciência não vai, não quer ir, não pode ir no momento. Mas nada a autoriza a
crer que seus processos estão guardados in aeter
Prezado Rocha,
Friederich Engels escreveu, a respeito do sistema de Hegel:
"El «sistema» es, cabalmente, lo efímero en todos los filósofos, y lo es
precisamente porque brota de una necesidad imperecedera del espíritu humano: la
necesidad de superar todas las contradicciones. Pero superadas toda
"O Sentido Essencial de Tudo".
O que seria isso? Teleologia?
Haverá algum "sentido essencial" em "alguma coisa"? Antes de que nos
certifiquemos disso, temos o direito de assegurar a existência de um "sentido
essencial" em "tudo"?
Há ordem na natureza, não há dúvida. Mas são nossas mentes li
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; e
E que tal essa:
"(...) o físico escocês James Clerk Maxwell estabeleceu quatro equações
matemáticas, com base no trabalho de Faraday e seus predecessores no campo
experimental, relativas a cargas e correntes elétricas com campos elétricos e
magnéticos. As equações mostravam uma curiosa ausência
2009/7/26 Frank Thomas Sautter
> 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:
"Avacalhação Oportuna
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 de
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 é, constru
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 subobje
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
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 m
o eu nao acho muito convincente 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
&
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
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 "LO
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
circunst
Valeu, Tiago! Obrigado!
Recebi a mesma dica do Walter, quase imediatamente após ter colocado a
dúvida.
Acho que finalmente entendi... Eu estava ignorando uma das condições...
São duas as circunstâncias excepcionais (e não apenas uma):
i) O número de sentenças proferidas por Nixon é par, e, além
Essa é fácil. Vai para a estante de sociologia, apesar do título.
Mas o assunto evocado no título e que nos remete à lógica, dialética e
princípio do terceiro excluído (talvez ausente neste livro), não está de
modo algum liquidado e um trabalho sério sobre o tema poderia figurar na
estante de lógi
Valeu, João Marcos!
Eu entrei na brincadeira porque fico incomodado com o abuso que certos
intelectuais fazem de noções emprestadas de uma filosofia dialética mal
digerida, mal compreendida. Nada sei a respeito do trabalho do Haddad como
pesquisador/professor, não quero com minhas observações desm
eria ter caráter contínuo e, de fato, o Lawvere interpreta
> Mengen como algo possivelmente dotado de coesão e outras propriedades não
> evidentes (algo de caráter intensional e talvez, na interpretação do
> Cantor, até dotado de algo além de pura forma). O segundo é o que hoje se
> i
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 semi-profissi
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 usand
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 possu
fala, mas 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
>> d
Oi Cassiano,
Eu não sabia nada sobre o Peirce até encontrá-lo no livrinho do John Lane
Bell sobre o cálculo com infinitesimais nilpotentes (A primer of
infinitesimal analysis).
De acordo com o John L. Bell, Peirce percebeu antes mesmo que Brouwer que
uma análise do contínuo como tal, o contínuo g
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
Concordo com o Cassiano.
Bom ouvir uma voz dissonante. A propaganda pró-Israel da rede globo, Folha
de São Paulo, e dos demais meios de comunicação no Brasil é sufocante...
E vale lembrar que a palavra chave aqui é "sionismo". E o sionismo não
surgiu após o nazismo, como as pessoas às vezes acred
O Joseph J. Rotman contou uma história bacana em um de seus livros (no
'Journey into Mathematics'), de quando ele era estudante na Universidade de
Chicago:
"One of my teachers, S. Mac Lane, defined a mathematician as a person who,
upon seeing something a second time, hears a bell ring."
(Claro qu
e a gente podia substituir certas constantes por uma
> variável e obter uma técnica bem mais geral em que as contas tinham
> exatamente a mesma estrutura - ou quase - que o caso particular com
> que a gente tinha começado.
>
> Aos poucos eu fui adaptando isso de vários jeitos e encontrand
32 matches
Mail list logo
