時      間：7月15日（五）晚上7時
               （6時30分入場）
地      點：本院學術活動中心1樓大禮堂

時     間：7月13（三）至14日（四）
地     點：本院活動中心第一會議室  

張復（資訊科學研究所副研究員）

      分類是很有趣的題目，早就獲得哲學家的青睞。分類之所以有趣，可能是因為我們每個人都知道如何分類，卻說不出所以然來。柏拉圖認為，分類的基礎在於某種理想型態。比如，圓形的理想型態是與某個點保持固定距離的平面點集合。在現實世界所看到的圓並不完全遵守這個規則，只是這個理想型態的某種變形。這想法最大的難題在於並不是所有的類別都可以用這麼乾淨的數學公式來表示。比如椅子，它的數學公式是什麼？即使有，要找出它確實的形式也是很麻煩的事。