Notre rédacteur en chef et Feng

Notes de la rédaction :La communauté mathématique occidentale a longtemps absolutisé l'interprétation de la cohérence, ce qui a conduit à des erreurs majeures dans le domaine des mathématiques, entraînant un grand brouillard dans le domaine des fondements mathématiques. Un mathématicien amateur chinois, après des décennies de recherche, a mathématisé les paradoxes et les modes de pensée contradictoires, et a créé la "logique super-cohérente de type S", qui a renversé un certain nombre de théorèmes mathématiques qui étaient depuis longtemps ancrés dans le domaine des mathématiques et qui étaient considérés comme la ligne directrice classique, et ses théories ont fourni un soutien linguistique mathématique au système de pensée scientifique "Wo Xue". Sa théorie fournit également un soutien linguistique mathématique à la logique dialectique céleste du système de pensée scientifique "Wo-Science", ce qui conduira à une nouvelle ère mathématique !

Vaste univers, étoiles brillantes ; longue histoire, héros !

De la nature à la société humaine, de la science à la religion, du tai-chi oriental à la dialectique occidentale ...... Les paradoxes façonnent les lois ultimes de l'univers.

Le paradoxe est une énigme scientifique jeune et ancienne ! Il y a paradoxe lorsque la conclusion contredit les conditions initiales. Si l'événement A se produit, on en déduit que ce n'est pas le cas ; si ce n'est pas le cas, on en déduit que c'est le cas.

Il existe un célèbre "paradoxe du menteur" dans la Grèce antique. Au sixième siècle av.Crètephilosophe
(Epiménide) dit : "Tous les Crétois sont des menteurs". Ce paradoxe met l'esprit humain face à un dilemme. En raison de sa popularité, il peut être compris par presque tout le monde. Par conséquent, le paradoxe du menteur est devenu un jeu de réflexion après le dîner.

En 1897, Forte a révélé le premier paradoxe de la théorie des ensembles dans le domaine des mathématiques, et plus tard, le mathématicien Cantor a trouvé un paradoxe très similaire dans sa théorie des nombres ordinaux. 1902, Russel a trouvé un autre paradoxe mathématique au sens strict. Le paradoxe de Russel a ébranlé tout l'édifice mathématique, et le paradoxe a finalement suscité la "panique" de la communauté scientifique et une grande attention.

Les brumes de l'Ouest

Le paradoxe de Russell a ébranlé l'ensemble des fondements des mathématiques, historiquement connus sous le nom de "théorie des mathématiques".La troisième crise mathématique. Afin de résoudre ce paradoxe, la communauté mathématique occidentale a proposé de nombreuses théories et méthodes nouvelles pour trouver une solution.

Pour résoudre cette crise mathématique.
Russell a proposé le programme du logicisme ; Hilbert (Hilbert) a proposé le célèbre plan de Hilbert pour établir un fondement des mathématiques en prouvant minutieusement la non-contradiction des mathématiques, connu sous le nom de formalisme ; Brouwer (Brouwer) a proposé les mathématiques 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élèbres écoles de pensée en logique mathématique.

Il existe également l'école de la théorie axiomatique des ensembles qui, afin de surmonter les paradoxes de la théorie des ensembles, tente d'axiomatiser la théorie des ensembles en utilisant le systèmeaxiomatiqueRestrictions sur les ensembles.Chemero (nom de famille)(Zermelo) et le système ZF proposé par Fraenkel et al.

Les programmes susmentionnés, qui recherchent tous essentiellement la cohérence du système, ont été établis pour éviter les contradictions. L'histoire a prouvé que toutes les écoles de pensée susmentionnées ont leurs propres mérites et défauts, compensant les nombreuses lacunes de la base mathématique. Cependant, elles n'ont pas une compréhension unifiée les unes des autres, et leurs objectifs respectifs n'ont pas été pleinement réalisés, sans parler de l'explication claire des paradoxes.

