Difference between revisions of "Talk:1381: Margin"
(discussion) |
Mattflaschen (talk | contribs) (yes) |
||
| Line 1: | Line 1: | ||
Isn't it possible that a mathematician knows about the existance or the proof of something, but doen't know how to technically do it? In this case, the margin remark would be accurate and not so funny. They have found a proof of existance for infinite information compression, but not yet discovered an actual method to do it. [[Special:Contributions/141.101.104.56|141.101.104.56]] 05:32, 13 June 2014 (UTC) | Isn't it possible that a mathematician knows about the existance or the proof of something, but doen't know how to technically do it? In this case, the margin remark would be accurate and not so funny. They have found a proof of existance for infinite information compression, but not yet discovered an actual method to do it. [[Special:Contributions/141.101.104.56|141.101.104.56]] 05:32, 13 June 2014 (UTC) | ||
| + | :Yes, when there's no example, it's called a {{w|pure existence theorem}}. If you actually demonstrate an example, that is a {{w|constructive proof}}. [[User:Mattflaschen|Mattflaschen]] ([[User talk:Mattflaschen|talk]]) 05:38, 13 June 2014 (UTC) | ||
Revision as of 05:38, 13 June 2014
Isn't it possible that a mathematician knows about the existance or the proof of something, but doen't know how to technically do it? In this case, the margin remark would be accurate and not so funny. They have found a proof of existance for infinite information compression, but not yet discovered an actual method to do it. 141.101.104.56 05:32, 13 June 2014 (UTC)
- Yes, when there's no example, it's called a pure existence theorem. If you actually demonstrate an example, that is a constructive proof. Mattflaschen (talk) 05:38, 13 June 2014 (UTC)
