Skillnad mellan versioner av "Sats"

AlefWiki
Hoppa till navigering Hoppa till sök
m (2 versioner)
 
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]]

Versionen från 18 oktober 2010 kl. 04.07

Satser är matematiska finurligheter som kan liknas vid verktyg. När en sats blivit bevisad 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.

Den här artikeln är hämtad från https://alefwiki.se/index.php?title=Sats&oldid=7219