CINXE.COM

<!DOCTYPE html> <html class="client-nojs" lang="uk" dir="ltr"> <head> <meta charset="UTF-8"> <title>Теза Черча — Тюрінга — Вікіпедія</title> <script>(function(){var className="client-js";var cookie=document.cookie.match(/(?:^|; )ukwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","січень","лютий","березень","квітень","травень","червень","липень","серпень","вересень","жовтень","листопад","грудень"],"wgRequestId":"bfd65b9f-efa5-4611-bb5c-94051bc2b927","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Теза_Черча_—_Тюрінга","wgTitle":"Теза Черча — Тюрінга","wgCurRevisionId":26776346,"wgRevisionId": 26776346,"wgArticleId":48564,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Незавершені статті з математики","Теорія алгоритмів"],"wgPageViewLanguage":"uk","wgPageContentLanguage":"uk","wgPageContentModel":"wikitext","wgRelevantPageName":"Теза_Черча_—_Тюрінга","wgRelevantArticleId":48564,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"accuracy":{"levels":3}}},"wgStableRevisionId":26776346,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"uk","pageLanguageDir":"ltr","pageVariantFallbacks":"uk"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample": false,"wgWMEPageLength":1000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":true,"wgVector2022LanguageInHeader":false,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q309157","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","skins.vector.styles.legacy":"ready","ext.flaggedRevs.basic":"ready","mediawiki.codex.messagebox.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","codex-search-styles":"ready","ext.uls.interlanguage": "ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["site","mediawiki.page.ready","skins.vector.legacy.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.flaggedRevs.advanced","ext.gadget.CurIDLink","ext.gadget.collapserefs","ext.gadget.showContributorContent","ext.gadget.switcher","ext.gadget.edittop","ext.gadget.new-section","ext.gadget.newTopicOnTop","ext.gadget.MonobookToolbarStandard","ext.gadget.ProtectionIndicator","ext.gadget.Statistics","ext.gadget.interwiki-langlist","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.compactlinks","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=uk&modules=codex-search-styles%7Cext.flaggedRevs.basic%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cmediawiki.codex.messagebox.styles%7Cskins.vector.styles.legacy%7Cwikibase.client.init&only=styles&skin=vector"> <script async="" src="/w/load.php?lang=uk&modules=startup&only=scripts&raw=1&skin=vector"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=uk&modules=site.styles&only=styles&skin=vector"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Теза Черча — Тюрінга — Вікіпедія"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//uk.m.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0"> <link rel="alternate" type="application/x-wiki" title="Редагувати" href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Вікіпедія (uk)"> <link rel="EditURI" type="application/rsd+xml" href="//uk.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://uk.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.uk"> <link rel="alternate" type="application/atom+xml" title="Вікіпедія — Atom-стрічка" href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9D%D0%BE%D0%B2%D1%96_%D1%80%D0%B5%D0%B4%D0%B0%D0%B3%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin-vector-legacy mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Теза_Черча_—_Тюрінга rootpage-Теза_Черча_—_Тюрінга skin-vector action-view"><div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div id="siteNotice"></div> <div class="mw-indicators"> </div> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Теза Черча — Тюрінга</span></h1> <div id="bodyContent" class="vector-body"> <div id="siteSub" class="noprint">Матеріал з Вікіпедії — вільної енциклопедії.</div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="contentSub2"></div> <div id="jump-to-nav"></div> <a class="mw-jump-link" href="#mw-head">Перейти до навігації</a> <a class="mw-jump-link" href="#searchInput">Перейти до пошуку</a> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="uk" dir="ltr"><p><b>Теза Черча</b> — твердження, згідно з яким, клас <a href="/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC" title="Алгоритм">алгоритмічно-обчислюваних функцій</a> збігається з класом <a href="/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D1%96_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%97" class="mw-redirect" title="Рекурсивні функції">частково-рекурсивних функцій</a>, <a href="/wiki/%D0%9C%D0%B0%D1%88%D0%B8%D0%BD%D0%B0_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" title="Машина Тюрінга">функцій обчислюваних за Тюрінгом</a> та інших формальних уточнень інтуїтивного поняття <a href="/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC" title="Алгоритм">алгоритм</a>. З неї випливає, що якщо функція належить до класу певної формалізації алгоритмічно-обчислюваної функції, то вона є алгоритмічно-обчислювана. Теза не доводиться. А еквівалентність класів формалізмів підлягає доведенню, що і було зроблено. Названа на честь американського математика <a href="/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87" title="Алонзо Черч">Алонзо Черча</a>. </p><p>Також виділяють тезу Черча-Тюрінга. </p> <div class="mw-heading mw-heading2"><h2 id="Джерела_інформації"><span id=".D0.94.D0.B6.D0.B5.D1.80.D0.B5.D0.BB.D0.B0_.D1.96.D0.BD.D1.84.D0.BE.D1.80.D0.BC.D0.B0.D1.86.D1.96.D1.97"></span>Джерела інформації</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&veaction=edit&section=1" title="Редагувати розділ: Джерела інформації" class="mw-editsection-visualeditor"><span>ред.</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=edit&section=1" title="Редагувати вихідний код розділу: Джерела інформації"><span>ред. код</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/%D0%95%D0%BD%D1%86%D0%B8%D0%BA%D0%BB%D0%BE%D0%BF%D0%B5%D0%B4%D1%96%D1%8F_%D0%BA%D1%96%D0%B1%D0%B5%D1%80%D0%BD%D0%B5%D1%82%D0%B8%D0%BA%D0%B8" title="Енциклопедія кібернетики">Енциклопедія кібернетики</a>, т. <b>2</b>, с. 530.</li></ul> <div class="mw-heading mw-heading2"><h2 id="Див._також"><span id=".D0.94.D0.B8.D0.B2._.D1.82.D0.B0.D0.BA.D0.BE.D0.B6"></span>Див. також</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&veaction=edit&section=2" title="Редагувати розділ: Див. також" class="mw-editsection-visualeditor"><span>ред.</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=edit&section=2" title="Редагувати вихідний код розділу: Див. також"><span>ред. код</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%96%D0%B2" title="Теорія алгоритмів">Теорія алгоритмів</a></li></ul> <p><br /> </p> <table align="center" border="0" cellpadding="0" cellspacing="4" class="metadata"> <tbody><tr> <td style="padding-right: 4px"><span typeof="mw:File"><a href="/wiki/%D0%A4%D0%B0%D0%B9%D0%BB:E-to-the-i-pi.svg" class="mw-file-description" title="Сигма"><img alt="Сигма" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/35/E-to-the-i-pi.svg/55px-E-to-the-i-pi.svg.png" decoding="async" width="55" height="49" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/35/E-to-the-i-pi.svg/83px-E-to-the-i-pi.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/35/E-to-the-i-pi.svg/110px-E-to-the-i-pi.svg.png 2x" data-file-width="512" data-file-height="453" /></a></span> </td> <td><span style="white-space: nowrap;"><i>Це незавершена стаття з <a href="/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Математика">математики</a>.<br />Ви можете <a href="/wiki/%D0%94%D0%BE%D0%B2%D1%96%D0%B4%D0%BA%D0%B0:%D0%AF%D0%BA_%D1%80%D0%B5%D0%B4%D0%B0%D0%B3%D1%83%D0%B2%D0%B0%D1%82%D0%B8_%D1%81%D1%82%D0%B0%D1%82%D1%82%D1%8E" title="Довідка:Як редагувати статтю">допомогти</a> проєкту, <span class="plainlinks"><a class="external text" href="https://uk.wikipedia.org/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=edit">виправивши або дописавши її</a></span>.</i></span> </td></tr></tbody></table> <p><br /> </p> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r43815798">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r43353293">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Математична_логіка" style="padding:3px"><table class="nowraplinks collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r43815798"><style data-mw-deduplicate="TemplateStyles:r43094501">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}@media screen{html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-переглянути"><a href="/wiki/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Шаблон:Математична логіка"><abbr title="Переглянути цей шаблон">п</abbr></a></li><li class="nv-обговорити"><a href="/wiki/%D0%9E%D0%B1%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%D0%B5%D0%BD%D0%BD%D1%8F_%D1%88%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD%D1%83:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Обговорення шаблону:Математична логіка"><abbr title="Обговорити цей шаблон">о</abbr></a></li><li class="nv-редагувати"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:EditPage/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Спеціальна:EditPage/Шаблон:Математична логіка"><abbr title="Редагувати цей шаблон">р</abbr></a></li></ul></div><div id="Математична_логіка" style="font-size:114%;margin:0 4em"><a href="/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Математична логіка">Математична логіка</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Загальне</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%90%D0%BA%D1%81%D1%96%D0%BE%D0%BC%D0%B0" title="Аксіома">Аксіома</a> <ul><li><a href="/wiki/%D0%9D%D0%B5%D0%B7%D0%B0%D0%BB%D0%B5%D0%B6%D0%BD%D1%96%D1%81%D1%82%D1%8C_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B8_%D0%B0%D0%BA%D1%81%D1%96%D0%BE%D0%BC" title="Незалежність системи аксіом">незалежність</a></li></ul></li> <li><a href="/wiki/%D0%92%D1%96%D0%B4%D0%BD%D0%BE%D1%88%D0%B5%D0%BD%D0%BD%D1%8F" title="Відношення">Відношення</a></li> <li><a href="/wiki/%D0%95%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)" title="Елемент (математика)">Елемент</a></li> <li><a href="/wiki/%D0%9A%D0%BB%D0%B0%D1%81_(%D1%82%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD)" title="Клас (теорія множин)">Клас</a></li> <li><a href="/wiki/%D0%A3%D0%BC%D0%BE%D0%B2%D0%B8%D0%B2%D1%96%D0%B4" title="Умовивід">Умовивід</a></li> <li><a href="/wiki/%D0%A1%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)" title="Символ (логіка)">Логічний символ</a></li> <li><a href="/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Множина">Множина</a></li> <li><a href="/w/index.php?title=%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D1%8C%D0%BD%D0%BE_%D0%BF%D0%BE%D0%B1%D1%83%D0%B4%D0%BE%D0%B2%D0%B0%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BB%D0%B0&action=edit&redlink=1" class="new" title="Правильно побудована формула (ще не написана)">Правильно побудована формула</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Well-formed_formula" class="extiw" title="en:Well-formed formula"><span title="Well-formed formula — версія статті «Правильно побудована формула» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/w/index.php?title=%D0%9F%D1%80%D0%B8%D1%80%D0%BE%D0%B4%D0%BD%D0%B0_%D0%B4%D0%B5%D0%B4%D1%83%D0%BA%D1%86%D1%96%D1%8F&action=edit&redlink=1" class="new" title="Природна дедукція (ще не написана)">Природна дедукція</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Natural_deduction" class="extiw" title="en:Natural deduction"><span title="Natural deduction — версія статті «Природна дедукція» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D0%B2%D0%B8%D1%81%D0%BD%D0%BE%D0%B2%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F" title="Правило висновування">Правило висновування</a></li> <li><a href="/w/index.php?title=%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D0%BF%D0%BE%D0%B1%D1%83%D0%B4%D0%BE%D0%B2%D0%B8&action=edit&redlink=1" class="new" title="Правило побудови (ще не написана)">Правило побудови</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Formation_rule" class="extiw" title="en:Formation rule"><span title="Formation rule — версія статті «Правило побудови» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/w/index.php?title=%D0%A1%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%81_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)&action=edit&redlink=1" class="new" title="Синтаксис (логіка) (ще не написана)">Синтаксис</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Syntax_(logic)" class="extiw" title="en:Syntax (logic)"><span title="Syntax (logic) — версія статті «Синтаксис (логіка)» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0" title="Теорема">Теорема</a></li> <li><a href="/w/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)&action=edit&redlink=1" class="new" title="Теорія (математична логіка) (ще не написана)">Теорія</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Theory_(mathematical_logic)" class="extiw" title="en:Theory (mathematical logic)"><span title="Theory (mathematical logic) — версія статті «Теорія (математична логіка)» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D1%82%D0%B8%D0%BF%D1%96%D0%B2" title="Теорія типів">Теорія типів</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;">Системи</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%90%D0%BA%D1%81%D1%96%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Аксіоматика">Аксіоматична</a></li> <li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0#Визначення_та_різновиди" title="Формальна система">Дедуктивна</a></li> <li><a href="/wiki/%D0%9A%D0%BB%D0%B0%D1%81%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Класична логіка">Класична</a></li> <li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0" title="Формальна система">Формальна</a> <ul><li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D0%BC%D0%BE%D0%B2%D0%B0" title="Формальна мова">мова</a></li> <li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B5_%D0%B4%D0%BE%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%BD%D1%8F" title="Формальне доведення">доведення</a></li> <li><a href="/wiki/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8" title="Семантика логіки">семантика</a></li></ul></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%90%D1%80%D1%96%D1%81%D1%82%D0%BE%D1%82%D0%B5%D0%BB%D0%B5%D0%B2%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Арістотелева логіка">Традиційна</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%A1%D1%83%D0%B4%D0%B6%D0%B5%D0%BD%D0%BD%D1%8F" title="Судження">Судження</a></li> <li><a href="/wiki/%D0%92%D0%B8%D1%81%D0%BD%D0%BE%D0%B2%D0%BE%D0%BA" title="Висновок">Висновок</a></li> <li><a href="/wiki/%D0%90%D1%80%D0%B3%D1%83%D0%BC%D0%B5%D0%BD%D1%82" class="mw-disambig" title="Аргумент">Аргумент</a></li> <li><a href="/wiki/%D0%A7%D0%B8%D0%BD%D0%BD%D1%96%D1%81%D1%82%D1%8C" title="Чинність">Чинність</a></li> <li><a href="/wiki/%D0%A1%D0%B8%D0%BB%D0%BE%D0%B3%D1%96%D0%B7%D0%BC" title="Силогізм">Силогізм</a></li> <li><a href="/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D1%87%D0%BD%D0%B8%D0%B9_%D0%BA%D0%B2%D0%B0%D0%B4%D1%80%D0%B0%D1%82" title="Логічний квадрат">Логічний квадрат</a></li> <li><a href="/wiki/%D0%94%D1%96%D0%B0%D0%B3%D1%80%D0%B0%D0%BC%D0%B0_%D0%92%D0%B5%D0%BD%D0%BD%D0%B0" title="Діаграма Венна">Діаграма Венна</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%A7%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1%8F_%D0%B2%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BB%D0%B5%D0%BD%D1%8C" title="Числення висловлень">Числення висловлень</a><br /><a href="/wiki/%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8" title="Алгебра логіки">Булева логіка</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%91%D1%83%D0%BB%D0%B5%D0%B2%D0%B0_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%8F" title="Булева функція">Булева функція</a></li> <li><a href="/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат">Предикат</a></li> <li><a href="/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D1%87%D0%BD%D0%B8%D0%B9_%D1%81%D0%BF%D0%BE%D0%BB%D1%83%D1%87%D0%BD%D0%B8%D0%BA" title="Логічний сполучник">Логічний сполучник</a></li> <li><a href="/wiki/%D0%A2%D0%B0%D0%B1%D0%BB%D0%B8%D1%86%D1%8F_%D1%96%D1%81%D1%82%D0%B8%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%96" title="Таблиця істинності">Таблиця істинності</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82%D1%96%D0%B2" title="Логіка предикатів">Предикатна логіка</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83" title="Логіка першого порядку">Першого порядку</a></li> <li><a href="/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80" title="Квантор">Квантори</a></li> <li><a href="/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82" title="Предикат">Предикат</a></li> <li><a href="/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%B4%D1%80%D1%83%D0%B3%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83" title="Логіка другого порядку">Другого порядку</a></li> <li><a href="/wiki/%D0%A7%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1%8F_%D0%BE%D0%B4%D0%BD%D0%BE%D0%BC%D1%96%D1%81%D0%BD%D0%B8%D1%85_%D0%BF%D1%80%D0%B5%D0%B4%D0%B8%D0%BA%D0%B0%D1%82%D1%96%D0%B2" title="Числення одномісних предикатів">Числення одномісних предикатів</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD" title="Теорія множин">Теорія множин</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;"><a href="/wiki/%D0%9D%D0%B0%D1%97%D0%B2%D0%BD%D0%B0_%D1%82%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD" title="Наївна теорія множин">Наївна</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><td colspan="2" class="navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%91%D1%96%D0%BD%D0%B0%D1%80%D0%BD%D0%B0_%D0%BE%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D1%96%D1%8F" title="Бінарна операція">Відношення</a></li> <li><a href="/wiki/%D0%92%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%BE%D0%B2%D0%B0%D0%BD%D0%B0_%D0%BF%D0%B0%D1%80%D0%B0" title="Впорядкована пара">Впорядкована пара</a></li> <li><a href="/w/index.php?title=%D0%9E%D0%B1%27%D1%94%D0%BC%D0%BD%D1%96%D1%81%D1%82%D1%8C&action=edit&redlink=1" class="new" title="Об'ємність (ще не написана)">Об'ємність</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Extensionality" class="extiw" title="en:Extensionality"><span title="Extensionality — версія статті «Об'ємність» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%9C%D0%BE%D1%80%D1%84%D1%96%D0%B7%D0%BC" title="Морфізм">Морфізм</a></li> <li><a href="/wiki/%D0%9E%D0%B1%D0%BB%D0%B0%D1%81%D1%82%D1%8C_%D0%B2%D0%B8%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%BD%D1%8F" title="Область визначення">Область визначення</a></li> <li><a href="/wiki/%D0%9E%D0%B1%D0%BB%D0%B0%D1%81%D1%82%D1%8C_%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D1%8C" title="Область значень">Область значень</a></li> <li><a href="/wiki/%D0%9F%D0%B5%D1%80%D0%B5%D0%BB%D1%96%D0%BA" title="Перелік">Перелік</a></li> <li><a href="/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%8F_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)" title="Функція (математика)">Функція</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;">Типи <a href="/wiki/%D0%9C%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Множина">множин</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%91%D1%83%D0%BB%D0%B5%D0%B0%D0%BD" title="Булеан">Булеан</a></li> <li><a href="/wiki/%D0%97%D0%BB%D1%96%D1%87%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Зліченна множина">Зліченна</a></li> <li><a href="/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B8%D0%BD%D1%83%D1%83%D0%BC_(%D1%82%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD)" title="Континуум (теорія множин)">Незліченна</a></li> <li><a href="/wiki/%D0%9D%D0%B5%D1%81%D0%BA%D1%96%D0%BD%D1%87%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Нескінченна множина">Нескінченна</a></li> <li><a href="/wiki/%D0%9F%D1%96%D0%B4%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Підмножина">Підмножина</a></li> <li><a href="/wiki/%D0%9F%D0%BE%D1%80%D0%BE%D0%B6%D0%BD%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Порожня множина">Порожня</a></li> <li><a href="/wiki/%D0%9E%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Обчисленна множина">Обчисленна</a></li> <li><a href="/wiki/%D0%A1%D0%BA%D1%96%D0%BD%D1%87%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Скінченна множина">Скінченна</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;">Формальна</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><td colspan="2" class="navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%90%D0%BA%D1%81%D1%96%D0%BE%D0%BC%D0%B0_%D0%B2%D0%B8%D0%B1%D0%BE%D1%80%D1%83" title="Аксіома вибору">Аксіома вибору</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;">Теорії</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D0%A6%D0%B5%D1%80%D0%BC%D0%B5%D0%BB%D0%BE" title="Теорія множин Цермело">Цермело</a> <ul><li><a href="/wiki/%D0%97%D0%B0%D0%B3%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%82%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD" title="Загальна теорія множин">Загальна</a></li></ul></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D0%A6%D0%B5%D1%80%D0%BC%D0%B5%D0%BB%D0%BE_%E2%80%94_%D0%A4%D1%80%D0%B5%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F" title="Теорія множин Цермело — Френкеля">Цермело — Френкеля</a> <ul><li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D1%84%D0%BE%D0%BD_%D0%9D%D0%B5%D0%B9%D0%BC%D0%B0%D0%BD%D0%B0_%E2%80%94_%D0%91%D0%B5%D1%80%D0%BD%D0%B0%D0%B9%D1%81%D0%B0_%E2%80%94_%D0%93%D0%B5%D0%B4%D0%B5%D0%BB%D1%8F" title="Теорія множин фон Неймана — Бернайса — Геделя">фон Неймана — Бернайса — Геделя</a> <ul><li><a href="/w/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D0%9C%D0%BE%D1%80%D0%B7%D0%B5_%E2%80%94_%D0%9A%D0%B5%D0%BB%D0%BB%D1%96&action=edit&redlink=1" class="new" title="Теорія множин Морзе — Келлі (ще не написана)">Морзе — Келлі</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Morse%E2%80%93Kelley_set_theory" class="extiw" title="en:Morse–Kelley set theory"><span title="Morse–Kelley set theory — версія статті «Теорія множин Морзе — Келлі» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li></ul></li> <li><a href="/w/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D0%9A%D1%80%D1%96%D0%BF%D0%BA%D0%B5_%E2%80%94_%D0%9F%D0%BB%D0%B0%D1%82%D0%B5%D0%BA%D0%B0&action=edit&redlink=1" class="new" title="Теорія множин Кріпке — Платека (ще не написана)">Кріпке — Платека</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Kripke%E2%80%93Platek_set_theory" class="extiw" title="en:Kripke–Platek set theory"><span title="Kripke–Platek set theory — версія статті «Теорія множин Кріпке — Платека» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/w/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD_%D0%A2%D0%B0%D1%80%D1%81%D1%8C%D0%BA%D0%BE%D0%B3%D0%BE_%E2%80%94_%D0%93%D1%80%D0%BE%D1%82%D0%B5%D0%BD%D0%B4%D1%96%D0%BA%D0%B0&action=edit&redlink=1" class="new" title="Теорія множин Тарського — Гротендіка (ще не написана)">Тарського — Гротендіка</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory" class="extiw" title="en:Tarski–Grothendieck set theory"><span title="Tarski–Grothendieck set theory — версія статті «Теорія множин Тарського — Гротендіка» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li></ul></li></ul> </div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B5%D0%B9" title="Теорія моделей">Теорія моделей</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/w/index.php?title=%D0%A1%D1%82%D1%80%D1%83%D0%BA%D1%82%D1%83%D1%80%D0%B0_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)&action=edit&redlink=1" class="new" title="Структура (математична логіка) (ще не написана)">Модель</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Structure_(mathematical_logic)" class="extiw" title="en:Structure (mathematical logic)"><span title="Structure (mathematical logic) — версія статті «Структура (математична логіка)» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%86%D0%BD%D1%82%D0%B5%D1%80%D0%BF%D1%80%D0%B5%D1%82%D0%B0%D1%86%D1%96%D1%8F_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)" title="Інтерпретація (логіка)">Інтерпретація</a></li> <li><a href="/w/index.php?title=%D0%9D%D0%B5%D1%81%D1%82%D0%B0%D0%BD%D0%B4%D0%B0%D1%80%D1%82%D0%BD%D0%B0_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D1%8C&action=edit&redlink=1" class="new" title="Нестандартна модель (ще не написана)">Нестандартна модель</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Non-standard_model" class="extiw" title="en:Non-standard model"><span title="Non-standard model — версія статті «Нестандартна модель» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/w/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D1%81%D0%BA%D1%96%D0%BD%D1%87%D0%B5%D0%BD%D0%BD%D0%B8%D1%85_%D0%BC%D0%BE%D0%B4%D0%B5%D0%BB%D0%B5%D0%B9&action=edit&redlink=1" class="new" title="Теорія скінченних моделей (ще не написана)">Теорія скінченних моделей</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Finite_model_theory" class="extiw" title="en:Finite model theory"><span title="Finite model theory — версія статті «Теорія скінченних моделей» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%97%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%BD%D1%8F_%D1%96%D1%81%D1%82%D0%B8%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%96" title="Значення істинності">Значення істинності</a></li> <li><a href="/wiki/%D0%A7%D0%B8%D0%BD%D0%BD%D1%96%D1%81%D1%82%D1%8C" title="Чинність">Чинність</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B4%D0%BE%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%BD%D1%8F" title="Теорія доведення">Теорія доведення</a></th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B5_%D0%B4%D0%BE%D0%B2%D0%B5%D0%B4%D0%B5%D0%BD%D0%BD%D1%8F" title="Формальне доведення">Формальне доведення</a></li> <li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0#Визначення_та_різновиди" title="Формальна система">Дедуктивна система</a></li> <li><a href="/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0" title="Формальна система">Формальна система</a></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0" title="Теорема">Теорема</a></li> <li><a href="/wiki/%D0%A3%D0%BC%D0%BE%D0%B2%D0%B8%D0%B2%D1%96%D0%B4" title="Умовивід">Умовивід</a></li> <li><a href="/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D0%BE_%D0%B2%D0%B8%D1%81%D0%BD%D0%BE%D0%B2%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F" title="Правило висновування">Правило висновування</a></li> <li><a href="/w/index.php?title=%D0%A1%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%81_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)&action=edit&redlink=1" class="new" title="Синтаксис (логіка) (ще не написана)">Синтаксис</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Syntax_(logic)" class="extiw" title="en:Syntax (logic)"><span title="Syntax (logic) — версія статті «Синтаксис (логіка)» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%BE%D0%B2%D1%96_%D0%BE%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1%8F" title="Доказові обчислення">Доказові обчислення</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%BE%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D1%8E%D0%B2%D0%B0%D0%BD%D0%BE%D1%81%D1%82%D1%96" title="Теорія обчислюваності">Теорія обчислюваності</a></th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D1%96%D1%8F" title="Рекурсія">Рекурсія</a></li> <li><a href="/wiki/%D0%9E%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0" title="Обчисленна множина">Обчисленна множина</a></li> <li><a href="/w/index.php?title=%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D0%BE_%D0%B7%D0%BB%D1%96%D1%87%D0%B5%D0%BD%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0&action=edit&redlink=1" class="new" title="Рекурсивно зліченна множина (ще не написана)">Рекурсивно зліченна множина</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Recursively_enumerable_set" class="extiw" title="en:Recursively enumerable set"><span title="Recursively enumerable set — версія статті «Рекурсивно зліченна множина» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%B2%D0%B8%D0%B1%D0%BE%D1%80%D1%83" title="Задача вибору">Задача вибору</a></li> <li><a class="mw-selflink selflink">Теза Черча</a></li> <li><a href="/wiki/%D0%9E%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D0%B0_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%8F" title="Обчисленна функція">Обчисленна функція</a></li> <li><a href="/wiki/%D0%97%D0%B0%D0%B3%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D0%B0_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%8F" title="Загальна рекурсивна функція">Рекурсивна функція</a></li></ul> </div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div><a href="/wiki/%D0%9A%D1%80%D0%B8%D0%B7%D0%B0_%D0%BE%D1%81%D0%BD%D0%BE%D0%B2_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B8" title="Криза основ математики">Основи математики</a></div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r43815798"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r43353293"></div><div role="navigation" class="navbox" aria-labelledby="Металогіка_•_Метаматематика" style="padding:3px"><table class="nowraplinks collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r43815798"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r43094501"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-переглянути"><a href="/wiki/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%9C%D0%B5%D1%82%D0%B0%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Шаблон:Металогіка"><abbr title="Переглянути цей шаблон">п</abbr></a></li><li class="nv-обговорити"><a href="/wiki/%D0%9E%D0%B1%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%D0%B5%D0%BD%D0%BD%D1%8F_%D1%88%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD%D1%83:%D0%9C%D0%B5%D1%82%D0%B0%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Обговорення шаблону:Металогіка"><abbr title="Обговорити цей шаблон">о</abbr></a></li><li class="nv-редагувати"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:EditPage/%D0%A8%D0%B0%D0%B1%D0%BB%D0%BE%D0%BD:%D0%9C%D0%B5%D1%82%D0%B0%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Спеціальна:EditPage/Шаблон:Металогіка"><abbr title="Редагувати цей шаблон">р</abbr></a></li></ul></div><div id="Металогіка_•_Метаматематика" style="font-size:114%;margin:0 4em"><a href="/wiki/%D0%9C%D0%B5%D1%82%D0%B0%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Металогіка">Металогіка</a> • <a href="/wiki/%D0%9C%D0%B5%D1%82%D0%B0%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0" title="Метаматематика">Метаматематика</a></div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd hlist" style="width:100%;padding:0;padding-left:2.0em;padding-right:2.0em;"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%9A%D0%B0%D0%BD%D1%82%D0%BE%D1%80%D0%B0" title="Теорема Кантора">Теорема Кантора</a></li> <li><a href="/wiki/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D1%80%D0%BE%D0%B7%D0%B2%27%D1%8F%D0%B7%D0%BD%D0%BE%D1%81%D1%82%D1%96" title="Задача розв'язності">Задача розв'язності</a></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0" class="mw-redirect" title="Теза Черча">Теза Черча</a></li> <li><a href="/wiki/%D0%9D%D0%B5%D1%81%D1%83%D0%BF%D0%B5%D1%80%D0%B5%D1%87%D0%BD%D1%96%D1%81%D1%82%D1%8C" title="Несуперечність">Несуперечність</a></li> <li><a href="/wiki/%D0%95%D1%84%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B8%D0%B9_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4" title="Ефективний метод">Ефективний метод</a></li> <li><a href="/wiki/%D0%9A%D1%80%D0%B8%D0%B7%D0%B0_%D0%BE%D1%81%D0%BD%D0%BE%D0%B2_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B8" title="Криза основ математики">Основи математики</a></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D0%B5%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BF%D1%80%D0%BE_%D0%BF%D0%BE%D0%B2%D0%BD%D0%BE%D1%82%D1%83" title="Теорема Геделя про повноту">Теорема Геделя про повноту</a></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B8_%D0%93%D0%B5%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BF%D1%80%D0%BE_%D0%BD%D0%B5%D0%BF%D0%BE%D0%B2%D0%BD%D0%BE%D1%82%D1%83" title="Теореми Геделя про неповноту">Теореми Геделя про неповноту</a></li> <li><a href="/wiki/%D0%9F%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D1%8C%D0%BD%D1%96%D1%81%D1%82%D1%8C" title="Правильність">Правильність</a></li> <li><a href="/wiki/%D0%9F%D0%BE%D0%B2%D0%BD%D0%BE%D1%82%D0%B0_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)" title="Повнота (логіка)">Повнота</a></li> <li><a href="/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%96%D1%87%D0%BD%D0%B0_%D1%80%D0%BE%D0%B7%D0%B2%27%D1%8F%D0%B7%D0%BD%D1%96%D1%81%D1%82%D1%8C" title="Алгоритмічна розв'язність">Розв'язність</a></li> <li><a href="/wiki/%D0%86%D0%BD%D1%82%D0%B5%D1%80%D0%BF%D1%80%D0%B5%D1%82%D0%B0%D1%86%D1%96%D1%8F_(%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0)" title="Інтерпретація (логіка)">Інтерпретація</a></li> <li><a href="/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%9B%D1%8C%D0%BE%D0%B2%D0%B5%D0%BD%D0%B3%D0%B5%D0%B9%D0%BC%D0%B0_%E2%80%94_%D0%A1%D0%BA%D0%BE%D0%BB%D0%B5%D0%BC%D0%B0" title="Теорема Льовенгейма — Сколема">Теорема Льовенгейма — Сколема</a></li> <li><a href="/wiki/%D0%9C%D0%B5%D1%82%D0%B0%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0" title="Метатеорема">Метатеорема</a></li> <li><a href="/w/index.php?title=%D0%92%D0%B8%D0%BA%D0%BE%D0%BD%D1%83%D0%B2%D0%B0%D0%BD%D1%96%D1%81%D1%82%D1%8C&action=edit&redlink=1" class="new" title="Виконуваність (ще не написана)">Виконуваність</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Satisfiability" class="extiw" title="en:Satisfiability"><span title="Satisfiability — версія статті «Виконуваність» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/wiki/%D0%9D%D0%B5%D0%B7%D0%B0%D0%BB%D0%B5%D0%B6%D0%BD%D1%96%D1%81%D1%82%D1%8C_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B8_%D0%B0%D0%BA%D1%81%D1%96%D0%BE%D0%BC" title="Незалежність системи аксіом">Незалежність</a></li> <li><a href="/w/index.php?title=%D0%A0%D0%BE%D0%B7%D1%80%D1%96%D0%B7%D0%BD%D0%B5%D0%BD%D0%BD%D1%8F_%D1%82%D0%B8%D0%BF%D1%83_%D1%82%D0%B0_%D0%B5%D0%BA%D0%B7%D0%B5%D0%BC%D0%BF%D0%BB%D1%8F%D1%80%D1%83&action=edit&redlink=1" class="new" title="Розрізнення типу та екземпляру (ще не написана)">Розрізнення типу та екземпляру</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Type%E2%80%93token_distinction" class="extiw" title="en:Type–token distinction"><span title="Type–token distinction — версія статті «Розрізнення типу та екземпляру» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li> <li><a href="/w/index.php?title=%D0%A0%D0%BE%D0%B7%D1%80%D1%96%D0%B7%D0%BD%D0%B5%D0%BD%D0%BD%D1%8F_%D0%B2%D0%B8%D0%BA%D0%BE%D1%80%D0%B8%D1%81%D1%82%D0%B0%D0%BD%D0%BD%D1%8F_%D1%82%D0%B0_%D0%BF%D0%BE%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%BD%D1%8F&action=edit&redlink=1" class="new" title="Розрізнення використання та позначення (ще не написана)">Розрізнення використання та позначення</a><sup class="noprint"><a href="https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinction" class="extiw" title="en:Use–mention distinction"><span title="Use–mention distinction — версія статті «Розрізнення використання та позначення» англійською мовою" style="font-style:normal;font-weight:normal;font-size:normal">[en]</span></a></sup></li></ul> </div></td></tr></tbody></table></div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Отримано з <a dir="ltr" href="https://uk.wikipedia.org/w/index.php?title=Теза_Черча_—_Тюрінга&oldid=26776346">https://uk.wikipedia.org/w/index.php?title=Теза_Черча_—_Тюрінга&oldid=26776346</a></div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%97" title="Спеціальна:Категорії">Категорія</a>: <ul><li><a href="/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%96%D0%B2" title="Категорія:Теорія алгоритмів">Теорія алгоритмів</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Прихована категорія: <ul><li><a href="/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%8F:%D0%9D%D0%B5%D0%B7%D0%B0%D0%B2%D0%B5%D1%80%D1%88%D0%B5%D0%BD%D1%96_%D1%81%D1%82%D0%B0%D1%82%D1%82%D1%96_%D0%B7_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B8" title="Категорія:Незавершені статті з математики">Незавершені статті з математики</a></li></ul></div></div> </div> </div> <div id="mw-navigation"> <h2>Навігаційне меню</h2> <div id="mw-head"> <nav id="p-personal" class="mw-portlet mw-portlet-personal vector-user-menu-legacy vector-menu" aria-labelledby="p-personal-label" > <h3 id="p-personal-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Особисті інструменти</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anonuserpage" class="mw-list-item"><span title="Сторінка користувача для вашої IP-адреси">Ви не увійшли до системи</span></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9C%D0%BE%D1%94_%D0%BE%D0%B1%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%D0%B5%D0%BD%D0%BD%D1%8F" title="Обговорення редагувань з цієї IP-адреси [n]" accesskey="n"><span>Обговорення</span></a></li><li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9C%D1%96%D0%B9_%D0%B2%D0%BD%D0%B5%D1%81%D0%BE%D0%BA" title="Список редагувань, зроблених з цієї IP-адреси [y]" accesskey="y"><span>Внесок</span></a></li><li id="pt-createaccount" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%A1%D1%82%D0%B2%D0%BE%D1%80%D0%B8%D1%82%D0%B8_%D0%BE%D0%B1%D0%BB%D1%96%D0%BA%D0%BE%D0%B2%D0%B8%D0%B9_%D0%B7%D0%B0%D0%BF%D0%B8%D1%81&returnto=%D0%A2%D0%B5%D0%B7%D0%B0+%D0%A7%D0%B5%D1%80%D1%87%D0%B0+%E2%80%94+%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" title="Пропонуємо створити обліковий запис і увійти в систему; однак, це не обов'язково"><span>Створити обліковий запис</span></a></li><li id="pt-login" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%92%D1%85%D1%96%D0%B4&returnto=%D0%A2%D0%B5%D0%B7%D0%B0+%D0%A7%D0%B5%D1%80%D1%87%D0%B0+%E2%80%94+%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" title="Заохочуємо Вас увійти в систему, але це необов'язково. [o]" accesskey="o"><span>Увійти</span></a></li> </ul> </div> </nav> <div id="left-navigation"> <nav id="p-namespaces" class="mw-portlet mw-portlet-namespaces vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-namespaces-label" > <h3 id="p-namespaces-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Простори назв</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected mw-list-item"><a href="/wiki/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" title="Вміст статті [c]" accesskey="c"><span>Стаття</span></a></li><li id="ca-talk" class="mw-list-item"><a href="/wiki/%D0%9E%D0%B1%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%D0%B5%D0%BD%D0%BD%D1%8F:%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" rel="discussion" title="Обговорення сторінки [t]" accesskey="t"><span>Обговорення</span></a></li> </ul> </div> </nav> <nav id="p-variants" class="mw-portlet mw-portlet-variants emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-variants-label" > <input type="checkbox" id="p-variants-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-variants" class="vector-menu-checkbox" aria-labelledby="p-variants-label" > <label id="p-variants-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">українська</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> </div> <div id="right-navigation"> <nav id="p-views" class="mw-portlet mw-portlet-views vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-views-label" > <h3 id="p-views-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Перегляди</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected mw-list-item"><a href="/wiki/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0"><span>Читати</span></a></li><li id="ca-ve-edit" class="mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&veaction=edit" title="Редагувати цю сторінку [v]" accesskey="v"><span>Редагувати</span></a></li><li id="ca-edit" class="collapsible mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=edit" title="Редагувати вихідний код сторінки [e]" accesskey="e"><span>Редагувати код</span></a></li><li id="ca-history" class="mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=history" title="Журнал змін сторінки [h]" accesskey="h"><span>Переглянути історію</span></a></li> </ul> </div> </nav> <nav id="p-cactions" class="mw-portlet mw-portlet-cactions emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-cactions-label" title="Більше опцій" > <input type="checkbox" id="p-cactions-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-cactions" class="vector-menu-checkbox" aria-labelledby="p-cactions-label" > <label id="p-cactions-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Більше</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <h3 >Пошук</h3> <form action="/w/index.php" id="searchform" class="vector-search-box-form"> <div id="simpleSearch" class="vector-search-box-inner" data-search-loc="header-navigation"> <input class="vector-search-box-input" type="search" name="search" placeholder="Пошук у Вікіпедії" aria-label="Пошук у Вікіпедії" autocapitalize="sentences" title="Шукати у Вікіпедії [f]" accesskey="f" id="searchInput" > <input type="hidden" name="title" value="Спеціальна:Пошук"> <input id="mw-searchButton" class="searchButton mw-fallbackSearchButton" type="submit" name="fulltext" title="Знайти сторінки, що містять зазначений текст" value="Знайти"> <input id="searchButton" class="searchButton" type="submit" name="go" title="Перейти до сторінки, що має точно таку назву (якщо вона існує)" value="Перейти"> </div> </form> </div> </div> </div> <div id="mw-panel" class="vector-legacy-sidebar"> <div id="p-logo" role="banner"> <a class="mw-wiki-logo" href="/wiki/%D0%93%D0%BE%D0%BB%D0%BE%D0%B2%D0%BD%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0" title="Перейти на головну сторінку"></a> </div> <nav id="p-navigation" class="mw-portlet mw-portlet-navigation vector-menu-portal portal vector-menu" aria-labelledby="p-navigation-label" > <h3 id="p-navigation-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Навігація</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/%D0%93%D0%BE%D0%BB%D0%BE%D0%B2%D0%BD%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0" title="Перейти на головну сторінку [z]" accesskey="z"><span>Головна сторінка</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%D0%9F%D0%BE%D1%80%D1%82%D0%B0%D0%BB:%D0%9F%D0%BE%D1%82%D0%BE%D1%87%D0%BD%D1%96_%D0%BF%D0%BE%D0%B4%D1%96%D1%97" title="Список поточних подій"><span>Поточні події</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9D%D0%BE%D0%B2%D1%96_%D1%80%D0%B5%D0%B4%D0%B0%D0%B3%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F" title="Список останніх змін у цій вікі [r]" accesskey="r"><span>Нові редагування</span></a></li><li id="n-newpages" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9D%D0%BE%D0%B2%D1%96_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B8"><span>Нові сторінки</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%92%D0%B8%D0%BF%D0%B0%D0%B4%D0%BA%D0%BE%D0%B2%D0%B0_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0" title="Переглянути випадкову сторінку [x]" accesskey="x"><span>Випадкова стаття</span></a></li> </ul> </div> </nav> <nav id="p-Участь" class="mw-portlet mw-portlet-Участь vector-menu-portal portal vector-menu" aria-labelledby="p-Участь-label" > <h3 id="p-Участь-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Участь</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-portal" class="mw-list-item"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%9F%D0%BE%D1%80%D1%82%D0%B0%D0%BB_%D1%81%D0%BF%D1%96%D0%BB%D1%8C%D0%BD%D0%BE%D1%82%D0%B8" title="Про проєкт, про те, що Ви можете зробити, і що де шукати"><span>Портал спільноти</span></a></li><li id="n-tavern" class="mw-list-item"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%9A%D0%BD%D0%B0%D0%B9%D0%BF%D0%B0" title="Місце для обговорення більшості питань"><span>Кнайпа</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%94%D0%BE%D0%B2%D1%96%D0%B4%D0%BA%D0%B0" title="Довідка з проєкту"><span>Довідка</span></a></li><li id="n-sitesupport" class="mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_uk.wikipedia.org&uselang=uk" title="Підтримайте проєкт"><span>Пожертвувати</span></a></li><li id="n-Сторінка-для-медіа" class="mw-list-item"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%A1%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B0_%D0%B4%D0%BB%D1%8F_%D0%BC%D0%B5%D0%B4%D1%96%D0%B0"><span>Сторінка для медіа</span></a></li> </ul> </div> </nav> <nav id="p-tb" class="mw-portlet mw-portlet-tb vector-menu-portal portal vector-menu" aria-labelledby="p-tb-label" > <h3 id="p-tb-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Інструменти</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9F%D0%BE%D1%81%D0%B8%D0%BB%D0%B0%D0%BD%D0%BD%D1%8F_%D1%81%D1%8E%D0%B4%D0%B8/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" title="Перелік усіх сторінок, які посилаються на цю сторінку [j]" accesskey="j"><span>Посилання сюди</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9F%D0%BE%D0%B2%27%D1%8F%D0%B7%D0%B0%D0%BD%D1%96_%D1%80%D0%B5%D0%B4%D0%B0%D0%B3%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0" rel="nofollow" title="Останні зміни на сторінках, на які посилається ця сторінка [k]" accesskey="k"><span>Пов'язані редагування</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D1%81%D1%82%D0%BE%D1%80%D1%96%D0%BD%D0%BA%D0%B8" title="Перелік спеціальних сторінок [q]" accesskey="q"><span>Спеціальні сторінки</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&oldid=26776346" title="Постійне посилання на цю версію цієї сторінки"><span>Постійне посилання</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=info" title="Додаткові відомості про цю сторінку"><span>Інформація про сторінку</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%A6%D0%B8%D1%82%D0%B0%D1%82%D0%B0&page=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&id=26776346&wpFormIdentifier=titleform" title="Інформація про те, як цитувати цю сторінку"><span>Цитувати сторінку</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:UrlShortener&url=https%3A%2F%2Fuk.wikipedia.org%2Fwiki%2F%25D0%25A2%25D0%25B5%25D0%25B7%25D0%25B0_%25D0%25A7%25D0%25B5%25D1%2580%25D1%2587%25D0%25B0_%25E2%2580%2594_%25D0%25A2%25D1%258E%25D1%2580%25D1%2596%25D0%25BD%25D0%25B3%25D0%25B0"><span>Отримати вкорочену URL-адресу</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:QrCode&url=https%3A%2F%2Fuk.wikipedia.org%2Fwiki%2F%25D0%25A2%25D0%25B5%25D0%25B7%25D0%25B0_%25D0%25A7%25D0%25B5%25D1%2580%25D1%2587%25D0%25B0_%25E2%2580%2594_%25D0%25A2%25D1%258E%25D1%2580%25D1%2596%25D0%25BD%25D0%25B3%25D0%25B0"><span>Завантажити QR-код</span></a></li> </ul> </div> </nav> <nav id="p-coll-print_export" class="mw-portlet mw-portlet-coll-print_export vector-menu-portal portal vector-menu" aria-labelledby="p-coll-print_export-label" > <h3 id="p-coll-print_export-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Друк/експорт</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:%D0%9A%D0%BD%D0%B8%D0%B3%D0%B0&bookcmd=book_creator&referer=%D0%A2%D0%B5%D0%B7%D0%B0+%D0%A7%D0%B5%D1%80%D1%87%D0%B0+%E2%80%94+%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0"><span>Створити книгу</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%D0%A1%D0%BF%D0%B5%D1%86%D1%96%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0:DownloadAsPdf&page=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&action=show-download-screen"><span>Завантажити як PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&printable=yes" title="Версія цієї сторінки для друку [p]" accesskey="p"><span>Версія до друку</span></a></li> </ul> </div> </nav> <nav id="p-wikibase-otherprojects" class="mw-portlet mw-portlet-wikibase-otherprojects vector-menu-portal portal vector-menu" aria-labelledby="p-wikibase-otherprojects-label" > <h3 id="p-wikibase-otherprojects-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">В інших проєктах</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Turing_machines" hreflang="en"><span>Вікісховище</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q309157" title="Посилання на пов’язаний елемент сховища даних [g]" accesskey="g"><span>Елемент Вікіданих</span></a></li> </ul> </div> </nav> <nav id="p-lang" class="mw-portlet mw-portlet-lang vector-menu-portal portal vector-menu" aria-labelledby="p-lang-label" > <h3 id="p-lang-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Іншими мовами</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A3%D8%B7%D8%B1%D9%88%D8%AD%D8%A9_%D8%AA%D8%B4%D8%B1%D8%B4-%D8%AA%D9%88%D8%B1%D9%8A%D9%86%D8%BA" title="أطروحة تشرش-تورينغ — арабська" lang="ar" hreflang="ar" data-title="أطروحة تشرش-تورينغ" data-language-autonym="العربية" data-language-local-name="арабська" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B8%D1%81_%D0%BD%D0%B0_%D0%A7%D1%8A%D1%80%D1%87" title="Тезис на Чърч — болгарська" lang="bg" hreflang="bg" data-title="Тезис на Чърч" data-language-autonym="Български" data-language-local-name="болгарська" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Tesi_de_Church-Turing" title="Tesi de Church-Turing — каталонська" lang="ca" hreflang="ca" data-title="Tesi de Church-Turing" data-language-autonym="Català" data-language-local-name="каталонська" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Churchova%E2%80%93Turingova_teze" title="Churchova–Turingova teze — чеська" lang="cs" hreflang="cs" data-title="Churchova–Turingova teze" data-language-autonym="Čeština" data-language-local-name="чеська" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Church-Turing-tesen" title="Church-Turing-tesen — данська" lang="da" hreflang="da" data-title="Church-Turing-tesen" data-language-autonym="Dansk" data-language-local-name="данська" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Church-Turing-These" title="Church-Turing-These — німецька" lang="de" hreflang="de" data-title="Church-Turing-These" data-language-autonym="Deutsch" data-language-local-name="німецька" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis" title="Church–Turing thesis — англійська" lang="en" hreflang="en" data-title="Church–Turing thesis" data-language-autonym="English" data-language-local-name="англійська" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/%C4%88ur%C4%89a_tezo" title="Ĉurĉa tezo — есперанто" lang="eo" hreflang="eo" data-title="Ĉurĉa tezo" data-language-autonym="Esperanto" data-language-local-name="есперанто" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Tesis_de_Church-Turing" title="Tesis de Church-Turing — іспанська" lang="es" hreflang="es" data-title="Tesis de Church-Turing" data-language-autonym="Español" data-language-local-name="іспанська" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Churchi_tees" title="Churchi tees — естонська" lang="et" hreflang="et" data-title="Churchi tees" data-language-autonym="Eesti" data-language-local-name="естонська" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%AA%D8%B2_%DA%86%D8%B1%DA%86-%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF" title="تز چرچ-تورینگ — перська" lang="fa" hreflang="fa" data-title="تز چرچ-تورینگ" data-language-autonym="فارسی" data-language-local-name="перська" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Churchin%E2%80%93Turingin_teesi" title="Churchin–Turingin teesi — фінська" lang="fi" hreflang="fi" data-title="Churchin–Turingin teesi" data-language-autonym="Suomi" data-language-local-name="фінська" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Th%C3%A8se_de_Church" title="Thèse de Church — французька" lang="fr" hreflang="fr" data-title="Thèse de Church" data-language-autonym="Français" data-language-local-name="французька" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%AA%D7%96%D7%AA_%D7%A6%27%D7%A8%D7%A5%27-%D7%98%D7%99%D7%95%D7%A8%D7%99%D7%A0%D7%92" title="תזת צ'רץ'-טיורינג — іврит" lang="he" hreflang="he" data-title="תזת צ'רץ'-טיורינג" data-language-autonym="עברית" data-language-local-name="іврит" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Church-Turingova_teza" title="Church-Turingova teza — хорватська" lang="hr" hreflang="hr" data-title="Church-Turingova teza" data-language-autonym="Hrvatski" data-language-local-name="хорватська" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Church%E2%80%93Turing-t%C3%A9zis" title="Church–Turing-tézis — угорська" lang="hu" hreflang="hu" data-title="Church–Turing-tézis" data-language-autonym="Magyar" data-language-local-name="угорська" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Tesis_Church_Turing" title="Tesis Church Turing — індонезійська" lang="id" hreflang="id" data-title="Tesis Church Turing" data-language-autonym="Bahasa Indonesia" data-language-local-name="індонезійська" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Tesi_di_Church-Turing" title="Tesi di Church-Turing — італійська" lang="it" hreflang="it" data-title="Tesi di Church-Turing" data-language-autonym="Italiano" data-language-local-name="італійська" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81%EF%BC%9D%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%81%AE%E3%83%86%E3%83%BC%E3%82%BC" title="チャーチ＝チューリングのテーゼ — японська" lang="ja" hreflang="ja" data-title="チャーチ＝チューリングのテーゼ" data-language-autonym="日本語" data-language-local-name="японська" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%B2%98%EC%B9%98-%ED%8A%9C%EB%A7%81_%EB%85%BC%EC%A0%9C" title="처치-튜링 논제 — корейська" lang="ko" hreflang="ko" data-title="처치-튜링 논제" data-language-autonym="한국어" data-language-local-name="корейська" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%9A%E0%B5%BC%E0%B4%9A%E0%B5%8D%E0%B4%9A%E0%B5%8D-%E0%B4%9F%E0%B5%8D%E0%B4%AF%E0%B5%82%E0%B4%B1%E0%B4%BF%E0%B4%99%E0%B5%8D%E0%B4%99%E0%B5%8D_%E0%B4%B8%E0%B4%BF%E0%B4%A6%E0%B5%8D%E0%B4%A7%E0%B4%BE%E0%B4%A8%E0%B5%8D%E0%B4%A4%E0%B4%82" title="ചർച്ച്-ട്യൂറിങ്ങ് സിദ്ധാന്തം — малаялам" lang="ml" hreflang="ml" data-title="ചർച്ച്-ട്യൂറിങ്ങ് സിദ്ധാന്തം" data-language-autonym="മലയാളം" data-language-local-name="малаялам" class="interlanguage-link-target"><span>മലയാളം</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Church-Turing-hypothese" title="Church-Turing-hypothese — нідерландська" lang="nl" hreflang="nl" data-title="Church-Turing-hypothese" data-language-autonym="Nederlands" data-language-local-name="нідерландська" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Hipoteza_Churcha-Turinga" title="Hipoteza Churcha-Turinga — польська" lang="pl" hreflang="pl" data-title="Hipoteza Churcha-Turinga" data-language-autonym="Polski" data-language-local-name="польська" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pms mw-list-item"><a href="https://pms.wikipedia.org/wiki/Tesi_%C3%ABd_Church" title="Tesi ëd Church — Piedmontese" lang="pms" hreflang="pms" data-title="Tesi ëd Church" data-language-autonym="Piemontèis" data-language-local-name="Piedmontese" class="interlanguage-link-target"><span>Piemontèis</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Tese_de_Church-Turing" title="Tese de Church-Turing — португальська" lang="pt" hreflang="pt" data-title="Tese de Church-Turing" data-language-autonym="Português" data-language-local-name="португальська" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Teza_Church-Turing" title="Teza Church-Turing — румунська" lang="ro" hreflang="ro" data-title="Teza Church-Turing" data-language-autonym="Română" data-language-local-name="румунська" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%B7%D0%B8%D1%81_%D0%A7%D1%91%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3%D0%B0" title="Тезис Чёрча — Тьюринга — російська" lang="ru" hreflang="ru" data-title="Тезис Чёрча — Тьюринга" data-language-autonym="Русский" data-language-local-name="російська" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Church-Turingova_teza" title="Church-Turingova teza — сербсько-хорватська" lang="sh" hreflang="sh" data-title="Church-Turingova teza" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="сербсько-хорватська" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Church%E2%80%93Turing_thesis" title="Church–Turing thesis — Simple English" lang="en-simple" hreflang="en-simple" data-title="Church–Turing thesis" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%A7%D0%B5%D1%80%D1%87-%D0%A2%D1%98%D1%83%D1%80%D0%B8%D0%BD%D0%B3%D0%BE%D0%B2%D0%B0_%D1%82%D0%B5%D0%B7%D0%B0" title="Черч-Тјурингова теза — сербська" lang="sr" hreflang="sr" data-title="Черч-Тјурингова теза" data-language-autonym="Српски / srpski" data-language-local-name="сербська" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Church-Turings_hypotes" title="Church-Turings hypotes — шведська" lang="sv" hreflang="sv" data-title="Church-Turings hypotes" data-language-autonym="Svenska" data-language-local-name="шведська" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Tesis_na_Church-Turing" title="Tesis na Church-Turing — тагальська" lang="tl" hreflang="tl" data-title="Tesis na Church-Turing" data-language-autonym="Tagalog" data-language-local-name="тагальська" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Church-Turing_tezi" title="Church-Turing tezi — турецька" lang="tr" hreflang="tr" data-title="Church-Turing tezi" data-language-autonym="Türkçe" data-language-local-name="турецька" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E9%82%B1%E5%A5%87-%E5%9B%BE%E7%81%B5%E8%AE%BA%E9%A2%98" title="邱奇-图灵论题 — китайська" lang="zh" hreflang="zh" data-title="邱奇-图灵论题" data-language-autonym="中文" data-language-local-name="китайська" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E5%9C%96%E9%9D%88%E8%AB%96%E9%A1%8C" title="圖靈論題 — кантонська" lang="yue" hreflang="yue" data-title="圖靈論題" data-language-autonym="粵語" data-language-local-name="кантонська" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q309157#sitelinks-wikipedia" title="Редагувати міжмовні посилання" class="wbc-editpage">Редагувати посилання</a></span></div> </div> </nav> </div> </div> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> Цю сторінку востаннє відредаговано о 18:45, 15 грудня 2019.</li> <li id="footer-info-copyright">Текст доступний на умовах ліцензії <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.uk">Creative Commons Attribution-ShareAlike</a>; також можуть діяти додаткові умови. Детальніше див. <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/uk">Умови використання</a>.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Політика конфіденційності</a></li> <li id="footer-places-about"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%9F%D1%80%D0%BE">Про Вікіпедію</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%D0%92%D1%96%D0%BA%D1%96%D0%BF%D0%B5%D0%B4%D1%96%D1%8F:%D0%92%D1%96%D0%B4%D0%BC%D0%BE%D0%B2%D0%B0_%D0%B2%D1%96%D0%B4_%D0%B2%D1%96%D0%B4%D0%BF%D0%BE%D0%B2%D1%96%D0%B4%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D1%96">Відмова від відповідальності</a></li> <li id="footer-places-contact"><a href="//uk.wikipedia.org/wiki/Вікіпедія:Зворотний_зв%27язок">Зворотний зв'язок</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Кодекс поведінки</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Розробники</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/uk.wikipedia.org">Статистика</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Куки</a></li> <li id="footer-places-mobileview"><a href="//uk.m.wikipedia.org/w/index.php?title=%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Мобільний вигляд</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> <script>(RLQ=window.RLQ||[]).push(function(){mw.log.warn("This page is using the deprecated ResourceLoader module \"codex-search-styles\".\n[1.43] Use a CodexModule with codexComponents to set your specific components used: https://www.mediawiki.org/wiki/Codex#Using_a_limited_subset_of_components");mw.config.set({"wgHostname":"mw-web.codfw.main-68775984f6-xdcls","wgBackendResponseTime":183,"wgPageParseReport":{"limitreport":{"cputime":"0.198","walltime":"0.260","ppvisitednodes":{"value":460,"limit":1000000},"postexpandincludesize":{"value":86801,"limit":2097152},"templateargumentsize":{"value":107,"limit":2097152},"expansiondepth":{"value":10,"limit":100},"expensivefunctioncount":{"value":16,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":16412,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["101.83% 218.269 6 Шаблон:Navbox","100.00% 214.348 1 -total"," 79.03% 169.401 1 Шаблон:Математична_логіка"," 14.31% 30.681 17 Шаблон:Не_перекладено"," 12.02% 25.755 1 Шаблон:Math-stub"," 10.72% 22.981 1 Шаблон:Stub-meta"," 8.85% 18.978 1 Шаблон:Металогіка"," 3.42% 7.325 1 Шаблон:List"]},"scribunto":{"limitreport-timeusage":{"value":"0.128","limit":"10.000"},"limitreport-memusage":{"value":1640942,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-6b6c9bdc8b-2wp6t","timestamp":"20241103235000","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"\u0422\u0435\u0437\u0430 \u0427\u0435\u0440\u0447\u0430 \u2014 \u0422\u044e\u0440\u0456\u043d\u0433\u0430","url":"https:\/\/uk.wikipedia.org\/wiki\/%D0%A2%D0%B5%D0%B7%D0%B0_%D0%A7%D0%B5%D1%80%D1%87%D0%B0_%E2%80%94_%D0%A2%D1%8E%D1%80%D1%96%D0%BD%D0%B3%D0%B0","sameAs":"http:\/\/www.wikidata.org\/entity\/Q309157","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q309157","author":{"@type":"Organization","name":"\u0423\u0447\u0430\u0441\u043d\u0438\u043a\u0438 \u043f\u0440\u043e\u0435\u043a\u0442\u0456\u0432 \u0412\u0456\u043a\u0456\u043c\u0435\u0434\u0456\u0430"},"publisher":{"@type":"Organization","name":"\u0424\u043e\u043d\u0434 \u0412\u0456\u043a\u0456\u043c\u0435\u0434\u0456\u0430","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2006-07-13T09:48:58Z"}</script> </body> </html>