2009 (source code)
= 2009
{scope}
{title2=C1.1}
{title2=DMAC 2460}
{title2=DMCO 2460}
{title2=DMPC 2460}
This <University of Oxford> Part C paper covers Gödel's Incompleteness Theorems in section A and <Model theory> in section B, cross-listed for Mathematics, Mathematics and Computer Science, and Mathematics and Philosophy. https://www.whatdotheyknow.com/request/maths_past_papers_3[Source release]{ref} The archive contains the complete editable five-page transcription. Bounded official-source searches found no advertised answers for this exact paper. A2(c) is answered with a counterexample to its literal semantic hypothesis and a proof of the intended canonical case. The vector-space comparison keeps infinitude of the underlying <set> distinct from infinite <dimension of a vector space>[dimension].
Back to article page
