トップページ⇒math
101コメント18KB

逆数学って

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さんNGNG
なんですか？
0002１３２人目の素数さんNGNG
逆問題?

意味不明

　〜〜〜終了〜〜〜

0003１３２人目の素数さんNGNG
逆数学と2階算術 数学基礎論シリーズ
田中 一之 (著), 倉田 令二朗
http://www.amazon.co.jp/exec/obidos/ASIN/4879999709/

これ面白いですか？っていうかreverse mathematicsの良い本は
他にありますか？
0004１３２人目の素数さんNGNG
>3
「自然数を対象とした理論を1階算術、自然数からなる諸集合も対象に加えた理論を2階算術といい、個々の定理に対しその証明に必要十分な2階算術の公理系が何かをシステマティックに調べるのが逆数学である。」
だって・・・ほぉー、ゲームの手だけを集めてルールを組み立てようってのかぁ、おもしろそうだなぁ。この本、開拓なっちゃったYo!
0005１３２人目の素数さんNGNG
フリードマン(H. Friedman)は、逆に、無矛盾性がすでに証明されている
2階算術の部分体系では、どのような数学が展開できるかを調べ、かつ、
数学の各定理について、それが証明できる最低限の環境（最も弱い体系）は
何であるかを研究した。
フリードマンは2階算術体系の部分体系として、5つの代表的部分体系について、
「逆数学現象」と呼ばれる興味深い事実を発見したのであった。
これらの研究は、ある意味で、ヒルベルトのプログラムの現代的な対応というべき
ものであろう。
0006１３２人目の素数さんNGNG
>>3
Simpsonの本。いま品切れみたいだけど。
http://www.math.psu.edu/simpson/sosoa/
0007１３２人目の素数さんNGNG
フィールズ賞だかノーベル経済学賞を取った人でフリードマンっていなかったっけ。
同一人物かね
0008１３２人目の素数さんNGNG
191
0009１３２人目の素数さんNGNG
826
0010１３２人目の素数さんNGNG
ほぉー、面白そうだな
0011１３２人目の素数さんNGNG
795
0012１３２人目の素数さん05/02/16 02:27:33
196
0013１３２人目の素数さん05/02/21 10:50:09
704
0014１３２人目の素数さん05/02/21 11:47:09
>>7
四次元ポアンカレを解決したフリードマンとは別人だよ。
0015１３２人目の素数さん05/03/02 19:32:29
363
0016１３２人目の素数さん05/03/13 08:41:12
530
0017１３２人目の素数さん05/03/13 12:07:31
>>5
ほうほう。面白そうだな。
0018１３２人目の素数さん2005/03/23(水) 12:56:33
>>7
逆数学の Friedman は Harvey Friedman です。
18歳でスタンフォードの助教授になってギネスブックに載った人。
0019１３２人目の素数さん2005/04/05(火) 06:55:40
519
0020１３２人目の素数さん2005/04/23(土) 06:03:14
957
0021１３２人目の素数さん2005/04/23(土) 14:30:57
>>18
すげぇ
１８歳。

ところで、このスレ、盛り上がらないけど。
誰か逆数学について解説したページとかご存じないですか？
0022１３２人目の素数さん2005/05/08(日) 18:45:04
233
0023１３２人目の素数さん2005/05/08(日) 23:04:28
まあ、公理から定理が導けるなら、
ある定理があったとしてそれを導くのに必要な公理は何か？と考えることも
当然できるわな。
0024１３２人目の素数さん2005/05/17(火) 01:51:55
くがうす
0025１３２人目の素数さん2005/06/17(金) 02:12:05
689
0026１３２人目の素数さん2005/07/02(土) 07:56:47
555
0027１３２人目の素数さん2005/07/02(土) 09:31:00
逆数？ぎゃくすう？
全ての自然数の逆数の二乗を足し合わせると
π^2/6になることと関係ある?
0028１３２人目の素数さん2005/07/02(土) 12:05:59
　　　　　.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘
0029１３２人目の素数さん2005/07/03(日) 08:58:32
　　　　　.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘
0030１３２人目の素数さん2005/08/04(木) 13:40:11
773
0031１３２人目の素数さん2005/08/04(木) 13:41:41
┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘
0032１３２人目の素数さん2005/08/04(木) 23:36:28
x^2＋y^2＝4
x^2＋y^2＝16
x＝0　（ただし-6≦y≦6）
y＝0　（ただし4≦|x|≦6）
y＝x　（ただし2√2≦|x|≦3√2）

