[過去ログ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”w) (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
604
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/25(月)13:20 ID:w3pBj7Ni(4/9) AAS
>>599
(引用開始)
コピペザルは選択関数 f:R^N/〜→R^N がどんな関数が分からないと存在しているとは言えないと言いたいらしい
この頭の悪さでは一生無理なので諦めた方が良い
しかし卑下する必要は無い、人間様の数学がサルに分からないのは当然だから
(引用終り)

・「公理とは何か?」が分かっていない
省7
605
(1): 2024/11/25(月)13:23 ID:XwBl/H3w(1/2) AAS
>>604
> AC 選択公理で保証されるのは、存在まで 存在は言えるのだが・・
 存在が云えれば、そのうちの1つに”固定”できる
 述語論理の初歩 自然演繹でもシークエント計算でも同じ
 知らん奴はド素人
606: 2024/11/25(月)13:24 ID:XwBl/H3w(2/2) AAS
>>604
>「どんな関数か?」と問われても AC 選択公理 は、それにこたえる すべを持たない
 関数を1つ固定するのに、どんな関数か答える必要はない
 実数を整列するのに必要な選択関数がどんなものか具体的に答える必要はない
 知らん奴はド素人
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s