Ашық сәйкестіктер

Панель жолағына жетпеген орындауларды қоса жарияланған орындаулар. Бұл нәтиже - мәселенің өзегі: Lean өзегі қабылдамайтын формализация қай қадамның аргументі дұрыс емес екенін дәл көрсетеді.

Ашық сәйкестіктер жоқ. Біреуін бастап, аяқтаған соң жариялау.

Мұнда не жататыны

Бұл сайт дедуктивті жұмыс үшін жасалған: таза және қолданбалы математика, логика, теориялық компьютер ғылымы, теориялық физика және экономикалық теория - эксперименттен гөрі дәлелдеу арқылы шешілетін мәселе. Эмпирикалық сұрақтар үшін, теорема емес, шындық анықтама болса, біздің referee.chat деген жақын сайтымызды пайдаланыңыз.

referee.chat- ге өту