執筆中/数学のレシピ (1) (K.I.著) のバックアップ(No.4)

数学のレシピ（K.I. 著） †

2007-04-26 (木) 18:48:06

[HTML]
http://hooktail.maxwell.jp/kagi/a2af0cd17faac2708fd09890be287ade.html ※これは改定前の草稿のアドレスです！※

　取り敢えず数学を一から構築しようという考えで書いてみました。高校生程度以上を対象と考えています。皆様のご意見をお待ちしております。参考文献の著者，「野崎」氏は，「崎」は「大さき」ではなく「立さき」です。が，この文字を表示させる方法が分かりません。ご存知の方がおられましたら，お教え下さい。

(ここから [2007-04-27 (金) 17:53:19] に追加)

Joh 氏のコメントに対する返事です。

今後の構想ですが，数の実数までの拡張，証明の形式化 (ヒルベルトプログラムもどき)，命題論理と一階の述語論理 (高階の述語論理を完全な形で言及することはしません)，数学の健全性，完全性，不完全性まで厳密な証明は無理にしても言及したいと思っています。

(ここから [2007-04-28 (土) 23:21:18]に追加。)

改訂しました。改定後のアドレスは

です。

最初にアップした草稿は，よく冷えた辛口の白ワインを飲みながら書いた物でして，色々と証明が面倒になって「えい，これも公理にしてしまえ！」という気分になっていたようです。私は公理の独立性を重視はしていませんが，やはり独立であった方が美しいので，今回の改訂では公理を大幅に減らしました。

また，まるさまには立さきの文字を教えて頂いたようですが，残念ながら私の環境 (Mac OS10.3.9 + Safari 1.3.2) では表示する事が出来ませんでしたので，まだ崎の字を改訂する事は出来ませんでした。

改訂の内容は更新履歴にまとめてあります。

K.I.

[2007-04-27 (金) 17:53:19]

本ページに今後の構想等を追加しました。

[2007-04-28 (土) 23:21:18]

改訂しました。改訂内容は以下の通りです。

これらは，参考文献に挙げた『数学基礎論入門』を参考にして記述しました。

状態	ページ名 ↓(1)	要約	投稿者
感想	執筆中/数学のレシピ (1) (K.I.著)/3	クロメル感想置き場	クロメル
感想	執筆中/数学のレシピ (1) (K.I.著)/2	素晴らしいです！	Joh
独り言	執筆中/数学のレシピ (1) (K.I.著)/1	立さき	まる