Voce esta certo, Alisson. Dada a existencia de provas na matematica, ela nao
e' uma ciencia na definicao de Popper. Mas acho que isto importa pouco
(talvez para legitimar a disciplina com o publico) pois sua utilidade e'
obvia.
Carlos.
2011/6/5 Álisson Linhares linhares.alis...@gmail.com
Ruy e demais
Interessante o trabalho de seu aluno, Ruy. Parabéns a ambos.
Nos hiperconjuntos, a espécie de autoreferência que temos é que, não valendo o
axioma da fundação, um conjunto pode pertencer a si mesmo, e por aí a coisa
vai, como se sabe. Porém, quando se trata de frases como a do
Caríssimo Carlos Santos,
obrigado pelo você está certo. Sei que você vai entender o que quero
dizer, mas não estou certo. : ) Seguindo o raciocínio de Popper, minha
proposição é apenas uma hipótese.
Hipóteses que levantei na comunicação anterior:
1. No mundo da matemática, a Matemática é
OI Valéria.
Sim, o apelo é por algo que seja uma boa fundamentação mesmo se a
aritmética e a teoria dos conjuntos forem provadas inconsistentes (e ele
xplicitamente diz que devem ser), e ele apresenta constructive type theory
como a instanciação l de fundamento que pode sobreviver num mundo com
Oi Alisson,
Voce toca em assuntos diversos e complexos ao ponto de nao poderem serem
discutidos todos juntos. De qualquer forma, pelo que eu pude entender sobre
o que te interessa, recomendo a leitura do livro 'Estrutura das revolucoes
cientificas', do Thomas Kuhn. Voce vai gostar, se ainda nao
A aritmética é consistente porque tem modelo (de primeira ordem).
Se o objetivo é provar a consistência de teorias da aritmética usando
inferênica de primeira ordem, isso não dá, pelos Teoremas de Goedel.
Mas vai que o modelo da aritmética tb é inconsistente! Ou a teoria dos
conjuntos usada
Uma teoria mais forte o prova, uai. Na verdade, basta apenas verificarmos
uma sentença.
2011/6/6 Marcelo Finger mfin...@ime.usp.br
A aritmética é consistente porque tem modelo (de primeira ordem).
Se o objetivo é provar a consistência de teorias da aritmética usando
inferênica de primeira
Caríssimo Carlos Santos,
discuto todos esses assuntos em conjunto por vê-los como
interdisciplinares.
Muito obrigado pela recomendação da obra de Thomas Kuhn. Pelo que já li
sobre o autor e sua obra, também acho que vou gostar.
Obrigado pelo elegantismo de seu comentário,
Afetuoso abraço,
--