Javna galerija

Objavljeno tekoče, vključno s tistimi, kjer plošča ni mogla priti do bara. Ta rezultat je točka: formalizacija jedro Lean odbije vam natančno pove, kateri korak argument nikoli utemeljiti.

Kaj je to, kar je tukaj?

Ta stran je zgrajena za deduktivno delo: čista in uporabljena matematika, logika, teoretična računalniška znanost, teoretična fizika in gospodarska teorija – trditve, ki so poravnane z dokazom namesto s eksperimentom. Za empirična vprašanja, kjer je poštena razsodba je ugotovitev namesto teoreme, uporabite našo sestro stran referee.chat.

Pojdi na referee.chat