Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Existence and uniqueness

| 🗖 nosplit | ↑ parent "Formalization of Mathematics" | words: 82 | descendant words: 82 | descendants: 2
🔗
Existence and uniqueness results are fundamental in mathematics because we often define objects by their properties, and then start calling them "the object", which is fantastically convenient.
🔗
But calling something "the object" only makes sense if there exists exactly one, and only one, object that satisfies the properties.
🔗
One particular context where these come up very explicitly is in solutions to differential equations, e.g. existence and uniqueness of solutions of partial differential equations.
🔗
🔗

Ancestors