\n\tO nosso redator-chefe e Feng\n<\/p>\n
\n\t\n<\/p>\n
\n\tNotas do Editor:<\/strong><\/span>A comunidade matem\u00e1tica ocidental absolutizou durante muito tempo a interpreta\u00e7\u00e3o da consist\u00eancia, o que conduziu a grandes erros no dom\u00ednio da matem\u00e1tica, resultando numa grande quantidade de nevoeiro no dom\u00ednio dos fundamentos matem\u00e1ticos. Um acad\u00e9mico chin\u00eas, matem\u00e1tico amador, ao longo de d\u00e9cadas de investiga\u00e7\u00e3o, matematizou paradoxos e formas de pensar contradit\u00f3rias e criou a \"l\u00f3gica supercoerente do tipo S\", que derrubou uma s\u00e9rie de teoremas matem\u00e1ticos h\u00e1 muito enraizados no dom\u00ednio da matem\u00e1tica e que tinham sido considerados como a orienta\u00e7\u00e3o cl\u00e1ssica, e as suas teorias forneceram apoio lingu\u00edstico matem\u00e1tico ao sistema de pensamento cient\u00edfico \"Wo Xue\". A sua teoria tamb\u00e9m fornece um suporte lingu\u00edstico matem\u00e1tico para a l\u00f3gica dial\u00e9tica celestial do sistema de pensamento cient\u00edfico \"Wo-Science\", que conduzir\u00e1 a uma nova era matem\u00e1tica!<\/strong><\/span>\n<\/p>\n \n \n \n\t\n<\/p>\n \n\tUniverso vasto, estrelas brilhantes; longa hist\u00f3ria, her\u00f3is!\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tDa natureza \u00e0 sociedade humana, da ci\u00eancia \u00e0 religi\u00e3o, do Tai Chi oriental \u00e0 dial\u00e9tica ocidental ...... paradoxos moldam as leis \u00faltimas do universo.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tO paradoxo \u00e9 um velho e jovem enigma cient\u00edfico! Um paradoxo ocorre quando a conclus\u00e3o contradiz as condi\u00e7\u00f5es iniciais. Se o acontecimento A ocorre, ent\u00e3o n\u00e3o-A \u00e9 deduzido; se n\u00e3o-A ocorre, ent\u00e3o A \u00e9 deduzido.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tExiste um famoso \"Paradoxo do Mentiroso\" na Gr\u00e9cia antiga. No s\u00e9culo VI a.C.Creta<\/a>fil\u00f3sofo \n\t\n<\/p>\n \n\tEm 1897, Forte revelou o primeiro paradoxo na teoria dos conjuntos no dom\u00ednio da matem\u00e1tica e, mais tarde, o matem\u00e1tico Cantor encontrou um paradoxo muito semelhante na sua teoria dos n\u00fameros ordinais. 1902, Russel encontrou outro paradoxo matem\u00e1tico no sentido estrito da palavra. O paradoxo de Russel abalou todo o edif\u00edcio matem\u00e1tico e acabou por suscitar o \"p\u00e2nico\" da comunidade cient\u00edfica e uma grande aten\u00e7\u00e3o.\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\tA n\u00e9voa do Oeste<\/b>\n<\/p>\n \n\t\n<\/p>\n \n\tO paradoxo de Russell abalou toda a base da matem\u00e1tica, historicamente conhecida comoA terceira crise da matem\u00e1tica<\/a>. Para resolver o paradoxo, a comunidade matem\u00e1tica ocidental prop\u00f4s muitas teorias e m\u00e9todos novos para procurar uma solu\u00e7\u00e3o.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tPara resolver esta crise matem\u00e1tica. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tExiste tamb\u00e9m a escola da teoria axiom\u00e1tica dos conjuntos que, para ultrapassar os paradoxos da teoria dos conjuntos, tenta axiomatizar a teoria dos conjuntos utilizando aaxiom\u00e1tico<\/a>Restri\u00e7\u00f5es aos conjuntos.Chemero (apelido)<\/a>(Zermelo) e o sistema ZF proposto por Fraenkel et al.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tOs programas acima referidos, todos eles essencialmente orientados para a coer\u00eancia do sistema, foram estabelecidos para evitar contradi\u00e7\u00f5es. A hist\u00f3ria provou que todas as escolas de pensamento acima mencionadas t\u00eam os seus pr\u00f3prios m\u00e9ritos e defeitos, compensando as muitas defici\u00eancias da base matem\u00e1tica. No entanto, n\u00e3o t\u00eam uma compreens\u00e3o unificada umas das outras e os seus respectivos objectivos n\u00e3o foram plenamente realizados, para n\u00e3o falar da explica\u00e7\u00e3o clara dos paradoxos.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tUm sistema l\u00f3gico cl\u00e1ssico \u00e9 um sistema l\u00f3gico compat\u00edvel que se \"decomp\u00f5e\" se houver paradoxos. Em contraste com o programa de investiga\u00e7\u00e3o coerente acima referido, surgiram recentemente alguns sistemas l\u00f3gicos internacionais que acomodam contradi\u00e7\u00f5es e paradoxos, que s\u00e3o diferentes, mas a maior parte deles s\u00e3o restritivos da lei da contradi\u00e7\u00e3o. Ao modificar as nega\u00e7\u00f5es dos sistemas l\u00f3gicos cl\u00e1ssicos, o sistema pode acomodar contradi\u00e7\u00f5es sem causar o colapso do sistema. Por exemplo, o Daksta brasileiro (Da. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tO paradoxo de Russell est\u00e1 relacionado com um m\u00e9todo diagonal. O \"m\u00e9todo de constru\u00e7\u00e3o diagonal\" \u00e9 tamb\u00e9m um m\u00e9todo cl\u00e1ssico de prova em matem\u00e1tica. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tDesde que o \"Teorema da Incompletude de G\u00f6del\" e o \"M\u00e9todo da Prova Diagonal de Cantor\" foram propostos, muitas opini\u00f5es questionadoras foram levantadas a n\u00edvel internacional. Por exemplo, o famoso fil\u00f3sofo austr\u00edaco, o l\u00f3gico matem\u00e1tico Wittgenstein (Wittgenstein), n\u00e3o reconhece a prova de Cantor e G\u00f6del. Priest, o fundador da l\u00f3gica paradoxal na Austr\u00e1lia, negou a validade da prova do teorema da incompletude de G\u00f6del. No entanto, os seus pontos de vista s\u00e3o fragment\u00e1rios, filos\u00f3ficos e pouco matem\u00e1ticos. N\u00e3o tornaram o problema claro e exaustivo e, por isso, n\u00e3o foram aceites pela escola principal de matem\u00e1tica.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tAo longo dos s\u00e9culos, o m\u00e9todo da diagonal e os paradoxos que lhe est\u00e3o associados, as suas leis de exist\u00eancia e o seu mecanismo interno ainda n\u00e3o foram clarificados. Os fundamentos da matem\u00e1tica ocidental est\u00e3o envoltos num nevoeiro, sem dire\u00e7\u00e3o clara e sem futuro \u00e0 vista. Isto tamb\u00e9m significa que o paradoxo n\u00e3o \u00e9 um problema local num determinado dom\u00ednio da matem\u00e1tica, mas gera um avan\u00e7o numa abordagem completamente nova.\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\tUma prova \"a frio\".<\/b>\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\tNos \u00faltimos anos, um investigador chin\u00eas amador de l\u00f3gica - Zhang Jincheng - criou um sistema l\u00f3gico totalmente novo - a l\u00f3gica supercoordenada de tipo S - baseado na generaliza\u00e7\u00e3o dos fracassos matem\u00e1ticos ocidentais. \n\t\n<\/p>\n \n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tA l\u00f3gica supercoordenada do tipo S faz apenas uma pequena modifica\u00e7\u00e3o no sistema l\u00f3gico cl\u00e1ssico, e as suas infer\u00eancias s\u00e3o subversivas e revolucion\u00e1rias. \u00c9 negado um grande n\u00famero de teoremas matem\u00e1ticos ocidentais, todos eles falsos.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tEspecificamente:\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\t1) A prova do Teorema da Incompletude de G\u00f6del foi rejeitada.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tEm 1931, G\u00f6del provou que \"o sistema formal que cont\u00e9m os n\u00fameros naturaisTrata-se do famoso Teorema da Incompletude de G\u00f6del, que \u00e9 considerado uma contribui\u00e7\u00e3o hist\u00f3rica para o dom\u00ednio da matem\u00e1tica no s\u00e9culo XX e um \"marco na hist\u00f3ria do desenvolvimento da matem\u00e1tica e da l\u00f3gica\". O Inciso de G\u00f6del penetrou em todos os dom\u00ednios da matem\u00e1tica, da l\u00f3gica, da linguagem, da intelig\u00eancia artificial, das ci\u00eancias naturais, da ci\u00eancia do pensamento e da epistemologia, e at\u00e9 das humanidades. \"O Teorema da Incompletude de G\u00f6del foi considerado como uma regra de ouro pela escola dominante e goza da mais alta honra. A l\u00f3gica supercoerente do tipo s prova que as \"proposi\u00e7\u00f5es indecid\u00edveis de G\u00f6del\" s\u00e3o termos extradimensionais no sistema dos n\u00fameros naturais e obt\u00e9m \"Proposi\u00e7\u00f5es indecid\u00edveis semelhantes existem fora do conjunto recursivo geral\". A proposi\u00e7\u00e3o indecid\u00edvel de G\u00f6del n\u00e3o afecta a completude do sistema, e a prova do \"Teorema da Incompletude de G\u00f6del\" n\u00e3o \u00e9 v\u00e1lida. Devido \u00e0s limita\u00e7\u00f5es do pensamento convencional, G\u00f6del descobriu o termo extra-territorial, mas n\u00e3o o reconheceu e pensou erradamente que tinha provado o \"teorema da incompletude\". \u00c9 como se Colombo descobrisse o Novo Mundo no s\u00e9culo XV, mas o confundisse com a \u00cdndia. G\u00f6del cometeu um erro semelhante.<\/span>\n<\/p>\n
\n(Epim\u00e9nides) diz: \"Todos os cretenses s\u00e3o mentirosos\". Este paradoxo coloca a mente humana num dilema. Devido \u00e0 sua popularidade, pode ser compreendido por quase toda a gente. Como resultado, o Paradoxo do Mentiroso tornou-se um jogo de reflex\u00e3o depois do jantar.\n<\/p>\n
\nRussell apresentou o programa do logicismo; Hilbert (Hilbert) apresentou o famoso plano de Hilbert para estabelecer uma base da matem\u00e1tica e provar exaustivamente a n\u00e3o-contradi\u00e7\u00e3o da matem\u00e1tica, conhecido como formalismo; Brouwer (Brouwer) apresentou a matem\u00e1tica construtiva, contra a utiliza\u00e7\u00e3o da lei de exclus\u00e3o e do ant\u00eddoto no conjunto infinito, conhecido como intuicionismo. Formalismo, Logicismo e Intuicionismo s\u00e3o as tr\u00eas escolas de pensamento famosas na l\u00f3gica matem\u00e1tica.\n<\/p>\n
\nA \"l\u00f3gica subcoerente\" de Costa, a \"l\u00f3gica incoerente\" de R. Brandow e a \"l\u00f3gica supercoerente\" de R. Routley, bem como a \"l\u00f3gica paradoxal\" de G. Priest, s\u00e3o todos sistemas l\u00f3gicos deste tipo. A \"l\u00f3gica incoerente\" nos Estados Unidos, a \"l\u00f3gica descoordenada\" de R. Brandow nos Estados Unidos e a \"l\u00f3gica hipercoordenada\" de R. Routley na Austr\u00e1lia, bem como a \"l\u00f3gica paradoxal\" de G. Priest na Austr\u00e1lia, s\u00e3o todos sistemas l\u00f3gicos deste tipo.\n<\/p>\n
\nCantor utilizou-a para provar que \"o conjunto das pot\u00eancias dos n\u00fameros naturais \u00e9 incont\u00e1vel\" e \"o conjunto dos n\u00fameros reais \u00e9 incont\u00e1vel\"; G\u00f6del utilizou-a para provar que \"o sistema de n\u00fameros naturais PA \u00e9 incompleto\"; Turing utilizou-a para provar que \"o problema da paragem\" \u00e9 indecid\u00edvel; e na teoria da recurs\u00e3o, foi utilizada para provar que \"existe um conjunto n\u00e3o recursivo no conjunto dos n\u00fameros naturais\". G\u00f6del utilizou-o para provar que \"o sistema dos n\u00fameros naturais PA \u00e9 incompleto\", Turing utilizou-o para provar que \"o problema da paragem\" \u00e9 indecid\u00edvel, e a teoria da recurs\u00e3o utilizou-o para provar que \"existe um conjunto n\u00e3o-recursivo no conjunto dos n\u00fameros naturais\", e assim por diante, as provas destas importantes proposi\u00e7\u00f5es utilizam o mesmo m\u00e9todo matem\u00e1tico, que \u00e9 conhecido como o \"m\u00e9todo da recurs\u00e3o\", que \u00e9 conhecido como o \"m\u00e9todo da recurs\u00e3o\". Estas importantes proposi\u00e7\u00f5es s\u00e3o provadas pelo mesmo m\u00e9todo matem\u00e1tico, que \u00e9 conhecido como \"uma diagonal dourada\".\n<\/p>\n
\nA l\u00f3gica supercoerente de tipo S unifica completamente todos os tipos de \"paradoxos matem\u00e1ticos\", \"proposi\u00e7\u00f5es indecid\u00edveis de G\u00f6del\", \"provas diagonais de Cantor\", etc., h\u00e1 muito n\u00e3o resolvidos, e descobre que as suas formas matem\u00e1ticas comuns s\u00e3o completamente equivalentes, e tira a conclus\u00e3o que chocou o mundo. Descobriu-se que t\u00eam uma forma matem\u00e1tica comum, que \u00e9 completamente equivalente, e o mundo ficou chocado com a conclus\u00e3o.\n<\/p>\n