Public Match

Verëffentlecht Ausféierungen, dorënner déi, wou d'Panel d'Bar net erreeche konnt. Dat Resultat ass de Punkt: eng Formaliséierung déi de Lean Kernel refuséiert, seet Iech genau, wéi en Schrëtt d'Argument ni justifiéiert huet.

Et gëtt nach keng ëffentlech Iwwerennung. Start eng an publizéier se wann se fäerdeg ass.

Wat dobäi kënnt

Dës Säit ass fir deduktiv Aarbecht gebaut: reine an ugewandte Mathematik, Logik, theoretesch Informatik, theoretesch Physik an ekonomesch Theorie - Behauptungen déi duerch Beweis statt duerch Experiment geléist ginn. Fir empirisch Froen, wou d' eescht Verdäitlechkeet eng Entdeckung ass an net e Theorem, benotzt eis Schwëstersäit referee.chat.

Zuel referee.chat