Meio confuso esse conceito de non-Gödelian...
2010/8/2
> Oi Dória,
>
> É verdade que Gentzen 36 é equivalente a G que é equivalente a Con(PA), o
> que acho que Smorynski e outros querem dizer com "verdade aritmética
> nao-Godeliana", ou algo assim, é que nao se trata de uma sentenca baseada em
>
Oi Samuel.
Taí um tópico que sempre me interessou, pois eu me considero um
"anti-infinitista"
> Esse argumento é mais ou menos o seguinte: se tiramos o Axioma do
> Infinito de ZFC, podemos até mesmo incluir um Axioma do tipo "Todos os
> conjuntos sao finitos" e essa teoria fica consistente - bast
Sempre tem um algoritmo pa resolver instâncias finitas e número do problema
da parada; não tem é ***um só** algoritmo.
2010/8/3 Marcelo Finger
> Oi Samuel.
>
> Taí um tópico que sempre me interessou, pois eu me considero um
> "anti-infinitista"
>
> > Esse argumento é mais ou menos o seguinte: se
-- Forwarded message --
From: Francisco Antonio Doria
Date: 2010/8/3
Subject: Re: [Logica-l] Resenha de Gödel sobre Skolem-- um deslize acerca
dos modelos não standard
To: Marcelo Finger , sam...@ufba.br,
logica-l@dimap.ufrn.br
Sempre tem um algoritmo pa resolver instâncias finit
Olá,
Doria: de fato, o tal conceito de "sentenca nao-Godeliana" está
confuso, mas acho que é um termo nao-técnico que o pessoal usa em
apresentacoes históricas, nao deve ter uma definicao formal disso
mesmo. Acho que convém evitar essa expressao e dar nomes aos bois,
Gentzen, Paris-Harring
oi Marcelo, Samuel,
Achei interessante a ideia de uma `teoria de conjuntos finitos'.
Seria parecida com a teoria de modelos finitos,
http://en.wikipedia.org/wiki/Finite_model_theory?
nunca ouvi ninguem falar de 'finite set theory', mas teoria de
conjuntos nao 'e exatamente a minha praia. existe um
A seguir, apenas uma curiosidade, sobre algumas imagens que me
deixaram impressionado com a capacidade da computação
gráfica e o talento (e paciência) de alguns artistas dessa área:
Provavelmente vocês conhecem a famosa foto de Sharbat Gula, menina
afegã de enormes olhos verdes, tirada p
-- Forwarded message --
FIRST CALL FOR PAPERS
TICTTL - Third International Congress on Tools for Teaching Logic
1-4 June 2011, Salamanca, Spain
http://logicae.usal.es/TICTTL/
Submission of Papers: 8th December 2011
Notification of Acceptance: 1st February 2011
Final Camera-Ready
Olá Valeria,
Seguem alguns links. Surgem relacoes com modelos nao-standards de PA,
e também com uma certa AST - Alternative Set Theory. Mas nao pesquisei
diretamente sobre nada disso, meus comentários sobre "cortar o
universo" no nível /omega sao folkore. Mais ou menos como cortar o
univer
