So, I'm emerging xorg-server on my newly compiled (still bare bone) Gentoo system and it's taking fucking ages.
What the fuck is happening?
Is it compiling from source or something?
Name:
Anonymous2013-08-31 23:52
\int_{a}^{b} \, f(t)\ dt \ = \infty means that f(t) does not bound a finite area from a to b
Name:
Anonymous2013-09-01 0:38
Set theory is the branch of mathematical logic that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The language of set theory can be used in the definitions of nearly all mathematical objects.
Name:
Anonymous2013-09-01 1:23
A recent area of research concerns Borel equivalence relations and more complicated definable equivalence relations. This has important applications to the study of invariants in many fields of mathematics.
Name:
Anonymous2013-09-01 2:08
Thus the negation of the axiom of choice states that there exists a set of nonempty sets which has no choice function.
Name:
Anonymous2013-09-01 2:53
Assuming ZF is consistent, Kurt Gödel showed that the negation of the axiom of choice is not a theorem of ZF by constructing an inner model (the constructible universe) which satisfies ZFC and thus showing that ZFC is consistent. Assuming ZF is consistent, Paul Cohen employed the technique of forcing, developed for this purpose, to show that the axiom of choice itself is not a theorem of ZF by constructing a much more complex model which satisfies ZF¬C (ZF with the negation of AC added as axiom) and thus showing that ZF¬C is consistent.