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

Multiplication

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!