嘘つきのゲーデルと床屋のカントールを止める問題

こんにちは、私の名前はドミトリー・カルロフスキーです。そして、あなたはCore Dumpにいます。そこでは、コンピューターサイエンスからさまざまなトピックを取得し、棚でそれらを分解します。



そして今回は、「不条理」のトピックを分析します-なぜそれが発生するのか、そしてそれの不注意な取り扱いがどのような奇妙な結果につながるのか。サンタが存在しないことを証明しましょう。支配者を数えることを学びましょう。タイムループを止めましょう。そして、私たちは、数学の基礎の100年前の危機を優雅に克服します。



だから、短いがエキサイティングな冒険のためにウサギの穴を登ってください。





あなたは、どちらかのできるビデオ録画を見て、またはプレゼンテーションインターフェイスで開く、または記事として読んで...



古典的な論理



非常に基本的なことから始めましょう。ステートメントは何ですか?





古典的な論理の枠組みの中で、それらは真か偽のどちらかです。それぞれ緑と赤の色で指定しましょう。



多値ロジック



ただし、真実の概念は正しいステートメント、つまり何らかの意味を持つステートメントにのみ適用できることを理解することが重要です。





, , . , . , 2 = +? . A = B , , , A B .



, — , , , — . , .





4 , ? , : .





, , . — , — "".





, , " ".



: 2*2 = 2+2. ?





, . , 4=4 . , , . : . . .



? , . , 4=4 , . . . , , .



, , . , . " ". , , , . , . , . , .





, , , .





, , , . , , , , . , , . - , - .



, . , , : , , . , . " " , .





?





, , . . , , . — .



, , . , , . , " ". , , .





, , . , . " ".





, . , , . , , . .





, - . , . , , . . " ". , ..





, . , . — . , , , . . — . , , , .



, , , . , , . , ( ) .



, " ?" , . , — , . , , .





, , . "" , . , , ...





" " , , . — , , . .



, , , , , . . .





, , , , . , , "" , . . — , — .





, , . , , .





, , . 3 ..





, . , , . , , .



? ? ?





, , , , , , . ..





, , , . , , . , , … , . , .



, 3 . " " . , , . .





, , . . , , .





, : , . — , . , , , : " — , … ".



, . , , . , , — — . "" — , .





, . , , , , , .





, , . , , , . . , . , , .



, , . . . .





, , . ? ..





: . — . , , . .



, . , , , . , . , .





, . , , - . . .





, , "". . , : , , , , , .



, , , . ? , , , . : " , ".



, , , , () — , .





, . , . , , , , .





, , — , . — , .



, , , , . : " ". , , . , .



, , — . ? !





..



  • .
  • .
  • .
  • .
  • .
  • — .
  • .


- . , . . , , , , , . , , , .





, , : " ? ? !". . . , , . . . , . ..





, . . .



..









-

. , . , . , . , , .



. .




All Articles