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.