14/08/18 00:15:16.02
いちおうRIMSには照井先生っていう
それなりに有名な偉い先生も居る
京大出身じゃないから学部時代からどれくらい関わりが持てるのかは知らんけど
834:１３２人目の素数さん
14/08/18 13:14:35.62
>>826
工じゃ数学の勉強は無理。
計算論も今や数学の基礎体力養わないと厳しい。
835:１３２人目の素数さん
14/08/19 12:25:55.23
ぐだぐだ言わんと理学部行け
836:１３２人目の素数さん
14/08/19 14:21:43.50
数学科に行って勝手に本読みまくればええんやで
837:826
14/08/19 17:09:14.09
みなさん意見ありがとうございました。
判断しかねるので照井先生にも訊いてみることにします。
838:狸 ◆2VB8wsVUoo
14/08/20 10:09:11.28
狸
>20 ：KingMathematician ◆LoZDre77j4i1 ：2014/08/17(日) 08:52:07.23
> 自然数の 0, 整数の 0, 有理数の 0, 実数の 0, 複素数の 0, ring の 0 を述べなくてはなるまい.
>
>25 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/19(火) 21:45:08.56
> 自然数の公理が知られている今は 0 は自明である.
> Ring の範囲で自然数から複素数に拡大できる.
> 公理的集合論で 0 をどう定義するかは集合論の事であり本来の数学の話ではない.
>
>27 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/19(火) 23:55:07.47
> 公理的集合論より前にも数学はある.
>
>29 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/20(水) 00:53:06.14
> Re:>>28 零の法則を満たす. a+0=0+a=a.
>
839:１３２人目の素数さん
14/08/20 22:15:14.55
独立命題とは、その公理系から真偽決定不可能な命題で、
より高度な数学を用いれば解けるかもしれないんですよね？
それとも、どんな数学を使っても絶対に解けないのですか？
840:１３２人目の素数さん
14/08/20 22:25:24.67
まずは真偽と証明可能反証可能の区別から
841:１３２人目の素数さん
14/08/24 04:56:56.22
数理論理学の初心者です。
ShoenfieldのMathematical LogicとEndertonのA Mathematical Introduction to Logicとではどちらがおすすめですか？
842:１３２人目の素数さん
14/08/24 08:43:48.84
Endertonの方が新しい分良いんじゃないの