// 行頭が "//" ではじまる行はコメント行です。実際には表示されません // * 数学のレシピ(K.I. 著) [#i9f7fbd9] // 【必須】↑実際の記事名と著者名に変更してください ''2007-04-26 (木) 18:48:06'' // 【必須】↑査読提出時 "&" と "now;" の間にあるスペースを消してください。時刻が表示されます ''[HTML]''~ // 【必須】この下に記事のURLを貼り付けてください。 http://hooktail.maxwell.jp/kagi/a2af0cd17faac2708fd09890be287ade.html ※これは改定前の草稿のアドレスです!※ 取り敢えず数学を一から構築しようという考えで書いてみました。 高校生程度以上を対象と考えています。皆様のご意見をお待ちしております。 参考文献の著者,「野崎」氏は,「崎」は「大さき」ではなく「立さき」です。 が,この文字を表示させる方法が分かりません。ご存知の方がおられましたら,お教え下さい。 (ここから [2007-04-27 (金) 17:53:19] に追加) Joh 氏のコメントに対する返事です。 今後の構想ですが,数の実数までの拡張,証明の形式化 (ヒルベルトプログラムもどき), 命題論理と一階の述語論理 (高階の述語論理を完全な形で言及することはしません), 数学の健全性,完全性,不完全性まで厳密な証明は無理にしても言及したいと思っています。 (ここから [2007-04-28 (土) 23:21:18]に追加。) 改訂しました。改定後のアドレスは http://hooktail.maxwell.jp/kagi/20b0e72c50b5774699d5eb1b2f6ece70.html です。 最初にアップした草稿は,よく冷えた辛口の白ワインを飲みながら書いた物でして, 色々と証明が面倒になって「えい,これも公理にしてしまえ!」という気分になっていたようです。 私は公理の独立性を重視はしていませんが,やはり独立であった方が美しいので, 今回の改訂では公理を大幅に減らしました。 また,まるさまには立さきの文字を教えて頂いたようですが, 残念ながら私の環境 (Mac OS10.3.9 + Safari 1.3.2) では表示する事が出来ませんでしたので, まだ崎の字を改訂する事は出来ませんでした。 改訂の内容は更新履歴にまとめてあります。 K.I. //''[PDF]''~ // この下にPDF版のURLを書いてください。そのとき上の行のコメントは外してください(任意) //''[ソース]''~ // この下にソースの場所を書いてください。そのとき上の行のコメントは外してください(任意) ** 更新履歴 [#yab38a02] // 下の例のように,変更を加えた部分などを書いてください(任意)。 // そのとき "&" と "now;" の間のスペースを消してください。 // もちろんコメントも外してください。 ''[2007-04-27 (金) 17:53:19]'' 本ページに今後の構想等を追加しました。 [2007-04-28 (土) 23:21:18] 改訂しました。改訂内容は以下の通りです。 - 命題論理の部分の公理が多すぎましたので,大幅に減らしました。 - 論理記号の定義を加えました。 - 一部の術語に英語を加えました。 これらは,参考文献に挙げた『数学基礎論入門』を参考にして記述しました。 * 査読レポートの投稿 [#h0339fa1] #tracker_plus(査読2) * 投稿された査読レポート [#gb9397ba] #tracker_plus_list(査読2,,_real:SORT_DESC)