Hva er et teorem?
Q: Hva er et teorem?
A: Et teorem er en idé som er bevist å være sann i matematikk ved hjelp av logikk og andre teoremer som allerede er bevist.
Q: Hva er et lemma?
A: Et lemma er et mindre teorem som man må bevise for å bevise et større teorem.
Spørsmål: Hvordan er teoremer bygd opp?
A: Teoremer består av to deler - hypoteser og konklusjoner - og bruker deduksjon i stedet for empiriske teorier.
Spørsmål: Er alle teoremer vanskelige å bevise?
A: Nei, noen teoremer er trivielle siden de følger direkte av proposisjoner, mens andre krever lange og vanskelige bevis som involverer andre områder av matematikken eller viser sammenhenger mellom ulike områder.
Q: Kan et teorem være enkelt, men likevel dypt?
A: Ja, et eksempel på dette er Fermats siste setning, som er enkel å formulere, men beviset er langt og vanskelig.
Spørsmål: Finnes det noen teoremer som man kjenner beviset for, men som det er vanskelig å skrive ned?
A: Ja, for eksempel firefargesetningen og Keplers formodning, som bare kan verifiseres ved å kjøre dem gjennom dataprogrammer.
Q: Kan matematiske teoremer noen ganger reduseres til enklere beregninger?
A: Ja, matematiske teoremer kan noen ganger reduseres til enklere beregninger, for eksempel polynomidentiteter, trigonometriske identiteter eller hypergeometriske identiteter.
