[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24(2): 01/06(月)10:21 ID:bgJiiwgI(3/7) AAS
誰も同じと言ってないけどね
25: 01/06(月)11:02 ID:mU+v9SoN(2/4) AAS
>>24
>誰も同じと言ってないけどね
>「ZF上で実数は定義不可能」
>が君の主張で良いのね？
これら二つの主張が両立するということで
良いのね？
26: 01/06(月)11:32 ID:bgJiiwgI(4/7) AAS
何が矛盾と？
27(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/06(月)12:41 ID:fVkdOcv7(1/2) AAS
>>23
>定義可能性と
>基本的諸性質の証明可能性は別
ID:mU+v9SoN は、御大か
巡回ご苦労様です
なるほど
定義可能としても
定義されたものが、いかなる性質のものか？
例えば、なにか定義可能として
ZFC以前のカントールが展開した 実数の無限集合論が
省12
28: 01/06(月)13:05 ID:aDJiObas(1) AAS
話が通じる場合と通じない場合があるが
実は大した違いではないかもしれない。
29: 01/06(月)13:21 ID:bgJiiwgI(5/7) AAS
>>27
誰も終わりと言ってないのに
>実数論は
>”定義可能”で終り
>ではないとｗ （＾＾
と誤魔化して>>22をやり過ごす作戦ですか？ｗ
30: 01/06(月)13:26 ID:bgJiiwgI(6/7) AAS
意図的に「実数」を「実数論」と広げて誤魔化す作戦をしたいようだが、
問いは「実数」についてであり「実数論」についてではないから、誤魔化し以外の何ものでもない。
テストなら出題文を勝手解釈してるのでゼロ点。落第。
31: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/06(月)13:59 ID:fVkdOcv7(2/2) AAS
>>27 追加
まぜっかえしで悪いが
下記の”定義可能実数”
投下しておきますねｗ ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E5%AE%9A%E7%BE%A9%E5%8F%AF%E8%83%BD%E5%AE%9F%E6%95%B0
定義可能実数
ZFCのモデルにおける定義可能性
実数
aがパラメータなしで一階の集合論の言語で定義可能であるとは、 集合論の言語の式で自由変数を一つ持つもの
省19
32: 01/06(月)14:01 ID:bgJiiwgI(7/7) AAS
また誤魔化し
>>22の回答未だ？
33: 01/06(月)16:14 ID:S3hKa/J5(2/4) AAS
rio2016.5ch.net/test/read.cgi/math/1724969804/966
> 整列可能定理は公理として、
> 有理コーシー列で有理数Qの完備化を可能として
> 無理数（超越数を含む）の存在を保証するが
なるほど、実におかしなことをいってるね
34: 01/06(月)16:25 ID:S3hKa/J5(3/4) AAS
>>13
集合論の初歩的な定義を全面否定する人が数学者とかいってる残念な現実
35: 01/06(月)20:50 ID:mU+v9SoN(3/4) AAS
「AかつB」と「A」が同じだという主張は
数学者でなくても
いくら何でも全面否定したくなるのでは？
36: 01/06(月)22:56 ID:S3hKa/J5(4/4) AAS
A、Bを具体的に書いてごらん 書けるかな？
37: 01/06(月)23:10 ID:mU+v9SoN(4/4) AAS
それは関係ない
38: 01/07(火)01:11 ID:tXXZk0cu(1/7) AAS
{}∈{{{}}}の真偽を頑なに答えなかった馬鹿がまた何か言いがかりつけてますね
39: 01/07(火)06:57 ID:+fDYIL0R(1/4) AAS
>{}∈{{{}}}の真偽を頑なに答えなかった馬鹿がまた何か言いがかりつけてますね
自明な問いである{}∈{{{}}}の真偽だけを頑なに問い続けている馬鹿がまた何か言いがかりつけてますね
40: 01/07(火)09:46 ID:tXXZk0cu(2/7) AAS
おまえが頑なに答えないからだろ
なんでそんなに頑ななの？
答えたら罰でも当たるの？親の死に目に会えないの？
41: 01/07(火)11:08 ID:gA8J9tth(1/3) AAS
答えたくない
42: 01/07(火)12:15 ID:gA8J9tth(2/3) AAS
碁打ちは親の死に目に会えない
43: 01/07(火)12:30 ID:tXXZk0cu(3/7) AAS
ガキかよｗ
上下前次1-新書関写板覧索設栞歴
あと 959 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s