Skillnad mellan versioner av "Sats"
m (2 versioner) |
Schreib (diskussion | bidrag) |
||
Rad 1: | Rad 1: | ||
− | '''Satser''' är matematiska finurligheter som kan liknas vid verktyg. När en sats blivit [[bevis]]ad kan den användas till att bevisa ytterligare användbara satser. Rykten har uppstått att satser även kan skapas genom [[Paulbak]] (en "baksats"), men inga konkreta argument finns för detta än. | + | '''Satser''' är matematiska finurligheter som kan liknas vid verktyg. När en sats blivit [[bevis]]ad kan den användas till att bevisa ytterligare användbara satser. Rykten har uppstått att satser även kan skapas genom [[Paulbak]] (en "[[Baksatsen|baksats]]"), men inga konkreta argument finns för detta än. |
[[Kategori:Matematik]] | [[Kategori:Matematik]] | ||
[[Kategori:Satser]] | [[Kategori:Satser]] |