数学基礎論の考え方・学び方 ヒビルテ(2009-06-06)
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 λ. 数学基礎論の考え方・学び方 講師 田中 一之 （東北大学大学院理学研究科数学専攻教授） 題目 数学基礎論の考え方・学び方 内容 ゲーデル以降，数学基礎論は何をしてきたか？ この講演では，論理，ゲーム，超限帰納法，不完全性などの基本概念を軸にして，数学基礎論の深化発展を振り返り，さらに最近の研究動向の例として私と仲間たちの研究も紹介する． ポスター これを聞きに行ってきた。 メモ 書きかけ。 数学基礎論とは何か? 欧米ではロジックという呼び方が普及している。そのなかで数学の基礎を研究している人がいる。 現代論理学の始まりは不完全性定理を発見したとき。 1930年9月5
ヒビルテ(2008-09-05)
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 λ. 「型の型」問題 LL Future のスタッフ&発表者の打ち上げ*1で「型の型」についての話が出たらしい。 あろはさんのTwitterの<URL:http://twitter.com/alohakun/statuses/904102768>や、東京行ってきた - 黎明日記とそのコメント欄で、その辺りの話が出ていたので、ちょっと簡単な説明を書いてみる。 HaskellとかCCの場合 まず、Haskellの場合。 Haskellでは型の型は「種(kind)」と呼ばれていて普通の型とはレベルの異なるものになっている。つまり、型の型は普通の型ではない。 種について簡単に説明
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
