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
... Oi Rodrigo,
Meio que reforçando/explicitando uma possível pergunta sugerida pelo
comentário do Walter pra Valeria,
--> Como você explica/justifica que no seu sistema/no seu critério o axioma
do infinito seja construtivo ?
Porque, de fato, à primeira vista ele parece ser não-construtivo, n
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
Olás,
O paper do Rodrigo ele mesmo explica depois;
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.
Eu gosto de ZF + DC porque todas as sequências que eu sou capaz de garantir
os segme
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
Oi Claus,
É isso mesmo, o infinito é uma bela abstração; o número de partículas do
universo é finito, hehe.
Então, não temos para onde correr: mesmo com todos os problemas que possam
aparecer, não podemos
dispensar a noção de infinito. O máximo que a pessoa pode fazer é decidir
se quer viver c
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..
... Anotada a sugestão !
Abraço,
[]s Samuel
On Thursday, May 10, 2018 at 5:23:52 PM UTC-3, Samuel Gomes da Silva wrote:
>
> Prezados,
>
> Amanhã (sexta 11/05, às 14h50, na sala 219 do PAF-I/Campus Ondina,
> Salvador), retomando as atividades do Seminário de Lógica da UFBA,
> apresentarei a pal
27 matches
Mail list logo
