O nosso redator-chefe e Feng

Notas do Editor:A comunidade matemática ocidental absolutizou durante muito tempo a interpretação da consistência, o que conduziu a grandes erros no domínio da matemática, resultando numa grande quantidade de nevoeiro no domínio dos fundamentos matemáticos. Um académico chinês, matemático amador, ao longo de décadas de investigação, matematizou paradoxos e formas de pensar contraditórias e criou a "lógica supercoerente do tipo S", que derrubou uma série de teoremas matemáticos há muito enraizados no domínio da matemática e que tinham sido considerados como a orientação clássica, e as suas teorias forneceram apoio linguístico matemático ao sistema de pensamento científico "Wo Xue". A sua teoria também fornece um suporte linguístico matemático para a lógica dialética celestial do sistema de pensamento científico "Wo-Science", que conduzirá a uma nova era matemática!

Universo vasto, estrelas brilhantes; longa história, heróis!

Da natureza à sociedade humana, da ciência à religião, do Tai Chi oriental à dialética ocidental ...... paradoxos moldam as leis últimas do universo.

O paradoxo é um velho e jovem enigma científico! Um paradoxo ocorre quando a conclusão contradiz as condições iniciais. Se o acontecimento A ocorre, então não-A é deduzido; se não-A ocorre, então A é deduzido.

Existe um famoso "Paradoxo do Mentiroso" na Grécia antiga. No século VI a.C.Cretafilósofo
(Epiménides) diz: "Todos os cretenses são mentirosos". Este paradoxo coloca a mente humana num dilema. Devido à sua popularidade, pode ser compreendido por quase toda a gente. Como resultado, o Paradoxo do Mentiroso tornou-se um jogo de reflexão depois do jantar.

Em 1897, Forte revelou o primeiro paradoxo na teoria dos conjuntos no domínio da matemática e, mais tarde, o matemático Cantor encontrou um paradoxo muito semelhante na sua teoria dos números ordinais. 1902, Russel encontrou outro paradoxo matemático no sentido estrito da palavra. O paradoxo de Russel abalou todo o edifício matemático e acabou por suscitar o "pânico" da comunidade científica e uma grande atenção.

A névoa do Oeste

O paradoxo de Russell abalou toda a base da matemática, historicamente conhecida comoA terceira crise da matemática. Para resolver o paradoxo, a comunidade matemática ocidental propôs muitas teorias e métodos novos para procurar uma solução.

Para resolver esta crise matemática.
Russell apresentou o programa do logicismo; Hilbert (Hilbert) apresentou o famoso plano de Hilbert para estabelecer uma base da matemática e provar exaustivamente a não-contradição da matemática, conhecido como formalismo; Brouwer (Brouwer) apresentou a matemática construtiva, contra a utilização da lei de exclusão e do antídoto no conjunto infinito, conhecido como intuicionismo. Formalismo, Logicismo e Intuicionismo são as três escolas de pensamento famosas na lógica matemática.

Existe também a escola da teoria axiomática dos conjuntos que, para ultrapassar os paradoxos da teoria dos conjuntos, tenta axiomatizar a teoria dos conjuntos utilizando aaxiomáticoRestrições aos conjuntos.Chemero (apelido)(Zermelo) e o sistema ZF proposto por Fraenkel et al.

Os programas acima referidos, todos eles essencialmente orientados para a coerência do sistema, foram estabelecidos para evitar contradições. A história provou que todas as escolas de pensamento acima mencionadas têm os seus próprios méritos e defeitos, compensando as muitas deficiências da base matemática. No entanto, não têm uma compreensão unificada umas das outras e os seus respectivos objectivos não foram plenamente realizados, para não falar da explicação clara dos paradoxos.

