He's refused to let the fact that he no longer works at the place — he was let go when he was 65 -- stop him from doing what employees have come to call Floydering, a kind of creative loitering/kibbitzing in the Disney offices.

The war has begun, confrontations are escalating across the region, and all his men own are old Mausers.

Each animal is cast with a hollow, open body that fits over the yoke of a cart (cat. nos. 31, 3c, 37), as do similarly designed animal figures excavated from a Qin tomb at Bianjiazhuang, Long county, southwestern Shaanxi Province.

What constructive mathematicians know is that there are mathematical universes in which sets are like topological spaces and properties are like open sets. In fact, these universes are well-known to classical mathematicians (they are called toposes), but they look at them from “the outside”. When we consider what mathematicians who live in such a universe see, we discover many fascinating kinds of mathematics, which tend to be constructive. The universe of classical mathematics is special because in it all sets are like discrete topological spaces. In fact, one way of understanding LEM is “all spaces/sets are discrete”. Is this really such a smart thing to assume? If for no other reason, LEM should be abandoned because it is quite customary to consider “continuous” and “discrete” domains in applications in computer science and physics. So what gives mathematicians the idea that all domains are discrete?