Saving Computer Science from Incompleteness Theorems

[nb5757]

just out of curiosity what is the piece that is playing?

[lgoopio]

uhhh,... okay

[kautilya33]

@lgoopio

Glad you like it.

[milfballs]

I like it.

[kautilya33]

@milfballs

If both the sentence and its negation create contradiction in set theory we will call it an aburdity. We may need metamathematical arguments to establish absurdities. My contention is very simple. Any grammar capable of handling set theory has to have absurdities in it. Technically absudities are Godelian sentences.