text: 有趣數字悖論是在嘗試將自然數分類為「有趣的」與「無趣的」兩類數時，產生的一個半開玩笑的悖論。這個悖論宣稱，所有的自然數都是有趣的。其「證明」來自於反證法：如果無趣自然數的集合存在，那麼其中必然有最小的自然數——然而最小的無趣自然數本身就是一個有趣的數，因為它是最小的無趣自然數，而這便匯出了矛盾。悖論的本質.嘗試將所有的自然數如此分類可能會導致悖論或者說自相矛盾。任何假想的對自然數進行的無趣或有趣的劃分看來都是靠不住的。由於有趣的定義通常是主觀的、對於「有趣」的主觀看法，這個悖論應當視為為了製造一個悖論而對自我指涉進行的半開玩笑的應用。如果「有趣」有明確的客觀的定義，那麼悖論就有可能得到消除。比如，將「無趣的」自然數定義為未出現在整數數列線上大全中任意一個條目中的自然數。在這個定義下的最小的無趣自然數在2009年6月12日被發現為11630。 而在2009年11月這個定義下的最小無趣自然數變為了12407，這個記錄至少在2011年11月還沒有被打破。而到了2012年4月，這個定義下的最小無趣自然數變為了13794，直到2012年11月3日被序列收錄。而2013年11月開始，這個定義下的最小無趣自然數變為了14228，直到2014年4月14日。2015年11月使用當時可下載的OEIS資料進行的一次檢查表明當時在此定義下的最小無趣自然數已經增長為了14972。2016年11月的一次類似檢查表明當時在此定義下的最小無趣自然數已經增長為了18159。如果採取不同列表作為有趣的數的列表，無趣的數可以以同樣的方式進行多種不同的定義。數學與哲學家在2014年提議，最小的無趣自然數可以是247，因為當時它是「維基百科中沒有對應頁面的最小自然數」。而到了2017年12月24日，英文維基百科中沒有對應頁面的最小自然數變為了254。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 有趣數字悖論
metadata: https://zh.wikipedia.org/wiki?curid=6037689