Skip to content

Conversation

@tripped
Copy link

@tripped tripped commented Jan 3, 2013

Vigil's documentation proclaimeth as sooth þt after a quantitie of runs
sufficient it shall holde þt such lines as remaine shall not recant
their oathes; þt considering such guarantie may be shewn by simple
artifice to be reducible to þe questione whether a programme, given such
a tale of inputs as might be given it, shall in sooth halte after some
mortal span, or else shall run on interminable, which questione is known
by þe wise to be undecidable by worldy art; þt, given þe existence
of such reduction, Vigil's writ may soothly be seene to fail of its
oathes; therefore, þe line þt shall declare such false promise hath
been duly punished in þe name of Almighty God.

Vigil's documentation proclaimeth as sooth þt after a quantitie of runs
sufficient it shall holde þt such lines as remaine shall not recant
their oathes; þt considering such guarantie may be shewn by simple
artifice to be reducible to þe questione whether a programme, given such
a tale of inputs as might be given it, shall in sooth halte after some
mortal span, or else shall run on interminable, which questione is known
by þe wise to be undecidable by worldy art; þt, given þe existence
of such reduction, Vigil's writ may soothly be seene to fail of its
oathes; therefore, þe line þt shall declare such false promise hath
been duly punished in þe name of Almighty God.
@taemyr
Copy link

taemyr commented Jan 4, 2013

The good Sir MrAccident misreads;
Vigil makes no claim that it can be known when, or if, a sufficient quantity of runs have been made.

@tripped
Copy link
Author

tripped commented Jan 4, 2013

'Pon reflection, I trow thy wordes have sooth in technicalitie; verily, which is the best kind of sooth.

@tripped
Copy link
Author

tripped commented Jul 8, 2015

Mine entreatie hath lingered overlong bereft of merit; better it had been closed yesteryear. An it were done when 'tis done, 'twere well it were done quickly!

@tripped tripped closed this Jul 8, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants