{
localUrl: '../page/large_computer.html',
arbitalUrl: 'https://arbital.com/p/large_computer',
rawJsonUrl: '../raw/1mm.json',
likeableId: '583',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'large_computer',
edit: '5',
editSummary: '',
prevEdit: '4',
currentEdit: '5',
wasPublished: 'true',
type: 'wiki',
title: 'Unphysically large finite computer',
clickbait: 'The imaginary box required to run programs that require impossibly large, but finite, amounts of computing power.',
textLength: '2596',
alias: 'large_computer',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EliezerYudkowsky',
editCreatedAt: '2016-01-20 00:51:25',
pageCreatorId: 'EliezerYudkowsky',
pageCreatedAt: '2016-01-17 01:34:11',
seeDomainId: '0',
editDomainId: 'EliezerYudkowsky',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '0',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '118',
text: '[summary: An unphysically large finite computer is one that's vastly larger than anything that could possibly fit into our universe. In a practical sense, computations that would require sufficiently large finite amounts of computation are pragmatically equivalent to computations that require [1mk hypercomputers], and serve a similar purpose in unbounded analysis: they let us talk about interesting things and crisply encode relations that might take a lot of unnecessary overhead to describe using *small* finite computers. Nonetheless, since there are some mathematical pitfalls of considering infinite cases, reducing a problem to one that only requires a vast finite computer can sometimes be an improvement.\n\nAn example of an interesting computation requiring a vast finite computer is [1ml].]\n\nAn unphysically large finite computer is one that's vastly larger than anything that could possibly fit into our universe, if the *character* of physical law is anything remotely like it seems to be.\n\nWe might be able to get a googol ($10^{100}$) computations out of this universe by being clever, but to get $10^{10^{100}}$ computations would require outrunning proton decay and the second law of thermodynamics, and $9 \\uparrow\\uparrow 4$ operations ($9^{9^{9^9}}$) would require amounts of computing substrate in contiguous internal communication that wouldn't fit inside a single [Hubble Volume](https://en.wikipedia.org/wiki/Hubble_volume). Even tricks that permit the creation of new universes and encoding computations into them probably wouldn't allow a single computation of size $9 \\uparrow\\uparrow 4$ to return an answer, if the character of physical law is anything like what it appears to be.\n\nThus, in a practical sense, computations that would require sufficiently large finite amounts of computation are pragmatically equivalent to computations that require [1mk hypercomputers], and serve a similar purpose in unbounded analysis - they let us talk about interesting things and crisply encode relations that might take a lot of unnecessary overhead to describe using *small* finite computers. Nonetheless, since there are some mathematical pitfalls of considering infinite cases, reducing a problem to one guaranteed to only require a vast finite computer can sometimes be an improvement or yield new insights - especially when dealing with interesting recursions.\n\nAn example of an interesting computation requiring a vast finite computer is [1ml], or [131]'s [parametric bounded analogue of Lob's Theorem](http://intelligence.org/files/ParametricBoundedLobsTheorem.pdf).',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '2016-02-10 04:59:23',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'EliezerYudkowsky'
],
childIds: [],
parentIds: [
'unbounded_analysis'
],
commentIds: [],
questionIds: [],
tagIds: [],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5471',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '5',
type: 'newEdit',
createdAt: '2016-01-20 00:51:25',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5408',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '4',
type: 'newEdit',
createdAt: '2016-01-17 01:43:02',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5407',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '3',
type: 'newEdit',
createdAt: '2016-01-17 01:42:39',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5404',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '2',
type: 'newEdit',
createdAt: '2016-01-17 01:35:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5403',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newEdit',
createdAt: '2016-01-17 01:34:11',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '5402',
pageId: 'large_computer',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newParent',
createdAt: '2016-01-17 01:20:04',
auxPageId: 'unbounded_analysis',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}