quot;
Cc: "Carlos G González" , "Carlos González"
Enviadas: Domingo, 13 de maio de 2018 18:16:38
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
Prezado Samuel,
> Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis,
>
Prezado Samuel,
> Valeria, escolher ZF, ZF + AD, ZF + DC, ZF + Existem inacessíveis,
> ZF + Não existem inacessíveis...
> Vai ter gente dando bons motivos para qualquer um deles.
Não sei se bons motivos, mas tentei analisar prós e contras para algum
deles em:
http://www.jstor.org/stable/23915422?
Como é esse Princípio de Ariadne?
2018-05-11 22:56 GMT-03:00 Walter Carnielli :
> Oi Valéria, quando me refiro ao infinito, eu falo de todos, não só dos
> "bonzinhos que não mordem", tipo infinito potencial. Cão potencial
> também não morde :-)
>
> Falo sobre todos os outros, "higher-order infin
Oi Valéria, quando me refiro ao infinito, eu falo de todos, não só dos
"bonzinhos que não mordem", tipo infinito potencial. Cão potencial
também não morde :-)
Falo sobre todos os outros, "higher-order infinities". Cachorro grande...
Mas lembro de novo que há o nosso "Princ[ipio de Ariadne", q
>A resposta é que, no contexto da teoria de conjuntos, o termo
“construtivo” é usado de modo muito mais generoso que em outros contextos
ah, sim, obrigada pela clarificacao, Rodrigo.
ela faz a discussao muito mais razoavel.
(como eu nao li seu paper, nao queria insistir no ponto que as provas
inici
... Perfeito Rodrigo,
Agora estou me lembrando que vi esse tipo de exemplos em palestras suas.
Obrigado! Até,
[]s Samuel
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, env
Oi Samuel.
A resposta é que, no contexto da teoria de conjuntos, o termo “construtivo” é
usado de modo muito mais generoso que em outros contextos. De fato, muito pouco
da teoria de conjuntos poderia ser dito construtivo em um sentido mais estrito
do termo porque a própria lógica de base já s
esse !)
>
> Até,
>
> []s Samuel
>
>
> --
> *De: *"Valeria de Paiva"
> *Para: *"Lista acadêmica brasileira dos profissionais e estudantes da
> área de LOGICA"
> *Cc: *"Samuel"
> *Enviadas: *Sexta-feira, 11 de maio de 2018 13:25:32
> *A
brasileira dos profissionais e estudantes da área de
> LOGICA"
> Cc: "Samuel"
> Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
> Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
> (Palestra)
>
> obrigada, de novo, Samuel. a ideia da
teorema de Baire numa recursão pura e simples)
- Mensagem original -
De: "Valeria de Paiva"
Para: "Lista acadêmica brasileira dos profissionais e estudantes da área de
LOGICA"
Cc: "Samuel"
Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
Assunto: Re: [L
Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser, vende
o seu peixe, ne?
> Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir
> os segmentos iniciais finitos, eu v
estudantes da área de
LOGICA"
Cc: "Samuel"
Enviadas: Sexta-feira, 11 de maio de 2018 13:25:32
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser, vende
o seu peixe, ne?
obrigada, de novo, Samuel. a ideia da minha pergunta e' que quem quiser,
vende o seu peixe, ne?
>Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de
garantir os segmentos iniciais finitos, eu vou ter a sequência toda... Sem
contar que é equivalente ao Teorema de Baire para Métricos
cado claro, o meu "o axioma da escolha não tem culpa
>> de nada" faz parte de um grande "nenhum axioma tem culpa de nada" -
>> minha postura é meio que aceitar os problemas de cada um dos caminhos, e
>> trabalhar um pouco com todos também, porque todos são pesquisa
>> inte
m todos também, porque todos são pesquisa
> interessante e valiosa.
>
>
> ----------------------
> *De: *"Julio Stern"
> *Para: *logica-l@dimap.ufrn.br
> *Cc: *sam...@ufba.br
> *Enviadas: *Sexta-feira, 11 de maio de 2018 8:00:34
> *Assunto: *Re: [Logica-l]
4:00 AM
To: logica-l@dimap.ufrn.br
Cc: sam...@ufba.br
Subject: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
Há uma questão mais ou menos recente no mathoverflow que está diretamente
relacionada com o seu título.
https://mathoverflow.net/questions/297738/in-what-ways-is
radamente utilitaristas
de um usario exigente e mal-criado
das ferramentas da Logica,
---Julio Stern
From: Rodrigo Freire
Sent: Friday, May 11, 2018 4:00 AM
To: logica-l@dimap.ufrn.br
Cc: sam...@ufba.br
Subject: Re: [Logica-l] Re: O Axioma da Escolha não tem
Há uma questão mais ou menos recente no mathoverflow que está diretamente
relacionada com o seu título.
https://mathoverflow.net/questions/297738/in-what-ways-is-zf-without-choice-somewhat-constructive
Abraço
Em 10 de mai de 2018, à(s) 22:59, 'Samuel Gomes' via LOGICA-L
escreveu:
> Oi Clau
a verdade essa minha última pergunta é o ponto, talvez.
>
> Atés,
>
> []s Samuel
>
> --
> *De: *"Valeria de Paiva"
> *Para: *"Lista acadêmica brasileira dos profissionais e estudantes da
> área de LOGICA"
> *Cc: *"Samue
; Cc: "Samuel"
> Enviadas: Quinta-feira, 10 de maio de 2018 18:30:48
> Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
> (Palestra)
>
>
> oi Samuel e Walter,
>
> tem uma grande distancia entre
>>o Axioma da Escolha não deve ser consider
nais e estudantes da área de
LOGICA"
Cc: "Samuel"
Enviadas: Quinta-feira, 10 de maio de 2018 18:30:48
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
oi Samuel e Walter,
tem uma grande distancia entre
> o Axioma da Escolha não deve
profissionais e estudantes da área de
LOGICA"
Cc: "Samuel"
Enviadas: Quinta-feira, 10 de maio de 2018 18:30:48
Assunto: Re: [Logica-l] Re: O Axioma da Escolha não tem culpa de nada
(Palestra)
oi Samuel e Walter,
tem uma grande distancia entre
> o Axioma da Escolha não deve ser
oi Samuel e Walter,
tem uma grande distancia entre
>o Axioma da Escolha não deve ser considerado o *único* culpado no que se
refere a situações completamente anti-intuitivas envolvendo partições !
e
>o Axioma da Escolha não tem culpa *nenhuma*, quem tem é a noção de
medida, que é mal definida..
23 matches
Mail list logo
