Tenho sangue negro, judeu, indio, branco berbere. Me qualifico como? Viralata?
Sent from my iPhone
On 25/05/2013, at 02:31, Marcelo Finger wrote:
>> Em primeiro lugar, cabe considerar que as opções constante deste item
> estão
>> perfeitamente de acordo com os parâmetros da auto atribuição que
Não sei o que seria um "argumento não-lógico". Um bom argumento, mesmo que
seja um argumento sociológico, deve obedecer a certas exigências de
racionalidade que descrevemos formalmente.
Entretanto, eu sustento que em geral, devemos dar dois passos atrás perante
qualquer proferimento por parte de s
Caro Juan Carlos:
Vou entao colocar um argumento historico na panela.
A primeira Lei de Cotas para universidades foi instituida
em 1887 pelo Czar Alexandre III, restringindo a participacao
de minorias etnicas nas universidades da Russia Imperial.
Esta lei foi logo imitada em varios estad
Caros
Eu vejo algo mais embaixo nessa questão das raças no Lattes: cotas para bolsas
de pesquisa, por exemplo. Não se pode confiar nessa gente. Eles não dão ponto
sem nó.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de San
-- Forwarded message --
This is to let you know that in coming December there will be a
International Conference in Kolkata on Facets of uncertainty and its
applications. The details of the conference is available in the
following website
http://icfua.org/
If any of you or your s
In What Sense is Set Theory a ‘Foundation’ for Mathematics?
http://mathoverflow.net/questions/131835/in-what-sense-is-set-theory-a-foundation-for-mathematics
É uma boa pergunta, e pode dar mote a uma discussão de interesse para
membros desta lista.
JM
_
Então eu coloco uma. Suponha uma teoria das usuais, como grupos. Podemos pensar
a teoria de grupos como envolvendo as seguintes categorias de axiomas (é apenas
uma das alternativas, claro): 1) os da lógica elementar (pois necessitamos
fazer inferências e coisas do tipo), 2) os de uma teoria como
Olás,
Minha resposta à pergunta do Decio, de sopetão, seria: um grupo
deveria ser um conjunto que satisfaz uma fórmula (de primeira ordem,
com apenas uma variável livre, etc.) que diz
"x é grupo"
(os três axiomas de grupos; se preferirmos, pensamos numa terna
(x,.,e) e dizemos que a tern
Eu diria "na trave", Samuel. Na verdade, se um grupo é um conjunto, precisamos
de ZF. O predicado ao qual você se refere é uma fórmula da linguagem de ZF e as
estruturas que o satisfazem são conjuntos de ZF. A pegadinha é que seriam
modelos de ZF. Não são: em ZF podemos provar que, dado um cardi
> O predicado ao qual você se refere é uma fórmula da linguagem de ZF
> e as estruturas que o satisfazem são conjuntos de ZF. A pegadinha é que
> seriam modelos de ZF. Não são: em ZF podemos provar que, dado um
> cardinal $\alpha$ qualquer, há sempre um cardinal estritamente maior do
> que $\alpha$
Sim, mas o que tem L-S com isso?
O fato é que uma estrutura de grupo não pode modelar ZF, senão daria o maior
angú.
D
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.
13/5/25 Decio Krause :
> Sim, mas o que tem L-S com isso?
> O fato é que uma estrutura de grupo não pode modelar ZF, senão daria o
> maior angú.
> D
Bem, você protestou a respeito do tamanho do modelo...
Não conheço a Teoria dos Angus, então não vou opinar a respeito. :-b
Olha, os matemáticos (
Olás,
Sim, existem grupos para cada cardinalidade (basta pensar no grupo de
kappa palavras, para cada cardinal kappa).
... Entao, a colecao de todos os grupos é uma classe (assim como para
os espacos topológicos, já que todo cardinal pode receber a topologia
discreta também).
Ou seja, G
> (Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha
> o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a
> se pensar, claro)
Queria acrescentar que eu acho que não é um candidato. Eu só achei
que o "argumento da cardinalidade" formulado antes nã
Olás,
Sim, creio que um upward LS resolve também. Mas o grupo das palavras
nas kappa letras é mais palpável para os matemáticos mainstream, que
nem sabem de LS, para baixo ou para cima... Como eu vivo entre
matemáticos mainstream, acabo de me acostumando com esses exemplos.
Outra coisa en
Não estou compreendendo muito bem qual é o direcionamento que estão
querendo dar a esta discussão.
Em primeiro lugar, já que nomearam L-S, entram em pauta as questões de
relativização, pois se não considerarmos essas questões a coisa passa
de confusa para contraditória. Eu gosto da linguagem metaf
Caros Colegas:
A discussão sobre o XVII EBL, a ser realizado em Petrópolis, no próximo ano de
2014, está bastante interessante!
Como Presidente de Sociedade Brasileira de Lógica, encaminho a todos algumas
informações necessárias.
1) Durante a Assembléia da SBL, ocorrida durante o XVI EBL, em Pe
Caros Colegas:
Em minha mensagem anterior, não explicitei que, desde o último EBL e após a
Assembléia da SBL, os colegas que foram indicados para apresentar propostas
para a realização do XVII EBL, mantiveram diversos contatos comigo e outros
diretores da SBL, preocupados com a organização do SBL.
18 matches
Mail list logo
