This might sound pedantic but it is worth being precise here. These kind of issues are either "Proving the wrong statements" or "using dubious axioms". Both of these are issues not issues of the proof. You do not need…
I think you misunderstand what a LEAN proof entails. A statement corresponds to a type and to proof that statement means to show that this type is inhabitetd (i.e., there is actually a value of that type). A proof is…
You miss the point here. Just because functions happen to be sets ZF does not mean sets of functions are functions. O(...) denotes a set of functions.
I disagree. Rust shines when you need perform "unsafe" operations. It forces programmers to be explicit and isolate their use of unsafe memory operations. This makes it significantly more feasible to keep track of…
Gotta love the classic "everyone else is cheating too"
MrBeast is not just a YouTube channel but a huge business/brand and should be held accountable at much higher standards.
This might sound pedantic but it is worth being precise here. These kind of issues are either "Proving the wrong statements" or "using dubious axioms". Both of these are issues not issues of the proof. You do not need…
I think you misunderstand what a LEAN proof entails. A statement corresponds to a type and to proof that statement means to show that this type is inhabitetd (i.e., there is actually a value of that type). A proof is…
You miss the point here. Just because functions happen to be sets ZF does not mean sets of functions are functions. O(...) denotes a set of functions.
I disagree. Rust shines when you need perform "unsafe" operations. It forces programmers to be explicit and isolate their use of unsafe memory operations. This makes it significantly more feasible to keep track of…
Gotta love the classic "everyone else is cheating too"
MrBeast is not just a YouTube channel but a huge business/brand and should be held accountable at much higher standards.