Asinus's blog

西牟田祐樹のブログです。

数学基礎論

グリベンコからハイティングへの手紙 (7)

はじめに 前回の記事はこちら グリベンコからハイティングへの手紙 (6) - Asinus's blog 今回の記事でグリベンコの手紙に関しては完結です。 翻訳 モスクワ 1933年10月24日 ハイティング様、 発音について教えていただきありがとうございました。私にとって…

グリベンコからハイティングへの手紙 (6)

はじめに 前回の記事はこちら グリベンコからハイティングへの手紙 (5) - Asinus's blog 翻訳 モスクワ 1933年10月12日 ハイティング様、 論理学についてのあなたのノートを受け取りました。しかもそれはよいタイミングでした。なぜならほぼ四年前から私はこ…

グリベンコからハイティングへの手紙 (5)

はじめに 前回の記事はこちら。 https://incognito0.hatenablog.com/entry/2021/05/18/193546 翻訳 モスクワ 1928年11月13日 ハイティング様、 あなたの記念論文とは独立に私の結果を発表しようと思います。それはこの結果がほとんど自明なリマークに過ぎな…

グリベンコからハイティングへの手紙 (4)

はじめに 前回の記事はこちら。 https://incognito0.hatenablog.com/entry/2021/05/18/183327 翻訳 モスクワ 1928年10月30日 ハイティング様、 私が最近の手紙であなたにお伝えした結果をベルギー王立アカデミーの『年報』("Bulletins" de l'Académie Royale…

グリベンコからハイティングへの手紙 (3)

はじめに 前回の記事はこちら。 https://incognito0.hatenablog.com/entry/2021/04/02/183020 翻訳 モスクワ、1928年10月18日 ハイティング様、 偶然にも10月13日に私の手紙で述べられていた質問への答えが書かれていた10月7日のあなたからの手紙を昨日受け…

グリベンコからハイティングへの手紙 (2)

はじめに 前回の記事はこちら。前の手紙から約3ヶ月が経過している。 https://incognito0.hatenablog.com/entry/2021/04/02/183020 翻訳 モスクワ、1928年10月13日 ハイティング様、 まずはあなたの論文の抜粋をご教示いただいたことに感謝いたします。この…

Lensを通して見るゲーデル

Haskell等で使われるLens(の一般形)1は実は論理学とも深い関係がある。Lensの構造に関する研究の(おそらく)最も最初のものはゲーデルのディアレクティカ解釈の研究である2。 ゲーデルのディアレクティカ解釈とは直観主義算術から量化子なしの有限型算術 Tへ…

グリベンコからハイティングへの手紙 (1)

はじめに グリベンコの定理1でお馴染みのグリベンコの手紙をいくつか翻訳する。 テキストはA. S. Troestra, On the Early History of Intuitionisitc Logic, In Mathematical Logic, Springer, pp.3-17 (1990) を使用した。 以下でも読むことができる。 http…