\n\tNotre r\u00e9dacteur en chef et Feng\n<\/p>\n
\n\t\n<\/p>\n
\n\tNotes de la r\u00e9daction :<\/strong><\/span>La communaut\u00e9 math\u00e9matique occidentale a longtemps absolutis\u00e9 l'interpr\u00e9tation de la coh\u00e9rence, ce qui a conduit \u00e0 des erreurs majeures dans le domaine des math\u00e9matiques, entra\u00eenant un grand brouillard dans le domaine des fondements math\u00e9matiques. Un math\u00e9maticien amateur chinois, apr\u00e8s des d\u00e9cennies de recherche, a math\u00e9matis\u00e9 les paradoxes et les modes de pens\u00e9e contradictoires, et a cr\u00e9\u00e9 la \"logique super-coh\u00e9rente de type S\", qui a renvers\u00e9 un certain nombre de th\u00e9or\u00e8mes math\u00e9matiques qui \u00e9taient depuis longtemps ancr\u00e9s dans le domaine des math\u00e9matiques et qui \u00e9taient consid\u00e9r\u00e9s comme la ligne directrice classique, et ses th\u00e9ories ont fourni un soutien linguistique math\u00e9matique au syst\u00e8me de pens\u00e9e scientifique \"Wo Xue\". Sa th\u00e9orie fournit \u00e9galement un soutien linguistique math\u00e9matique \u00e0 la logique dialectique c\u00e9leste du syst\u00e8me de pens\u00e9e scientifique \"Wo-Science\", ce qui conduira \u00e0 une nouvelle \u00e8re math\u00e9matique !<\/strong><\/span>\n<\/p>\n \n \n \n\t\n<\/p>\n \n\tVaste univers, \u00e9toiles brillantes ; longue histoire, h\u00e9ros !\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tDe la nature \u00e0 la soci\u00e9t\u00e9 humaine, de la science \u00e0 la religion, du tai-chi oriental \u00e0 la dialectique occidentale ...... Les paradoxes fa\u00e7onnent les lois ultimes de l'univers.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tLe paradoxe est une \u00e9nigme scientifique jeune et ancienne ! Il y a paradoxe lorsque la conclusion contredit les conditions initiales. Si l'\u00e9v\u00e9nement A se produit, on en d\u00e9duit que ce n'est pas le cas ; si ce n'est pas le cas, on en d\u00e9duit que c'est le cas.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tIl existe un c\u00e9l\u00e8bre \"paradoxe du menteur\" dans la Gr\u00e8ce antique. Au sixi\u00e8me si\u00e8cle av.Cr\u00e8te<\/a>philosophe \n\t\n<\/p>\n \n\tEn 1897, Forte a r\u00e9v\u00e9l\u00e9 le premier paradoxe de la th\u00e9orie des ensembles dans le domaine des math\u00e9matiques, et plus tard, le math\u00e9maticien Cantor a trouv\u00e9 un paradoxe tr\u00e8s similaire dans sa th\u00e9orie des nombres ordinaux. 1902, Russel a trouv\u00e9 un autre paradoxe math\u00e9matique au sens strict. Le paradoxe de Russel a \u00e9branl\u00e9 tout l'\u00e9difice math\u00e9matique, et le paradoxe a finalement suscit\u00e9 la \"panique\" de la communaut\u00e9 scientifique et une grande attention.\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\tLes brumes de l'Ouest<\/b>\n<\/p>\n \n\t\n<\/p>\n \n\tLe paradoxe de Russell a \u00e9branl\u00e9 l'ensemble des fondements des math\u00e9matiques, historiquement connus sous le nom de \"th\u00e9orie des math\u00e9matiques\".La troisi\u00e8me crise math\u00e9matique<\/a>. Afin de r\u00e9soudre ce paradoxe, la communaut\u00e9 math\u00e9matique occidentale a propos\u00e9 de nombreuses th\u00e9ories et m\u00e9thodes nouvelles pour trouver une solution.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tPour r\u00e9soudre cette crise math\u00e9matique. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tIl existe \u00e9galement l'\u00e9cole de la th\u00e9orie axiomatique des ensembles qui, afin de surmonter les paradoxes de la th\u00e9orie des ensembles, tente d'axiomatiser la th\u00e9orie des ensembles en utilisant le syst\u00e8meaxiomatique<\/a>Restrictions sur les ensembles.Chemero (nom de famille)<\/a>(Zermelo) et le syst\u00e8me ZF propos\u00e9 par Fraenkel et al.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tLes programmes susmentionn\u00e9s, qui recherchent tous essentiellement la coh\u00e9rence du syst\u00e8me, ont \u00e9t\u00e9 \u00e9tablis pour \u00e9viter les contradictions. L'histoire a prouv\u00e9 que toutes les \u00e9coles de pens\u00e9e susmentionn\u00e9es ont leurs propres m\u00e9rites et d\u00e9fauts, compensant les nombreuses lacunes de la base math\u00e9matique. Cependant, elles n'ont pas une compr\u00e9hension unifi\u00e9e les unes des autres, et leurs objectifs respectifs n'ont pas \u00e9t\u00e9 pleinement r\u00e9alis\u00e9s, sans parler de l'explication claire des paradoxes.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tUn syst\u00e8me logique classique est un syst\u00e8me logique compatible qui \"s'effondre\" en cas de paradoxe. Contrairement au programme de recherche coh\u00e9rent susmentionn\u00e9, il y a eu r\u00e9cemment un certain nombre de syst\u00e8mes logiques internationaux qui prennent en compte les contradictions et les paradoxes, ce qui est diff\u00e9rent, mais la plupart d'entre eux restreignent la loi de la contradiction. En modifiant les n\u00e9gations des syst\u00e8mes logiques classiques, le syst\u00e8me peut prendre en compte les contradictions sans pour autant s'effondrer. Par exemple, le syst\u00e8me br\u00e9silien Dakshta (Da. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tLe paradoxe de Russell est li\u00e9 \u00e0 une m\u00e9thode diagonale. La \"m\u00e9thode de construction diagonale\" est \u00e9galement une m\u00e9thode de preuve classique en math\u00e9matiques. \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tDepuis que le \"th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del\" et la \"m\u00e9thode de preuve diagonale de Cantor\" ont \u00e9t\u00e9 propos\u00e9s, de nombreuses questions ont \u00e9t\u00e9 soulev\u00e9es au niveau international. Par exemple, le c\u00e9l\u00e8bre philosophe autrichien, logicien math\u00e9matique Wittgenstein (Wittgenstein), ne reconna\u00eet pas la preuve de Cantor et G\u00f6del. Priest, le fondateur de la logique paradoxale en Australie, ont tous deux ni\u00e9 la validit\u00e9 de la preuve du th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del. Cependant, leurs points de vue sont fragmentaires, philosophiques et peu math\u00e9matiques. Ils n'ont pas rendu le probl\u00e8me clair et approfondi, et n'ont donc pas \u00e9t\u00e9 accept\u00e9s par l'\u00e9cole math\u00e9matique dominante.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tAu fil des si\u00e8cles, la m\u00e9thode diagonale et les paradoxes qui lui sont associ\u00e9s, ses lois d'existence et son m\u00e9canisme interne n'ont toujours pas \u00e9t\u00e9 clarifi\u00e9s. Les fondements des math\u00e9matiques occidentales sont noy\u00e9s dans le brouillard, sans direction claire ni avenir en vue. Cela signifie \u00e9galement que le paradoxe n'est pas un probl\u00e8me local dans un certain domaine des math\u00e9matiques, mais qu'il engendre une perc\u00e9e dans une approche totalement nouvelle.\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\t\"Une preuve irr\u00e9futable.<\/b>\n<\/p>\n \n\t <\/b>\n<\/p>\n \n\tCes derni\u00e8res ann\u00e9es, un chercheur amateur chinois en logique, Zhang Jincheng, a cr\u00e9\u00e9 un tout nouveau syst\u00e8me logique - la logique supercoordonn\u00e9e de type S - bas\u00e9 sur la g\u00e9n\u00e9ralisation des \u00e9checs math\u00e9matiques occidentaux. \n\t\n<\/p>\n \n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tLa logique supercoordonn\u00e9e de type S ne modifie que tr\u00e8s peu le syst\u00e8me logique classique, et ses d\u00e9ductions sont subversives et r\u00e9volutionnaires. Elle nie un grand nombre de th\u00e9or\u00e8mes math\u00e9matiques occidentaux, qui sont tous faux.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tEn particulier :\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\t1) La preuve du th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del a \u00e9t\u00e9 rejet\u00e9e.\n<\/p>\n \n\t\n<\/p>\n \n\t\n<\/p>\n \n\tEn 1931, G\u00f6del a prouv\u00e9 que \"le syst\u00e8me formel contenant les nombres naturelsIl s'agit du c\u00e9l\u00e8bre th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del, qui est consid\u00e9r\u00e9 comme une contribution historique au domaine des math\u00e9matiques au XXe si\u00e8cle et comme un \"jalon dans l'histoire du d\u00e9veloppement des math\u00e9matiques et de la logique\". Il a impr\u00e9gn\u00e9 tous les domaines des math\u00e9matiques, de la logique, du langage, de l'intelligence artificielle, des sciences naturelles, des sciences de la pens\u00e9e et de l'\u00e9pist\u00e9mologie, et m\u00eame des sciences humaines. \"Le th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del est consid\u00e9r\u00e9 comme une r\u00e8gle d'or par l'\u00e9cole dominante et jouit des plus grands honneurs. La logique supercoh\u00e9rente de type s prouve que les \"propositions ind\u00e9cidables de G\u00f6del\" sont des termes extradimensionnels dans le syst\u00e8me des nombres naturels, et obtient ensuite les r\u00e9sultats suivants \"Des propositions ind\u00e9cidables similaires existent en dehors de l'ensemble r\u00e9cursif g\u00e9n\u00e9ral\". La proposition ind\u00e9cidable de G\u00f6del n'affecte pas la compl\u00e9tude du syst\u00e8me, et la preuve du \"th\u00e9or\u00e8me d'incompl\u00e9tude de G\u00f6del\" n'est pas valide. En raison des limites de la pens\u00e9e conventionnelle, G\u00f6del a d\u00e9couvert le terme extra-territorial, mais il ne l'a pas reconnu et a pens\u00e9 \u00e0 tort qu'il avait prouv\u00e9 le \"th\u00e9or\u00e8me d'incompl\u00e9tude\". C'est comme si Christophe Colomb avait d\u00e9couvert le Nouveau Monde au XVe si\u00e8cle, mais l'avait confondu avec l'Inde. G\u00f6del a commis une erreur similaire.<\/span>\n<\/p>\n
\n(Epim\u00e9nide) dit : \"Tous les Cr\u00e9tois sont des menteurs\". Ce paradoxe met l'esprit humain face \u00e0 un dilemme. En raison de sa popularit\u00e9, il peut \u00eatre compris par presque tout le monde. Par cons\u00e9quent, le paradoxe du menteur est devenu un jeu de r\u00e9flexion apr\u00e8s le d\u00eener.\n<\/p>\n
\nRussell a propos\u00e9 le programme du logicisme ; Hilbert (Hilbert) a propos\u00e9 le c\u00e9l\u00e8bre plan de Hilbert pour \u00e9tablir un fondement des math\u00e9matiques en prouvant minutieusement la non-contradiction des math\u00e9matiques, connu sous le nom de formalisme ; Brouwer (Brouwer) a propos\u00e9 les math\u00e9matiques constructives, contre l'utilisation de la loi d'exclusion et de l'antidote dans l'ensemble infini, connu sous le nom d'intuitionnisme. Le formalisme, le logicisme et l'intuitionnisme sont les trois c\u00e9l\u00e8bres \u00e9coles de pens\u00e9e en logique math\u00e9matique.\n<\/p>\n
\nLa \"logique subcoh\u00e9rente\" de Costa, la \"logique incoh\u00e9rente\" de R. Brandow et la \"logique supercoh\u00e9rente\" de R. Routley, ainsi que la \"logique paradoxale\" de G. Priest, sont tous des syst\u00e8mes logiques de ce type. \"La \"logique incoh\u00e9rente\" de R. Brandow et la \"logique hypercoordonn\u00e9e\" de R. Routley, ainsi que la \"logique paradoxale\" de G. Priest, sont tous des syst\u00e8mes logiques de ce type.\n<\/p>\n
\nCantor l'a utilis\u00e9 pour prouver que \"l'ensemble des puissances des nombres naturels est ind\u00e9nombrable\" et que \"l'ensemble des nombres r\u00e9els est ind\u00e9nombrable\" ; G\u00f6del l'a utilis\u00e9 pour prouver que \"le syst\u00e8me des nombres naturels PA est incomplet\" ; Turing l'a utilis\u00e9 pour prouver que \"le probl\u00e8me de l'arr\u00eat\" est ind\u00e9cidable ; et dans la th\u00e9orie de la r\u00e9cursion, il a \u00e9t\u00e9 utilis\u00e9 pour prouver qu'\"il existe un ensemble non r\u00e9cursif sur l'ensemble des nombres naturels\". G\u00f6del l'a utilis\u00e9 pour prouver que \"le syst\u00e8me des entiers naturels PA est incomplet\", Turing l'a utilis\u00e9 pour prouver que \"le probl\u00e8me de l'arr\u00eat\" est ind\u00e9cidable, et la th\u00e9orie de la r\u00e9cursion l'a utilis\u00e9 pour prouver qu'\"il existe un ensemble non r\u00e9cursif sur l'ensemble des entiers naturels\", et ainsi de suite, les preuves de ces propositions importantes utilisent la m\u00eame m\u00e9thode math\u00e9matique, qui est connue sous le nom de \"m\u00e9thode de la r\u00e9cursion\". Ces propositions importantes sont prouv\u00e9es par la m\u00eame m\u00e9thode math\u00e9matique, connue sous le nom de \"diagonale dor\u00e9e\".\n<\/p>\n
\nLa logique supercoh\u00e9rente de type S unifie compl\u00e8tement toutes sortes de \"paradoxes math\u00e9matiques\", de \"propositions ind\u00e9cidables de G\u00f6del\", de \"preuves diagonales de Cantor\", etc., qui ont \u00e9t\u00e9 longtemps non r\u00e9solus, et d\u00e9couvre que leurs formes math\u00e9matiques communes sont compl\u00e8tement \u00e9quivalentes, et en tire la conclusion qui a choqu\u00e9 le monde. Ils ont trouv\u00e9 leur forme math\u00e9matique commune, compl\u00e8tement \u00e9quivalente, et en ont tir\u00e9 une conclusion qui a choqu\u00e9 le monde.\n<\/p>\n