Ачык окшоштуктар
Жарыяланган жүргүзүүлөр, анын ичинде панелдин барака жетпеген учурлары. Бул натыйжалар: Lean ядросунун четке каккан формализациясы сизге ар кандай аргументтер үчүн эч качан негизделген кадамдарды так айтат.
Бул жерге эмне тиешелүү
Бул сайт дедукциялык иштер үчүн түзүлгөн: таза жана колдонмо математика, логика, теориялык компьютер илимдери, теориялык физика жана экономика теориясы - эксперименттен көрө далилдер менен чечилген маселелер. Эмпирикалык суроолор үчүн, теоремадан көрө чыныгы чечим табылган жерде, биздин referee.chat аттуу өнөктөш сайтты колдонсо болот.
referee.chat-ге өтүү