## Can we have it all? The Incompleteness Theorem Says there's always more.

Here are the haikus that the Spring 2018 Math 198 students have permitted me to share.

Soundness says that if
Σ deduces φ, then
it satisfies φ.

Completeness says that
if Σ satisfies φ,
it deduces φ.

This haiku
satisfies

Coding was the best!
Not so sure about the rest...
All that's left's the test.

Solving logic probs
Getting lost along the way
Professor need HELP!

Sophisms, oddity,
You have been sold out

Sheep are counting me
Compactness is cumbersome
Scottish law system

I get so upset:
Can I write the number "one"?
I am still unsure.

When you're working with
inconsistent axioms,
deduce anything.

I like decoding
numbers because it's easy,
unlike all the rest.

Entscheidungsproblem:
Computers are not as smart
as humans in all.

Polish notation
is like Brussel sprouts; no one
except me likes it.

And the following cycle, the first two in fraktur, the last in blackboard bold:

In this logic class
We made friends with ⊥ and cat
And x=x

Very curious
Many of our questions were
Some were whimsical

WHAT IS WITH FRAKTUR?
CAN YOU READ THE LAST HAIKUS?
BET NOT. PRO BLACK BOARD!