CONTENTS

「広域整合性（Global Consistency）は常に理解不可能性を内包する」 1. スケールの不一致と認知の限界 広域整合性を維持するということは、膨大な変数とそれらの相互作用をすべて矛盾なく管理することを意味しま…
Read more

Discrete（離散的） と Continuous（連続的） の区別は、数学が立脚している、根本的な断層線です。世界の Discrete な性質が「決定不能性」という下限（Lower Bound）を生み出す一方で、数学…
Read more

私たちが理解する（understanding）という言葉は何を意味するか。どのような状態になれば、私たちの分類問題が合理的に解決されたと満足できるのだろうか？ あるいは、このような問題の中には、私たちが決して解決できない…
Read more

law of constraintslaw of physicslaw of coorporationlaw of scaleparadox, inconsistency, incomprehensibilityprin…
Read more

1. 古代：計算の体系化 時代 人物 (English Spelling) 主な著作・論文 貢献の要約 ca. 300 BCE Euclid Elements (原論) 最大公約数（GCD）を求めるアルゴリズムの提示。 …
Read more

Theory of computationを日本語訳したいのだが、日本語にしてしまうと射像がたりず、意味が失われてしまう単語をどう表現すべきなのか。真のComputationは決定性、非決定性を扱うコミュニティである。コ…
Read more

Theory of Computation、コンピュテーションに関する論理は、観測者、参加者が人間であり、機械であれ、自然であれ、情報処理資源が限定されている（computationally limited）ことが前提と…
Read more

理論計算機科学分野の二大最高峰カンファレンス 1. STOC (Symposium on Theory of Computing) 2. FOCS (Foundations of Computer Science)

“P versus N P — a gift to mathematics from computer science”–Steve Smale Stephen Smale ステファンスメール (July 15, 193…
Read more

Overcoming the “Impossible” Distributed Consensus Mathematicians identifies distributed computing …
Read more