Um sistema lógico clássico é um sistema lógico compatível que se "decompõe" se houver paradoxos. Em contraste com o programa de investigação coerente acima referido, surgiram recentemente alguns sistemas lógicos internacionais que acomodam contradições e paradoxos, que são diferentes, mas a maior parte deles são restritivos da lei da contradição. Ao modificar as negações dos sistemas lógicos clássicos, o sistema pode acomodar contradições sem causar o colapso do sistema. Por exemplo, o Daksta brasileiro (Da.
A "lógica subcoerente" de Costa, a "lógica incoerente" de R. Brandow e a "lógica supercoerente" de R. Routley, bem como a "lógica paradoxal" de G. Priest, são todos sistemas lógicos deste tipo. A "lógica incoerente" nos Estados Unidos, a "lógica descoordenada" de R. Brandow nos Estados Unidos e a "lógica hipercoordenada" de R. Routley na Austrália, bem como a "lógica paradoxal" de G. Priest na Austrália, são todos sistemas lógicos deste tipo.

O paradoxo de Russell está relacionado com um método diagonal. O "método de construção diagonal" é também um método clássico de prova em matemática.
Cantor utilizou-a para provar que "o conjunto das potências dos números naturais é incontável" e "o conjunto dos números reais é incontável"; Gödel utilizou-a para provar que "o sistema de números naturais PA é incompleto"; Turing utilizou-a para provar que "o problema da paragem" é indecidível; e na teoria da recursão, foi utilizada para provar que "existe um conjunto não recursivo no conjunto dos números naturais". Gödel utilizou-o para provar que "o sistema dos números naturais PA é incompleto", Turing utilizou-o para provar que "o problema da paragem" é indecidível, e a teoria da recursão utilizou-o para provar que "existe um conjunto não-recursivo no conjunto dos números naturais", e assim por diante, as provas destas importantes proposições utilizam o mesmo método matemático, que é conhecido como o "método da recursão", que é conhecido como o "método da recursão". Estas importantes proposições são provadas pelo mesmo método matemático, que é conhecido como "uma diagonal dourada".

Desde que o "Teorema da Incompletude de Gödel" e o "Método da Prova Diagonal de Cantor" foram propostos, muitas opiniões questionadoras foram levantadas a nível internacional. Por exemplo, o famoso filósofo austríaco, o lógico matemático Wittgenstein (Wittgenstein), não reconhece a prova de Cantor e Gödel. Priest, o fundador da lógica paradoxal na Austrália, negou a validade da prova do teorema da incompletude de Gödel. No entanto, os seus pontos de vista são fragmentários, filosóficos e pouco matemáticos. Não tornaram o problema claro e exaustivo e, por isso, não foram aceites pela escola principal de matemática.

Ao longo dos séculos, o método da diagonal e os paradoxos que lhe estão associados, as suas leis de existência e o seu mecanismo interno ainda não foram clarificados. Os fundamentos da matemática ocidental estão envoltos num nevoeiro, sem direção clara e sem futuro à vista. Isto também significa que o paradoxo não é um problema local num determinado domínio da matemática, mas gera um avanço numa abordagem completamente nova.

Uma prova "a frio".

Nos últimos anos, um investigador chinês amador de lógica - Zhang Jincheng - criou um sistema lógico totalmente novo - a lógica supercoordenada de tipo S - baseado na generalização dos fracassos matemáticos ocidentais.
A lógica supercoerente de tipo S unifica completamente todos os tipos de "paradoxos matemáticos", "proposições indecidíveis de Gödel", "provas diagonais de Cantor", etc., há muito não resolvidos, e descobre que as suas formas matemáticas comuns são completamente equivalentes, e tira a conclusão que chocou o mundo. Descobriu-se que têm uma forma matemática comum, que é completamente equivalente, e o mundo ficou chocado com a conclusão.

A lógica supercoordenada do tipo S faz apenas uma pequena modificação no sistema lógico clássico, e as suas inferências são subversivas e revolucionárias. É negado um grande número de teoremas matemáticos ocidentais, todos eles falsos.

Especificamente:

1) A prova do Teorema da Incompletude de Gödel foi rejeitada.

