全学共通科目講義（１回生～４回生対象）
|
| 現代の数学と数理解析 |
| ―― 基礎概念とその諸科学への広がり |
数学・数理解析の研究の面白さ・深さを、 感性豊かな学生諸君に味わってもらうことを意図して講義し、 原則として予備知識は仮定しない。 | |
| 日時： | ２０１７年６月２日（金） １６：３０－１８：００ |
| 場所： | 数理解析研究所 ４２０号室 |
| 講師： | 照井 一成 准教授 |
| 題目： |
多値論理への招待
|
| 要約： |
数学の論証は、普通古典論理にのっとって進められる。古典論理の基本的な考え方は、
どんな文も「真（=1）」か「偽（=0）」のどちらかであるというものであるが、
それに加えて「どちらでもない（=0.5）」
を認めるような“論理”を考えることも原理上は可能である。
さらにいえば、[0,1]上の任意の実数値をとりうるような論理を
考えることもできる。その代表例はŁukasiewiczの無限多値論理である。
本講義では、この論理について代数的性質や表現定理を見ていき、 最後に時間があればブラウワーの不動点定理との関係について触れたいと思う。 参考文献：
|
|
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" | |
