- Member since: 11/12/2009
- Gender: Male
I am from pakistan but was born and live in jeddah saudi arabia and I am proudly a muslim..
I hate it when people make up their mind without listening to the other side of story.
I am a knight now, call me sir punisher:)
Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory (Kleene 1967, p. 250).
For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, if T includes a statement of its own consistency then T is inconsistent.
I don't know what the hell they mean but they sound sophisticated:)
In what distant deeps or skies 5
Burnt the fire of thine eyes?
On what wings dare he aspire?
What the hand dare seize the fire?
And what shoulder and what art
Could twist the sinews of thy heart? 10
And when thy heart began to beat,
What dread hand and what dread feet?
What the hammer? what the chain?
In what furnace was thy brain?
What the anvil? What dread grasp 15
Dare its deadly terrors clasp?
When the stars threw down their spears,
And water'd heaven with their tears,
Did He smile His work to see?
Did He who made the lamb make thee? 20
Tiger, tiger, burning bright
In the forests of the night,
What immortal hand or eye
Dare frame thy fearful symmetry?
|271||Games Rated||367||Comments||1,743||Forum Posts||0||Games Submitted||0||Merits|