A false theory is false.

It seems clear that Nazi Germany did severely persecute what it defined as “Jewish mathematics”. In his book “History of Mathematics: A Supplement” (Springer 2007) Craig Smorynski said: “… the change of mathematical direction … would reach an extreme in the 1930s with the nazi distinction between good German-Aryan anschauliche (intuitive) mathematics and the awful Jewish tendency toward abstraction and casuistry.

A false theory is false, even if not halted by a contradiction.  -- L. E. J. Brouwer, founder of Intuitionism

”

BTW, Functional Programming is based on Intutionism (the Aryan Math). So, Lispers are nazies.

>>1
Having a history related debate on /prague/

Oh the Hilarity!

As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality. -- Albert Einstein

>>3
Not quite.
While you can argue that in FP you usually have to construct a concrete type or object in order to use it (which is constructivist, not just intuitionist), you can do a lot of interesting things with buttocks alone.

>>6
You're wrong. Functional programming is all about functional compositions (that is, "the perception of the object is that object"). "Types" have nothing to do with FP, they are born out of this ugly jewish Set Theory, where you concieve infinity sets (type-classes) of all possible objects, that has typed properties.