{ localUrl: '../page/CT_thesis.html', arbitalUrl: 'https://arbital.com/p/CT_thesis', rawJsonUrl: '../raw/4bw.json', likeableId: '2742', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'EricBruylant' ], pageId: 'CT_thesis', edit: '9', editSummary: 'rewording in an attempt to improve the flow of thought', prevEdit: '8', currentEdit: '9', wasPublished: 'true', type: 'wiki', title: 'Church-Turing thesis', clickbait: 'A thesis about computational models', textLength: '1189', alias: 'CT_thesis', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'EricRogstad', editCreatedAt: '2016-07-21 23:12:21', pageCreatorId: 'JaimeSevillaMolina', pageCreatedAt: '2016-06-15 12:19:26', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '4', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '292', text: '[summary:Every [-effectively_computable] [-3jy] is [Turing_machine Turing-computable].]\n\nThe **Church-Turing thesis** (often abbreviated **CT thesis**) states:\n> Every effectively computable function is Turing-computable\n\nThat is, for every function which can be computed by physical means %%note:So no [ hypercomputers]%% there exists a [ Turing machine] which computes exactly that.\n\nThe Church-Turing thesis is not a definite mathematical statement, but an inductive statement which affirms that every sensible model of computation we can come up with is equivalent or at least [reduction reducible] to the model proposed by Turing. Thus, we cannot prove it in a mathematical sense, but we can [ gather evidence for it].\n\nFor example, this model was proven to coincide with Church's lambda calculus, another universal model of computation, and the equivalence between Church's lambda calculus and Turing's automatic machines is often taken as [4j7 evidence] that they correctly capture our intuition of "effectively computable".\n\nThere are many [ consequences] of the CT thesis for computer science in general, artificial intelligence, [11w epistemology], and other fields of knowledge.', 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: [ 'ConnorFlexman2', 'JaimeSevillaMolina', 'EricBruylant', 'EricRogstad' ], childIds: [ 'strong_Church_Turing_thesis', 'evidence_for_CT_thesis' ], parentIds: [ 'math' ], commentIds: [], questionIds: [], tagIds: [ 'needs_summary_meta_tag', 'stub_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [ { id: '46', pageId: 'CT_thesis', lensId: 'evidence_for_CT_thesis', lensIndex: '0', lensName: 'Evidence for the Church-Turing t', lensSubtitle: '', createdBy: '1', createdAt: '2016-06-17 21:58:56', updatedBy: '1', updatedAt: '2016-06-17 21:58:56' } ], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '3162', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '17267', pageId: 'CT_thesis', userId: 'EricRogstad', edit: '9', type: 'newEdit', createdAt: '2016-07-21 23:12:21', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'rewording in an attempt to improve the flow of thought' }, { likeableId: '3161', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '17262', pageId: 'CT_thesis', userId: 'ConnorFlexman2', edit: '8', type: 'newEdit', createdAt: '2016-07-21 23:01:02', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17260', pageId: 'CT_thesis', userId: 'ConnorFlexman2', edit: '7', type: 'newEditProposal', createdAt: '2016-07-21 22:55:43', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17259', pageId: 'CT_thesis', userId: 'ConnorFlexman2', edit: '6', type: 'newEditProposal', createdAt: '2016-07-21 22:49:49', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '14581', pageId: 'CT_thesis', userId: 'AlexeiAndreev', edit: '0', type: 'newTag', createdAt: '2016-06-25 01:00:18', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13697', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '0', type: 'deleteTag', createdAt: '2016-06-17 20:28:25', auxPageId: 'Arbital_lens', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13695', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '5', type: 'newTag', createdAt: '2016-06-17 20:28:21', auxPageId: 'Arbital_lens', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13693', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '0', type: 'deleteTag', createdAt: '2016-06-17 20:28:17', auxPageId: 'Arbital_lens', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13691', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '5', type: 'newTag', createdAt: '2016-06-17 20:28:15', auxPageId: 'Arbital_lens', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13689', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '5', type: 'newTag', createdAt: '2016-06-17 20:25:48', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13687', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '0', type: 'deleteTag', createdAt: '2016-06-17 20:25:40', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13685', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '5', type: 'newTag', createdAt: '2016-06-17 20:25:37', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13683', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '0', type: 'deleteTag', createdAt: '2016-06-17 20:25:34', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13661', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '5', type: 'newChild', createdAt: '2016-06-17 19:18:00', auxPageId: 'evidence_for_CT_thesis', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13374', pageId: 'CT_thesis', userId: 'EricBruylant', edit: '5', type: 'newEdit', createdAt: '2016-06-16 20:13:06', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13210', pageId: 'CT_thesis', userId: 'EricRogstad', edit: '4', type: 'newEdit', createdAt: '2016-06-16 03:10:39', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13124', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '3', type: 'newEdit', createdAt: '2016-06-15 20:05:39', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13118', pageId: 'CT_thesis', userId: 'EricBruylant', edit: '2', type: 'newEdit', createdAt: '2016-06-15 19:38:45', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13117', pageId: 'CT_thesis', userId: 'EricBruylant', edit: '1', type: 'newTag', createdAt: '2016-06-15 19:37:39', auxPageId: 'needs_summary_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '2693', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '13077', pageId: 'CT_thesis', userId: 'PatrickStevens', edit: '1', type: 'newParent', createdAt: '2016-06-15 15:19:03', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13040', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '1', type: 'newChild', createdAt: '2016-06-15 13:41:29', auxPageId: 'strong_Church_Turing_thesis', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13034', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '1', type: 'newEdit', createdAt: '2016-06-15 12:19:26', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13032', pageId: 'CT_thesis', userId: 'JaimeSevillaMolina', edit: '1', type: 'newTag', createdAt: '2016-06-15 12:19:19', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'true', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }