Skillnad mellan versioner av "Motexempel"
m (3 versioner) |
Schreib (diskussion | bidrag) |
||
| Rad 1: | Rad 1: | ||
| − | '''Motexempel''' är mycket viktiga verktyg inom [[matematik]]en. Motexempel kan ses som den enda formen av anti-[[bevis]] - om ett logiskt påstående saknar både bevis och motexempel sägs det vara en ''förmodan''. De [[Matematisk finhet|vackraste]] motexemplen är, mot intuitionen, de | + | '''Motexempel''' är mycket viktiga verktyg inom [[matematik]]en. Motexempel kan ses som den enda formen av anti-[[bevis]] - om ett logiskt påstående saknar både bevis och motexempel sägs det vara en ''förmodan''. De [[Matematisk finhet|vackraste]] motexemplen är, mot intuitionen, de [[trivial]]aste. Man får däremot åtnjuta mycket matematisk underground-respekt om man lyckas hitta ett motexempel till en förmodan som gäller för nästan allt - till exempel om det enda motexemplet till en förmodan som sägs gälla för alla [[matris]]er är en <math>\displaystyle 4168 \times 231</math>-matris där det finns en exakt, [[godtycklig]] konfiguration av tal i matrispositionerna. |
| − | Om man lyckas hitta motexempel till en sats som det finns ett oslagbart bevis för tjänar man mycket respekt från andra matematiker | + | Om man lyckas hitta motexempel till en sats som det finns ett oslagbart bevis för tjänar man mycket respekt från andra matematiker. |
| − | |||
| − | |||
[[Kategori:Matematik]] | [[Kategori:Matematik]] | ||
Versionen från 19 oktober 2010 kl. 06.35
Motexempel är mycket viktiga verktyg inom matematiken. Motexempel kan ses som den enda formen av anti-bevis - om ett logiskt påstående saknar både bevis och motexempel sägs det vara en förmodan. De vackraste motexemplen är, mot intuitionen, de trivialaste. Man får däremot åtnjuta mycket matematisk underground-respekt om man lyckas hitta ett motexempel till en förmodan som gäller för nästan allt - till exempel om det enda motexemplet till en förmodan som sägs gälla för alla matriser är en [math]\displaystyle 4168 \times 231[/math]-matris där det finns en exakt, godtycklig konfiguration av tal i matrispositionerna.
Om man lyckas hitta motexempel till en sats som det finns ett oslagbart bevis för tjänar man mycket respekt från andra matematiker.