Em 1931, Gödel provou que "o sistema formal que contém os números naturaisTrata-se do famoso Teorema da Incompletude de Gödel, que é considerado uma contribuição histórica para o domínio da matemática no século XX e um "marco na história do desenvolvimento da matemática e da lógica". O Inciso de Gödel penetrou em todos os domínios da matemática, da lógica, da linguagem, da inteligência artificial, das ciências naturais, da ciência do pensamento e da epistemologia, e até das humanidades. "O Teorema da Incompletude de Gödel foi considerado como uma regra de ouro pela escola dominante e goza da mais alta honra. A lógica supercoerente do tipo s prova que as "proposições indecidíveis de Gödel" são termos extradimensionais no sistema dos números naturais e obtém "Proposições indecidíveis semelhantes existem fora do conjunto recursivo geral". A proposição indecidível de Gödel não afecta a completude do sistema, e a prova do "Teorema da Incompletude de Gödel" não é válida. Devido às limitações do pensamento convencional, Gödel descobriu o termo extra-territorial, mas não o reconheceu e pensou erradamente que tinha provado o "teorema da incompletude". É como se Colombo descobrisse o Novo Mundo no século XV, mas o confundisse com a Índia. Gödel cometeu um erro semelhante.

2. a prova do "teorema de Cantor" foi rejeitada.

Em 1873, Cantor definiu os conjuntos contáveis e incontáveis pelo método da correspondência de um para um; provou pelo "método diagonal" que o conjunto infinito não podia estabelecer uma correspondência de um para um com o seu conjunto de potências; o conjunto de potências do conjunto dos números naturais é incontável e os números reais são incontáveis. Estas teorias impregnaram todos os domínios específicos da matemática moderna. A lógica supercoerente do tipo s prova que Cantor utilizou a "Método diagonal"Os termos construídos pelo termo são todos extraterritoriais, e são formalmente o mesmo que "paradoxos" e "proposições indecidíveis extraterritoriais", que é um "termo não fechado" extraterritorial. ". Portanto, a prova de Cantor não é válida.

Rejeita a prova de que o problema de paragem de Turing é indecidível. Turing
A prova da "Indecidibilidade do Problema da Paragem" é um teorema importante na Teoria da Computabilidade tradicional, e a prova deste teorema na lógica hipercoerente do tipo S é também diagonal, com os termos construídos a partir do domínio, como no caso do Teorema da Incompletude de Gödel, A "incontabilidade dos números reais de Cantor" é formalmente provada como sendo o mesmo que "o problema do tempo de inatividade de Turing é indecidível".
A prova está errada. Uma "máquina de Turing" indecidível é um "termo não fechado" extra-domínio.

3. nega a validade universal do contrafactual.

O método antidiagonal é um método clássico de prova em matemática. Todas as provas diagonais são antidemonstrativas, e a lógica supercoerente do tipo S sugere que a antidemonstração só pode ser eficaz num domínio fechado, para além do qual é inválida. Enquanto houver auto-referência, pode produzir "termos não fechados", com base no uso cego de "contrafactual", só pode levar a conclusões erradas. Por conseguinte, não só a prova do "Teorema da Incompletude de Gödel" está errada, mas também muitos teoremas e teorias semelhantes ou baseados no "Teorema da Incompletude de Gödel", como o "problema da paragem da máquina de Turing, o problema da determinação de conjuntos recursivos", etc., estão todos errados. O "problema da paragem da máquina de Turing, o problema da decidibilidade dos conjuntos recursivos", etc., devem ser reexaminados, o que envolverá a Filosofia da Matemática, a Lógica Matemática, a Teoria da Computação, a Teoria das Funções, a Teoria da Medida, etc., em muitos domínios da ciência baseados no Teorema da Incompletude Cantoriana.

O grande génio matemático do nosso tempo

Zhang Jincheng, o criador original da "lógica supercoordenada de tipo S", é um génio matemático contemporâneo excecional na China. Inicialmente, era um vulgar professor de matemática no condado de Guangde, província de Anhui. Fez estas provas e descobertas matemáticas significativas, que são muito surpreendentes. Não era um investigador científico profissional ou um professor universitário. Inicialmente, dedicou-se ao ensino da matemática e da filosofia na Escola do Partido e, mais tarde, devido à necessidade de investigação, demitiu-se e fundou sozinho uma escola de formação para treinar alunos do ensino secundário em olimpíadas, tendo persistido na investigação de problemas matemáticos e paradoxais durante décadas no seu tempo livre.

