Say among the heathen that the LORD reigneth: the world also shall be established that it shall not be moved: he shall judge the people righteously.--Psalms 96:10
And in the days of these kings shall the God of heaven set up a kingdom, which shall never be destroyed: and the kingdom shall not be left to other people, but it shall break in pieces and consume all these kingdoms, and it shall stand forever.--Daniel 2:44
And the seventh angel sounded; and there were great voices in heaven, saying 'The kingdoms of this world are become the kingdoms of our Lord, and of his Christ; and he shall reign for ever and ever.'--Revelation 12:15
Excerpt from
today's
The Atlantic magazine online, March 27, 2020:
The idea was to partition formal languages into multiple levels or
types. Each level could make reference to levels below, but not to their
own or higher levels. This resolved self-referential paradoxes by, in
effect, banning self-reference. (This solution was not popular with
logicians, but it did influence computer science — most modern computer
languages have features inspired by type theory.)
No comments:
Post a Comment