Un système logique classique est un système logique compatible qui "s'effondre" en cas de paradoxe. Contrairement au programme de recherche cohérent susmentionné, il y a eu récemment un certain nombre de systèmes logiques internationaux qui prennent en compte les contradictions et les paradoxes, ce qui est différent, mais la plupart d'entre eux restreignent la loi de la contradiction. En modifiant les négations des systèmes logiques classiques, le système peut prendre en compte les contradictions sans pour autant s'effondrer. Par exemple, le système brésilien Dakshta (Da.
La "logique subcohérente" de Costa, la "logique incohérente" de R. Brandow et la "logique supercohérente" de R. Routley, ainsi que la "logique paradoxale" de G. Priest, sont tous des systèmes logiques de ce type. "La "logique incohérente" de R. Brandow et la "logique hypercoordonnée" de R. Routley, ainsi que la "logique paradoxale" de G. Priest, sont tous des systèmes logiques de ce type.

Le paradoxe de Russell est lié à une méthode diagonale. La "méthode de construction diagonale" est également une méthode de preuve classique en mathématiques.
Cantor l'a utilisé pour prouver que "l'ensemble des puissances des nombres naturels est indénombrable" et que "l'ensemble des nombres réels est indénombrable" ; Gödel l'a utilisé pour prouver que "le système des nombres naturels PA est incomplet" ; Turing l'a utilisé pour prouver que "le problème de l'arrêt" est indécidable ; et dans la théorie de la récursion, il a été utilisé pour prouver qu'"il existe un ensemble non récursif sur l'ensemble des nombres naturels". Gödel l'a utilisé pour prouver que "le système des entiers naturels PA est incomplet", Turing l'a utilisé pour prouver que "le problème de l'arrêt" est indécidable, et la théorie de la récursion l'a utilisé pour prouver qu'"il existe un ensemble non récursif sur l'ensemble des entiers naturels", et ainsi de suite, les preuves de ces propositions importantes utilisent la même méthode mathématique, qui est connue sous le nom de "méthode de la récursion". Ces propositions importantes sont prouvées par la même méthode mathématique, connue sous le nom de "diagonale dorée".

Depuis que le "théorème d'incomplétude de Gödel" et la "méthode de preuve diagonale de Cantor" ont été proposés, de nombreuses questions ont été soulevées au niveau international. Par exemple, le célèbre philosophe autrichien, logicien mathématique Wittgenstein (Wittgenstein), ne reconnaît pas la preuve de Cantor et Gödel. Priest, le fondateur de la logique paradoxale en Australie, ont tous deux nié la validité de la preuve du théorème d'incomplétude de Gödel. Cependant, leurs points de vue sont fragmentaires, philosophiques et peu mathématiques. Ils n'ont pas rendu le problème clair et approfondi, et n'ont donc pas été acceptés par l'école mathématique dominante.

Au fil des siècles, la méthode diagonale et les paradoxes qui lui sont associés, ses lois d'existence et son mécanisme interne n'ont toujours pas été clarifiés. Les fondements des mathématiques occidentales sont noyés dans le brouillard, sans direction claire ni avenir en vue. Cela signifie également que le paradoxe n'est pas un problème local dans un certain domaine des mathématiques, mais qu'il engendre une percée dans une approche totalement nouvelle.

"Une preuve irréfutable.

Ces dernières années, un chercheur amateur chinois en logique, Zhang Jincheng, a créé un tout nouveau système logique - la logique supercoordonnée de type S - basé sur la généralisation des échecs mathématiques occidentaux.
La logique supercohérente de type S unifie complètement toutes sortes de "paradoxes mathématiques", de "propositions indécidables de Gödel", de "preuves diagonales de Cantor", etc., qui ont été longtemps non résolus, et découvre que leurs formes mathématiques communes sont complètement équivalentes, et en tire la conclusion qui a choqué le monde. Ils ont trouvé leur forme mathématique commune, complètement équivalente, et en ont tiré une conclusion qui a choqué le monde.

La logique supercoordonnée de type S ne modifie que très peu le système logique classique, et ses déductions sont subversives et révolutionnaires. Elle nie un grand nombre de théorèmes mathématiques occidentaux, qui sont tous faux.

En particulier :

1) La preuve du théorème d'incomplétude de Gödel a été rejetée.

