Full Description
Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.
-
- DVD
- 安藤組外伝 人斬り舎弟
-
- 電子書籍
- 日経マネー 2025年4月号



