張益唐從來沒有發表過一篇正確的論文,所有的論文都是錯誤的,例如【世界上最無恥的炒作--張益唐孿生素數猜想事件】 https://zhuanlan.zhihu.com/p/110901924 ------------------------------- 今天,張益唐在北京大學宣稱:張益唐的最新論文表明,在特定範圍內,朗道-西格爾零點不存在。在這一情況下,朗道-西格爾零點猜想正確或成立。
”特定範圍內”是一個特稱判斷,是一個數學事實(即有些A是B),沒有任何意義,因為,數學不承認特定判斷的“數學事實”。數學事實是數學理論中最低形式。數學定理必須是“一切A是B”
為什麼數學命題需要證明:
數學第一層次是數學事實,表現形式是特稱判斷。例如3和5都是素數;特徵是“有些A是B”(是一種特稱判斷)。(數學定理要求是全稱判斷“一切A是B)。
數學第二層次是數學概念,概念是將事實歸納成為一個系統性的含義。是人類在認識過程中,從感性認識上升到理性認識,把所感知的事物的共同本質特點抽象出來,加以概括,是自我認知意識的一種表達,形成概念式思維慣性。例如“孿生素數”;指兩個相差2的素數。將幾個概念組成一個判斷句的陳述,叫做命題。
數學第三個層次是數學定理,從數學命題到數學定理需要藉助正確的演繹證明完成。例如歐幾里得素數有無窮多個就是一條定理。例如命題“孿生素數有無窮多”,就是還沒有得到證明的命題。
數學第四個層次是數學理論。例如【初等數論】,包括了一系列概念、定理、公式、圖像、函數。
第一個層次不會自動上升到第三個層次,必須藉助第二個層次即概念,通過演繹法證明完成。
張益唐論文狗屁不通,完全是無知狀態。
張益唐企圖通過證偽的方法,張益唐表示,“如果一個朗道-西格爾零點成立的話,最後能夠得出一個不等式來。而這個不等式明顯是錯的,於是從這裡就能夠推出矛盾。
從這個角度來講,我們就從朗道-西格爾零點的存在性,得到了一個矛盾。目前來講,我能報告的是,至少一個弱形式像這個問題方面,還是有可能做出來,但是整個technical(技術上)的東西是非常複雜的。”【未來論壇|張益唐:數論中的朗道-西格爾點問題】.。
朗道-西格爾零點被定義為廣義黎曼猜想的反例,斷言此類零點不存在的猜想,就是“朗道-西格爾猜想”。
張益唐想這樣證明:
大前提:有一個否定黎曼猜想的Landau-Siegel“點”(特稱判斷I)。
小前提:這個點不存在(否定判斷O)
結論:黎曼猜想成立(全稱判斷A)。
根據三段論規則,大前提是特稱判斷,小前提是否定判斷,推不出結論。
張益唐採用了錯誤的三段論格式IOA。
三段論有256個格式,有效格式只有19個。
演繹推理要求兩個前提必須是真實的,結論才有效,而張益唐用小前提否定大前提是一個不真實的。
與安德魯懷爾斯證明費馬大定理一樣的錯誤;與邁克爾阿迪亞證明黎曼猜想一樣的錯誤。 網傳數學家張益唐,已經攻克了朗道-西格爾零點猜想(Landau-Siegel Zeros Conjecture)。
這純屬造孽!
先談談證明黎曼猜想的方法問題:
1,證實。這是不可能的!這裡有兩種情況;(1),因為黎曼猜想主項是一個集合概念,是一個二階邏輯問題,是變化率的變化率。是無法一次性證明的問題。只能一個個地驗證。(2),證明所有的函數不等於0的情況下,實部大於二分之一。這裡有無窮多個可能,只能逐一驗證,因為主項是一個集合概念,是二階邏輯問題。
2,證偽。找到一個反例。但是,至今沒有找到。
張益唐選擇了證實的第二種方法。
張益唐說:
黎曼假設認為所有的這些非實的零點都在ζ(S)上,它的實部都等於二分之一。
這實際上等價於:如果實部大於二分之一的話,這個函數不等於0。
這好比說: “命題:所有的男性染色體都是xy”。研究目標是男性,研究手段是xy。
而類似張益唐的研究者去證明:
“不是xy染色體的都是女性”。研究目標是女性,研究手段“不是xy染色體”。
因為不是xy染色體有很多種,不只是男性,還有xxy,xxyy,xxxy等多種畸形狀態。
這裡介紹一下黎曼ζ函數的現況,這是非常有名的,很遺憾目前對於零點所知道的知識還是非常少的,我們現在遠遠不能得出大於二分之一就能證明它不等於0的結論。。
我們得到非0區域的結果是什麼地方不等於0呢? 實際上這比黎曼假設弱得多,為什麼弱得多?
而斷言L函數沒有異常零點的猜測就被稱為Landau-Siegel猜想(由於Landau和Siegel兩位數學家在L函數異常零點這個領域裡做了開創性的工作,所以異常零點也常常被稱為Landau-Siegel零點。)。
張益唐所證明的,是朗道-西格爾零點(實部大於二分之一)不存在。 張益唐的“證明”是非0區域,不在應答範圍。 即張益唐的所謂證明,根本就不是對問題的“證明”。而是在一個不存在的應答區域枉費心機。
張益唐說,對任何一個特徵,它本身是復變量S的一個函數,如果S實部大於二分之一不等於0。而現在我們有很多很多特徵,還沒有一個人能夠證明這些東西的某一個單獨特徵。 |