101 reputation
2
bio website alecmce.com
location San Francisco, CA
age 35
visits member for 1 year, 4 months
seen Jan 4 at 1:34

I'm a Lead Software Engineer (ActionScript, haXe, JavaScript, C#, Ruby). I currently work for Kabam, San Francisco.

I used to be a professional Mathematics and Philosophy Teacher in the UK.

I usually talk shop on Twitter @alecmce


Feb
15
awarded  Supporter
Dec
22
awarded  Autobiographer
Dec
22
comment Is a counterexample considered a rigorous proof that a property is not true?
When I read this I thought Qiaochu was making a mistake, because he says that the "negation of a universal statement is an existential statement". Better: the negation of a universal proposition can be expressed as an existential proposition. So, the negation of "All sheep are white" is not "Some sheep are white", it's "not all sheep are white", which can be rewritten as "some sheep are not white".