En 1931, Gödel a prouvé que "le système formel contenant les nombres naturelsIl s'agit du célèbre théorème d'incomplétude de Gödel, qui est considéré comme une contribution historique au domaine des mathématiques au XXe siècle et comme un "jalon dans l'histoire du développement des mathématiques et de la logique". Il a imprégné tous les domaines des mathématiques, de la logique, du langage, de l'intelligence artificielle, des sciences naturelles, des sciences de la pensée et de l'épistémologie, et même des sciences humaines. "Le théorème d'incomplétude de Gödel est considéré comme une règle d'or par l'école dominante et jouit des plus grands honneurs. La logique supercohérente de type s prouve que les "propositions indécidables de Gödel" sont des termes extradimensionnels dans le système des nombres naturels, et obtient ensuite les résultats suivants "Des propositions indécidables similaires existent en dehors de l'ensemble récursif général". La proposition indécidable de Gödel n'affecte pas la complétude du système, et la preuve du "théorème d'incomplétude de Gödel" n'est pas valide. En raison des limites de la pensée conventionnelle, Gödel a découvert le terme extra-territorial, mais il ne l'a pas reconnu et a pensé à tort qu'il avait prouvé le "théorème d'incomplétude". C'est comme si Christophe Colomb avait découvert le Nouveau Monde au XVe siècle, mais l'avait confondu avec l'Inde. Gödel a commis une erreur similaire.

2) La preuve du "théorème de Cantor" a été rejetée.

En 1873, Cantor a défini les ensembles dénombrables et indénombrables par la méthode de la correspondance biunivoque ; il a prouvé par la "méthode diagonale" que l'ensemble infini ne pouvait pas établir une correspondance biunivoque avec son ensemble puissance ; l'ensemble puissance de l'ensemble des nombres naturels est indénombrable, et les nombres réels sont indénombrables. Ces théories ont imprégné tous les domaines spécifiques des mathématiques modernes. La logique supercohérente de type s prouve que Cantor a utilisé la méthode "Méthode diagonale"Les termes construits par le terme sont tous extraterritoriaux, et sont formellement les mêmes que "paradoxe" et "proposition indécidable extraterritoriale", qui est un "terme non fermé" extraterritorial. ". Par conséquent, la preuve de Cantor n'est pas valide.

Rejette la preuve que le problème d'arrêt de Turing est indécidable. Turing
La preuve de l'"indécidabilité du problème de l'arrêt" est un théorème important dans la théorie traditionnelle de la calculabilité, et la preuve de ce théorème dans la logique hypercohérente de type S est également diagonale, avec les termes construits à partir du domaine, comme dans le cas du théorème d'incomplétude de Gödel, Il est formellement prouvé que "l'indénombrabilité des nombres réels de Cantor" est la même chose que "le problème du temps d'arrêt de Turing est indécidable".
La preuve est erronée. Une "machine de Turing" indécidable est un "terme non fermé" extra-domaine.

3. n'admet pas la validité universelle du contrefactuel.

La méthode antidiagonale est une méthode de preuve classique en mathématiques. Toutes les preuves diagonales sont antidémontrables, et la logique supercohérente de type S suggère que l'antidémonstration ne peut être efficace que dans un domaine fermé, au-delà duquel elle est invalide. Tant qu'il y a de l'autoréférence, on peut produire des "termes non fermés", sur la base de l'utilisation aveugle du "contrefactuel", ce qui ne peut que conduire à des conclusions erronées. Par conséquent, non seulement la preuve du "théorème d'incomplétude de Gödel" est erronée, mais de nombreux théorèmes et théories similaires ou basés sur le "théorème d'incomplétude de Gödel", tels que le "problème de l'arrêt de la machine de Turing, le problème de la détermination d'ensembles récursifs", etc. Le "problème de l'arrêt de la machine de Turing, le problème de la décidabilité des ensembles récursifs", etc., doivent être réexaminés, et cela impliquera la philosophie des mathématiques, la logique mathématique, la théorie de l'informatique, la théorie des fonctions, la théorie de la mesure, etc. dans de nombreux domaines scientifiques fondés sur le théorème cantorien d'incomplétude.

Le génie mathématique exceptionnel de notre époque

Zhang Jincheng, le créateur original de la "logique supercoordonnée de type S", est un génie mathématique contemporain exceptionnel en Chine. Il était à l'origine un simple professeur de mathématiques dans le comté de Guangde, dans la province d'Anhui. Il a fait ces preuves et ces découvertes mathématiques significatives, qui sont très surprenantes. Il n'était pas un chercheur scientifique professionnel ni un professeur d'université. À l'origine, il enseignait les mathématiques et la philosophie à l'école du parti, puis, en raison du besoin de recherche, il a démissionné et a fondé une école de formation pour former les élèves de l'enseignement secondaire aux Olympiades, et a continué à rechercher des problèmes mathématiques et paradoxaux pendant des décennies pendant son temps libre.

