Enjoy your vacation, Scott. Your bet was the first unambiguous indication to me that I had no reason to get excited until the experts had digested the claimed proof, and I thank you for it. Also, I was amused. I appreciated your desire to be ..... asdf Says: Comment #37 August 14th, 2010 at 4:51 am. Oops, reference for above: H. Schwichtenberg, ?Program extraction from proofs?, chapter 3. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.125.8891&rep=rep1&type=pdf ...
Tensions within Helloween worsened, and the band split into three factions, with Michael Kiske and Ingo Schwichtenberg on one side, Michael Weikath and Roland Grapow on the other, and Markus Grosskopf in the middle, trying to keep an ...
