{ localUrl: '../page/4h5.html', arbitalUrl: 'https://arbital.com/p/4h5', rawJsonUrl: '../raw/4h5.json', likeableId: '0', likeableType: 'page', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], pageId: '4h5', edit: '1', editSummary: '', prevEdit: '0', currentEdit: '1', wasPublished: 'true', type: 'comment', title: '"Hey Kevin. I think I accide..."', clickbait: '', textLength: '1041', alias: '4h5', externalUrl: '', sortChildrenBy: 'recentFirst', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'MichaelCohen', editCreatedAt: '2016-06-17 08:21:27', pageCreatorId: 'MichaelCohen', pageCreatedAt: '2016-06-17 08:21:27', seeDomainId: '0', editDomainId: 'AlexeiAndreev', 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: '191', text: 'Hey Kevin. I think I accidentally clicked ignore on your query. I'll look into that definition. I think potentially this definition isn't circular, but you might be right. I don't know quite how to put it, but it seems like this criticism could be directed at any algorithm that attempts to point towards all real numbers. The algorithm, it seems, would have to keep gesturing closer and closer to the real number it is trying to indicate. It's not as if the algorithm can take the set of real numbers for granted, and then say that we just need to find the number in the set of real numbers that satisfies the condition that we keep getting closer and closer to it, and then finally we add that to the set of real numbers. And yet, any algorithm that doesn't have a set in mind that it can pull the answer from, I think it will involve something along the lines of pointing towards a number that doesn't yet come from a well-defined spot. Otherwise, the algorithm can't create the well-defined spot. That might all be utter nonsense though.', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '2', maintainerCount: '2', userSubscriberCount: '0', lastVisit: '', 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: [ 'MichaelCohen' ], childIds: [], parentIds: [ 'real_number' ], commentIds: [ '4hr', '4j0' ], 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: '13457', pageId: '4h5', userId: 'MichaelCohen', edit: '1', type: 'newEdit', createdAt: '2016-06-17 08:21:27', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13456', pageId: '4h5', userId: 'MichaelCohen', edit: '1', type: 'newParent', createdAt: '2016-06-17 07:50:42', auxPageId: 'real_number', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }