證明沒有全能防毒軟體 的留言 http://lcr.old-castle.org/archives/60 這是一個很大的垃圾桶, 裡面裝著一堆垃圾但是沒有臭味... Sat, 04 Feb 2012 07:49:37 +0000 hourly 1 http://wordpress.org/?v=3.3-aortic-dissection By: Y.C Cheng http://lcr.old-castle.org/archives/60/comment-page-1#comment-66 Y.C Cheng Fri, 06 May 2005 01:53:59 +0000 http://lcr.old-castle.org/?p=60#comment-66 這個證明使用的是, 無限多元素, 可數集合裡面, 一個常用的數學證明方法. 做證明的人必須玩弄形式邏輯, 因此 "判斷條件式" 的可列表特性, 是這一類證明的前提假設. 大部分人 (包含我) 對這樣的証明, 多半只能說他在現實生活中, 不容易做到. 這個證明使用的是, 無限多元素, 可數集合裡面, 一個常用的數學證明方法.

做證明的人必須玩弄形式邏輯, 因此 “判斷條件式” 的可列表特性, 是這一類證明的前提假設.

大部分人 (包含我) 對這樣的証明, 多半只能說他在現實生活中, 不容易做到.

]]>