> but as any undergraduate CS student knows, Peano arithmetic is undecidable We went to very different universities it seems. Neither Peano arithmetic nor deci

> but as any undergraduate CS student knows, Peano arithmetic is undecidable We went to very different universities it seems. Neither Peano arithmetic nor decidability were ever mentioned