nova

http://en.wikipedia.org/wiki/Smooth_infinitesimal_analysis

It uses intuitionistic logic, so no axiom of choice.

I wonder if someone has created a more orthogonal notation for probability, like Sussman did with the Schemish/functional notation for differential geometry.

Please. The government already amplified a terrible mistake to colossal dimensions and could do it again.

The first law of thermodynamics stablishes a relation between energy input, energy output and energy storage. It does not say which variables are independent, ie, the direction of causality. The theory of low-carb diets is that carbs affect energy storage via insulin first leaving a constraint bewteen energy in and out, not the reverse.

Also note that in the article cited the lowest amount of carbs was 35%, which still is a moderatelly high amount. And the result seems to be very modest (about 4kg lost only).

"The art of economics consists in looking not merely at the immediate but at the longer effects of any act or policy; it consists in tracing the consequences of that policy not merely for one group but for all groups."

The rest is commentary and application examples.