Zhang Jincheng gostava particularmente de matemática nos seus anos de liceu e de escola secundária. Quando estava no liceu, completou sozinho o "Cálculo" e a "Teoria das Funções de Variáveis Complexas" da universidade e tinha um talento particularmente elevado e um forte interesse pela matemática. Não estudou matemática numa universidade formal e entrou no mercado de trabalho depois de terminar o ensino secundário. Embora mais tarde tenha obtido um diploma universitário através de funções no seu trabalho na Escola do Partido, nada disso teve a ver com matemática. Todos os conhecimentos matemáticos foram adquiridos através do seu auto-estudo. Algumas das teorias matemáticas ocidentais, como a "Teoria dos Conjuntos", a "Teoria da Recursão", a "Lógica Matemática", etc., que eram assustadoras para o médico, foram quase autodidactas.

Nos seus primeiros anos, quando tinha apenas vinte e poucos anos, publicou um artigo sobre lógica matemática no Jornal da Universidade de Wuhan e foi muito apreciado por Gui Qiquan e Chen Xiaoping, professores do Departamento de Filosofia da Universidade de Wuhan, que esperavam admiti-lo como estudante de pós-graduação da Universidade de Wuhan. Devido à obstrução de algumas opiniões divergentes, acabou por não ter êxito. Publicou o seu primeiro sistema formal Z no Jornal da Universidade de Wuhan, que agora parece ser bastante ingénuo, mas que lhe deu a direção certa para estabelecer uma "lógica supercoordenada de tipo S" no futuro.

Ele pensa que a consistência pura dos sistemas matemáticos na comunidade de lógica matemática ocidental e a exclusão de contradições e paradoxos na metodologia de investigação parecem ter perdido a orientação e direção filosóficas, dando voltas e voltas num beco sem saída sem conseguir encontrar a saída fundamental. E a cultura Taiji do Taoísmo chinês contém a filosofia dialética do yin e do yang, uma filosofia de aceitação das contradições, podemos unificar a filosofia dialética e as construções matemáticas, estas duas direcções de desenvolvimento. A utilização de métodos matemáticos puros para estudar contradições, paradoxos e outras questões filosóficas, que é a vanguarda da comunidade de pensamento matemático ocidental, tornou-se o seu firme objetivo de investigação. Ao longo de décadas, participou, a expensas próprias, em dezenas de conferências académicas em universidades e colégios, fez centenas de correcções e, finalmente, construiu o Sistema Lógico Ultra-Coerente.

De 2011 a 2014, o seu artigo "Immovable Terms and Undecidable Propositions in Logic and Mathematical Algorithms I and II" foi publicado no Journal of Intelligent Systems, que foi muito elogiado pelo Prof. He Huacan da Northwestern Polytechnical University, para o qual escreveu pessoalmente um artigo de revisão.

A ideia básica da "lógica supercoordenada de tipo S", parcialmente publicada no Journal of Intelligent Systems, foi apoiada e afirmada por alguns académicos. Alguns académicos também publicaram alguns artigos questionadores e negativos. Com exceção de algumas opiniões que podem ser adoptadas para melhorar e clarificar a teoria, a maioria tem alguns mal-entendidos ou acredita cegamente na autoridade e não compreende totalmente o seu trabalho.

2015Em 2007, num "Academic Issues Review Garden" em linha, Zhang Jincheng e o Professor He Huacan protagonizaram um debate histórico. A "lógica supercoordenada do tipo S" requer uma compreensão abrangente da filosofia, da lógica, da teoria dos conjuntos, do infinito, da análise não-padrão e de outras áreas transversais, e algumas áreas intelectuais publicaram algumas críticas pobres com uma fé supersticiosa unilateral e cega em académicos autorizados, que são todos uma má interpretação da "lógica supercoordenada do tipo S". Interpretação incorrecta. A situação atual mostra que a influência das novas teorias está a expandir-se e as forças tradicionais estão a perder terreno. Uma falácia é uma falácia.

