Kiel registrite je 15:18, 21 okt. 2005 redakti 66.228.95.2 (diskuto) Neniu resumo de redakto ← Iru al antaŭa ŝanĝo		Kiel registrite je 17:07, 21 okt. 2005 redakti malfari 66.228.95.2 (diskuto) Neniu resumo de redakto Iru al sekvanta ŝanĝo →
Linio 1: Ĝenerale, '''difinebla nombro''' estas [[nombro]] kiun oni povas unike difini per iu [[matematiko\|matematika]] deklaro. Formale, [[reala nombro]] estas difinebla en [[arteorio\|ZFC-a arteorio]] se kaj nur se estas logika formulo φ(''x'') en la sistemo, kun precize unu variablo ''x'', por kiu oni povas demonstri ke ''a'' estas la sola nombro por kiu φ(''a'') estas pruveblaĵo. La [[aro]] de difineblaj nombroj inkluzivas ~~ĉiun~~la ~~realan~~plejparto ~~nombron~~de ~~kiun oni~~nombroj ~~povus~~kiuj ~~unike~~homoj ~~priskribi~~konas; ekzemple, ĉiun [[algebra nombro\|algebran nombron]] kaj ĉiun gravan mamatematikan konstanton. La plejparto de realaj nombroj, tamen, estas nedifineblaj: la aro de difineblaj nombroj estas [[numerebla aro\|numerebla]] (~~kiel~~ĉar la aro de logikaj formuloj estas numerebla), kaj la aro de realaj nombroj estas [[nenumerebla aro\|nenumerebla]] ([[Georg_CANTOR\|Georg Cantor]] demonstris tion), do preskaŭ ĉiu reala nombro estas nedifinebla. (Oni povus diri ke tiaj nombroj estas nedifineblaj ĉar ili estas tute malinteresaj--ne estas matematika demando kies respondo estas nedifinebla nombro.) Estas iuj "unike priskribeblaj" nombroj kiuj ne estas difineblaj. Ekzemple, la plejparto de ''fizikaj'' konstantoj verŝajne estas matematike nedifineblaj per la plejparto de sistemoj de unuoj, kvankam oni ne povus pruvi tiel. (La [[gravita konstanto]], esprimata per la [[Sistemo Internacia de Unuoj]], estas unu ekzemplo.) Ĉiu [[komputebla nombro]] estas difinebla, sed iuj difineblaj nombroj estas nekomputeblaj, ekz. la [[konstanto de Chaitin]].

Difinebla nombro: Malsamoj inter versioj