Offentlige treff
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