Zhang Jincheng aimait particulièrement les mathématiques pendant ses années de collège et de lycée. Lorsqu'il était au lycée, il a suivi seul les cours universitaires de "calcul" et de "théorie des fonctions des variables complexes", et a fait preuve d'un talent particulièrement élevé et d'un grand intérêt pour les mathématiques. Il n'a pas étudié les mathématiques dans une université formelle et a rejoint le monde du travail après avoir obtenu son diplôme de fin d'études secondaires. Bien qu'il ait obtenu plus tard un diplôme universitaire grâce aux fonctions qu'il a exercées à l'école du parti, rien de tout cela n'avait à voir avec les mathématiques. Toutes ses connaissances en mathématiques ont été acquises par l'étude personnelle. Certaines théories mathématiques occidentales telles que la "théorie des ensembles", la "théorie de la récursivité", la "logique mathématique" et ainsi de suite, qui étaient intimidantes pour le médecin, ont été pratiquement apprises en autodidacte.

Alors qu'il n'avait qu'une vingtaine d'années, il a publié un article sur la logique mathématique dans le journal de l'université de Wuhan. Gui Qiquan et Chen Xiaoping, professeurs du département de philosophie de l'université de Wuhan, l'ont hautement apprécié et ont espéré l'admettre comme étudiant de troisième cycle à l'université de Wuhan. En raison de l'obstruction de certaines opinions dissidentes, il n'a finalement pas réussi. Il a publié son premier système formel Z dans le Wuhan University Journal, qui semble aujourd'hui plutôt naïf, mais qui lui a donné la bonne direction pour établir la "logique supercoordonnée de type S" à l'avenir.

Il pense que la cohérence pure des systèmes mathématiques dans la communauté occidentale de la logique mathématique et l'exclusion des contradictions et des paradoxes dans la méthodologie de recherche semblent avoir perdu l'orientation et la direction philosophiques, tournant en rond dans un cul-de-sac sans pouvoir trouver l'issue fondamentale. La culture Taiji du taoïsme chinois contient la philosophie dialectique du yin et du yang, une philosophie qui accepte les contradictions ; pouvons-nous unifier la philosophie dialectique et les constructions mathématiques, ces deux directions de développement ? L'utilisation de méthodes mathématiques pures pour étudier les contradictions, les paradoxes et d'autres questions philosophiques, qui sont à l'avant-garde de la communauté de pensée mathématique occidentale, est devenue son principal objectif de recherche. Au fil des décennies, il a participé à ses propres frais à des dizaines de conférences dans des universités et des établissements d'enseignement supérieur, a apporté des centaines de corrections et a finalement mis au point le système de logique ultra cohérente.

De 2011 à 2014, son article intitulé "Immovable Terms and Undecidable Propositions in Logic and Mathematical Algorithms I and II" a été publié dans le Journal of Intelligent Systems, qui a reçu les éloges du professeur He Huacan de l'université polytechnique du Nord-Ouest, pour lequel il a personnellement rédigé un article de synthèse.

L'idée de base de la "logique supercoordonnée de type S", partiellement publiée dans le Journal of Intelligent Systems, a été soutenue et affirmée par certains chercheurs. D'autres ont également publié des articles contestataires et négatifs. À l'exception de quelques opinions qui peuvent être adoptées pour améliorer et clarifier la théorie, la plupart d'entre eux ont des malentendus ou croient aveuglément à l'autorité et ne comprennent pas du tout son article.

2015En 2007, dans un "Academic Issues Review Garden" en ligne, Zhang Jincheng et le professeur He Huacan ont mené un débat historique. La "logique supercoordonnée de type S" exige une compréhension globale de la philosophie, de la logique, de la théorie des ensembles, de l'infini, de l'analyse non standard et d'autres domaines transversaux, et certains domaines intellectuels ont publié de mauvaises critiques avec une foi superstitieuse unilatérale et aveugle dans les universitaires faisant autorité, qui constituent toutes une mauvaise interprétation de la "logique supercoordonnée de type S". Mauvaise interprétation. La situation actuelle a montré que l'influence des nouvelles théories s'étend et que les forces traditionnelles perdent du terrain. Un sophisme est un sophisme.

