Miksi yliopistomatematiikan tehtävissä sanotaan "Olkoon K kunta. Laske..." eikä "K on kunta. Laske..."? Vielä kymmenen vuotta sitten passiivikieli oli laajemmin käytössä: tietojenkäsittelyn puolella sanottiin "derivoi x^2, laske 1 2", mutta matematiikassa "derivoitava x^2, laskettava 1 2".
Millä tartunnan voi välttää jos haluaa oppia sisällön ja säilyä suorasanaisena?
Millä tartunnan voi välttää jos haluaa oppia sisällön ja säilyä suorasanaisena?
Vastaukset 4
Vanhimmat
"K on kunta." on väite, jonka totuusarvosta voisi, ainakin teoriassa, väitellä. Sehän ei perustu mihinkään.
Sen sijaan "Olkoon K kunta." määrittelee K:n siten, että väitteen "K on kunta." totuusarvo on ykiselitteisesti tosi.
Asioiden määritteleminen yksiselitteisesti ja kiistattomasti on hyvää matematiikkaa. Itse tehtävän kannaltahan asia on ihan se ja sama.
Nimimerkki yksi vain on ihan oikeassa. Lisäksi matematiikassa ei tule koskaan aloittaa virkettä matemaattisella symbolilla, joten jotain tarvitaan alkuun.
Eikö "jotain" voisi olla "On"? Eli siis esim. "On kunta K".
Matematiikassa on tarkoittaa, että jotain ennestään tuttua verrataan johonkin. Kuitenkaan matematiikassa ei ole määritelty itsessään käsitettä "kunta K". Siten se pitää ensiksi määritellä, ja tähän tarvitaan sanaa "olkoon" tai "olkoot", jos määritellään samalla muitakin kuntia.