最後の「名誉部長の書き込み」以外は、田中一之先生によります(本などの要約などもあります)。「名誉部長」とは、山崎武さんのことです。「・・・系」などの分類は完全に竹内の独断によります。
※ 無断転載、ＤＯＭ(無断ダウンロード)は御遠慮ください。 ※
入門系
・数学基礎論入門（『数学完全ガイダンス』より抜粋，一部修正）
→「数学基礎論」という学問について。基礎論の３大定理。
・逆数学のすすめ（『逆数学と２階算術』(河合出版 1997)より）
→「逆数学」とは何か。その目的とあらまし。個人的に超オススメ。
・ラムダ計算ＡＢＣ（『数学セミナー』1992年8月号より）
→ラムダ計算入門。ラムダ計算の背景から、判りやすく説明。
・ランダム性と不完全性定理（『数学ってなんだろう』(日本評論社 1997)の抜粋，一部修正）
→「ランダム」とは何か。コルモゴルフ・チェイティンの定理の簡単な説明。
ヒルベルト系
・ヒルベルトの第１０問題（『ヒルベルトの２３問題』(日本評論社 1997)より）
→ヒルベルトの第１０問題の歴史、背景について。
・ヒルベルトのプログラム（『数学セミナー』2000年2月号より）
→ヒルベルトのプログラムの背景や関連する話題について。最近の話題である「逆数学」「田中の予想」なども。
読み物系
・数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より）
→パラドックスから数学基礎論の誕生、不完全定理への流れを解説。
・数学の「はだいろ」（『数学セミナー』1999年8月号巻頭言）
→「数学」の「数」という言葉について。
・基礎の論争（『数学の基礎をめぐる論争』より）
→「数学の基礎をめぐる論争」のダイジェスト版？ 興味を持った方は、是非とも買いましょう。面白いです。
名誉部長
※名誉部長が、過去にロジクラの啓示盤に書き込まれたものを引用したものです。
・田中の予想
→最近、名誉部長(たち)が解決した問題「田中の予想」についての、解決前の名誉部長の書き込み。