> we will hit Godel

It seems no one understands how useless this theorem is in practice.