definisjon av teorem
Teoremer er matematikkens behov og spesielle bekymring og når vi snakker om dem, vises det til de påstandene som kan vises til å være sanne innenfor en logisk ramme.
Teoremene er generelt sammensatt av en rekke forhold som kan oppføres eller forventes på forhånd som de kalles svar på. Etter disse vil konklusjonen eller den matematiske påstanden dukke opp, som åpenbart alltid vil være sant i forholdene til det aktuelle arbeidet, det vil si først og fremst i setningens informative innhold, det som vil bli etablert er forholdet som eksisterer mellom hypotesen og oppgaven eller fullføring av arbeidet.
Men det er noe uunngåelig for matematikk når en viss påstand er sannsynlig å bli en teorem, og det er at den må være interessant nok i og for det matematiske samfunnet, ellers og dessverre kan det ganske enkelt være et motto, en følge eller rett og slett et forslag , aldri kunne bli en teorem.
Og for å avklare problemet litt mer, er det også nødvendig å skille mellom begrepene vi nevnte ovenfor, slik at vi, selv om vi ikke er en del av et matematisk fellesskap, kan gjenkjenne når det er en teorem, et lemma, en følge eller en proposisjon.
Et Lemma er et forslag, ja, men det er en del av en lengre teorem. Corollary for sin del er en uttalelse som følger en teorem, og til slutt er proposisjonen et resultat som ikke er knyttet til noen spesiell teorem.
I begynnelsen indikerte vi at en teorem er en påstand som bare kan bevises innenfor en logisk ramme, mens vi med et logisk rammeverk refererer til et sett med aksiomer eller aksiomatisk system og en slutningsprosess som vil tillate oss å utlede teorier fra aksiomer og teoremer som allerede er utledet tidligere.
På den annen side vil den endelige sekvensen av velformede logiske formler kalles et bevis på denne teoremet.
Selv om det ikke er med den spesielle oppmerksomheten som matematikken vies til teoremer, produserer disipliner som fysikk eller økonomi vanligvis utsagn som er utledet fra andre, og som også kalles teoremer.
