Det offentliga galleriet

Publicerade körs, inklusive de där panelen inte kunde nå ribban. Resultatet är poängen: en formalisering Lean-kärnan vägrar att tala om exakt vilket steg argumentet aldrig rättfärdigade.

Vad som hör hemma här

Denna webbplats är byggd för att dra ifrån: ren och tillämpad matematik, logik, teoretisk datavetenskap, teoretisk fysik och ekonomisk teori – påståenden som regleras genom bevis snarare än genom experiment. För empiriska frågor, där den ärliga domen är ett fynd snarare än ett teorem, använd vår syster webbplats referee.chat istället.

Gå till referee.chat