საზოგადოებრივი შეთავსებანი
გამოქვეყნებული შესრულებები, მათ შორის ისეთებიც, სადაც პანელმა ვერ მიაღწია ბარათს. ეს შედეგი არის აზრი: ფორმალიზაცია Lean kernel- ის უარყოფითად აცხადებს, რომ ზუსტად იცით, რომელი ნაბიჯი არგუმენტი არასდროს არ მართლდება.
კაკგჲ ჟვ ჟლსფგა რსკ?
ეს საიტი შექმნილია დედუქციური სამუშაოებისთვის: სუფთა და დანერგილი მათემატიკა, ლოგიკა, თეორიული კომპიუტერული მეცნიერება, თეორიული ფიზიკა და ეკონომიკური თეორია - მოთხოვნები, რომლებიც ექსპერიმენტივით არ არის დადგენილი, არამედ დადასტურებით. ემპირიული კითხვებისთვის, სადაც მართალი გადაწყვეტილება არის აღმოჩენა, ვიდრე თეორია, გამოიყენეთ ჩვენი ძმის საიტი referee.chat.
referee.chat-ზე გადასვლა