Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych

<!DOCTYPE html> <html lang="pl-PL" xml:lang="pl-PL"> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title> Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych | Polonica </title> <meta name="generator" content="Open Journal Systems 3.3.0.14"> <link rel="schema.DC" href="http://purl.org/dc/elements/1.1/" /> <meta name="DC.Creator.PersonalName" content="T. Nowak"/> <meta name="DC.Date.created" scheme="ISO8601" content="2001-12-31"/> <meta name="DC.Date.dateSubmitted" scheme="ISO8601" content="2001-12-31"/> <meta name="DC.Date.issued" scheme="ISO8601" content="2001-12-31"/> <meta name="DC.Date.modified" scheme="ISO8601" content="2020-12-28"/> <meta name="DC.Description" xml:lang="en" content="."/> <meta name="DC.Description" xml:lang="pl" content="."/> <meta name="DC.Identifier" content="377"/> <meta name="DC.Identifier.pageNumber" content="193-202"/> <meta name="DC.Identifier.URI" content="https://polonica.ijp.pan.pl/index.php/polonica/article/view/377"/> <meta name="DC.Language" scheme="ISO639-1" content="pl"/> <meta name="DC.Rights" content="Prawa autorskie (c) 2001 Polonica"/> <meta name="DC.Rights" content=""/> <meta name="DC.Source" content="Polonica"/> <meta name="DC.Source.ISSN" content="2545-045X"/> <meta name="DC.Source.Volume" content="21"/> <meta name="DC.Source.URI" content="https://polonica.ijp.pan.pl/index.php/polonica"/> <meta name="DC.Subject" xml:lang="pl" content=""/> <meta name="DC.Title" content="Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych"/> <meta name="DC.Type" content="Text.Serial.Journal"/> <meta name="DC.Type.articleType" content="Rozprawy"/> <meta name="gs_meta_revision" content="1.1"/> <meta name="citation_journal_title" content="Polonica"/> <meta name="citation_journal_abbrev" content="Polonica"/> <meta name="citation_issn" content="2545-045X"/> <meta name="citation_author" content="T. Nowak"/> <meta name="citation_title" content="Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych"/> <meta name="citation_language" content="pl"/> <meta name="citation_date" content="2001/12/31"/> <meta name="citation_volume" content="21"/> <meta name="citation_firstpage" content="193"/> <meta name="citation_lastpage" content="202"/> <meta name="citation_abstract_html_url" content="https://polonica.ijp.pan.pl/index.php/polonica/article/view/377"/> <meta name="citation_keywords" xml:lang="pl" content=""/> <link rel="stylesheet" href="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/bootstrap.min.css?v=3.3.0.14" type="text/css" /><link rel="stylesheet" href="https://polonica.ijp.pan.pl/index.php/polonica/$$$call$$$/page/page/css?name=stylesheet" type="text/css" /><link rel="stylesheet" href="https://polonica.ijp.pan.pl/public/journals/1/styleSheet.css?d=" type="text/css" /> </head> <body dir="ltr"> <header class="main-header"> <div class="container"> <div class="sr-only">Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych</div> <div class="navbar-logo"> <a href=" https://polonica.ijp.pan.pl/index.php/polonica/index "><img src="https://polonica.ijp.pan.pl/public/journals/1/pageHeaderLogoImage_pl_PL.svg"alt="Nagłówek strony"class="img-fluid"></a> </div> <nav class="navbar navbar-expand-lg navbar-light"> <a class="navbar-brand" href=" https://polonica.ijp.pan.pl/index.php/polonica/index "><img src="https://polonica.ijp.pan.pl/public/journals/1/pageHeaderLogoImage_pl_PL.svg"alt="Nagłówek strony"class="img-fluid"></a> <button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#main-navbar" aria-controls="main-navbar" aria-expanded="false" aria-label="Pokaż nawigację"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse justify-content-md-center" id="main-navbar"> <ul id="primaryNav" class="navbar-nav"> <li class="nav-item nmi_type_custom dropdown"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/informacje" class="nav-link dropdown-toggle" id="navMenuDropdown0" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false" > Informacje ogólne </a> <div class="dropdown-menu" aria-labelledby="navMenuDropdown0"> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/about"> O czasopiśmie </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/procedures"> Procedury </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/reviewers"> Recenzenci tomów </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/about/contact"> Kontakt </a> </div> </li> <li class="nav-item nmi_type_editorial_team"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/about/editorialTeam" class="nav-link" > Redakcja </a> </li> <li class="nav-item nmi_type_current"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/issue/current" class="nav-link" > Najnowszy numer </a> </li> <li class="nav-item nmi_type_archives"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/issue/archive" class="nav-link" > Archiwum </a> </li> <li class="nav-item nmi_type_custom dropdown"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/for-authors" class="nav-link dropdown-toggle" id="navMenuDropdown4" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false" > Dla autorów i recenzentów </a> <div class="dropdown-menu" aria-labelledby="navMenuDropdown4"> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/about/submissions"> Zgłoszenia </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/norms"> Normy redakcyjne </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/review"> Proces recenzowania </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/form"> Formularz recenzji </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/manuals"> Instrukcje OJS </a> </div> </li> </ul> <ul id="primaryNav-userNav" class="navbar-nav"> <li class="nav-item nmi_type_user_register"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/user/register" class="nav-link" > Zarejestruj </a> </li> <li class="nav-item nmi_type_user_login"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/login" class="nav-link" > Zaloguj </a> </li> </ul> <div id="languageSmallNav" class="dropdown language-toggle"> <button class="btn dropdown-toggle" type="button" id="languageToggleMenulanguageSmallNav" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> <span class="sr-only">Zmień język, obecnie wybrany to:</span> Polski </button> <div class="dropdown-menu" aria-labelledby="languageToggleMenulanguageSmallNav"> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/user/setLocale/en_US?source=%2Findex.php%2Fpolonica%2Farticle%2Fview%2F377"> English </a> </div> </div> </div> </nav> <ul id="userNav" class="navbar-nav"> <li class="nav-item nmi_type_user_register"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/user/register" class="nav-link" > Zarejestruj </a> </li> <li class="nav-item nmi_type_user_login"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/login" class="nav-link" > Zaloguj </a> </li> </ul> <div id="languageLargeNav" class="dropdown language-toggle"> <button class="btn dropdown-toggle" type="button" id="languageToggleMenulanguageLargeNav" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> <span class="sr-only">Zmień język, obecnie wybrany to:</span> Polski </button> <div class="dropdown-menu" aria-labelledby="languageToggleMenulanguageLargeNav"> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/user/setLocale/en_US?source=%2Findex.php%2Fpolonica%2Farticle%2Fview%2F377"> English </a> </div> </div> </div> </header> <div class="container page-article"> <div class="article-details"> <div class="page-header row"> <div class="col-lg article-meta-mobile"> <div class="article-details-issue-section small-screen"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/issue/view/16">Tom 21 (2001)</a>, <span>Rozprawy</span> </div> <div class="article-details-issue-identifier large-screen"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/issue/view/16">Tom 21 (2001)</a> </div> <h1 class="article-details-fulltitle"> Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych </h1> <div class="article-details-issue-section large-screen">Rozprawy</div> <div class="article-details-published"> Opublikowane 2001-12-31 </div> <ul class="authors-string"> <li><span>T. Nowak</span></li> </ul> <div class="article-details-authors"> <div class="article-details-author hideAuthor" id="author-1"> <div class="article-details-author-name small-screen"> T. Nowak </div> </div> </div> </div> </div> <div class="row justify-content-md-center" id="mainArticleContent"> <div class="col-lg-3 order-lg-2" id="articleDetailsWrapper"> <div class="article-details-sidebar" id="articleDetails"> <div class="article-details-block article-details-cover"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/issue/view/16"> <img class="img-fluid" src="https://polonica.ijp.pan.pl/public/journals/1/cover_issue_7_pl_PL.png" alt="" > </a> </div> <div class="article-details-block article-details-keywords"> <h2 class="article-details-heading"> Słowa kluczowe </h2> <div class="article-details-keywords-value"> <span></span> </div> </div> <div class="article-details-block article-details-how-to-cite"> <h2 class="article-details-heading"> Jak cytować </h2> <div id="citationOutput" class="article-details-how-to-cite-citation" role="region" aria-live="polite"> Nowak, T. (2001). Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych. Polonica , 21 , 193–202. Pobrano z https://polonica.ijp.pan.pl/index.php/polonica/article/view/377 </div> <div class="dropdown"> <button class="btn dropdown-toggle" type="button" id="cslCitationFormatsButton" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false" data-csl-dropdown="true"> Formaty cytowań </button> <div class="dropdown-menu" aria-labelledby="cslCitationFormatsButton"> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/acm-sig-proceedings?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/acm-sig-proceedings?submissionId=377&publicationId=330&return=json" > ACM </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/acs-nano?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/acs-nano?submissionId=377&publicationId=330&return=json" > ACS </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/apa?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/apa?submissionId=377&publicationId=330&return=json" > APA </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/associacao-brasileira-de-normas-tecnicas?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/associacao-brasileira-de-normas-tecnicas?submissionId=377&publicationId=330&return=json" > ABNT </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/chicago-author-date?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/chicago-author-date?submissionId=377&publicationId=330&return=json" > Chicago </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/harvard-cite-them-right?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/harvard-cite-them-right?submissionId=377&publicationId=330&return=json" > Harvard </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/ieee?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/ieee?submissionId=377&publicationId=330&return=json" > IEEE </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/modern-language-association?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/modern-language-association?submissionId=377&publicationId=330&return=json" > MLA </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/turabian-fullnote-bibliography?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/turabian-fullnote-bibliography?submissionId=377&publicationId=330&return=json" > Turabian </a> <a class="dropdown-item" aria-controls="citationOutput" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/vancouver?submissionId=377&publicationId=330" data-load-citation data-json-href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/get/vancouver?submissionId=377&publicationId=330&return=json" > Vancouver </a> <h3 class="dropdown-header"> Pobierz cytowania </h3> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/download/ris?submissionId=377&publicationId=330"> Endnote/Zotero/Mendeley (RIS) </a> <a class="dropdown-item" href="https://polonica.ijp.pan.pl/index.php/polonica/citationstylelanguage/download/bibtex?submissionId=377&publicationId=330"> BibTeX </a> </div> </div> </div> </div> </div> <div class="col-lg-9 order-lg-1" id="articleMainWrapper"> <div class="article-details-main" id="articleMain"> <div class="article-details-block article-details-abstract"> <h2 class="article-details-heading">Abstrakt</h2> <p>.</p> </div> <div class="item downloads_chart"> <h3 class="label"> Downloads </h3> <div class="value"> <canvas class="usageStatsGraph" data-object-type="Submission" data-object-id="377"></canvas> <div class="usageStatsUnavailable" data-object-type="Submission" data-object-id="377"> Download data is not yet available. </div> </div> </div> </div> </div> <div class="col-lg-12 order-lg-3 article-footer-hook"> </div> </div> </div> </div> <footer class="site-footer"> <div class="container site-footer-sidebar" role="complementary" aria-label="Pasek boczny"> <div class="row"> </div> </div> <div class="container site-footer-content"> <div class="row"> <div class="col-md site-footer-content align-self-center"> <div class="col-md site-footer-content align-self-center"> <div><strong>Polonica<br /></strong>ISSN 0137-9712 | e-ISSN 2545-045X<br /><a href="https://creativecommons.org/licenses/by-nd/4.0/legalcode.pl" target="_blank" rel="noopener"><img src="https://licensebuttons.net/l/by-nd/3.0/88x31.png" /></a></div> <div> </div> <div style="display: flex; justify-content: left; align-content: flex-start;"> <div style="padding-right: 30px;">al. Mickiewicza 31<br />31-120 Kraków, Polska<br /><a href="mailto:polonica@ijp.pan.pl">polonica@ijp.pan.pl</a></div> <div style="padding-right: 30px;"><a href="http://ijp.pan.pl" target="_blank" rel="noopener"> <img style="max-width: 200px; height: auto;" src="https://polonica.ijp.pan.pl/public/site/images/admin/ijp-pl-light.png" /> </a></div> </div> </div> </div> <div class="col-md col-md-2 align-self-center text-right" role="complementary"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/about/aboutThisPublishingSystem"> <img class="footer-brand-image" alt="Więcej informacji o systemie publikacji, Platformie i Obiegu OJS/PKP." src="https://polonica.ijp.pan.pl/templates/images/ojs_brand_white.png"> </a>  <span style="display:none;"><a href="mailto:stanislaw.kowalski@ijp.pan.pl">stanislaw.kowalski@ijp.pan.pl</a></span> </div> </div> </div> </footer> <div id="loginModal" class="modal fade" tabindex="-1" role="dialog"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-body"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"> <span aria-hidden="true">×</span> </button> <form class="form-login" method="post" action="https://polonica.ijp.pan.pl/index.php/polonica/login/signIn"> <input type="hidden" name="csrfToken" value="a78629ab505c43fe5d40052566983ee7"> <input type="hidden" name="source" value=""/> <fieldset> <div class="form-group form-group-username"> <label for="usernameModal"> Nazwa użytkownika (np. jankowalski) <span class="required" aria-hidden="true">*</span> <span class="sr-only"> Wymagane </span> </label> <input type="text" class="form-control" name="username" id="usernameModal" value="" maxlength="32" autocomplete="username" required> </div> <div class="form-group form-group-password"> <label for="passwordModal"> Hasło (dozwolone małe litery i cyfry) <span class="required" aria-hidden="true">*</span> <span class="sr-only"> Wymagane </span> </label> <input type="password" class="form-control" name="password" id="passwordModal" value="" maxlength="32" autocomplete="current-password" required> </div> <div class="row"> <div class="col-md-6"> <div class="form-group form-group-forgot"> <small class="form-text"> <a href="https://polonica.ijp.pan.pl/index.php/polonica/login/lostPassword"> Zapomniałeś(aś) hasła? </a> </small> </div> </div> <div class="col-md-6"> <div class="form-group form-check form-group-remember"> <input type="checkbox" class="form-check-input" name="remember" id="rememberModal" value="1" checked="$remember"> <label for="rememberModal" class="form-check-label"> <small class="form-text"> Zapamiętaj nazwę użytkownika i hasło </small> </label> </div> </div> </div> <div class="form-group form-group-buttons"> <button class="btn btn-primary" type="submit"> Zaloguj się </button> </div> <div class="form-group form-group-register"> Brak konta? <a href="https://polonica.ijp.pan.pl/index.php/polonica/user/register?source="> Zarejestruj się </a> </div> </fieldset> </form> </div> </div> </div> </div> <script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/jquery.min.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/popper.min.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/bootstrap.min.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/js/main.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/jquery-ui.min.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/themes/healthSciences/libs/tag-it.min.js?v=3.3.0.14" type="text/javascript"></script><script src="https://polonica.ijp.pan.pl/plugins/generic/citationStyleLanguage/js/articleCitation.js?v=3.3.0.14" type="text/javascript"></script><script type="text/javascript">var pkpUsageStats = pkpUsageStats || {};pkpUsageStats.data = pkpUsageStats.data || {};pkpUsageStats.data.Submission = pkpUsageStats.data.Submission || {};pkpUsageStats.data.Submission[377] = [];</script><script src="https://cdnjs.cloudflare.com/ajax/libs/Chart.js/2.0.1/Chart.js?v=3.3.0.14" type="text/javascript"></script><script type="text/javascript">var pkpUsageStats = pkpUsageStats || {};pkpUsageStats.locale = pkpUsageStats.locale || {};pkpUsageStats.locale.months = ["Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"];pkpUsageStats.config = pkpUsageStats.config || {};pkpUsageStats.config.chartType = "line";</script><script src="https://polonica.ijp.pan.pl/plugins/generic/usageStats/js/UsageStatsFrontendHandler.js?v=3.3.0.14" type="text/javascript"></script><script type="text/javascript"> (function (w, d, s, l, i) { w[l] = w[l] || []; var f = d.getElementsByTagName(s)[0], j = d.createElement(s), dl = l != 'dataLayer' ? '&l=' + l : ''; j.async = true; j.src = 'https://www.googletagmanager.com/gtag/js?id=' + i + dl; f.parentNode.insertBefore(j, f); function gtag(){dataLayer.push(arguments)}; gtag('js', new Date()); gtag('config', i); }) (window, document, 'script', 'dataLayer', 'UA-87142427-1'); </script> </body> </html>

CINXE.COM

Twierdzenie Gödla a problem zupełności i niesprzeczności modeli generatywnych | Polonica