Privacy Policy Cookie Policy Terms and Conditions Dyskusja:Paradoks nieciekawej liczby - Wikipedia, wolna encyklopedia

Dyskusja:Paradoks nieciekawej liczby

Z Wikipedii

Coś tu nie gra. Czytamy:

"Z drugiej strony konsekwencja tego rozumowania, mówiąca że wszystkie liczby naturalne można opisać za pomocą zdań o mniej niż trzydzietu sylabach, jest niedopuszczalna, gdyż takich zdań jest skończenie wiele, a liczb naturalnych - nie."

ale omawiane zdanie nie odnosi się do jednej liczby tylko do całego ich zbioru i można nim opisać dowolną liczbę naturalną. Zdań o mniej niż 30 sylabach jest skończona liczba, ale to samo zdanie może "opisywać" nieskończenie wiele liczb, więc to nie przeszkadza, że jednych jest skończona liczba a drugich nie. Problem podejrzewam pojawia się dopiero, gdy trzeba by przypisać każde zdanie innej liczbie. Nie chodzi więc o opisywanie, jak to jest w tekście tylko o przypisywanie. Wniosek: trzeba opis tego paradoksu uprecyzyjnić. Ja niestety nie czuje się na siłach to zrobić. Polimerek 11:58, 2 maj 2004 (CEST)

Nie chodzi o przypisywanie, lecz opisywanie. Istotą paradoksu jest język opisu, tzn. fakt, że liczby można opisywać na wiele sposobów, niekoniecznie za pomocą liczebników. Wystarczyło zamiast "wszystkie liczby naturalne można opisać..." użyć "każdą liczbę naturalną można opisać...". Chyba to wyjaśnia sprawę? Klin 02:35, 7 maj 2004 (CEST)
Nie bardzo. Sprawdzilem jak to jest opisane w wiki-en:
"It is reasonable to assume that this is a specification for a number: after all, there are a finite number of sentences of less than eleven words, and some finite subset of them specify unique positive integers, so there is clearly some positive number that is the smallest integer not in that finite set. But the Berry sentence itself is a specification for that number in only ten words!
Jak widac jest tu mowa o "specification", ktore nalezy raczej tlumaczyc jako "okreslanie" a nie "nazywanie" liczby, a stwierdzenie "specify unique positive integers" nalezy tlumaczyc raczej jako "jednoznaczne okreslanie konkretnej liczby" a nie jako blizej nieokreslone jej "nazywanie". Pozwolilem sobie przetlumaczyc ten fragment z angielskiego w sposob bardziej doslowny niz to to jest zrobione teraz:

Tlumaczenie:

Wydaje się sensownym przyjęcie, że powyższe stwierdzenie określa jednoznacznie jakąś konkretną liczbę. Jednakże, zbiór zdań o mniej niż trzydziestu sylabach jest zbiorem skończonym i w dodatku tylko pewnien podzbiór tych zdań określa konkretne liczby naturalne. W związku z tym, że zbiór liczb naturalnych jest nieskończony, musi istniec najmniejsza liczba naturalna, ktorej nie opisuje żadne zdanie z tego zbioru.

Wyjściowe zdanie ma jednak mniej niż 30 sylab i mimo to jednoznacznie określa tę liczbę !

Dochodzimy więc do oczywistej sprzeczności, która wskazuje na to, że stwierdzenie "której nie można jednoznacznie określić" nie można klarownie zdefiniowac w języku zbiorów matematycznych.

Czy tak nie jest jednak jasniej ???

Polimerek 10:44, 7 maj 2004 (CEST)

Z całą pewnością bardziej precyzyjnie. Byc może rzeczywiście w aktualnym artykule brakuje czegoś o jednoznaczności "opisu". Moim zdaniem można spokojnie zastąpić Twoim tłumaczeniem.Klin 01:14, 8 maj 2004 (CEST)

Kto zacz, ów Berry? Czy mam prawo go nie znać? C4 12:21, 2 maj 2004 (CEST)

[edytuj] tytuł

Czy ten tytuł jest odpowiedni? paradoks nieciekawej liczby jest tu zamieszczony jako ciekawostka, a nie jako główna treść. Ymar 14:08, 4 lut 2006 (CET)

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu