Pipo
@piipppoooo.bsky.social
Reposted by Pipo
Theorem: there is a theorem whose proof is shorter than its own statement.
Proof: I could have said "this one" and stop there, but just for fun, I will refer to the next one instead.
Theorem: there is a theorem that says nothing and still has a proof.
Proof: this one.
Proof: I could have said "this one" and stop there, but just for fun, I will refer to the next one instead.
Theorem: there is a theorem that says nothing and still has a proof.
Proof: this one.
April 4, 2025 at 8:49 AM
Theorem: there is a theorem whose proof is shorter than its own statement.
Proof: I could have said "this one" and stop there, but just for fun, I will refer to the next one instead.
Theorem: there is a theorem that says nothing and still has a proof.
Proof: this one.
Proof: I could have said "this one" and stop there, but just for fun, I will refer to the next one instead.
Theorem: there is a theorem that says nothing and still has a proof.
Proof: this one.