数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch385:１３２人目の素数さん 12/01/27 23:59:52.04 λ計算は数学の関数の性質をすべて抜き出せるからなぁ。 共通する性質はある程度の算術が作れるってところか。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch