ve' ou é MENOS breve do que 'breve'? Eu não
> sei. Em música, por exemplo, uma nota semibreve tem a metade da duração de
> uma nota breve. Então, neste sentido musical, um comentário semibreve
> deveria ser ainda mais rápido do que um comentário breve. Vo
nte enumerável, etc, não se aplica sempre. Para
> a expressão "recursivamente saturado" essa mudança não é aplicada e acho
> que ninguém fala "computavelmente saturado".
>
> Abraço
> Rodrigo
> ___
> Logica-l maili
o deixa claro qual é a ordem das operações.
> Já vi uma situação em que isso foi confuso: fazer substituição e
> ralativização. Faz diferença a ordem em que essas operações são efetuadas e
> em alguns contextos a ordem correta pode não ficar clara pela notação.
>
> Abraço
> Rodrig
n-interview-with-kurt-gdel/
>
> [...]
> GLL: Do you dream of Turing machines?
> Gödel: What do you think I am, a madman?
> [...]
>
>
> :-b
> JM
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dim
ot;multiplicidade" parecia inadequada, as palavras "kind" e
> >>>>> > "sort" pareciam contaminadas de significado filosófico
> indesejável, a
> >>>>> > história do termo "class" foi bastante complexa e seu uso moderno
&g
remos chance de estar fazendo um trabalho profissional de boa
> qualidade.
>
> Ficou mais claro o que penso?
>
> Bjs,
>
> Andréa
> ___________
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
--
Anderson de A
A
B
bottom: base
C
claim: alegação
D
dialethea: dialetéia
dialetheic: dialetéica(o)
E
F
forcing: forçamento
frame: enquadramento
G
H
I
J
K
L
M
model-theoretical: modelo-teórica(o)
N
negation-free: livre de negações
O
P
proof: prova, demonstração
proof-theoretic: demonstraci
istinfo/logica-l
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
> ___
> Logica-l mailing list
> Logica-l@
