車への情熱

特にコンピューターサイエンスとプログラミングは、すでに私たちの生活から切り離せません。 これが「私たちのパン」と「私たちの視力」です。 彼らは私たちの人生を...簡単にしますか？ 難しい？ 彼らが私たちの生活を作っているという事実に焦点を当てましょう。 コンピューターサイエンスは、文学、哲学、物理学、数学などの人類に影響を与えます。 その助けを借りて問題を解決して、私たちは再び（すべての科学、理論の場合と同様に）生命そのもの、その法則を説明します。



空の民主主義を育むために、広範囲にわたる結論を出したくありません。 コンピューターサイエンスの法則と、このコンピューターサイエンスを思いついた世界の法則との類似点を、おもしろそうに見えるように描いてみます。



このテキストは少しユーモラスでもありますが、あなたはまだ思考の糧を見つけると思います。 おそらく、これはこのトピックの最後のテキストではありません。 したがって、ここでは、簡単な離散数学を思い出してください。 数学と論理の激しい交尾の結果、情報科学はその後成長します...



新生児はおもちゃでケチをしていなかったので、チューリングおじさんは赤ちゃんに車をくれました。 少年は成長し、タイプライターを学び、発達した。



少なくとも合理的なことを言うことを学んだ子供は、直感的に計算可能な関数は部分的に計算可能である、または同じことは何らかのチューリング機械で計算できるとチューリングおじさんとチャーチおじさん（そして私たちに後のもの）に話しました。 まあ、彼らは言って言った...

そして、McCullock and Pittsは、ニューロンのような要素から、アルゴリズム化された計算を実行できるネットワークを構築できることを数学的に厳密に証明しました。 言い換えれば、少なくとも潜在的に、脳は直感的な意味で計算可能なすべての計算（特にチューリングマシンを使用して計算可能）を計算できるユニバーサルコンピューターであることが示されました。 一方、（実践が示すように）適切なコンピュータープログラムを使用して、任意の神経ネットワークの機能をシミュレートできます。 これは、その機能的能力の脳はチューリングマシンと同一であり、定量的パラメーターによってのみ推定できることを意味します：メモリサイズと速度（すべてのユニバーサルコンピューターは潜在的に同じ能力を持っているため-アルゴリズム的にクラスとして知られる同じクラスの問題を解決します解決可能な問題）。 つまり 脳は、そのデバイスのおかげで、十分なメモリと速度があれば、アルゴリズムで計算可能な関数を計算できます。

しかし、すでに成長した子供、離散数学に戻りましょう。 両親が彼を怒らせた理由はわかりませんが、10代の若者が父親の家を出てゲーデルに渡した手紙で、後にゲーデルが科学的な仕事として配ったので、「お母さんとお父さん、 十分に豊かに「一貫した一次理論（特に、正式な算術を含む一貫した理論）では、この理論ではFも-| Fも推定できないような閉じた式Fが存在します。」 ゲーデルはそれを「最初の不完全性定理」と呼びました。

どうしたらいいかわかりませんが、言い換えれば、十分に複雑で一貫性のある理論には、理論自体では証明も反証もできない声明があることに気づきました。 たとえば、このようなステートメントを公理系に追加して、一貫性を保つことができます。 さらに、（公理の数が増加した）新しい理論については、証明不能で反論の余地のない記述も存在します。

そして、一度、気分を害したティーンエイジャーが哲学に隠れていることが明らかになりました。 DiscretkaはReligionに出会い、その後3回暖炉のそばで弾丸を塗ったことをよく思い出しました。 それから1931年、ゲーデルは日記で宗教に関する離散数学のメモを見つけます。「 十分に豊富な1次一貫理論（特に、正式な算術を含む一貫理論）では、この理論の一貫性を主張する公式は導出できません 」 。 ゲーデルはそれを「第二の不完全性定理」と呼んだ。

言い換えれば、十分に豊富な理論の一貫性は、この理論の手段によって証明することはできません。 しかし、ある特定の理論の一貫性は、別のより強力な形式理論によって確立できることがわかるかもしれません。 しかし、この2番目の理論の一貫性などについて疑問が生じます。



この定理は、数学と哲学の両方、特にオントロジーと科学の哲学の両方に大きな影響を及ぼします。 さらに、「真のステートメントのセットの力は、証明可能なステートメントのセットの力よりも大きい」。 そして、数学から人間に翻訳すると、根本的に証明することは不可能ですが、それでも真実であるステートメントは無限にあります！ それで、神の存在の証拠を信者に要求し、そのようなものを受け取っていないのに、神がいないと主張することは可能ですか？

後に離散数学での自動車への情熱は、深刻な職業に成長しました。若者は本当のレーサーだったと言えるかもしれません。 彼は、チューリングおじさんが彼に与えた車に似た車をいくつか持っていました。 これらの車を見たはずです！ 近づかない しかし、どんなに困難なコースであっても、優秀な若者が例外なくフィニッシュラインに到達しました。 あなたは今、それらの非常に最初の言葉を理解していますか？ 「チューリングマシンでは、人類がこれまでに築き上げることができるあらゆるルートを通ります！」 セバスチャン・ローブは、裁量がこの車に近づいたとき、「神経質に傍観者を吸った」。 はい、Discretは有名なレーサーでした！



ジョージ・カンター自身は、すべての実数の集合の無数性、それらの力の無限集合、つまり、それらに含まれる要素の数の重要な違いについて離散数学と話したことを自慢していました。 しかし、私の意見では、裁量が駆り立てられました）！



このような離散数学は、若者のコンピューターサイエンスでした。 ハイテクの両親と無神論者、そして彼は神を信じ、宗教に恋をし、車を愛した。





さらに：「愚か者なし」