Tile

1,618 views

Published on

決定不能の会。Domino problem.

  • Be the first to comment

  • Be the first to like this

Tile

  1. 1. The Undecidability of the Domino Problem, 1966.
  2. 2. S = {S0 , S1 , S2 , . . . , Sn } S
  3. 3. S
  4. 4. D = (D, E, χ)
  5. 5. K Z D Z ⊂ K × PZ
  6. 6. Z Z

×