En 2016, l'ouvrage de Zhang Jincheng intitulé "S-type supercoordinated logic" a été traduit en anglais et sera publié dans des pays occidentaux tels que le Royaume-Uni, les États-Unis et l'Australie, afin que les experts et les universitaires de la communauté mathématique occidentale puissent comprendre et accepter la logique supercoordonnée de type S.

Contribution et importance de la nouvelle théorie

SD'une part, le système logique supercoordonné est brisé, niant que le théorème susmentionné s'avère erroné ; d'autre part, il est établi, rétablissant également certaines nouvelles propositions et théories. Il revêt donc une importance théorique et pratique considérable.

1Le premier d'entre eux a été le renversement d'un certain nombre de théorèmes erronés qui avaient longtemps dominé le domaine des mathématiques.

"Les nombres réels sont indénombrables", "L'ensemble des puissances de tous les nombres naturels est indénombrable","Théorème d'incomplétude de Gödel (math.)" Le problème de l'arrêt de Turing est indécidable", "Il existe des fonctions non récursives de fonctions sur l'ensemble des nombres naturels", etc. et les nombreux théorèmes qui leur sont associés, sont tous faux par association.

2Les déchets mathématiques ont été nettoyés.

En raison du raisonnement erroné de la méthode de la preuve diagonale, un certain nombre d'inepties mathématiques inutiles telles que l'indénombrable, l'indécidable, le non-récursif, ..., etc., ont été dérivées des théories de la théorie des ensembles, de la théorie de la récursivité, de la théorie du calcul, etc. qui doivent toutes être complètement rejetées.

3Le projet de loi sur l'éducation a permis de reconstruire de nouveaux axiomes, de nouveaux systèmes, de nouvelles méthodes et de nouveaux théorèmes.

Il est à nouveau prouvé que : les nombres réels sont un ensemble dénombrable ; l'ensemble des puissances de tous les nombres naturels est dénombrable ; Cantor"en diagonaleFrançais"Les chiffres construits sont hyperréalistes ; il est prouvé une fois de plus que le systèmePAest complète ; toutes les fonctions sur l'ensemble des nombres naturels sont récursives ; le "problème de l'arrêt de Turing" est décidable, etc.

L'"axiome de l'infini" a été révisé, les nombres ordinaux et de base ont été redéfinis et il n'y a plus de nombres ordinaux et de base indénombrables ; la méthode de l'induction transcendantale a été révisée et la méthode de l'induction des nombres surnaturels a été établie. Le concept d'infini a été reconceptualisé, et l'analyse standard, l'analyse non standard et l'infini de la théorie des ensembles ont été unifiés, etc.

4Le premier d'entre eux est la résolution d'un certain nombre de problèmes mathématiques qui sont restés apparemment sans solution pendant une longue période de l'histoire des mathématiques.

Le "problème de l'hypothèse du continuum" est un problème de Hilbert"23Un problème mathématique"Quatrième rapport périodique du Secrétaire général sur la mise en oeuvre du Programme d'action pour le développement durable des petits Etats insulaires en développement1Une question.1938En 2007, Gödel a prouvé que l'hypothèse du continuum n'est pas compatible avec l'hypothèse de l'univers.ZFNon-contradiction des systèmes d'axiomes de la théorie des ensembles.1963En 2007, le mathématicien américain Korth (P. Choen) prouve que l'hypothèse du continuum n'est pas compatible avec l'hypothèse de l'existence de l'eau.ZFLes axiomes sont indépendants les uns des autres. L'hypothèse du continuum ne peut donc pas être utiliséeZFLes axiomes sont prouvés. On suppose généralement que le problème est résolu dans ce sens. Cependant, la "logique supercohérente de type S" prouve que les bases indénombrables n'existent pas du tout. Le "problème de l'hypothèse du continuum" est un problème erroné qui confond le concept d'infini. Il existe d'autres problèmes tels que l'axiome de l'infini, l'axiome du choix et l'induction transcendantale, qui ont tous des conclusions précises.

5etSLa logique supercoordonnée de type a changé la façon dont nous pensons logiquement.

Toute la logique classique occidentale repose sur une pensée cohérente. La pensée cohérente occidentale est absolue. Penser que le monde entier est cohérent. Inconscient de la normalité de l'existence de contradictions en dehors du domaine. Pense que chaque fois qu'une contradiction est construite au sein d'un système, le système est erroné. En réalité, la cohérence n'existe que par rapport à un domaine fermé qui ignore les hypothèses et les microfondations. Le monde extérieur est précisément en mouvement et contradictoire. L'utilisation de contradictions extra-domaines comme base de raisonnement à l'intérieur du domaine a conduit à des arguments tels que "l'approche diagonale de Cantor", "[...].G?delThéorème d'incomplétude" et autres conséquences désastreuses.SLa création d'une logique hypercohérente de type nie la validité absolue de la cohérence et de la non-contradiction, qui sont elles aussi relativement valides.

