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 are already named by

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!