> 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 > %%% > > 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í... :-/ > > %%% -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiypdYgHx%2BowMGtdxivjbLvLFiRQrEvTzrB_RdJedaA6w%40mail.gmail.com.
