基本資料
計畫主辦機關資訊
計畫主辦機關: |
國立中正大學
|
出國期間: |
104/10/03 至 104/10/13 |
姓名 |
服務機關 |
服務單位 |
職稱 |
官職等 |
蔡行健 |
國立中正大學 |
哲學系 |
教授 |
教師 |
報告內容摘要
筆者應北陸先端科學技術大學院大學(Japan Advanced Institute of Science and Technology)小野寬晰教授邀請,於104年10月3日至10月13日赴該校演講及進行學術訪問與交流。筆者於10月6日演講,講題為 “On Some General Methods of Proving Decidability or Undecidability”。除此之外,筆者與小野寬晰教授多次會面討論邏輯研究的現況及發展趨勢,並且會晤資訊科學中心的佐野勝彦教授等人,討論將來可能的合作。具體而言,會談討論了代數邏輯(algebraic logic),次結構邏輯(sub-structural logic)及部份整體學(mereology)的現況及可能發展,而未來合作方式仍以密集交流並交換研究成果為主。小野寬晰教授及佐野勝彦教授已預定於2016年訪臺,此外,近期內浜野正浩教授也應筆者邀請將於本年度11月8日至14日訪臺。總之,筆者此次日本之行對促進臺日兩地邏輯研究互動及合作應有相當的助益。
其他資料
前往地區: |
日本; |
參訪機關: |
北陸先端科學技術大學院大學 |
出國類別: |
其他 |
關鍵詞: |
algebraic logic,sub-structural logic,mereology |
備註: |
|
分類瀏覽