Comment Too bad (Score 1) 96
I really first read "ship"-sized...
you need a math that can speak about itself consistently.
OT: Didn't Gödel prove this to be impossible?
A programming language is low level when its programs require attention to the irrelevant.