ფორმალიზმი (მათემატიკური)

NPLG Wiki Dictionaries გვერდიდან

13:31, 7 თებერვალი 2024-ის ვერსია, შეტანილი Echelidze (განხილვა | წვლილი)-ის მიერ

(განსხ.) ←წინა ვერსია | მიმდინარე ვერსია (განსხ.) | შემდეგი ვერსია→ (განსხ.)

გადასვლა: ნავიგაცია, ძიება

ფორმალიზმი – დ. ჰილბერტის პროგრამა მათემატიკის დაფუძნების შესახებ, რომლის თანახმად ნებისმიერი მათემატიკური დისციპლინის ვარგისობის (მაგალითად, არაწინააღმდეგობრიობის) დასამტკიცებლად იგი აგებული უნდა იქნეს არაინტერპრეტირებული აქსიომატური სისტემის სახით.

წყარო

მათემატიკის ენციკლოპედიური ლექსიკონი

მოძიებულია „https://www.nplg.gov.ge/wikidict/index.php?title=%E1%83%A4%E1%83%9D%E1%83%A0%E1%83%9B%E1%83%90%E1%83%9A%E1%83%98%E1%83%96%E1%83%9B%E1%83%98_(%E1%83%9B%E1%83%90%E1%83%97%E1%83%94%E1%83%9B%E1%83%90%E1%83%A2%E1%83%98%E1%83%99%E1%83%A3%E1%83%A0%E1%83%98)&oldid=218669“-დან

კატეგორია:

მათემატიკა

პირადი ხელსაწყოები

შესვლა

ხელსაწყოები