A c.e. set has
positive but not complete
information, right?

Here are the haikus that the Fall 2021 Math 199 students have permitted me to share.

A coding function
Uses prime numbers to name
Any sequence e'er.

Coding sequences
might be a fun thing to do,
but I don't think so

Two sets in logic
computable and c.e.
are very useful
Is primitive recursive
Can you find others?

Kurt, why did you come!
Knock over everything,
and make logic fun!

This was a hard class
Every day was confusing
Wow, it is over!