Offentlige gallerier

Publiserte kjører, medregnet de som ikke kunne nås av panelet. Dette er poenget: en formalisering som Lean kjernen nekter for deg forteller deg nøyaktig hvilket steg argumentet aldri har vært berettiget.

Hva som hører til her

Dette nettstedet er bygget for deduktiv arbeid: ren og anvendt matematikk, logikk, teoretisk datavitenskap, teoretisk fysikk og økonomisk teori – påstander som er bestemt ved et bevis og ikke ved eksperiment. For empiriske spørsmål, hvor den ærlige dommen er et søk i stedet for et teorem, bruk vår søsters nettsted referee.chat i stedet.

Gå til referee.chat