Matches in SemOpenAlex for { <https://semopenalex.org/work/W3011555970> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3011555970 abstract "In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory.We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and do not restrict ourselves to the usual problems concerning finite sets of prototiles.We first consider two domino problems: whether a given set of prototiles S has total planar tilings, which we denote TILE, or whether it has infinite connected but not necessarily total tilings, WTILE (short for ‘weakly tile’). We show that both TILE ≡m ILL ≡m WTILE, and thereby both TILE and WTILE are Σ11-complete.We also show that the opposite problems, ¬TILE and SNT (short for ‘Strongly Not Tile’) are such that ¬TILE ≡m WELL ≡m SNT and so both ¬TILE and SNT are both Π11-complete. Next we give some consideration to the problem of whether a given (infinite) set of prototiles is periodic or aperiodic. We study the sets PTile of periodic tilings, and ATile of aperiodic tilings. We then show that both of these sets are complete for the class of problems of the form (Σ1 1 ∧Π1 1). We also present results for finite versions of these tiling problems. We then move on to consider the Weihrauch reducibility for a general total tiling principle CT as well as weaker principles of tiling, and show that there exist Weihrauch equivalences to closed choice on Baire space, Cωω. We also show that all Domino Problems that tile some infinite connected region are Weihrauch reducible to Cωω. Finally, we give a prototile set of 15 prototiles that can encode any Elementary CellularAutomaton(ECA). We make use of an unusual tileset, based on hexagons and lozenges that we have not seen in the literature before, in order to achieve this." @default.
- W3011555970 created "2020-03-23" @default.
- W3011555970 creator A5080070375 @default.
- W3011555970 date "2019-10-01" @default.
- W3011555970 modified "2023-09-24" @default.
- W3011555970 title "Computability and Tiling Problems" @default.
- W3011555970 cites W1982939827 @default.
- W3011555970 cites W2043318682 @default.
- W3011555970 cites W2056414301 @default.
- W3011555970 cites W2126160338 @default.
- W3011555970 cites W2315739538 @default.
- W3011555970 hasPublicationYear "2019" @default.
- W3011555970 type Work @default.
- W3011555970 sameAs 3011555970 @default.
- W3011555970 citedByCount "1" @default.
- W3011555970 countsByYear W30115559702022 @default.
- W3011555970 crossrefType "dissertation" @default.
- W3011555970 hasAuthorship W3011555970A5080070375 @default.
- W3011555970 hasConcept C104247578 @default.
- W3011555970 hasConcept C111919701 @default.
- W3011555970 hasConcept C114614502 @default.
- W3011555970 hasConcept C118615104 @default.
- W3011555970 hasConcept C142362112 @default.
- W3011555970 hasConcept C152062344 @default.
- W3011555970 hasConcept C153349607 @default.
- W3011555970 hasConcept C154945302 @default.
- W3011555970 hasConcept C161790260 @default.
- W3011555970 hasConcept C177264268 @default.
- W3011555970 hasConcept C185592680 @default.
- W3011555970 hasConcept C199360897 @default.
- W3011555970 hasConcept C202444582 @default.
- W3011555970 hasConcept C21550011 @default.
- W3011555970 hasConcept C2776416436 @default.
- W3011555970 hasConcept C2777212361 @default.
- W3011555970 hasConcept C2778572836 @default.
- W3011555970 hasConcept C2780728851 @default.
- W3011555970 hasConcept C33923547 @default.
- W3011555970 hasConcept C41008148 @default.
- W3011555970 hasConcept C55493867 @default.
- W3011555970 hasConceptScore W3011555970C104247578 @default.
- W3011555970 hasConceptScore W3011555970C111919701 @default.
- W3011555970 hasConceptScore W3011555970C114614502 @default.
- W3011555970 hasConceptScore W3011555970C118615104 @default.
- W3011555970 hasConceptScore W3011555970C142362112 @default.
- W3011555970 hasConceptScore W3011555970C152062344 @default.
- W3011555970 hasConceptScore W3011555970C153349607 @default.
- W3011555970 hasConceptScore W3011555970C154945302 @default.
- W3011555970 hasConceptScore W3011555970C161790260 @default.
- W3011555970 hasConceptScore W3011555970C177264268 @default.
- W3011555970 hasConceptScore W3011555970C185592680 @default.
- W3011555970 hasConceptScore W3011555970C199360897 @default.
- W3011555970 hasConceptScore W3011555970C202444582 @default.
- W3011555970 hasConceptScore W3011555970C21550011 @default.
- W3011555970 hasConceptScore W3011555970C2776416436 @default.
- W3011555970 hasConceptScore W3011555970C2777212361 @default.
- W3011555970 hasConceptScore W3011555970C2778572836 @default.
- W3011555970 hasConceptScore W3011555970C2780728851 @default.
- W3011555970 hasConceptScore W3011555970C33923547 @default.
- W3011555970 hasConceptScore W3011555970C41008148 @default.
- W3011555970 hasConceptScore W3011555970C55493867 @default.
- W3011555970 hasLocation W30115559701 @default.
- W3011555970 hasOpenAccess W3011555970 @default.
- W3011555970 hasPrimaryLocation W30115559701 @default.
- W3011555970 hasRelatedWork W118123718 @default.
- W3011555970 hasRelatedWork W1550447675 @default.
- W3011555970 hasRelatedWork W1562827758 @default.
- W3011555970 hasRelatedWork W1567758213 @default.
- W3011555970 hasRelatedWork W1594327202 @default.
- W3011555970 hasRelatedWork W1608702353 @default.
- W3011555970 hasRelatedWork W1833772650 @default.
- W3011555970 hasRelatedWork W2008515118 @default.
- W3011555970 hasRelatedWork W2116370612 @default.
- W3011555970 hasRelatedWork W2195546093 @default.
- W3011555970 hasRelatedWork W2295394628 @default.
- W3011555970 hasRelatedWork W2911798775 @default.
- W3011555970 hasRelatedWork W2964121629 @default.
- W3011555970 hasRelatedWork W3045371194 @default.
- W3011555970 hasRelatedWork W3048363438 @default.
- W3011555970 hasRelatedWork W3091835431 @default.
- W3011555970 hasRelatedWork W3099890458 @default.
- W3011555970 hasRelatedWork W3104027675 @default.
- W3011555970 hasRelatedWork W3122500334 @default.
- W3011555970 hasRelatedWork W799848497 @default.
- W3011555970 isParatext "false" @default.
- W3011555970 isRetracted "false" @default.
- W3011555970 magId "3011555970" @default.
- W3011555970 workType "dissertation" @default.