Wikipedia:Zgłoś błąd w artykule: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
m →‎Liczby rzeczywiste: drobne redakcyjne
Linia 584:
{{Status zgłoszenia|wykonane}}
''Istnieją trzy klasyczne sposoby konstrukcji zbioru liczb rzeczywistych: za pomocą przekrojów Dedekinda, za pomocą ciągów Cauchy’ego liczb wymiernych. za pomocą ciągów nieskończonych, w których pierwszym wyrazem jest dowolna liczba całkowita, wszystkie następne są liczbami naturalnymi ze zbioru {0,1,...,9}. Ta metoda jest ściśle związana z reprezentacją liczb rzeczywistych w postaci ułamka dziesiętnego nieskończonego.'' Co to za trzeci sposób? W art. [[Aksjomaty i konstrukcje liczb]] można przeczytać: "Klasycznie istnieją trzy podejścia do formalnej definicji zbioru liczb rzeczywistych: pierwszy z nich to definicja aksjomatyczna, drugi (metoda [[Richard Dedekind|Dedekinda]]) – przy pomocy tzw. ''przekrojów Dedekinda'', trzeci (metoda [[Georg Cantor|Cantora]]) – za pomocą tzw. [[ciąg Cauchy’ego|ciągów Cauchy’ego]] liczb wymiernych". Zgłasza: [[Specjalna:Wkład/2A02:A318:8140:A000:C38:92DC:3F14:2E64|2A02:A318:8140:A000:C38:92DC:3F14:2E64]] ([[Dyskusja wikipedysty:2A02:A318:8140:A000:C38:92DC:3F14:2E64|dyskusja]]) 15:10, 1 maj 2020 (CEST)
::Usunąłem ten trzeci sposób konstruowania liczb z artykułu [[liczbaliczby rzeczywistarzeczywiste]], bo był niepoprawny - bez dodania relacji równoważności, o której nie było mowy w tej konstrukcji, 0.999999999... nie byłoby równe 1. Informacja z aksjomatów i konstrukcji liczb nie jest sprzeczna z informacją z artykułu liczby rzeczywiste, bo mowa w niej o "formalnej definicji", co jest pojęciem szerszym od pojęcia konstrukcji - konstrukcja to [[Aksjomat#Modelowanie|model aksjomatyki]] w sensie Tarskiego, a formalna definicja może być zarówno konstrukcją jak i samą aksjomatyką. I tak to właśnie przedstawiono w "aksjomatach i konstrukcjach liczb" - wymienione są dwie standardowe konstrukcje, te same co w art. [[liczby rzecsywiste]] oraz definicja aksjomatyczna. [[Wikipedysta:Olaf|Olaf]] <font size="-2">[[Dyskusja wikipedysty:Olaf|@]]</font> 23:58, 31 maj 2020 (CEST)
 
=== [[:Piotr Żurawski]] ===