კონცეფცია განმარტება ABC

თეორემები არის საჭიროება და განსაკუთრებული საზრუნავი მათემატიკახოლო მათ შესახებ საუბრისას ხდება მითითება ის დებულებები, რომელთა ლოგიკურ ჩარჩოებში სიმართლის დადგენა შეიძლება.

საერთოდ, თეორემებია შედგება მრავალი პირობისაგან, რომელთა ჩამოთვლა ან წინასწარ მოსალოდნელია, რომლებზეც მათ უწოდებენ პასუხებს. ამის შემდეგ, დასკვნა ან მათემატიკური დებულება, რომელიც აშკარად ყოველთვის იქნება ჭეშმარიტი მოცემული სამუშაოს პირობებში, ანუ პირველ რიგში შინაარსი თეორემის ინფორმატიული, რაც დადგენილი იქნება ურთიერთობა, რომელიც არსებობს ჰიპოთეზა და ნაშრომი ან სამუშაოს დასრულება.

მაგრამ მათემატიკისთვის გარდაუვალია რაღაც, როდესაც გარკვეული დებულება სარწმუნოა, რომ გახდეს თეორემა და ეს არის ის, რომ ის საკმარისად საინტერესო უნდა იყოს მათემატიკური საზოგადოებისთვის, სხვაგვარად და სამწუხაროდ, ეს შეიძლება იყოს უბრალოდ დევიზი, დასკვნა ან უბრალოდ წინადადება და ვერასოდეს გახდება თეორემა.

და საკითხის ოდნავ გასარკვევად საჭიროა გამოიყოს იმ ცნებებიც, რომლებიც ზემოთ ვახსენეთ, ისე რომ მაშინაც არ არის მათემატიკური საზოგადოების ნაწილი, ჩვენ შეგვიძლია ვაღიაროთ, როდესაც ეს არის თეორემა, ლემა, დასკვნა ან წინადადება.

Lemma არის წინადადება, მაგრამ ის გრძელი თეორემის ნაწილია. დასკვნა თავის მხრივ არის განცხადება, რომელიც მიჰყვება თეორემას და ბოლოს წინადადება არის შედეგი, რომელიც არ ასოცირდება რაიმე კონკრეტულ თეორემასთან.

დასაწყისში მივუთითეთ, რომ თეორემა არის დებულება, რომლის დამტკიცება შესაძლებელია მხოლოდ ჩარჩოებში ლოგიკურ ჩარჩოს, ხოლო ლოგიკურ ჩარჩოსთან ერთად ჩვენ ვგულისხმობთ აქსიომების ან აქსიომატური სისტემის ერთობლიობას და პროცესს დასკვნა რაც საშუალებას მოგვცემს თეორიები გამოვიდეს აქსიომებიდან და თეორემებიდან, რომლებიც უკვე მიღებულია.

მეორეს მხრივ მას ეძახიან დემონსტრაცია ამ თეორემიდან კარგად ჩამოყალიბებული ლოგიკური ფორმულების სასრული თანმიმდევრობით.

თუმცა არა განსაკუთრებული ყურადღება რომ მათემატიკა მას ანაწილებს თეორემებში, დისციპლინებში, როგორიცაა ფიზიკა ან ეკონომია ისინი, ჩვეულებრივ, ადგენენ სხვებისგან გამოტანილ დებულებებს, რომლებსაც ასევე თეორემებს უწოდებენ.