936コメント324KB

30のおやじが1年からやり直して博士にまでなるすれ

■ このスレッドは過去ログ倉庫に格納されています

0188１３２人目の素数さん

05/01/20 22:36:37

排中律を認めないのブラウアーだったけど，ヒルベルトも直観主義なの？

>>183
ビショップの教科書(今でも手に入るか知らんが)では中間値の定理の証明
が鬼のめんどくささらしいね．

■ このスレッドは過去ログ倉庫に格納されています