關于禿子悖論,有人說,我們可以一般人平均具有的5000根頭發為界,規定以下為禿子,以上為不禿。如果這樣規定,那么,4999根算不算禿?有5000 根頭發的她或他,在梳妝打扮時,梳落了一根,是否當即成為一名“禿子”呢?顯然太荒唐!究竟如何解決呢?
模糊數學即模糊集合論,是美國控制論專家扎德((Lotfi A. Zadeh))于1965年創立的,其關鍵概念是“隸屬度”,即一個元素隸屬于一個集合的程度。數學家們規定,當一個元素完全屬于一個集合時,隸屬度為 1,反之為0;當一個元素在某種程度上屬于一個集合時,它的隸屬度為0~1之間的某個值(這種取值范圍類似概率)。那么,對于禿頭悖論,我們可以約定,稀稀落落的500根頭發以下者為完全禿頭,它對于{禿子}這個集合的隸屬度為1,而像孟某這樣5000根以上的頭發茂密者為完全不禿頭,他對于{禿子}集合的隸屬度為0。這樣,501-4999根頭發者就在某種程度上屬于{禿子}集合。如501根者,隸屬度為0.998,而4999根者,隸屬度為 0.002。這就是說,501~49999根者對于{禿子}集合是一種“既屬于又不屬于”的狀態。這樣,應用模糊數學,我們很好地解決了禿子悖論。