いずれ様々な決定不能問題とその証明を載せるページになる予定です.(コンテンツは鋭意制作中です)

決定不能問題のための基礎知識 (Prerequisites for Undecidable Problems)

様々な計算モデル (Various Models of Computation)

離散数学・組合せ論・パズルにおける問題 (Problems in Discrete Mathematics, Combinatorics and Puzzles)

形式言語論における問題 (Problems in Formal Language Theory)

行列に関する問題 (Problems Related to Matrices)

論理学における問題 (Problems in Logic)

代数学における問題 (Problems in Algebra)

数論における問題 (Problems in Number Theory)

解析学における問題 (Problems in Analysis)

計算可能性理論における話題 (Topics in Computability Theory)

トップに戻る