Matematiikkaa a'la Masa
Siirry navigaatioon
Siirry hakuun
Teoreemia Matti Soittolan kursseilta esitettyinä ilman todistusta:
- Epäsoittolamainen geometria: Geometrian kurssin luennoi kuka tahansa muu.
- Materiaalisen implikaation laki: Jos tunnet, että demosi on oikein, niin se on väärin.
- Soittolan epätäydellisyyslause: "Eihän tätä näin tehdä."
- Analyyttisen jatkamisen periaate: Jos olet kerran väärässä, niin olet aina väärässä.
- Soittolan jatkolause: Jos olet kerran väärässä, niin olet taululla peräkkäisissä demoissa niin usein, että olet oikeassa.
- Soittolan paradoksi: Jos oppilas osaa todistaa tuloksen pitkällä tavalla, niin Soittola todistaa sen lyhyellä. Jos taas oppilas todistaa tuloksen lyhyesti, niin todistus on keskeneräinen.
- Soittolan hypoteesi: Kaikki matematiikka-ohjelmat ovat aina huonoja.
- Monotonisen konvergenssin lause: Jossain vaiheessa keittää yli.
- Soittolan lemma: Jos merkitset n tehtävää lasketuksi, ja tarkalleen yksi niistä on väärin, niin lemman mukaan joudut esittämään taululla täsmälleen sen väärin olevan (olipa n kuinka suuri hyvänsä).
Huom. Nimien selitykset: epäeuklidinen geometria, Gödelin epätäydellisyyslause, Tietzen jatkolause, Russellin paradoksi, Riemannin hypooteesi, Zornin lemma. Mutta tiedätkö, miksi Soittolan teoreemoilla on ekvivalenssi niiden kanssa?