If I remember correctly, someone posted one here earlier this year. It was horribly written – I think the author had some problem with it and asked for help – but it supported different kinds of wood, so if you fixed it, it could be quite useful.
Name:
Anonymous2008-07-07 11:02
>>1
java.lang.Math
+
logax = M logbx with M = logab = 1/(logba)
/prog/ will be spammed continuously until further notice. we apologize for any inconvenience this may cause.
Name:
Anonymous2013-08-31 22:31
Since the 5th century BC, beginning with Greek mathematician Zeno of Elea in the West and early Indian mathematicians in the East, mathematicians had struggled with the concept of infinity. Especially notable is the work of Bernard Bolzano in the first half of the 19th century. Modern understanding of infinity began in 1867–71, with Cantor's work on number theory. An 1872 meeting between Cantor and Richard Dedekind influenced Cantor's thinking and culminated in Cantor's 1874 paper.
Name:
Anonymous2013-08-31 22:38
something to do with integration?
Name:
Anonymous2013-08-31 23:17
Multiplication is commutative κ·μ = μ·κ.
Name:
Anonymous2013-09-01 0:02
A different form of "infinity" are the ordinal and cardinal infinities of set theory. Georg Cantor developed a system of transfinite numbers, in which the first transfinite cardinal is aleph-null (leph_0), the cardinality of the set of natural numbers. This modern mathematical conception of the quantitative infinite developed in the late nineteenth century from work by Cantor, Gottlob Frege, Richard Dedekind and others, using the idea of collections, or sets.
Name:
Anonymous2013-09-01 0:48
The work of analysts such as Henri Lebesgue demonstrated the great mathematical utility of set theory, which has since become woven into the fabric of modern mathematics. Set theory is commonly used as a foundational system, although in some areas category theory is thought to be a preferred foundation.
Name:
Anonymous2013-09-01 1:34
For example, Cohen's construction adjoins additional subsets of the natural numbers without changing any of the cardinal numbers of the original model. Forcing is also one of two methods for proving relative consistency by finitistic methods, the other method being Boolean-valued models.
Name:
Anonymous2013-09-01 2:18
which is equivalent to
Name:
Anonymous2013-09-01 3:04
Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A×A.