Em 2016, a "Lógica supercoordenada de tipo S" de Zhang Jincheng foi traduzida para inglês e será divulgada em países ocidentais como o Reino Unido, os EUA e a Austrália, para que os peritos e académicos da comunidade matemática ocidental possam compreender e aceitar a lógica supercoordenada de tipo S.

Contribuição e significado da nova teoria

SO Sistema de Lógica Supercoordenada, por um lado, é quebrado, negando que o teorema acima provou estar errado; por outro lado, é estabelecido, restabelecendo também algumas novas proposições e novas teorias. Por conseguinte, tem um significado teórico e prático importante.

1A primeira delas foi a derrubada de uma série de teoremas erróneos que durante muito tempo dominaram o campo da matemática.

"Os números reais são incontáveis", "O conjunto das potências de todos os números naturais é incontável","Teorema da incompletude de Gödel (matemática)" A frase "O problema da paragem de Turing é indecidível", "Há funções não recursivas de funções no conjunto dos números naturais", etc., e os numerosos teoremas que lhes estão associados, são todos associativamente falsos.

2O lixo da matemática foi limpo.

Como resultado do raciocínio defeituoso do método da prova diagonal, um certo número de disparates matemáticos inúteis, tais como incontável, indecidível, não-recursivo, ..., etc., foram derivados das teorias da Teoria dos Conjuntos, da Teoria da Recursão, da Teoria da Computabilidade, etc., que devem ser completamente descartados.

3, reconstruiu novos axiomas, novos sistemas, novos métodos, novos teoremas

Prova-se de novo que: os números reais são um conjunto contável; o conjunto das potências de todos os números naturais é contável; Cantor"na diagonalLegalista"Os números construídos são hiper-reais; prova-se mais uma vez que o sistemaPAé completa; todas as funções no conjunto dos números naturais são recursivas; o "Problema do Encerramento de Turing" é decidível, e assim por diante.

O "axioma do infinito" foi revisto, os números ordinais e de base foram redefinidos e já não existem números ordinais e de base incontáveis; o método de indução transcendental foi revisto e o método de indução de números sobrenaturais foi estabelecido. O conceito de infinito foi reconceptualizado, e a análise padrão, a análise não padrão e o infinito teórico dos conjuntos foram unificados, e assim por diante.

4A primeira delas é a resolução de um certo número de problemas matemáticos que, durante muito tempo, pareceram não ter solução na história da matemática.

O "problema da hipótese do continuum" é um problema de Hilbert"23Um problema matemático"Quarto relatório periódico do Secretário-Geral sobre a aplicação do Programa de Ação para o Desenvolvimento Sustentável dos Pequenos Estados Insulares em Desenvolvimento1Uma pergunta.1938Em 2007, Gödel provou que a hipótese do continuum não é compatível com aZFNão-contradição de sistemas axiomáticos de teoria de conjuntos.1963Em 2007, o matemático americano Korth (P. Choen) prova que a hipótese do continuum não é a mesma que aZFOs axiomas são independentes uns dos outros. Assim, a hipótese do continuum não pode ser utilizadaZFOs axiomas são provados. Normalmente, assume-se que o problema é resolvido neste sentido. No entanto, a "lógica supercoerente do tipo S" prova que as bases incontáveis não existem de todo. O "problema da hipótese do continuum" é um problema erróneo que confunde o conceito de infinito. Existem outros problemas como o Axioma do Infinito, o Axioma da Escolha e a Indução Transcendental, todos eles com conclusões definidas.

5eSA Lógica Supercoordenada de Tipo mudou a forma como pensamos logicamente.

