サクサク読めて、アプリ限定の機能も多数！
チャーチ数 (Church numerals) とか一階述語論理とか．
rero のブックマーク 2007/01/24 11:54
このブックマークにはスターがありません。 最初のスターをつけてみよう！
oshiete.goo.ne.jp2005/12/01
No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えて...
63 人がブックマーク・7 件のコメント
＼ コメントが サクサク読める アプリです ／
チャーチ数 (Church numerals) とか一階述語論理とか．
このブックマークにはスターがありません。
最初のスターをつけてみよう！
１＋１＝２の証明って？ - 教えて！goo
No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えて...
63 人がブックマーク・7 件のコメント
＼ コメントが サクサク読める アプリです ／