The გოდელის თეორემები მიზნად ისახავს ლოგიკის აღმოჩენას აქსიომატიურ საფუძველზე რომელიც მიუწვდომელია.
როგორიც არ უნდა იყოს აქსიომების სისტემა გამოყენებული შექმენით თეორია, არის წინადადებები, რომლებიც ვიცით, რომ სიმართლეა, მაგრამ რომლის სიმართლის დემონსტრირება შეუძლებელია სისტემის ფარგლებში.
აქსიომა თეორიაში არის ა ძირითადი ფორმულა, რომელიც ჭეშმარიტად ითვლება მტკიცების გარეშე.
შეუსაბამობა არის იმის დემონსტრირება ერთი რამ და პირიქით.
არასრულყოფილება ახასიათებს ჭეშმარიტებებს მათემატიკა, რომლის დამტკიცება შეუძლებელია.
როგორიც არ უნდა იყოს აქსიომების სისტემის სიმდიდრე ეს ვერ ემთხვევა აზროვნების პოტენციური შინაარსის შესაძლებლობებს.
გამოკვეთილი აზროვნება – შედეგი ჩვენი ანარეკლი, რომელიც დაფუძნებულია აქსიომების სასრულ რაოდენობაზე – უფრო მარტივია ვიდრერთული აზროვნება რაც თეორიულად არ შეიძლება გააცნობიეროს.
დილემიდან გამოსვლის ჭეშმარიტი და არასწორი ამავე დროს, თქვენ თავად უნდა გამოხვიდეთ სისტემიდან, შიგნით შესვლა მეტა პოზიცია, გარე ხედვაში, უფრო ფართო სისტემის მიღებით.
ლოგიკას აქვს თავისი საზღვრები ; ნებისმიერ სისტემაში არის წარმოუდგენელი ჭეშმარიტებები.
საკმარისად მდიდარი აქსიომების ნებისმიერი სასრული ნაკრები აუცილებლად იწვევს შედეგებს, რომლებიც ან გადაუწყვეტელია, ან წინააღმდეგობრივი.
ნებისმიერი ადამიანის ლოგიკური სისტემა არასრულია, თუ ის თანმიმდევრული სურს. თანმიმდევრულობა მოითხოვს არასრულყოფილებას.
არასრულობის პირობა შეექმნა მეცნიერს არ არის გონების დამარცხება, არამედ წინსვლის შანსი გააცნო მას საიდუმლოსთან დაპირისპირება, ცოდნის საიდუმლოებამდე.
აინშტაინის ფორმულა, ” ყველაზე გაუგებარი, არის ის, რომ სამყარო გასაგებია “, და დაყენება მტკიცებულება ” ნაყოფიერება ” არასრულყოფილების მსგავსია ორი ” ნიშნები ” ცოდნის საიდუმლოს თანამედროვე სამეცნიერო მიდგომაში.
Სიმართლე არ შეიძლება გამოხატული დემონსტრაციის თვალსაზრისით.სავარაუდო რამ არ არის აუცილებელი მართალი და ნამდვილი რამ არ არის აუცილებელი.
ამ სისტემაში ჭეშმარიტების მოსაძებნად უნდა შეეძლოს მისგან ამოღება და ჰქონდეს მიზეზი, რომელსაც შეუძლია შექმნას ა სისტემა, რომელშიც უძველესი ტრიზირებული ჭეშმარიტება მთლიანად გახდება აშკარა.
გოდელის თეორემების ფარგლები მნიშვნელოვანია მნიშვნელოვანია ცოდნის ნებისმიერი თანამედროვე თეორიისთვის. პირველ რიგში ის არა მხოლოდ არითმეტიკის არეალს ეხება, არამედ ყველა მათემატიკა, რომელიც მოიცავს არითმეტიკას. მაგრამ მათემატიკა, რომელიც არის ინსტრუმენტი თეორიული ფიზიკის საფუძველი შეიცავს, აშკარად, არითმეტიკა. რომ ნიშნავს რომ ფიზიკური თეორიის ნებისმიერი ყოვლისმომცველი ძიება არის მოჩვენებითი. თუ ეს განცხადება მართალია დომენების უმეტესობისთვის ბუნებრივი სისტემების მკაცრი შესწავლა, როგორ არ ვიოცნებეთ სრული თეორია უსასრულოდ უფრო რთულ სფეროში – რომ სოციალური მეცნიერება ?
ნაკრების გოდელიური სტრუქტურა რეალობის დონეები, ასოცირდება ლოგიკასთან საწყისიმესამე მხარეების ჩათვლით, გულისხმობს სრული თეორიის აგების შესაძლებლობას აღწერეთ გადასვლა ერთი დონიდან მეორეზე და, ძლიერად, აღწერს რეალობის ყველა დონე .
081