Toda a lógica clássica ocidental se baseia no pensamento coerente. O pensamento coerente ocidental é absoluto. Pensar que o mundo inteiro é coerente. Não tem consciência da normalidade da existência de contradições fora do seu domínio. Pensa que sempre que se constrói uma contradição num sistema, o sistema está errado. Na realidade, a coerência só existe em relação a um domínio fechado que ignora os pressupostos e os microfundamentos. O mundo exterior está precisamente em movimento e é contraditório. A utilização de contradições extra-domínio como base para o raciocínio dentro do domínio conduziu a argumentos como "a abordagem diagonal de Cantor", "G?delTeorema da Incompletude" e outras consequências desastrosas.SA criação de uma lógica do tipo hipercoerente nega a validade absoluta da consistência e da não-contradição, que também são relativamente válidas.

As leis da lógica clássica têm sido historicamente consideradas verdades absolutas. A partir deSEste não parece ser o caso da lógica supercoerente de tipo. A lei da não-contradição e a lei da exclusão também têm um âmbito de aplicação. Os termos extraterritoriais não se aplicam à lógica clássica. Isto é como a criação da geometria não-euclidiana, que negou a validade absoluta da geometria euclidiana.SA produção de lógicas de tipo hipercoerente pode ser comparada à produção de geometrias não euclidianas.

6O papel é transformador para os fundamentos da matemática, da lógica matemática, da teoria informática de base, etc.

A descoberta de Zhang Jincheng foi chocante.

Tornou claro para o mundo que um conjunto tão grave de problemas estava escondido na teoria subjacente da matemática moderna. À medida que a compreensão das pessoas se aprofundava, aSO impacto do tipo de lógica hipercoerente aumentará a cada dia que passa. Afectará muitos domínios da ciência que pensam em termos de contrafactuais. Nunca antes na história da ciência se registaram tantos erros como no Teorema de Gödel, no Teorema de Cantor, no Teorema de Turing, etc.

Liu Haofeng, o fundador da Harmony, um pensador e filósofo contemporâneo, salientou uma vez que qualquer sistema estável deve ser holístico em relação ao local, a lógica matemático-dialética em relação à lógica matemático-formal. Tanto ele como Liu Haofeng viram que a utilização integrada da lógica matemático-dialética e da lógica matemático-formal para limpar e reconstruir estas teorias conduziria a uma nova revolução científica para a humanidade.

Zhang Jincheng'sStipo de lógica hipercoerente, que é matemática ao nível micro e filosófica ao nível macro. Acontece que a coerência só se mantém em domínios fechados e é contraditória fora deles. Esta lei foi formulada filosoficamente em estreita proximidade nos tempos antigos e modernos. No entanto, é de facto a primeira vez na história que é formulada matematicamente com precisão. Este é o grande feito de Zhang Jincheng.

SA lógica supercoordenada de tipo anunciará o fim da era de Russell, Cantor, Gödel e Turing. O renascimento cultural chinês atingiu um novo pico na matemática.

O processo de compreensão das leis objectivas por parte do homem é um processo em constante evolução que nunca tem um fim.

Sem dúvida. Cantor, Gödel. Turing e outros são20Uma geração de grandes cientistas do século tinha feito realizações que marcaram uma época nos domínios da teoria dos conjuntos, da lógica matemática, da informática e da filosofia. Mas, tal como os grandes homens da História, também eles tinham limitações mais ou menos históricas. Agora, as suas teorias acabarão por ser substituídas por outras novas.

O taoísmo diz que o yin e o yang dão origem a todas as coisas no céu e na terra. Se colocarmos o domínio da teoria no contexto de todo o universo, podemos deduzir que "a contradição é a força fundamental que impulsiona o desenvolvimento e o movimento das coisas".

As leis matemáticas dos paradoxos são esclarecidas e os paradoxos ainda não terminaram na natureza, na sociedade humana e na ciência. Porque os paradoxos existem universalmente.

Sempre que se regista um grande avanço disruptivo no domínio da ciência, é sempre possível observar o poder misterioso do paradoxo. O paradoxo é a grande força motriz da evolução da natureza, e o paradoxo é a epopeia heróica do progresso da sociedade humana!

 (Este artigo refere-se ao livro do Professor Ho Wah ChanSA major breakthrough in type supercoordinated logic", em Zhang Jincheng, Principles of Supercoordinated Logic, Beijing Book Publishing House, Beijing, China.2015Primeira edição, ano.P2.)