Two-Dimensional FHP Lattice Gases Are Computation Universal

We show that the FHP lattice gases are computation universal, implying that general questions about their behavior are undecidable. The proof embeds a universal one-dimensional cellular automat on in the two-dimensional FHP latt ice gas. This provides evidence that general questions about fluid behavior are undecidable.