2009-06-17 9 views
1

特定の言語(およびトピック)に関して質問できる有限の数の質問がありますか?たとえば、非常に多くのコマンドがある場合、T-SQLの場合は限られた数反復的な質問?もしそうなら、それを使ってstackoverflowのようなサイトのサイジングを決定し、新しい質問が前のものの繰り返しである確率を判断することができますか?有限の数がある場合、どのように決定/計算しますか?たとえば、T-SQLにはx個のコマンドがあり、それぞれが関連する質問(構文、使用例など)を持つことができます。 #件の質問=潜在的な質問のx倍の時間関連性のある変化?それとも何か?有限の質問

+1

また、獲得できる評判の合計を計算することもできます。 –

+1

すべての言語だけでなく、すべてのAPIも含める必要があります...また、OOPやTDDなどのテクニックもプログラミングに関連しています...さらに、このSBOKは絶え間なく増加しています(例:Windows 7についての質問)。 – ChrisW

+0

SBOKとは何ですか? – ralphtheninja

答えて

2

スタックオーバーフローの問題は、バイトの有限長シーケンスとして表されます。原則として、疑問文体を整数の形で考えることができます。これは、最初に256文字以内で表現されます(Unicodeとして考える場合はそれ以上)。これは質問と整数の間の双方向性です。したがって、すべてのスタックオーバーフロー質問の集合は無限の基数を持ちます(どのようにして\ aleph_0をSOにタイプセットしますか?)。

+0

しかし、あなたが定義したように、考えられるすべての質問が理解できるか、Stackoverflowに所属しているわけではありません。あなたはまだ、このサイトにふさわしい一連の質問が数え切れないほど無限であることを証明していません。 – molf

4

理論上、プログラムは無限の長さにすることができます。このサイトは言語コマンドだけでなく、それらの言語で開発されたプログラムです。

+0

理論的には、実際にはいくつかの制限があります。プログラムの長さがコマンドセットのサイズを直接反映していない場合、コマンドとパターンがコード全体で繰り返されます。 – meade

3

私はかなり確信しています。チューリングはいいえ、あなたが彼を信じていなければ、ゲデルはそれについて何か言いたいことがあります。

+0

そしてバートランド・ラッセルも、あなたが質問について質問するつもりならば。 – ChrisW

+0

Gödelは完全性を語っています。言語や理論が完全に証明できないと考えていますが(私はそれがどのように関係しているかと思いますが)、言語が有限ではないというわけではありません。 – meade