Δημόσια σπίρτα
Δημοσιεύθηκε, συμπεριλαμβανομένων εκείνων όπου το πάνελ δεν μπορούσε να φτάσει στο μπαρ. Αυτό είναι το σημείο: μια επισημοποίηση ο πυρήνας Lean αρνείται να σας πει ακριβώς ποιο βήμα το επιχείρημα ποτέ δεν δικαιολογείται.
Τι ανήκει εδώ;
Αυτή η ιστοσελίδα είναι χτισμένη για την εκδοτική εργασία: καθαρά και εφαρμοσμένα μαθηματικά, λογική, θεωρητική επιστήμη υπολογιστών, θεωρητική φυσική και οικονομική θεωρία. Ισχυρίζεται ότι έχουν διευθετηθεί με αποδείξεις και όχι με πείραμα. Για εμπειρικά ερωτήματα, όπου η ειλικρινής ετυμηγορία είναι ένα εύρημα και όχι ένα θεώρημα, χρησιμοποιήστε την αδελφή ιστοσελίδα μας referee.chat αντ 'αυτού.
Πήγαινε στο referee.chat.