Les lois de la logique classique ont toujours été considérées comme des vérités absolues. A partir deSCela ne semble pas être le cas pour la logique supercohérente de type. La loi de non-contradiction et la loi d'exclusion ont également un champ d'application. Les termes extraterritoriaux ne sont pas valables pour la logique classique. C'est exactement comme la création de la géométrie non euclidienne, qui a nié la validité absolue de la géométrie euclidienne.SLa production de logiques hypercohérentes peut être comparée à la production de géométries non euclidiennes.

6Le rôle est transformateur pour les fondements des mathématiques, de la logique mathématique, de la théorie informatique de base, etc.

La découverte de Zhang Jincheng est choquante.

Il a fait comprendre au monde entier qu'un ensemble de problèmes aussi graves était caché dans la théorie sous-jacente des mathématiques modernes. Au fur et à mesure que les gens comprenaient mieux, laSL'impact de la logique hypercohérente de type va s'accroître de jour en jour. Il affectera de nombreux domaines scientifiques qui pensent en termes de contrefactuels. Jamais auparavant dans l'histoire de la science il n'y a eu autant d'erreurs que dans le "théorème de Gödel", le "théorème de Cantor", le "théorème de Turing", etc.

Liu Haofeng, le fondateur d'Harmony, penseur et philosophe contemporain, a fait remarquer un jour que tout système stable doit être holistique plutôt que local, la logique mathématique-dialectique plutôt que la logique mathématique-formelle. Liu Haofeng et lui-même ont compris que l'utilisation intégrée de la logique mathématique dialectique et de la logique mathématique formelle pour nettoyer et reconstruire ces théories conduirait à une nouvelle révolution scientifique pour l'humanité.

Zhang Jincheng'sStype de logique hypercohérente, qui est mathématique au niveau micro et philosophique au niveau macro. Il s'avère que la cohérence n'est valable que dans des domaines fermés et qu'elle est contradictoire en dehors de ceux-ci. Cette loi a été formulée philosophiquement de manière très proche dans l'Antiquité et à l'époque moderne. Toutefois, c'est la première fois dans l'histoire qu'elle a été formulée avec précision sur le plan mathématique. C'est la grande réussite de Zhang Jincheng.

SLa logique supercoordonnée de type annoncera la fin de l'ère de Russell, Cantor, Gödel et Turing. La renaissance culturelle chinoise a atteint un nouveau sommet en mathématiques.

Le processus de compréhension des lois objectives par l'humanité est un processus en constante progression qui n'a jamais de fin.

Sans aucun doute, Cantor, Gödel. Turing et d'autres sont20Une génération de grands scientifiques du siècle a fait date dans les domaines de la théorie des ensembles, de la logique mathématique, de l'informatique et de la philosophie. Mais comme les grands hommes de l'histoire, ils ont aussi connu des limites plus ou moins historiques. Aujourd'hui, leurs théories sont appelées à être remplacées par de nouvelles.

Selon le taoïsme, le yin et le yang sont à l'origine de toutes les choses du ciel et de la terre. Si nous plaçons le domaine de la théorie dans le contexte de l'univers entier, nous pouvons en déduire que "la contradiction est la force fondamentale qui dirige le développement et le mouvement des choses".

Les lois mathématiques des paradoxes sont clarifiées, et les paradoxes n'ont pas encore disparu de la nature, de la société humaine et de la science. En effet, les paradoxes existent universellement.

Chaque fois qu'il y a une avancée majeure dans le domaine de la science, le pouvoir mystérieux du paradoxe peut toujours être observé. Le paradoxe est la grande force motrice de l'évolution de la nature, et le paradoxe est l'épopée héroïque du progrès de la société humaine !

 (Cet article fait référence à l'ouvrage du professeur Ho Wah Chan intituléSA major breakthrough in type supercoordinated logic", in Zhang Jincheng, Principles of Supercoordinated Logic, Beijing Book Publishing House, Beijing, China.2015Première édition, année.P2.)