{
  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: {}
}