See Dedekind cut on Wiktionary
{
"etymology_text": "Named after German mathematician Richard Dedekind (1831–1916), who introduced the concept (although a similar construction was used in Euclid's Elements to define proportional segments).",
"forms": [
{
"form": "Dedekind cuts",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "Dedekind cut (plural Dedekind cuts)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"ref": "1990, Judith Roitman, Introduction to Modern Set Theory, Wiley, page 70:",
"text": "More than one formal solution was offered; the one which is easiest to work with (all of the solutions are provably equivalent) is the method of Dedekind cuts.",
"type": "quote"
},
{
"ref": "1997, Reuben Hersh, What is Mathematics, Really?, Oxford University Press, page 274:",
"text": "To identify Dedekind cuts as the sought-for \"real number system,\" we must show that they include all the rationals and irrationals—all the numbers that can be approximated with arbitrary accuracy by rationals.",
"type": "quote"
},
{
"ref": "2011, Alexander R. Pruss, Actuality, Possibility, and Worlds, Continuum Books, page 55:",
"text": "But there are, of course, many set theoretic ways of expressing Riemannian manifolds, just as there are many set theoretic ways of expressing real numbers (one can express them as pairs of lower and upper Dedekind cuts, or as lower Dedekind cuts, or as upper Dedekind cuts, or as equivalence classes of Cauchy sequences, and so on).",
"type": "quote"
}
],
"glosses": [
"Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number."
],
"id": "en-Dedekind_cut-en-noun-sc0aG-PD",
"links": [
[
"mathematics",
"mathematics"
],
[
"partition",
"partition"
],
[
"rational numbers",
"rational numbers"
],
[
"non-empty",
"non-empty"
],
[
"real number",
"real number"
]
],
"raw_glosses": [
"(mathematics) Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number."
],
"topics": [
"mathematics",
"sciences"
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "partition of rational numbers",
"word": "Dedekindin leikkaus"
},
{
"code": "fr",
"lang": "French",
"sense": "partition of rational numbers",
"tags": [
"feminine"
],
"word": "coupure de Dedekind"
},
{
"code": "pl",
"lang": "Polish",
"sense": "partition of rational numbers",
"tags": [
"masculine"
],
"word": "przekrój Dedekinda"
}
],
"wikipedia": [
"Dedekind cut",
"Richard Dedekind"
]
}
],
"word": "Dedekind cut"
}
{
"etymology_text": "Named after German mathematician Richard Dedekind (1831–1916), who introduced the concept (although a similar construction was used in Euclid's Elements to define proportional segments).",
"forms": [
{
"form": "Dedekind cuts",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "Dedekind cut (plural Dedekind cuts)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English eponyms",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms with quotations",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with Polish translations",
"en:Mathematics"
],
"examples": [
{
"ref": "1990, Judith Roitman, Introduction to Modern Set Theory, Wiley, page 70:",
"text": "More than one formal solution was offered; the one which is easiest to work with (all of the solutions are provably equivalent) is the method of Dedekind cuts.",
"type": "quote"
},
{
"ref": "1997, Reuben Hersh, What is Mathematics, Really?, Oxford University Press, page 274:",
"text": "To identify Dedekind cuts as the sought-for \"real number system,\" we must show that they include all the rationals and irrationals—all the numbers that can be approximated with arbitrary accuracy by rationals.",
"type": "quote"
},
{
"ref": "2011, Alexander R. Pruss, Actuality, Possibility, and Worlds, Continuum Books, page 55:",
"text": "But there are, of course, many set theoretic ways of expressing Riemannian manifolds, just as there are many set theoretic ways of expressing real numbers (one can express them as pairs of lower and upper Dedekind cuts, or as lower Dedekind cuts, or as upper Dedekind cuts, or as equivalence classes of Cauchy sequences, and so on).",
"type": "quote"
}
],
"glosses": [
"Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"partition",
"partition"
],
[
"rational numbers",
"rational numbers"
],
[
"non-empty",
"non-empty"
],
[
"real number",
"real number"
]
],
"raw_glosses": [
"(mathematics) Any partition of the set of rational numbers into non-empty sets A and B such that all elements of A are less than all elements of B and A contains no greatest element; intended as a construction of a real number."
],
"topics": [
"mathematics",
"sciences"
],
"wikipedia": [
"Dedekind cut",
"Richard Dedekind"
]
}
],
"translations": [
{
"code": "fi",
"lang": "Finnish",
"sense": "partition of rational numbers",
"word": "Dedekindin leikkaus"
},
{
"code": "fr",
"lang": "French",
"sense": "partition of rational numbers",
"tags": [
"feminine"
],
"word": "coupure de Dedekind"
},
{
"code": "pl",
"lang": "Polish",
"sense": "partition of rational numbers",
"tags": [
"masculine"
],
"word": "przekrój Dedekinda"
}
],
"word": "Dedekind cut"
}
Download raw JSONL data for Dedekind cut meaning in All languages combined (3.0kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-15 from the enwiktionary dump dated 2024-12-04 using wiktextract (8a39820 and 4401a4c). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.