Förmodan

En förmodan eller antagande inom matematik är ett påstående som antas vara sant, men som saknar ett känt bevis eller motbevis. (I engelska används benämningen "conjecture".) Ordet hypotes används ibland synonymt, men kan även beteckna ett tillfälligt antagande, exempelvis i ett motsägelsebevis. Om en förmodan kan bevisas blir den en matematisk sats. [1]

En mycket känd förmodan som bevisats är Fermats stora sats (som lite missvisande kallades sats även innan den bevisades). Berömda förmodanden som ännu väntar på ett bevis är Riemannhypotesen och primtalstvillingsförmodan.

Referenser

  1. ^ Thompson, Jan; Thomas Martinsson (1991). Wahlström & Widstrands matematiklexikon. Wahlström & Widstrand. sid. 134. ISBN 91-46-16515-0 
v  r
Logiska begrepp
Sats
Påståendesats · Lexikon · Formel · Påstående · Utsaga
Mening
Tautologi · Kontradiktion · Motsägelse
Sanning
Sanningsvärde · Sanningsfunktion · Sanningsvärdetabell · T-schema
Deduktion
Bevis
Hypotes
Hypotesprövning · Nollhypotes · Antagande · Förmodan · Ad hoc
Formella språk
Modellteori
Struktur · Kontext · Interpretering
Härledningsbegrepp
Fullständighet · Falsifierbarhet · Falsifikation · Sundhet · Giltighet
Latinska begrepp
Övrigt
Se även: Entropi · Information · Kunskap