1=4 2=8 3=16 怎樣說明4=1是不對的？

12-30

因為這個"="不是等價關係。

這問題其實蠻無聊的，因為實際上這是個算符重構的問題，即賦予「=」一個新的意義

在這個問題里，=是建立了一個 ${N}^{+} ightarrow {N}^{+}$ 的映射，實際上你令4等於任何一個數都可以，因為這裡面並沒有說清楚映射規則。如果按照規律推斷應該有4=32。4=1的話實際上你又重新使用了「=」原本的含義中"若a=b,則b=a"這一性質，在未經說明的情況下使用一個算符的兩種不同定義顯然是不合適的。

4???8???16

我覺得這並不能說明4=1不成立啊，映射可以有規律，但是不是說沒規律就不是映射了。（當然，映射本身就是規律，我是說沒有規律的規律。。。呃。。。自行理解吧，我沒想到更好的描述）

說對不對似乎意義不大，畢竟你這個並沒有給出具體的定義，對於這種讓人自己歸納的映射，完全可以定義成&<等號的意義就是使這四個同時成立&>嘛

不過我覺得，想的簡單一點，就是單純的找規律的話，可以理解為，這個「=」表示&<2的（左邊的數+1）次方等於右邊的數&>，此時不能滿足交換律，於是按照這個定義4=32。

「=」被重載了……

為什麼會不對呢？

令S={1,2,3,4,8,16………}

關係R={(1,4),(2,8),(3,16),(4,1)………}

用「=」表示R……

平常數學裡「=」一般表示identical relation（忘了怎麼翻譯了），這裡從已知推斷肯定不是。符號濫用什麼的，偏序關係不也用「≤」困擾過我好久么……

如果我說已知1=4（讀作「1與4有等號關係」）,2=8,3=16，問4=?，

你肯定不知道，你會說已知條件太少，或者先問「=」表示的關係還有什麼其他性質？

總之，問題「已知1=4,2=8,3=16，問4=? 」和問題「已知小明口袋裡本來有三顆糖，吃了是差不多的一顆，小剛有給了他兩顆，求問太陽的質量」是一類題。

更好的問題是，已知某關係=滿足對稱性，且1=4,2=8,3=16，問4=?

答案是4=1。

我也在朋友圈上有人問過，還說 4= 1 的是大局觀。

作為C++的程序員，我很想說 1== 4 ，那 4 才 ==1 。

= 是賦值語句好嗎？

應該把這個問題的話題標籤「數學」刪掉，改成「文字遊戲」

樓主眼中的「=」是「關係「的一種，而」關係「又建立在集合論的基礎之上。

而二元關係有五種，自反性、反自反性、對稱性、反對稱性、傳遞性。

樓主僅僅給了三個關係式（注意，不是」等式「），並沒有說明關係中的任何一種。

翻譯過來就是：張三打了小王，李四打了小紅，王五打了小麗，怎樣說明」小王打了張三「是不對的？

這裡的1,2,3與4,8,16不在一個集合。

若a屬於{1,2,3，·········}，b屬於{4,8,16，···········}

這裡的等號其實是：f（a）=b，而不是a與b直接的等號關係。

問題的分類是數學。

題主用了等號，我也理解為等價關係。

補充一下白如冰的答案，wiki上對equivalent relation的定義是：

A given binary relation ~ on a set X is said to be an equivalence relation if and only if it is reflexive, symmetric and transitive. Equivalently, for all a, b and c in X:

a ~ a. (Reflexivity)
if a ~ b then b ~ a. (Symmetry)
if a ~ b and b ~ c then a ~ c. (Transitivity)

很明顯如果是等價關係那麼根據第二點，4 = 1 &<=&> 1=4。

所以這裡的「=」不是等價關係。

你先給我講講 1=4 2=8 3=16 是腫么對的。

因為「=" 運算元不一定滿足交換律。

= 這是一個賦值符號不是一個A=B所以B=A的意思至於4=（）完全看你要賦給它什麼！賦給它什麼就是什麼！

我喜歡你你喜歡他不代表我喜歡他啊

C語言中x=0的意思是把0賦值給X

而x==0的意思是把變數x的值與0相比較

所以你的這個=到底是什麼意思，先要定義好

這個問題很難

要是從文字遊戲上來講，這個問題沒有提到如果和假設「1=4 2=8 3=16」，那這樣的話，我們是不需要按照1=4 2=8 3=16作為例題來看的。它只是告訴了你一大堆沒有錯誤的東西給你，當然，如果提到假如，那可以用C語言，從碼農視角把等於號當成運算符看。所以答案只能是4=4.

這一問題的證偽要分3步：

（1）證明這裡的「=」不是數學中通常意義上的等號。

用反證法證明比較容易。

假設「=」為通常意義的等號，則1=4,4=1，由於等號具有傳遞性，則1=1，與1=4矛盾，故假設不成立。

下面要把「=」看做一般運算符。運算符大致分為數值運算符和關係運算符。數值運算符表示數字之間按照某種規定的條件進行運算，運算結果為數值，常見的比如加、減、乘、除以及各種函數運算；關係運算符表示前後兩者之間的關係，運算結果為True/False，優先順序低於數值運算符，常見的比如等號、大於號、小於號等。

（2）證明這裡的「=」不是數值運算符。

假設這裡「=」是作用於前一個數而計算結果為後一個數，即1=4可以改寫為 $f(1)=4$ ,按照答案的邏輯繼而有 $f(2)=8$ , $f(3)=16$ , $f(4)=1=f[f(1)]$ , $f(8)=2=f[f(2)]$ , $f(16)=3=f[f(3)]$