Só mais uma instância da máxima: Traduttore, traditore. Em seg., 23 de out. de 2023 às 13:49, Joao Marcos <botoc...@gmail.com> escreveu:
> > 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ê 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+unsubscr...@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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiypdYgHx%2BowMGtdxivjbLvLFiRQrEvTzrB_RdJedaA6w%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 -- 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/CAGG7Aw032WJep5U4qz5%2Bzhpuiy056Xa_ENgu5LAfgTn%2BR6vpUg%40mail.gmail.com.
