გოდელის არასრულობის თეორემები

ვიკიპედიიდან

გოდელის არასრულობის თეორემები - კურტ გოდელის მიერ დამტკიცებული ცნობილი თეორემები მათემატიკური ლოგიკაში.

გოდელის არასრულობის პირველი თეორემა: ნებისმიერი თავსებადი ფორმალური თეორიისათვის, რომელიც შეიცავს ძირითად არითმეტიკულ ჭეშმარიტებებს შეიძლება აიგოს არითმეტიკულ ფორმულა F ისეთი რომ არც F და არც "არა F" არ არის მოცემული თეორიის თეორემა (ე.ი. არ არის დამტკიცებადი მოცემულ ფორმალურ თეორიაში).

სხვა სიტყვებით ნებისმიერი ესეთი თეორია არასრულია.

გოდელის არასრულობის მეორე თეორემა: ნებისმიერი საკმარისად მდიდარ ფორმალური თეორიაში თეორემა ამავე თეორიის თავსებადობის შესახებ დამტკიცებადია, მაშინ და მხოლოდ მაშინ როცა ეს თეორია არათავსებადია.

ეს დაუსრულებელი სტატიაა მათემატიკის შესახებ.
თქვენ შეგიძლიათ დაეხმაროთ ვიკიპედიას და შეავსოთ იგი.

Retrieved from "http://ka.wikipedia.org../../../%E1%83%92/%E1%83%9D/%E1%83%93/%E1%83%92%E1%83%9D%E1%83%93%E1%83%94%E1%83%9A%E1%83%98%E1%83%A1_%E1%83%90%E1%83%A0%E1%83%90%E1%83%A1%E1%83%A0%E1%83%A3%E1%83%9A%E1%83%9D%E1%83%91%E1%83%98%E1%83%A1_%E1%83%97%E1%83%94%E1%83%9D%E1%83%A0%E1%83%94%E1%83%9B%E1%83%94%E1%83%91%E1%83%98.html"

კატეგორიები: დაუსრულებელი სტატიები მათემატიკის შესახებ | მათემატიკური თეორემები

Views

ძიება

სხვა ენებზე

This page was last modified 12:08, 13 მაისი 2006 by ვიკიპედია მომხმარებელი Alsandro. Based on work by ვიკიპედია მომხმარებლები Linguistus და Tamok.
შინაარსი წარმოდგენილია GFDL ლიცენზიის თანახმად.
ვიკიპედია^® კორპ. ფონდი ვიკიმედიის რეგისტრირებული საფირმო ნიშანია.
ვიკიპედიის შესახებ
პასუხისმგებლობის უარყოფა

გოდელის არასრულობის თეორემები

ვიკიპედიიდან

Views

ნავიგაცია

ძიება

სხვა ენებზე