以上の各方程式が表すグラフを重ね合わせてできる図形は何か。
0033１３２人目の素数さん2005/08/06(土) 21:39:46
<font size="90">A</font>
0034１３２人目の素数さん2005/08/06(土) 21:40:50
<sup>A</sup>
0035１３２人目の素数さん2005/09/21(水) 18:16:17
115
0036１３２人目の素数さん2005/09/22(木) 00:02:06
　　　　　.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘
0037１３２人目の素数さん2005/10/06(木) 15:10:42
　　　.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘
0038１３２人目の素数さん2005/11/11(金) 15:34:59
305
0039１３２人目の素数さん2005/11/28(月) 06:13:21
523
0040１３２人目の素数さん2006/01/02(月) 02:24:16
991
0041speedking ◆chWMuw.JpE 2006/01/08(日) 05:41:15
>>1 こっちが聞きたいです。
0042GiantLeaves ◆6fN.Sojv5w 2006/01/08(日) 07:04:46
talk:>>41 1+√(2)を二乗すると3+2√(2)となり、(1+√(2))^2-2(1+√(2))-1=0が成り立つ。では、x^2-2x-1=0を満たすxは何か？これを逆問題という。
0043１３２人目の素数さん2006/01/08(日) 08:09:07
>>42
じゃあ逆数学とは？
0044GiantLeaves ◆6fN.Sojv5w 2006/01/08(日) 14:47:32
talk:>>43 [>>3-4]を参照。
0045１３２人目の素数さん2006/01/08(日) 22:23:48
　　_　　　∩
　( ﾟ∀ﾟ)彡　逆数学!　逆数学!
(　　　⊂彡
　|　　　|
　し⌒J
0046１３２人目の素数さん2006/02/05(日) 05:56:23
439
0047１３２人目の素数さん2006/02/14(火) 23:35:51
素数さん落ち着いて下さい。
0048１３２人目の素数さん2006/03/02(木) 18:00:43
342
0049１３２人目の素数さん2006/03/26(日) 13:48:21
0050１３２人目の素数さん2006/04/15(土) 19:31:19
709
0051１３２人目の素数さん2006/04/21(金) 00:12:06
みこうち
0052１３２人目の素数さん2006/04/21(金) 00:25:02
数理論理学スレの人を召還でもしないと、この状態が続くんじゃあない？
0053１３２人目の素数さん2006/04/21(金) 00:43:55
>>21
超遅レスだけど、たしか東北大の人達が作ったページがあったはず
0054１３２人目の素数さん2006/04/23(日) 21:28:11
　　　　　　　　　　　　　　 　 　　　　 　　 　┌-―ー-';
　　　　　　　　　　　　　　　　　　　 　 　 　　|(´･ω･`)ﾉ 知らんがな
　　　　　　　　　 　 　　 ＿＿＿＿ 　　　　上―-―' 　　　＿＿＿＿
　　　　　　 　　　　　　　| (´･ω･`) | 　　／　 ＼　　　 　　 | (´･ω･`) |
　　　　　　　　　　 　 　 |￣￣￣￣ 　 （￣￣￣） 　 　 　 |￣￣￣￣
　 　 　 　 　　 　 　 　 ∧ 　　　　　　 （[[[[[[|]]]]]） 　 　 ,∧
　　　　　　　　　　　　<⌒>　 　 　 　 [=|=|=|=|=|=]　　　<⌒>
　　　　　　　　　　　／⌒＼ 　 　 　 _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_
　　　　　　　　　　　］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_|
　　　　　　　　　　　|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ 　]
　　　　　　　　　　　| . ∩　 |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__|
　　　　　　　　　　　|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[
　　　　　　　　　　／i~~i' l ∩∩l　.ｌ　∩　∩　 l　　|__| .| .∩|　.|　l-,
　　　　　　　,,,,,='~|　|　|' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i
　　 　 　 　 |　l ,==,-'''^^　 l　 |. ∩. ∩. ∩. |　 |∩| 　 |∩∩|　 |~~^i~'i、
　　　　　 ,=i^~~.|　 |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| 　 |　|~i
　　　　 l~| .|　　|　,,,---== ヽﾉ　　　 i　　　　ヽﾉ~~~ ヽﾉ　　 ~ ソ^=-.i,,,,|,,,|
　　　　.|..l　i,-=''~~--,,,　　＼　 ＼　 l　　　／　　　／　　　　／　　__,-=^~
　　　　|,-''~　-,,,＿　　~-,,.　 ＼ .＼ |　.／　　 ／　　＿,,,-~　 　／
　　　　 ~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~
　　　　　　　　　　 ~^^''ヽ　ヽ 　i　kingｷｬｯｽﾙ　/　 ／　 ノ
　　　　　　　　　　　　　　ヽ　　、 l　 |　 ｌ　 l　/ .／　　／
　　　　　　　　　　　　 　 　 ＼_　、i ヽ　 i　 /　　　,,=='
　　　　　　　　　　　　　　　　　 ''==,,,,＿＿＿,,,=='~

0055GiantLeaves ◆6fN.Sojv5w 2006/04/23(日) 22:54:11
talk:>>54 私の城を用意してくれるのか？
0056１３２人目の素数さん2006/05/13(土) 21:00:07
756
0057１３２人目の素数さん2006/05/26(金) 12:38:32
689
0058１３２人目の素数さん2006/06/16(金) 00:31:34
640
0059１３２人目の素数さん2006/07/04(火) 18:15:17
研究プログラムですな。
0060１３２人目の素数さん2006/07/07(金) 01:58:45
age
0061１３２人目の素数さん2006/07/17(月) 20:40:12
＞誇大広告
よくぞ言った！ｗ
0062１３２人目の素数さん2006/07/28(金) 17:22:23
429
0063１３２人目の素数さん2006/08/30(水) 15:55:11
627
0064１３２人目の素数さん2006/10/03(火) 00:02:51
433
0065１３２人目の素数さん2006/10/22(日) 07:15:42
>>1 人の脳を... king
0066KingOfUniverse ◆667la1PjK2 2006/10/22(日) 08:59:28
talk:>>65 何だよ？
0067１３２人目の素数さん2006/11/13(月) 01:41:03
902
0068１３２人目の素数さん2006/12/15(金) 23:29:19
二年一日。
0069１３２人目の素数さん2006/12/27(水) 14:07:10
457
0070１３２人目の素数さん2007/02/05(月) 14:17:25
917
0071１３２人目の素数さん2007/02/10(土) 05:39:23
三月発売予定のゲーデルシリーズで逆数学が扱われる
0072１３２人目の素数さん2007/03/11(日) 17:36:00
973
0073１３２人目の素数さん2007/03/11(日) 18:30:21
age
0074１３２人目の素数さん2007/06/25(月) 07:41:19
826
0075名無しさん＠そうだ選挙に行こう2007/07/29(日) 17:29:01
>>1
数学の逆元
0076１３２人目の素数さん2007/07/31(火) 03:43:11
母集合は何？
0077１３２人目の素数さん2007/08/31(金) 13:24:16
0078１３２人目の素数さん2007/10/30(火) 09:24:47
834
0079１３２人目の素数さん2007/12/15(土) 03:29:17
三年四時間。
0080１３２人目の素数さん2007/12/30(日) 04:27:02
age
0081１３２人目の素数さん2008/03/28(金) 03:28:42
032
0082１３２人目の素数さん2008/04/12(土) 09:32:56
age
0083１３２人目の素数さん2008/04/19(土) 00:30:58
age
0084１３２人目の素数さん2008/05/03(土) 05:52:25
age
0085１３２人目の素数さん2008/05/28(水) 21:44:23
age
0086１３２人目の素数さん2008/07/23(水) 03:28:13
241
0087１３２人目の素数さん2008/07/23(水) 04:09:27
age
0088１３２人目の素数さん2008/09/06(土) 21:58:33
940
0089１３２人目の素数さん2008/10/26(日) 12:22:42
542
0090１３２人目の素数さん2008/12/03(水) 12:21:13
711
0091１３２人目の素数さん2008/12/14(日) 23:29:17
四年。
0092１３２人目の素数さん2009/01/11(日) 10:07:04
693
0093１３２人目の素数さん2009/02/11(水) 16:33:32
305
0094１３２人目の素数さん2009/02/19(木) 10:29:51
age
0095 ◆6GBLY4IZcg 2009/03/06(金) 10:56:01
はげ
0096１３２人目の素数さん2009/03/12(木) 08:39:59
age
0097１３２人目の素数さん2009/03/12(木) 12:19:51
>>33
みな鉄か貴様はｗ
0098１３２人目の素数さん2009/04/26(日) 00:46:26
849
0099１３２人目の素数さん2009/06/22(月) 02:06:50
278
0100１３２人目の素数さん2009/08/07(金) 08:46:24
618
0101１３２人目の素数さん2009/09/05(土) 02:35:35
730
■ このスレッドは過去ログ倉庫に格納されています