June 2011 Archives

Wed Jun 1 18:18:59 EEST 2011

Division by zero (Ted Chiang)

Division by zero (Ted Chiang)

http://www.fantasticmetropolis.com/i/division/full/ Division by zero (Ted Chiang)

a scifi story of bugs and insanity.

strangely, scientist seem to be believe it well may come true (possibly modulo the insanity). even today Voevodsky claims something close to the story - basically math is really screwed up, but in a fixable way (i don’t understand the details).

more from Chiang http://www.freesfonline.de/authors/Ted_Chiang.html


Posted by joro | Permanent link

Wed Jun 1 11:26:49 EEST 2011

Coq nonsense

Coq nonsense Critical systems use warez like this. 
Definition tr1(t:True) : Prop :=False.
Coercion tr1: True >-> Sortclass.

Lemma FUCKMS: forall a : True, a->False.
Proof.
compute. firstorder.
Qed.

Posted by joro | Permanent link
/\