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

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

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

[HTML]
http://hooktail.maxwell.jp/kagi/a2af0cd17faac2708fd09890be287ade.html

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

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

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

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

K.I.

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

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

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