Det offentlige galleri

Publicerede kører, herunder dem, hvor panelet ikke kunne nå baren. Dette resultat er pointen: en formalisering Lean kernel nægter fortæller dig præcis, hvilket skridt argumentet aldrig berettiget.

Hvad der hører til her

Dette websted er bygget til deduktiv arbejde: ren og anvendt matematik, logik, teoretisk computer videnskab, teoretisk fysik og økonomisk teori! hævder, der er afgjort ved bevis snarere end ved eksperiment. For empiriske spørgsmål, hvor den ærlige dom er et fund snarere end en sætning, bruge vores søster site referee.chat i stedet.

Gå til referee.chat