ゲーデルと数学の近代

ゲーデルと数学の近代

不完全性定理の解説 初級編を公式公開

不完全性定理の解説初級編を公式公開。本当は20日前位に公開できたのだがノンビリしてしまった。仕事ではないので、当然と言えば当然。 ブログも気が付いたら1か月半位も書いてなかった。暑かったので家事以外はあまりする気が無くて、その家事も...
ゲーデルと数学の近代

翻訳を追加

「ゲーデルの歴史観」に1960?年の Vortrag, Konzept の翻訳を追加。これで6頁半ある文章の3頁程度が翻訳できた。一か所、全集の編集の方法からすると、ゲーデル自身の「補足」である部分の意味が取れず難渋した。アイキャッチ画像の...
ゲーデルと数学の近代

久しぶりにSMART-GSを使ってHilbert math. notebooks研究

本当に久しぶりにSMART-GSを使ってHilbert mathematical notebooksを分析。 カント哲学ノート2の中の誤記だと思っていた als als が also als の書き間違いなのではないかという気がしてきたので...
ゲーデルと数学の近代

ヒルベルトの数学ノートの研究のページを公開開始

ヒルベルトの数学ノート研究の英文論文(未発表)の和訳を開始して導入部と文献学的注意(付録的ページ)、そして、カント哲学の関する三つのノートの画像、翻刻、和訳、分析の節まで和訳して公開。 もう10数年も前に書いた論文なので、和訳してい...
ゲーデルと数学の近代

数学セミナーの記事公開など

2021年7月9日に訂正を入れた。[訂正]で始まり[訂正終]で終わる部分。 数学セミナー2021年1月号の記事の公開を開始。こちら。 この記事と「不完全性定理入門 数学編:数式をなるべく使わない説明 初級編」で使ったホーキング...
ゲーデルと数学の近代

ゲーデルの歴史観のページ公開

ゲーデルの歴史観のページ公開
ゲーデルと数学の近代

ヒルベルト数学ノート論文公表へ

ヒルベルト研究を公開することにした話と、それに関連するエッセイ。
ゲーデルと数学の近代

不完全性定理の解説 初級編の試験公開を開始

ようやく不完全性定理の解説の初級編を書き終えた。こちらで試験公開中。予定より2週間ほど遅れてしまった。ただ、歴史的経緯とか、このサイトで一番書きたいことの要約を書けた。 暫くは来月第1土曜日の西田田辺講演の準備に専念しなくて...
ゲーデルと数学の近代

不完全性定理の数式をなるべく使わない入門を作成中

不完全性定理の数式をなるべく使わない入門を作成中。
ゲーデルと数学の近代

「論理学の歴史:アリストテレス論理学入門を兼ねて」を公開

「論理学の歴史:アリストテレス論理学入門を兼ねて」を公開した。概要と講義資料がその内容。
タイトルとURLをコピーしました