curiosidades (equivocadas) sobre Russell

[Joao Marcos]

Se algum dos colegas tiver contatos na Sociedade Portuguesa de
Matemática, conviria lhes sugerir tirar esta página do ar:
https://clube.spm.pt/news/curiosidades-sobre-o-matemtico-e-filsofo-ingls-bertrand-russell-1872-1970

%%%

Vejam só isto:

"Russell descobriu este paradoxo em maio de 1901, enquanto trabalhava
no seu Principles of Mathematics (1903). Devido a este paradoxo,
muitos matemáticos (incluindo David Hilbert e Luitzen Brouwer),
concluíram que nenhuma prova podia ser confiável, uma vez que se
descobriu que a lógica aparentemente subjacente a toda a matemática
era contraditória.

A maioria das tentativas de resolver o paradoxo de Russell
concentrou-se, portanto, em várias maneiras de restringir ou abandonar
este axioma."

Não se salva praticamente nada disso aí... :-/

%%%

JM

[Joao Marcos]

> Se algum dos colegas tiver contatos na Sociedade Portuguesa de
> Matemática, conviria lhes sugerir tirar esta página do ar:
> https://clube.spm.pt/news/curiosidades-sobre-o-matemtico-e-filsofo-ingls-bertrand-russell-1872-1970

Eficientíssimos, os colegas lá de Portugal já tomaram providência e retiraram a página mal traduzida do ar! 👏

Quem quiser consultar o original, que foi feito com o devido apuro, pode ir diretamente a: 
https://mathshistory.st-andrews.ac.uk/Biographies/Russell/

"Russell discovered the paradox which bears his name in May 1901, while working on his Principles of Mathematics (1903). The paradox arose in connection with the set of all sets which are not members of themselves. Such a set, if it exists, will be a member of itself if and only if it is not a member of itself. The significance of the paradox follows since, in classical logic, all sentences are entailed by a contradiction. In the eyes of many mathematicians (including David Hilbert and Luitzen Brouwer) it therefore appeared that no proof could be trusted once it was discovered that the logic apparently underlying all of mathematics was contradictory. A large amount of work throughout the early part of this century in logic, set theory, and the philosophy and foundations of mathematics was thus prompted.

Russell's paradox arises as a result of naive set theory's so-called unrestricted comprehension (or abstraction) axiom. Originally introduced by Georg Cantor, the axiom states that any predicate expression, P(x), which contains x as a free variable, will determine a set whose members are exactly those objects which satisfy P(x). The axiom gives form to the intuition that any coherent condition may be used to determine a set (or class). Most attempts at resolving Russell's paradox have therefore concentrated on various ways of restricting or abandoning this axiom."

Fica aí agora em aberto o exercício saudável de tradução para quem entender minimamente do que se está a falar neste trecho.

JM

[Marcelo Finger]

Só mais uma instância da máxima: Traduttore, traditore.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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_LiypdYgHx%2BowMGtdxivjbLvLFiRQrEvTzrB_RdJedaA6w%40mail.gmail.com.

--

Marcelo Finger
 Departament of Computer Science, IME-USP   
 http://www.ime.usp.br/~mfinger

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

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP