ZFC (Uncyclopedia.org wiki)
ZFC Warning: This will probably make no sense ... to make it more accessible, please do. ZFC or Zermelo-Fraenkel-Choice is a set ... confused the mathematicians of the time. Once ZFC was invented, however, people realized just how ... their jobs being taken over by mathematicians. ZFC is now used in its place, and ... from the Violinists' Union . The axioms of ZFC (as they currently stand) are as ...
http://uncyclopedia.org/wiki/ZFC - 10k - Cached - Similar pages

ZFC Meuselwitz   (translated from German)
ZFC Meuselwitz Zipsendorfer football club Meuselwitz e.V ... Place amateur upper league InterNet Homepage www.zfc.de/ E-Mail That ZFC Meuselwitz e. V. is in Fussballverein out ... Altenburger country . History The origins of the ZFC Meuselwitz decrease/go back on the 1919 ... those Amateur upper league. 2003 reached the ZFC the semi-final of the Thueringer ...
http://de.wikipedia.org/wiki/ZFC_Meuselwitz - 3k - Cached (German) - Wikipedia (German) - Similar pages

List of statements undecidable in ZFC
List of statements undecidable in ZFC The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo-Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent. Functional analysis Charles Akemann and ... by ℵ 1 elements" is independent of ZFC. Garth Dales and Robert M. Solovay proved ... any other Banach algebra was independent of ZFC, but that the continuum hypothesis proves ...
http://en.wikipedia.org/wiki/List_of_statements_undecidable_in_ZFC - 6k - Cached - Similar pages

Talk:List of statements undecidable in ZFC
Talk:List of statements undecidable in ZFC Remarks on assumptions used to prove independence ... cardinals. What it said before was true--ZFC can neither prove nor disprove the existence ... page said at the top was "assuming ZFC is consistent", which in context probably refers ... statements that can be formally proved in ZFC+Con(ZFC), and it is not possible to ...
http://en.wikipedia.org/wiki/Talk:List_of_statements_undecidable_in_ZFC - 2k - Cached - Similar pages

Implementation of mathematics in set theory
... concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU ... of the scale and going up to ZFC extended with large cardinal hypotheses such as ... out certain constructions in the two theories ZFC and NFU and comparing the resulting implementations ... cannot construct" or "cannot define" this object. ZFC and NFU share the language of set ... set-builder notation make sense in both ZFC and NFU: it may be that ...
http://en.wikipedia.org/wiki/Implementation_of_mathematics_in_set_theory - 106k - Cached - Similar pages

Talk:Controversy over Cantor's theory/Archive1
... or have an insane notion of what ZFC and the continuum hypothesis might have to ... the constructible universe is a model of ZFC so is certainly not 'anti-cantorian'. Barnaby ... formal grammar (whose primitives happen to be ZFC). Right? One can define a topology on ... operate with closed subspaces of Hilbert space. ZFC isn't constructive mathematics at all. Charles ... is not clear that ZF or even ZFC goes beyond these more general computers. ...
http://en.wikipedia.org/wiki/Talk:Controversy_over_Cantor's_theory/Archive1 - 205k - Cached - Similar pages

Talk:Controversy over Cantor's Theory/Archive1
... or have an insane notion of what ZFC and the continuum hypothesis might have to ... the constructible universe is a model of ZFC so is certainly not 'anti-cantorian'. Barnaby ... formal grammar (whose primitives happen to be ZFC). Right? One can define a topology on ... operate with closed subspaces of Hilbert space. ZFC isn't constructive mathematics at all. Charles ... is not clear that ZF or even ZFC goes beyond these more general computers. ...
http://en.wikipedia.org/wiki/Talk:Controversy_over_Cantor's_Theory/Archive1 - 191k - Cached - Similar pages

Talk:Computable number
... for the uncountability of the reals inside ZFC the article should explain why the set of computable numbers is countable inside ZFC, i.e., how to formalize the notion ... August 2005 (UTC) The phrase "countable inside ZFC" is a category error (syntax/semantics confusion). Probably you mean "...why ZFC proves that the set of computable numbers ... rumours that there are countable models of ZFC, so the reals inside this model ...
http://en.wikipedia.org/wiki/Talk:Computable_number - 27k - Cached - Similar pages

Axiomatic set theory
... is included, the resulting system is called ZFC. An important feature of ZFC is that every object that it deals ... terms of sets. The ten axioms of ZFC are listed below. (Strictly speaking, the axioms of ZFC are just strings of logical symbols. What ... are axiomatic set theories closely related to ZFC: axiomatic set theories with quite different ...
http://en.wikipedia.org/wiki/Axiomatic_set_theory - 32k - Cached - Similar pages

Axiomatic theory of the insiemi   (translated from Italian)
... included, the turning out system is said ZFC (Zermelo-Fraenkel-Choice). A characteristic important of ZFC is that all the objects that deal ... terms of insiemi. The ten axioms of ZFC are here list to you. (To rigor the ZFC axioms are only stringhe of logical symbols ... the insiemi of Morse-Kelley. Independence from ZFC Many important affirmations are independent from ...
http://it.wikipedia.org/wiki/Teoria_assiomatica_degli_insiemi - 35k - Cached (Italian) - Wikipedia (Italian) - Similar pages