We consider the simple random walk on the graph corresponding to a Penrose
tiling. We prove that the path distribution of the walk converges weakly to
that of a non-degenerate Brownian motion for almost every Penrose tiling with
respect to the appropriate invariant measure on the set of tilings. Our tool
for this is the corrector method.Comment: 15 pages, 1 figur