形式化願望

暮らしカテゴリーの変更を依頼記事元:

nicosia.is.s.u-tokyo.ac.jp

13 usersがブックマークコメント

コメント

3

記事へのコメント3件

注目コメント
新着コメント

mind 例を用いた説明は論理的に不完全に思われそうだが、十分な例を与えれば完全に形式的に証明したのと同じ情報量は得られるはず。つまり、例に関する証明を、自動的に一般化して完全な証明にできるはず。 ――普遍化。

2006/07/27 リンク

yugui 形式化の徹底への批判。自動証明系とか。

math

2006/07/20 リンク

kururu_goedel 形式化のこと

数学

2006/07/01 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

形式化願望

math
数学

ブックマークしたユーザー

yuiseki2012/07/23
alpicola2012/02/29
mtamaki252007/07/30
ohyajapan2007/06/22
twainy2006/08/22
RanTairyu2006/07/27
mind2006/07/27
endo_55012006/07/20
yugui2006/07/20
kururu_goedel2006/07/01

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 暮らし

いま人気の記事 - 暮らしをもっと読む

新着記事 - 暮らし

新着記事 - 暮らしをもっと読む

設定を変更しましたx