Matematiikkaa a'la Masa

Deltawikistä
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?