Formodning kalles dommer eller meninger som dannes ut fra data som er ufullstendige eller fakta, situasjoner, omstendigheter som antas. Antagelser er derfor konklusjonene gjort fra observasjoner og overfladisk informasjon om et faktum. I matematikk er dette konseptet ikke annerledes, siden det refererer til en antatt sann påstand som ikke er bevist å være motbevist. Når sannheten til en formodning er bevist, kalles den en ”teorem” og brukes til presentasjoner.
Blant de mest berømte antagelsene er Fermat, hvorfra det oppstår en mysterium og spenningsfilm kalt Fermats rom.
I den ovennevnte filmen blir historien fortalt om en ung mann som, dager før han lærte sitt bevis på Fermet-gjetningen, blir kidnappet i rommet til huset sitt sammen med andre unge mennesker, som må løse gåter og matematiske gåter for å fortsette i et makabert spill. Andre populære matematiske gjetninger er: Goldbachs antagelser, tvillingens primære antagelser, Collatzs antagelser og abc-antagelsene.
På en daglig basis er det vanlig å komme med antagelser, spesielt når det gjelder et tema som er av interesse eller som du har en spesifikk mening om. Når det gjelder denne situasjonen, er gjetninger ikke mer enn sannsynligheter, siden de er uten grunnlag. På rettsområdet er det også antagelser, spesielt når det gjelder rettssaker, der argumenter for og imot blir presentert, basert på en rekke sanne fakta; Hvis disse talene bare er basert på unøyaktige eller ikke-støttede data, vil de bli ansett som formodninger og derfor ugyldige.