Re: [Hol-info] HOL breakthrough in American politics

2016-03-03 Thread Ramana Kumar
Wonderful! :-) Though one should perhaps reconsider their media engagement strategy when the majority of one's coverage is in The Onion. On 4 Mar 2016 04:51, "Konrad Slind" wrote: >“By expanding on pioneering work in the fields of applied statistics, > higher-order

[Hol-info] HOL breakthrough in American politics

2016-03-03 Thread Konrad Slind
“By expanding on pioneering work in the fields of applied statistics, higher-order logic, and number theory, we’ve arrived at a new branch of mathematics that provides for a multitude of feasible outcomes in which Donald Trump is not the 2016 GOP nominee,”