PTT推薦

[問卦] 所以理髮師悖論 是怎麼解決的?

看板Gossiping標題[問卦] 所以理髮師悖論 是怎麼解決的?作者
dzwei
(Args&&... args)
時間推噓18 推:23 噓:5 →:24

剛剛李永樂看到的啦
https://youtu.be/GWTVAYQytJ8?si=1V2tfvmqVdwdgmvc

第三次數學危機

城裡有一位理髮師
他說只幫不會自己剪頭髮的人剪頭髮
也就是說
會自己剪頭髮的人
理髮師就不幫他剪頭髮了
那理髮師幫不幫自己剪頭髮?

理髮師如果幫自己剪頭髮
那他就不是會幫自己剪頭髮的人
所以理髮師不會給自己剪頭髮

理髮師如果不幫自己剪頭髮
因為理髮師自己不會剪頭髮
那理髮師就應該幫他自己剪頭髮

數學語言是這樣 e.g.
A = {1, 2, 3}; B{x| x之偶數};
for instance: 1 ∈ A; 2 ∈ B; 3 !∈ B;
Define A = {x| x !∈ A};
case A∈A -> A!∈A 矛盾Define
case A!∈A -> A∈A 矛盾Define

講到這邊 說出這個猜想的人自殺了
這問題至今沒有完美解決
所以現在數學完蛋了嗎?

--

※ PTT留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.188.131 (臺灣)
PTT 網址

chadmu 06/17 23:18左轉math板 這裡是八

TexasFlood 06/17 23:19

s655131 06/17 23:19字太多能不能講重點

Define A = {x| x !∈ A}; case A∈A -> A!∈A 矛盾Define case A!∈A -> A∈A 矛盾Define 三行 夠精簡了吧?

PPTer 06/17 23:19左轉meth版

※ 編輯: dzwei (61.228.188.131 臺灣), 06/17/2024 23:20:32

e1q3z9c7 06/17 23:20把自己排除在外就好了超簡單

z900215ro 06/17 23:23會不會跟幫不幫有什麼關係

wrvuxci 06/17 23:25就不能那樣定義集合

wrvuxci 06/17 23:26應該說符合公設的方式是定義

wrvuxci 06/17 23:28A = {x∈B | 一些關於x的邏輯描述}

wrvuxci 06/17 23:29其中 B 是另一個已知存在的集合

wrvuxci 06/17 23:31羅素悖論應該是這樣

wrvuxci 06/17 23:31A = {x| x !∈ x}

wrvuxci 06/17 23:33原本的寫法等於用自己定義自己邏輯上本來

lifeful 06/17 23:33這裡的"會"是"can"還是"will"?

wrvuxci 06/17 23:34就站不住腳

ttyui 06/17 23:35就定義理髮師是個例外不就好了

wrvuxci 06/17 23:36應該是will

shala 06/17 23:37很簡單,理髮師不是人就解決了

chrisjohn214 06/17 23:41理髮師長不出頭毛,選我正解

a94037501 06/17 23:43改定義啊笑死

wrvuxci 06/17 23:48剛提到的是Axiom schem of Specification

wrvuxci 06/17 23:48後來還有一條公設Axiom of Regularity 這

wrvuxci 06/17 23:49公設導出的結論就是所有集合都不屬於自己

showdoggy 06/17 23:52不幫跟不會 意思不一樣阿

PalmAngels 06/17 23:53好像halt problem?

marc47 06/17 23:54http://i.imgur.com/rKZPjPb.jpg

圖 所以理髮師悖論 是怎麼解決的?

lifeful 06/17 23:54如果"不會自己剪頭髮"是必要條件而非充分

lifeful 06/17 23:54條件呢?這樣就算理髮師不幫自己剪頭髮,

lifeful 06/17 23:54那也沒有"應該"幫自己剪,因為沒有滿足充

lifeful 06/17 23:55分條件

Nobita 06/18 00:06禿頭不用剪髮

orange0319 06/18 00:07這些只要考慮時間性進去就解決的事情

saedn 06/18 00:12求講解?

ferrinatice 06/18 00:30metastable

ferrinatice 06/18 00:30他有沒有幫自己剪頭髮要用統計的

wrvuxci 06/18 00:31原來的問題是充要條件,畢竟這例子就是從

wrvuxci 06/18 00:32數學來的,數學上的結論就是沒有

wrvuxci 06/18 00:33{x| x !∈ x} 這個集合,對應到理髮師就

wrvuxci 06/18 00:33是他無論如何都會打破自己的原則

tkhunter 06/18 00:37理髮師是光頭

timoth 06/18 03:03理髮師在第一次幫自己剪頭髮之前,從來沒

timoth 06/18 03:03有剪過自己的頭髮,所以算是不會幫自己剪

timoth 06/18 03:03頭髮,所以應該剪

timoth 06/18 03:03但是在幫自己剪過第一次頭髮後,已經算是

timoth 06/18 03:03會幫自己剪頭,所以往後不該幫自己剪

ganbastar 06/18 03:12他只說會幫不會剪頭髮的剪,沒說一定要

ganbastar 06/18 03:12去剪

cidcheng 06/18 06:48這就英文的can't跟don't是不一樣的

h2o1125 06/18 07:01改定義啊 set跟collection 不一樣

basara30 06/18 09:25理髮師是剃頭妖,解決

peterisme17 06/18 10:05不幫 != 不會

vvrr 06/18 12:06理髮師:我不當人類啦JOJO