მიარეეფიშ თეორია
From Wikipedia, the free encyclopedia
მიარეეფიშ თეორია — მათემატიკური ლოგიკაშ ნორთი, ნამუთ გურაფულენს მიარეეფს. თეხანური მიარეეფიშ თეორიაშ დუმარსხუაფალეფი რენა გერმანალი მათემატიკოსეფი რიხარდ დედეკინდი დო გეორგ კანტორი. ვაფორმალური სისტემეფი, ნამუეფით მიარეეფიშ თეორიაშახ არსებენდჷ, შინელი რე მუჭოთ "ბიდინა მიარეეფიშ თეორია". მუჟამსჷთ მენცარეფქ ქიმიოგორეს შხვადოშხვა პარადოქსეფს (რასელიშ პარადოქსი, კანტორიშ პარადოქსი, ბურალი-ფორტიშ პარადოქსი), წჷმორინაფილქ იჸუ შხვადოშხვანერ აქსიომატურ სისტემეფქ მაეჩა ოშწანურაშ დაჭყაფუშე. ჸათენეფიშე არძაშე უმოს ჯგირო რკვიებული და შანულამი რე ცერმელო-ფრენკელიშ სისტემა.
მიარეეფიშ თეორიას ფშხირას მიშინუანა მუჭოთ მათემატიკაშ ართ-ართ ფუნდამენტურ თეორიას. თის კაბეტი შანულობა უღჷ მათემატიკური დისციპლინეფიშო ალგებრაშო, მათემატიკური ანალიზიშო, ტოპოგრაფიაშო დო ალბათობაშ თეორიაშო. თაშნეშე, მიარეეფიშ თეორია დიდ როლს ლაჸაფენს ინფორმატიკას, ფილოსოფიას დო ფორმალურ სემანტიკას.
ათე სტატია მერკე რე. თქვა შეგილებუნა ქიმეხვარათ ვიკიპედიას დო გაგშათინათ დო გახვეიანათინ. |