執筆中/数学のレシピ (1) (K.I.著)
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
// 行頭が "//" ではじまる行はコメント行です。実際には表示...
//
* 数学のレシピ(1)(K.I. 著) [#i9f7fbd9]
// 【必須】↑実際の記事名と著者名に変更してください
''2007-04-26 (木) 18:48:06''
// 【必須】↑査読提出時 "&" と "now;" の間にあるスペースを...
''[HTML]''~
// 【必須】この下に記事のURLを貼り付けてください。
http://hooktail.maxwell.jp/kagi/a2af0cd17faac2708fd09890b...
※これは改定前の草稿のアドレスです!※
取り敢えず数学を一から構築しようという考えで書いてみま...
高校生程度以上を対象と考えています。皆様のご意見をお待ち...
参考文献の著者,「野崎」氏は,「崎」は「大さき」ではなく...
が,この文字を表示させる方法が分かりません。ご存知の方が...
(ここから [2007-04-27 (金) 17:53:19] に追加)
Joh 氏のコメントに対する返事です。
今後の構想ですが,数の実数までの拡張,証明の形式化 (ヒル...
命題論理と一階の述語論理 (高階の述語論理を完全な形で言及...
数学の健全性,完全性,不完全性まで厳密な証明は無理にして...
(ここから [2007-04-28 (土) 23:21:18]に追加。)
改訂しました。改定後のアドレスは
http://hooktail.maxwell.jp/kagi/20b0e72c50b5774699d5eb1b2...
です。
最初にアップした草稿は,よく冷えた辛口の白ワインを飲みな...
色々と証明が面倒になって「えい,これも公理にしてしまえ!...
私は公理の独立性を重視はしていませんが,やはり独立であっ...
今回の改訂では公理を大幅に減らしました。
また,まるさまには立さきの文字を教えて頂いたようですが,
残念ながら私の環境 (Mac OS10.3.9 + Safari 1.3.2) では表示...
まだ崎の字を改訂する事は出来ませんでした。
(ここから [2007-05-02 (水) 17:42:24]に追加。)
三訂です。本質的な部分は殆ど変わっていません。
これから一週間くらいコメントがなければ,査読に提出する予...
http://hooktail.maxwell.jp/kagi/508983af4d4c997f9ad83202c...
改訂の内容は更新履歴にまとめてあります。
(ここから [ 2007-05-30 (水) 11:05:19 ] に追加)
記事を分割しました。
大きく,三つに分けたいと思います。 (1) 命題論理 (2) 一階...
今回は,そのうちの (1) 命題論理の記事です。全部で 8 項目...
(1) 命題論理の記号と文法
http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa...
(2) 命題論理の公理系と推論規則
http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e8...
(3) 命題論理の形式的証明論 (1)
http://hooktail.maxwell.jp/kagi/393f05303750181415c46d0a3...
(4) 命題論理の形式的証明論 (2)
http://hooktail.maxwell.jp/kagi/1bf8ad23c4ec3c834417794e7...
(5) 命題論理の形式的証明論 (3)
http://hooktail.maxwell.jp/kagi/9342e1a020ab4152791c923cc...
(6) 命題論理の意味論
http://hooktail.maxwell.jp/kagi/8d5815bd43a6003c6908fc7bf...
(7) 命題論理の健全性
http://hooktail.maxwell.jp/kagi/0b4ebd9fbdefec571f692a133...
(8) 命題論理の内容的完全性
http://hooktail.maxwell.jp/kagi/e41ed37ada229c6d6e5c87745...
当初予定していた物に比べて随分と重たくなってしまいました…...
述語論理は,やはり記号と文法から始めて,形式的証明論,意...
と書いて行くと思います。そして,ゲーデルの (第一) 不完全...
これ位迄で恐らく私の能力の限界です……続きは「数学基礎論ゼ...
基礎的な数論に関しては,自然数のペアノの公理,有理数とは...
K.I.
//''[PDF]''~
// この下にPDF版のURLを書いてください。そのとき上の行のコ...
//''[ソース]''~
// この下にソースの場所を書いてください。そのとき上の行の...
** 更新履歴 [#yab38a02]
// 下の例のように,変更を加えた部分などを書いてください(...
// そのとき "&" と "now;" の間のスペースを消してください。
// もちろんコメントも外してください。
''[2007-04-27 (金) 17:53:19]''
本ページに今後の構想等を追加しました。
[2007-04-28 (土) 23:21:18]
改訂しました。改訂内容は以下の通りです。
- 命題論理の部分の公理が多すぎましたので,大幅に減らしま...
- 論理記号の定義を加えました。
- 一部の術語に英語を加えました。
これらは,参考文献に挙げた『数学基礎論入門』を参考にして...
[2007-05-02 (水) 17:42:24]
三訂しました。記号の大きさなどの微小な部分の変更です。
[2007-05-30 (水) 11:05:19]
記事を八分割し,読みやすくしました。数論を排しました。...
[2007-06-04 (月) 20:20:36]
レシピ (02) を改訂しました。
* 査読レポートの投稿 [#h0339fa1]
#tracker_plus(査読2)
* 投稿された査読レポート [#gb9397ba]
#tracker_plus_list(査読2,,_real:SORT_DESC)
終了行:
// 行頭が "//" ではじまる行はコメント行です。実際には表示...
//
* 数学のレシピ(1)(K.I. 著) [#i9f7fbd9]
// 【必須】↑実際の記事名と著者名に変更してください
''2007-04-26 (木) 18:48:06''
// 【必須】↑査読提出時 "&" と "now;" の間にあるスペースを...
''[HTML]''~
// 【必須】この下に記事のURLを貼り付けてください。
http://hooktail.maxwell.jp/kagi/a2af0cd17faac2708fd09890b...
※これは改定前の草稿のアドレスです!※
取り敢えず数学を一から構築しようという考えで書いてみま...
高校生程度以上を対象と考えています。皆様のご意見をお待ち...
参考文献の著者,「野崎」氏は,「崎」は「大さき」ではなく...
が,この文字を表示させる方法が分かりません。ご存知の方が...
(ここから [2007-04-27 (金) 17:53:19] に追加)
Joh 氏のコメントに対する返事です。
今後の構想ですが,数の実数までの拡張,証明の形式化 (ヒル...
命題論理と一階の述語論理 (高階の述語論理を完全な形で言及...
数学の健全性,完全性,不完全性まで厳密な証明は無理にして...
(ここから [2007-04-28 (土) 23:21:18]に追加。)
改訂しました。改定後のアドレスは
http://hooktail.maxwell.jp/kagi/20b0e72c50b5774699d5eb1b2...
です。
最初にアップした草稿は,よく冷えた辛口の白ワインを飲みな...
色々と証明が面倒になって「えい,これも公理にしてしまえ!...
私は公理の独立性を重視はしていませんが,やはり独立であっ...
今回の改訂では公理を大幅に減らしました。
また,まるさまには立さきの文字を教えて頂いたようですが,
残念ながら私の環境 (Mac OS10.3.9 + Safari 1.3.2) では表示...
まだ崎の字を改訂する事は出来ませんでした。
(ここから [2007-05-02 (水) 17:42:24]に追加。)
三訂です。本質的な部分は殆ど変わっていません。
これから一週間くらいコメントがなければ,査読に提出する予...
http://hooktail.maxwell.jp/kagi/508983af4d4c997f9ad83202c...
改訂の内容は更新履歴にまとめてあります。
(ここから [ 2007-05-30 (水) 11:05:19 ] に追加)
記事を分割しました。
大きく,三つに分けたいと思います。 (1) 命題論理 (2) 一階...
今回は,そのうちの (1) 命題論理の記事です。全部で 8 項目...
(1) 命題論理の記号と文法
http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa...
(2) 命題論理の公理系と推論規則
http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e8...
(3) 命題論理の形式的証明論 (1)
http://hooktail.maxwell.jp/kagi/393f05303750181415c46d0a3...
(4) 命題論理の形式的証明論 (2)
http://hooktail.maxwell.jp/kagi/1bf8ad23c4ec3c834417794e7...
(5) 命題論理の形式的証明論 (3)
http://hooktail.maxwell.jp/kagi/9342e1a020ab4152791c923cc...
(6) 命題論理の意味論
http://hooktail.maxwell.jp/kagi/8d5815bd43a6003c6908fc7bf...
(7) 命題論理の健全性
http://hooktail.maxwell.jp/kagi/0b4ebd9fbdefec571f692a133...
(8) 命題論理の内容的完全性
http://hooktail.maxwell.jp/kagi/e41ed37ada229c6d6e5c87745...
当初予定していた物に比べて随分と重たくなってしまいました…...
述語論理は,やはり記号と文法から始めて,形式的証明論,意...
と書いて行くと思います。そして,ゲーデルの (第一) 不完全...
これ位迄で恐らく私の能力の限界です……続きは「数学基礎論ゼ...
基礎的な数論に関しては,自然数のペアノの公理,有理数とは...
K.I.
//''[PDF]''~
// この下にPDF版のURLを書いてください。そのとき上の行のコ...
//''[ソース]''~
// この下にソースの場所を書いてください。そのとき上の行の...
** 更新履歴 [#yab38a02]
// 下の例のように,変更を加えた部分などを書いてください(...
// そのとき "&" と "now;" の間のスペースを消してください。
// もちろんコメントも外してください。
''[2007-04-27 (金) 17:53:19]''
本ページに今後の構想等を追加しました。
[2007-04-28 (土) 23:21:18]
改訂しました。改訂内容は以下の通りです。
- 命題論理の部分の公理が多すぎましたので,大幅に減らしま...
- 論理記号の定義を加えました。
- 一部の術語に英語を加えました。
これらは,参考文献に挙げた『数学基礎論入門』を参考にして...
[2007-05-02 (水) 17:42:24]
三訂しました。記号の大きさなどの微小な部分の変更です。
[2007-05-30 (水) 11:05:19]
記事を八分割し,読みやすくしました。数論を排しました。...
[2007-06-04 (月) 20:20:36]
レシピ (02) を改訂しました。
* 査読レポートの投稿 [#h0339fa1]
#tracker_plus(査読2)
* 投稿された査読レポート [#gb9397ba]
#tracker_plus_list(査読2,,_real:SORT_DESC)
ページ名:
Modified by
物理のかぎプロジェクト
PukiWiki 1.4.6
Copyright © 2001-2005
PukiWiki Developers Team
. License is
GPL
.
Based on "PukiWiki" 1.3 by
yu-ji
Powered by PHP 5.3.29 HTML convert time to 0.002 sec.