高橋 譲嗣
数学基礎論特論では, 形式的言語による数理的事象の表現の様々な側面を, 特に情報科学とのつながりに留意しながら考察します. 数学基礎論特論演習では, 数学基礎論特論の内容をふまえ, 形式的言語による数理的事象の表現に関する話題を選んで調査・研究します.