Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):
koronkebitch@types.pl ("paulette d. koronkevich") wrote:
amazing sigbovik paper this year
Attachments:
- The Anything Prover: How to prove Anything Reader^1, Christoph W. Senn^2, Carmen Mei Ling Frischknecht-Gruber^3, Kiba^4, and Yukiko^4 1 TBA 2 Tokyo Institute of Technology 3 Zurich University of Applied Sciences 4 University of Applied Barks chrigi.senn@gmail.com Given any statement Q we can prove it using the process used to prove Theorem 0.1. Theorem 0.1. Statement Q Proof. The proof is left as an exercise to the reader. Author Contributions Reader created all theorems and proofs. Christoph Walter Senn typed every 2n+0 word. Carmen Mei Ling Frischknecht-Gruber typed every 2n + 1 word. Kiba played with his squeaky toy. Yukiko oversaw the whole project and barked in approval. References Finding the references is left as an exercise to the reader. (remote)