O Guinness assume a Hipótese do Contínuo (e o Axioma da Escolha)

[Joao Marcos]

Smallest infinite number

https://www.guinnessworldrecords.com/world-records/smallest-infinite-number/

JM

[Samuel Gomes]

... Pelo menos para a parte do Axioma da Escolha, o Axioma da Escolha Enumeravel já dá conta do serviço...

O Dicionário Aurélio também assume essa mesma porção de princípio de escolha que o Guiness. A definição de conjunto infinito que tem no Aurélio é: que tem bijeçao com uma parte própria ! Isso é equivalente, em ZF, a possuir um subconjunto infinito enumeravel (= ser comparável com aleph_0, com aleph_0 por baixo, nos termos do comentário do post no site do Guiness).

... Feliz Natal a todos,

[]s Samuel

[Marcelo Finger]

O Guinness Book of Records possui uma reputação muito maior do que aquela que seria compatível com os seus atos.  Ele recebe substancial apoio de diversas ditaduras que gostam de figurar em seus anais, com valorosos récordes como as que envolvem manifestação de ciclistas (no caso, em favor do chefe supremo do Turcomenistão).

Veja o episódio do John Oliver sobre o tal líder (Gurbengully Burdymohamadoff, em grafia minha) e tenha um dia repleto de risadas.

Feliz 2020!

[]s

PS: E se v gosta do John Oliver, não perca o Episódio com o musical  "Eat shit, Bob"!

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjbbCpyUxZM%2Bd%3DhZT2_skKxLPjHW3tdA%2B9q-f_NV%2B4kXg%40mail.gmail.com.

--

 Marcelo Finger
 Departament of Computer Science, IME    
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009