[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
682(1): 2019/03/22(金)09:00 ID:h6pRN5t+(10/18) AAS
>>681
検索したらそのようだ。
だが、命題Pに対し「¬¬P ↔ P」という公理を認めない人はいない筈だが。
687(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/22(金)11:11 ID:WSdp8+VY(2/12) AAS
>>679-684
おっちゃん、どうも、スレ主です。
R大 ”背理法被害者の会”の被害者かね？（＾＾
直観主義論理の抜粋は、下記だが
”背理法被害者の会”の主張は、直観主義論理の記述（下記）
「直観主義論理は実際的な有用性を持つ。何故ならばこの制限によって存在具体性を持つ証明が作られるからであり、これは直観主義論理が数学的構成主義のある形態として適当なものとする。非正式には、ある対象が存在することの構成的証明があれば、その構成的証明はそのような対象の例を生成するアルゴリズムとして使える、ということを意味する。」
と類似しているね
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s